Artificial Intelligence and Computer Science Laboratory (LIACC)
Laboratório de Inteligência Artificial e Ciência de Computadores
AuthID: I-000-18J
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
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!
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!
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!
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: 2901
83 Team MembersFilters -> Year: 2024
2681
TITLE: Virtual Enterprise Normative Framework Within Electronic Institutions
AUTHORS: Henrique Lopes Cardoso ; Eugénio C Oliveira ;
PUBLISHED: 2004, SOURCE: Engineering Societies in the Agents World V, 5th InternationalWorkshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers, VOLUME: 3451, PAGES: 14-32
AUTHORS: Henrique Lopes Cardoso ; Eugénio C Oliveira ;
PUBLISHED: 2004, SOURCE: Engineering Societies in the Agents World V, 5th InternationalWorkshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers, VOLUME: 3451, PAGES: 14-32
2682
TITLE: A formal validation approach for holonic control system specifications
AUTHORS: Leitao, P ; Colombo, AW; Restivo, F ;
PUBLISHED: 2003, SOURCE: 9th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, PAGES: 203-210
AUTHORS: Leitao, P ; Colombo, AW; Restivo, F ;
PUBLISHED: 2003, SOURCE: 9th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, PAGES: 203-210
2683
TITLE: A multi-agent system for e-insurance brokering
AUTHORS: Nogueira, L ; Oliveira, E ;
PUBLISHED: 2003, SOURCE: NODe 2002 Agent-Related Workshops in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 2592, PAGES: 263-282
AUTHORS: Nogueira, L ; Oliveira, E ;
PUBLISHED: 2003, SOURCE: NODe 2002 Agent-Related Workshops in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 2592, PAGES: 263-282
INDEXED IN: 
Scopus
Scopus2684
TITLE: Advice-Exchange in Heterogeneous Groups of Learning Agents
AUTHORS: Nunes, L ; Oliveira, E ;
PUBLISHED: 2003, SOURCE: 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, PAGES: 1084-1085
AUTHORS: Nunes, L ; Oliveira, E ;
PUBLISHED: 2003, SOURCE: 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, PAGES: 1084-1085
2685
TITLE: An approach to the formal specification of holonic control systems Full Text
AUTHORS: Leitao, P ; Colombo, AW; Restivo, F ;
PUBLISHED: 2003, SOURCE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems in HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, VOLUME: 2744, PAGES: 59-70
AUTHORS: Leitao, P ; Colombo, AW; Restivo, F ;
PUBLISHED: 2003, SOURCE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems in HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, VOLUME: 2744, PAGES: 59-70
INDEXED IN: Scopus 
WOS
Scopus WOS2686
TITLE: An approach to the formal specification of holonic control systems
AUTHORS: Leitão, P; Colombo, AW; Restivo, F ;
PUBLISHED: 2003, SOURCE: 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, PAGES: 59-70
AUTHORS: Leitão, P; Colombo, AW; Restivo, F ;
PUBLISHED: 2003, SOURCE: 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, PAGES: 59-70
2687
TITLE: An integrated information system powered by Prolog
AUTHORS: Porto, A ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PAGES: 92-109
AUTHORS: Porto, A ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PAGES: 92-109
2688
TITLE: An Internet DGPS service for precise outdoor navigation
AUTHORS: Soares, MG; Malheiro, B ; Restivo, FJ ;
PUBLISHED: 2003, SOURCE: 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, ISSUE: January, PAGES: 512-518
AUTHORS: Soares, MG; Malheiro, B ; Restivo, FJ ;
PUBLISHED: 2003, SOURCE: 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, ISSUE: January, PAGES: 512-518
2689
TITLE: ARCHITECT-R: A System for Reconfigurable Robots Design
AUTHORS: Gonçalves, R.A.; Moraes, P.A.; João M. P. Cardoso ; Denis F. Wolf; Marcio Merino Fernandes; Roseli Francelin Francelin Romero; Eduardo Marques;
PUBLISHED: 2003, SOURCE: 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, PAGES: 679-683
AUTHORS: Gonçalves, R.A.; Moraes, P.A.; João M. P. Cardoso ; Denis F. Wolf; Marcio Merino Fernandes; Roseli Francelin Francelin Romero; Eduardo Marques;
PUBLISHED: 2003, SOURCE: 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, PAGES: 679-683
INDEXED IN: Scopus 
DBLP
Scopus DBLP2690
TITLE: Arquitecturas de sistemas robóticos e licalização em tempo real através de visão : Aplicações no domínio do futebol robótico
AUTHORS: Armando Jorge Miranda de Sousa ;
PUBLISHED: 2003
AUTHORS: Armando Jorge Miranda de Sousa ;
PUBLISHED: 2003
INDEXED IN: DBLP
DBLP2691
TITLE: Assuming a roadmap strategy for E-business: Matching the right solution over a thousand answers
AUTHORS: Gouveia, FR ; Gouveia, L. ;
PUBLISHED: 2003, SOURCE: 5th International Conference on Enterprise Information Systems, ICEIS 2003 in ICEIS 2003 - Proceedings of the 5th International Conference on Enterprise Information Systems, VOLUME: 1, PAGES: 550-553
AUTHORS: Gouveia, FR ; Gouveia, L. ;
PUBLISHED: 2003, SOURCE: 5th International Conference on Enterprise Information Systems, ICEIS 2003 in ICEIS 2003 - Proceedings of the 5th International Conference on Enterprise Information Systems, VOLUME: 1, PAGES: 550-553
INDEXED IN: Scopus DBLP
Scopus DBLP2692
TITLE: Brokering in electronic insurance markets
AUTHORS: Nogueira, L ; Oliveira, E ;
PUBLISHED: 2003, SOURCE: 3rd International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS (2003) in MULTI-AGENT SYSTEMS AND APPLICATIONS III, PROCEEDINGS, VOLUME: 2691, PAGES: 574-583
AUTHORS: Nogueira, L ; Oliveira, E ;
PUBLISHED: 2003, SOURCE: 3rd International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS (2003) in MULTI-AGENT SYSTEMS AND APPLICATIONS III, PROCEEDINGS, VOLUME: 2691, PAGES: 574-583
2693
TITLE: Compilation for FPGA-based reconfigurable hardware Full Text
AUTHORS: Cardoso, JMP ; Neto, HC ;
PUBLISHED: 2003, SOURCE: IEEE DESIGN & TEST OF COMPUTERS, VOLUME: 20, ISSUE: 2, PAGES: 65-75
AUTHORS: Cardoso, JMP ; Neto, HC ;
PUBLISHED: 2003, SOURCE: IEEE DESIGN & TEST OF COMPUTERS, VOLUME: 20, ISSUE: 2, PAGES: 65-75
2694
TITLE: Cooperative learning using advice exchange
AUTHORS: Nunes, L ; Oliveira, E ;
PUBLISHED: 2003, SOURCE: 2nd Symposium on Adaptive Agents and Multi-Agent Systems in ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS: ADAPTATION AND MULTI-AGENT LEARNING, VOLUME: 2636, PAGES: 33-48
AUTHORS: Nunes, L ; Oliveira, E ;
PUBLISHED: 2003, SOURCE: 2nd Symposium on Adaptive Agents and Multi-Agent Systems in ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS: ADAPTATION AND MULTI-AGENT LEARNING, VOLUME: 2636, PAGES: 33-48
INDEXED IN: Scopus WOS
Scopus WOS2695
TITLE: Emotional Advantage for Adaptability and Autonomy
AUTHORS: Oliveira, E ; Sarmento, L;
PUBLISHED: 2003, SOURCE: 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, PAGES: 305-312
AUTHORS: Oliveira, E ; Sarmento, L;
PUBLISHED: 2003, SOURCE: 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, PAGES: 305-312
2696
TITLE: Engineering and social sciences: Three models for a possible dialogue
AUTHORS: Machado, AA; Restivo, FO ;
PUBLISHED: 2003, SOURCE: 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, PAGES: 221-224
AUTHORS: Machado, AA; Restivo, FO ;
PUBLISHED: 2003, SOURCE: 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, PAGES: 221-224
INDEXED IN: WOS
WOS2697
TITLE: Exchanging advice and learning to trust
AUTHORS: Nunes, L ; Oliveira, E ;
PUBLISHED: 2003, SOURCE: 7th International Workshop on Cooperative Information Agents in COOPERATIVE INFORMATION AGENTS VII, PROCEEDINGS, VOLUME: 2782, PAGES: 250-265
AUTHORS: Nunes, L ; Oliveira, E ;
PUBLISHED: 2003, SOURCE: 7th International Workshop on Cooperative Information Agents in COOPERATIVE INFORMATION AGENTS VII, PROCEEDINGS, VOLUME: 2782, PAGES: 250-265
2698
TITLE: Formal specification of holonic control system ADACOR product holon, using high-level Petri nets
AUTHORS: Leitao, P ; Colombo, AW; Restivo, F ; Schoop, R;
PUBLISHED: 2003, SOURCE: IEEE International Conference on Industrial Informatics (INDIN 2003) in INDIN 2003: IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, PROCEEDINGS, PAGES: 263-272
AUTHORS: Leitao, P ; Colombo, AW; Restivo, F ; Schoop, R;
PUBLISHED: 2003, SOURCE: IEEE International Conference on Industrial Informatics (INDIN 2003) in INDIN 2003: IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, PROCEEDINGS, PAGES: 263-272
2699
TITLE: FORMAware: Framework of reflective components for managing architecture adaptation
AUTHORS: Moreira, R ; Blair, G; Carrapatoso, E;
PUBLISHED: 2003, SOURCE: 3rd International Workshop on Software Engineering and Middleware in SOFTWARE ENGINEERING AND MIDDLEWARE, VOLUME: 2596, PAGES: 115-129
AUTHORS: Moreira, R ; Blair, G; Carrapatoso, E;
PUBLISHED: 2003, SOURCE: 3rd International Workshop on Software Engineering and Middleware in SOFTWARE ENGINEERING AND MIDDLEWARE, VOLUME: 2596, PAGES: 115-129
INDEXED IN: Scopus WOS
Scopus WOS2700
TITLE: From C programs to the configure-execute model Full Text
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2003, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE 03) in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, PAGES: 576-581
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2003, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE 03) in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, PAGES: 576-581
