Laboratório de Inteligência Artificial e Ciência de Computadores (LIACC)
Artificial Intelligence and Computer Science Laboratory

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 2681

84 Team Members
Filters -> Year: 2024
2481
TÍTULO: A formal validation approach for holonic control system specifications
AUTORES: Leitao, P ; Colombo, AW; Restivo, F ;
PUBLICAÇÃO: 2003, FONTE: 9th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, VOLUME: 1, NÚMERO: January, PÁGINAS: 203-210
INDEXADO EM: Scopus WOS CrossRef: 3
2482
TÍTULO: A multi-agent system for e-insurance brokering
AUTORES: Nogueira, L ; Oliveira, E ;
PUBLICAÇÃO: 2003, FONTE: NODe 2002 Agent-Related Workshops in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 2592, PÁGINAS: 263-282
INDEXADO EM: Scopus
2483
TÍTULO: Advice-Exchange in Heterogeneous Groups of Learning Agents
AUTORES: Nunes, L ; Oliveira, E ;
PUBLICAÇÃO: 2003, FONTE: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 03 in Proceedings of the Interantional Conference on Autonomous Agents, VOLUME: 2, PÁGINAS: 1084-1085
INDEXADO EM: Scopus DBLP CrossRef: 3
2484
TÍTULO: An approach to the formal specification of holonic control systems
AUTORES: Leitão, P; Colombo, AW; Restivo, F ;
PUBLICAÇÃO: 2003, FONTE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2744, PÁGINAS: 59-70
INDEXADO EM: Scopus CrossRef Handle
2485
TÍTULO: An approach to the formal specification of holonic control systems  Full Text
AUTORES: Leitao, P ; Colombo, AW; Restivo, F ;
PUBLICAÇÃO: 2003, FONTE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems in HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, VOLUME: 2744, PÁGINAS: 59-70
INDEXADO EM: Scopus WOS
2486
TÍTULO: An integrated information system powered by Prolog
AUTORES: Porto, A ;
PUBLICAÇÃO: 2003, FONTE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PÁGINAS: 92-109
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
2487
TÍTULO: An Internet DGPS service for precise outdoor navigation
AUTORES: Soares, MG; Malheiro, B ; Restivo, FJ ;
PUBLICAÇÃO: 2003, FONTE: 9th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, VOLUME: 1, NÚMERO: January, PÁGINAS: 512-518
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
2488
TÍTULO: ARCHITECT-R: A System for Reconfigurable Robots Design
AUTORES: Gonçalves, R.A.; Moraes, P.A.; João M. P. Cardoso ; Denis F. Wolf; Marcio Merino Fernandes; Roseli Francelin Francelin Romero; Eduardo Marques;
PUBLICAÇÃO: 2003, FONTE: Proceedings of the 2003 ACM Symposium on Applied Computing in Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA, PÁGINAS: 679-683
INDEXADO EM: Scopus DBLP
2489
TÍTULO: Assuming a roadmap strategy for E-business: Matching the right solution over a thousand answers
AUTORES: Gouveia, FR ; Gouveia, L. ;
PUBLICAÇÃO: 2003, FONTE: 5th International Conference on Enterprise Information Systems, ICEIS 2003 in ICEIS 2003 - Proceedings of the 5th International Conference on Enterprise Information Systems, VOLUME: 1, PÁGINAS: 550-553
INDEXADO EM: Scopus DBLP
2490
TÍTULO: Brokering in electronic insurance markets
AUTORES: Nogueira, L ; Oliveira, E ;
PUBLICAÇÃO: 2003, FONTE: 3rd International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS (2003) in MULTI-AGENT SYSTEMS AND APPLICATIONS III, PROCEEDINGS, VOLUME: 2691, PÁGINAS: 574-583
INDEXADO EM: Scopus WOS DBLP CrossRef
2491
TÍTULO: Compilation for FPGA-based reconfigurable hardware  Full Text
AUTORES: Cardoso, JMP ; Neto, HC ;
PUBLICAÇÃO: 2003, FONTE: IEEE DESIGN & TEST OF COMPUTERS, VOLUME: 20, NÚMERO: 2, PÁGINAS: 65-75
INDEXADO EM: Scopus WOS DBLP CrossRef: 31
2492
TÍTULO: Cooperative learning using advice exchange
AUTORES: Nunes, L ; Oliveira, E ;
PUBLICAÇÃO: 2003, FONTE: 2nd Symposium on Adaptive Agents and Multi-Agent Systems in ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS: ADAPTATION AND MULTI-AGENT LEARNING, VOLUME: 2636, PÁGINAS: 33-48
INDEXADO EM: Scopus WOS
2494
TÍTULO: Emotional Advantage for Adaptability and Autonomy
AUTORES: Oliveira, E ; Sarmento, L;
PUBLICAÇÃO: 2003, FONTE: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 03 in Proceedings of the Interantional Conference on Autonomous Agents, VOLUME: 2, PÁGINAS: 305-312
INDEXADO EM: Scopus DBLP CrossRef: 14
2495
TÍTULO: Engineering and social sciences: Three models for a possible dialogue
AUTORES: Machado, AA; Restivo, FO ;
PUBLICAÇÃO: 2003, FONTE: 7th World Multiconference on Systemics, Cybernetics and Informatics in 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL I, PROCEEDINGS: INFORMATION SYSTEMS, TECHNOLOGIES AND APPLICATIONS, PÁGINAS: 221-224
INDEXADO EM: WOS
2496
TÍTULO: Exchanging advice and learning to trust
AUTORES: Nunes, L ; Oliveira, E ;
PUBLICAÇÃO: 2003, FONTE: 7th International Workshop on Cooperative Information Agents in COOPERATIVE INFORMATION AGENTS VII, PROCEEDINGS, VOLUME: 2782, PÁGINAS: 250-265
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
2497
TÍTULO: Formal specification of holonic control system ADACOR product holon, using high-level Petri nets
AUTORES: Leitao, P ; Colombo, AW; Restivo, F ; Schoop, R;
PUBLICAÇÃO: 2003, FONTE: IEEE International Conference on Industrial Informatics (INDIN 2003) in INDIN 2003: IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, PROCEEDINGS, PÁGINAS: 263-272
INDEXADO EM: WOS CrossRef: 4
2498
TÍTULO: FORMAware: Framework of reflective components for managing architecture adaptation
AUTORES: Moreira, R ; Blair, G; Carrapatoso, E;
PUBLICAÇÃO: 2003, FONTE: 3rd International Workshop on Software Engineering and Middleware in SOFTWARE ENGINEERING AND MIDDLEWARE, VOLUME: 2596, PÁGINAS: 115-129
INDEXADO EM: Scopus WOS
2499
TÍTULO: From C programs to the configure-execute model  Full Text
AUTORES: Cardoso, JMP ; Weinhardt, M;
PUBLICAÇÃO: 2003, FONTE: Design, Automation and Test in Europe Conference and Exhibition (DATE 03) in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, PÁGINAS: 576-581
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
2500
TÍTULO: Identification of adacor holons for manufacturing control
AUTORES: Leitao, P ; Restivo, F ;
PUBLICAÇÃO: 2003, FONTE: 7th IFAC Workshop on Intelligent Manufacturing Systems in INTELLIGENT MANUFACTURING SYSTEMS 2003, PÁGINAS: 101-106
INDEXADO EM: WOS

Results per Page: 20.
Página 125 de 135. Total de resultados: 2681.