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: 2687
85 Team MembersFilters -> Year: 2024
2401
TITLE: The Sines sub-volcanic intrusive complex: Imprint on the inner shelf sedimentary cover (Sines, Portugal) Full Text
AUTHORS: Pombo, J; Cascalho, J; Rodrigues, A ; Taborda, R ; Oliveira, A;
PUBLISHED: 2006, SOURCE: JOURNAL OF COASTAL RESEARCH, PAGES: 250-254
AUTHORS: Pombo, J; Cascalho, J; Rodrigues, A ; Taborda, R ; Oliveira, A;
PUBLISHED: 2006, SOURCE: JOURNAL OF COASTAL RESEARCH, PAGES: 250-254
INDEXED IN: 
WOS
WOS2402
TITLE: Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs
AUTHORS: Hugo R Simões; Hammond, Kevin; Mário Florido ; Pedro B Vasconcelos ;
PUBLISHED: 2006, SOURCE: Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers, VOLUME: 4502, PAGES: 221-236
AUTHORS: Hugo R Simões; Hammond, Kevin; Mário Florido ; Pedro B Vasconcelos ;
PUBLISHED: 2006, SOURCE: Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers, VOLUME: 4502, PAGES: 221-236
INDEXED IN: 
DBLP
DBLP2403
TITLE: VeriFLog: A constraint logic programming approach to verification of website content
AUTHORS: Coelho, J ; Florido, M ;
PUBLISHED: 2006, SOURCE: 8th Asia-Pacific Web Conference and Workshops (APWeb 2006) in ADVANCED WEB AND NETWORK TECHNOLOGIES, AND APPLICATIONS, PROCEEDINGS, VOLUME: 3842, PAGES: 148-156
AUTHORS: Coelho, J ; Florido, M ;
PUBLISHED: 2006, SOURCE: 8th Asia-Pacific Web Conference and Workshops (APWeb 2006) in ADVANCED WEB AND NETWORK TECHNOLOGIES, AND APPLICATIONS, PROCEEDINGS, VOLUME: 3842, PAGES: 148-156
2404
TITLE: wsQL - integration of applications based in Web Services
AUTHORS: Jose Joaquim M Moreira ; Antonio de D L Godinho;
PUBLISHED: 2006, SOURCE: 1st Iberian Conference on Information Systems and Technologies in ACTAS DA 1A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL II, PAGES: 341-356
AUTHORS: Jose Joaquim M Moreira ; Antonio de D L Godinho;
PUBLISHED: 2006, SOURCE: 1st Iberian Conference on Information Systems and Technologies in ACTAS DA 1A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL II, PAGES: 341-356
INDEXED IN: WOS
WOS2405
TITLE: 12th Portuguese Conference on Artificial Intelligence, EPIA 2005 Covilha, Portugal, December 5-8, 2005 - Introduction
AUTHORS: Paiva, A ; Martinho, C ; de Oliveira, E ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 101-101
AUTHORS: Paiva, A ; Martinho, C ; de Oliveira, E ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 101-101
INDEXED IN: WOS
WOS2406
TITLE: A dynamic network simulation model based on multi-agent systems Full Text
AUTHORS: Rossetti, RJF ; Liu, RH;
PUBLISHED: 2005, SOURCE: 3rd Workshop on Agents in Traffic and Transportation in Applications of Agent Technology in Traffic and Transportation, PAGES: 181-192
AUTHORS: Rossetti, RJF ; Liu, RH;
PUBLISHED: 2005, SOURCE: 3rd Workshop on Agents in Traffic and Transportation in Applications of Agent Technology in Traffic and Transportation, PAGES: 181-192
2407
TITLE: A Multi-agent System for Intelligent Monotoring of Airline Operations
AUTHORS: António J M Castro ; Eugenio Oliveira ;
PUBLISHED: 2005, SOURCE: EUMAS 2005 - Proceedings of the Third European Workshop on Multi-Agent Systems, Brussels, Belgium, December 7-8, 2005, PAGES: 91-102
AUTHORS: António J M Castro ; Eugenio Oliveira ;
PUBLISHED: 2005, SOURCE: EUMAS 2005 - Proceedings of the Third European Workshop on Multi-Agent Systems, Brussels, Belgium, December 7-8, 2005, PAGES: 91-102
INDEXED IN: DBLP
DBLP2408
TITLE: A test infrastructure for compilers targeting FPGAs
AUTHORS: Rodrigues, RMM; Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: International Workshop on Applied Reconfigurable Computing 2005, ARC 2005 in ARC 2005 - International Workshop on Applied Reconfigurable Computing 2005, PAGES: 168-175
AUTHORS: Rodrigues, RMM; Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: International Workshop on Applied Reconfigurable Computing 2005, ARC 2005 in ARC 2005 - International Workshop on Applied Reconfigurable Computing 2005, PAGES: 168-175
INDEXED IN: 
Scopus
Scopus2409
TITLE: A tool for fast development of modular and hierarchic neural network-based systems
AUTHORS: Reinaldo, F; Roisenberg, M; Barreto, JM; Camacho, R ; Reis, LP ;
PUBLISHED: 2005, SOURCE: European Simulation and Modelling Conference (ESM 2005) in Modelling and Simulation 2005, PAGES: 161-163
AUTHORS: Reinaldo, F; Roisenberg, M; Barreto, JM; Camacho, R ; Reis, LP ;
PUBLISHED: 2005, SOURCE: European Simulation and Modelling Conference (ESM 2005) in Modelling and Simulation 2005, PAGES: 161-163
INDEXED IN: Scopus WOS 
Handle
Scopus WOS Handle2410
TITLE: A tool for fast development of modular and hierarchic neural network-based systems
AUTHORS: Francisco Reinaldo; Mauro Roisenberg; Jorge M Barreto; Rui Camacho ; Luís P Reis ;
PUBLISHED: 2005
AUTHORS: Francisco Reinaldo; Mauro Roisenberg; Jorge M Barreto; Rui Camacho ; Luís P Reis ;
PUBLISHED: 2005
INDEXED IN: Handle
Handle2411
TITLE: A weighted rank measure of correlation Full Text
AUTHORS: Da Costa, JP ; Soares, C ;
PUBLISHED: 2005, SOURCE: AUSTRALIAN & NEW ZEALAND JOURNAL OF STATISTICS, VOLUME: 47, ISSUE: 4, PAGES: 515-529
AUTHORS: Da Costa, JP ; Soares, C ;
PUBLISHED: 2005, SOURCE: AUSTRALIAN & NEW ZEALAND JOURNAL OF STATISTICS, VOLUME: 47, ISSUE: 4, PAGES: 515-529
2412
TITLE: ADACOR: A collaborative production automation and control architecture Full Text
AUTHORS: Leitao, P ; Colombo, AW; Restivo, FJ ;
PUBLISHED: 2005, SOURCE: IEEE INTELLIGENT SYSTEMS, VOLUME: 20, ISSUE: 1, PAGES: 58-66
AUTHORS: Leitao, P ; Colombo, AW; Restivo, FJ ;
PUBLISHED: 2005, SOURCE: IEEE INTELLIGENT SYSTEMS, VOLUME: 20, ISSUE: 1, PAGES: 58-66
2413
TITLE: Advice-exchange between evolutionary algorithms and reinforcement learning agents: Experiments in the pursuit domain
AUTHORS: Nunes, L ; Oliveira, E ;
PUBLISHED: 2005, SOURCE: 4th Symposium on Adaptive Agents and Multi-Agent Systems in ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS II: ADAPTATION AND MULTI-AGENT LEARNING, VOLUME: 3394, PAGES: 185-204
AUTHORS: Nunes, L ; Oliveira, E ;
PUBLISHED: 2005, SOURCE: 4th Symposium on Adaptive Agents and Multi-Agent Systems in ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS II: ADAPTATION AND MULTI-AGENT LEARNING, VOLUME: 3394, PAGES: 185-204
2414
TITLE: An Agent-Based Approach to Assess Drivers' Interaction with Pre-Trip Information Systems Full Text
AUTHORS: Rosaldo J F Rossetti ; Ronghui Liu;
PUBLISHED: 2005, SOURCE: J. Intell. Transp. Syst., VOLUME: 9, ISSUE: 1, PAGES: 1-10
AUTHORS: Rosaldo J F Rossetti ; Ronghui Liu;
PUBLISHED: 2005, SOURCE: J. Intell. Transp. Syst., VOLUME: 9, ISSUE: 1, PAGES: 1-10
2415
TITLE: An infrastructure to functionally test designs generated by compilers targeting FPGAs PDF Full Text
AUTHORS: Rodrigues, R; Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE 05) in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, VOLUME: I, PAGES: 30-31
AUTHORS: Rodrigues, R; Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE 05) in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, VOLUME: I, PAGES: 30-31
2416
TITLE: Applying biological paradigms to emerge behaviour in RoboCup Rescue team
AUTHORS: Reinaldo, F; Certo, J; Cordeiro, N; Reis, LP ; Camacho, R ; Lau, N ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 422-434
AUTHORS: Reinaldo, F; Certo, J; Cordeiro, N; Reis, LP ; Camacho, R ; Lau, N ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 422-434
2417
TITLE: CHIADO - Compilation of high-level computationally intensive algorithms to dynamically reconfligurable computing systems
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: Conference on VLSI Circuits and Systems II in VLSI Circuits and Systems II, Pts 1 and 2, VOLUME: 5837, PAGES: 893-901
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: Conference on VLSI Circuits and Systems II in VLSI Circuits and Systems II, Pts 1 and 2, VOLUME: 5837, PAGES: 893-901
2418
TITLE: Combining ontologies and agents to help in solving the heterogeneity problem in e-commerce negotiations
AUTHORS: Malucelli, A; Palzer, D; Oliveira, E ;
PUBLISHED: 2005, SOURCE: International Workshop on Data Engineering Issues in E-Commerce (DEEC 2005) in DEEC 2005: INTERNATIONAL WORKSHOP ON DATA ENGINEERING ISSUES IN E-COMMERCE, PROCEEDINGS, VOLUME: 2005, PAGES: 26-35
AUTHORS: Malucelli, A; Palzer, D; Oliveira, E ;
PUBLISHED: 2005, SOURCE: International Workshop on Data Engineering Issues in E-Commerce (DEEC 2005) in DEEC 2005: INTERNATIONAL WORKSHOP ON DATA ENGINEERING ISSUES IN E-COMMERCE, PROCEEDINGS, VOLUME: 2005, PAGES: 26-35
2419
TITLE: Compilation and temporal partitioning for a coarse-grain reconfigurable architecture Full Text
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2005, SOURCE: New Algorithms, Architectures and Applications for Reconfigurable Computing, PAGES: 105-115
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2005, SOURCE: New Algorithms, Architectures and Applications for Reconfigurable Computing, PAGES: 105-115
2420
TITLE: Contributions to an electronic institution supporting virtual enterprises' life cycle
AUTHORS: Rocha, AP ; Cardoso, HL ; Oliveira, E ;
PUBLISHED: 2005, SOURCE: Virtual Enterprise Integration: Technological and Organizational Perspectives, PAGES: 229-246
AUTHORS: Rocha, AP ; Cardoso, HL ; Oliveira, E ;
PUBLISHED: 2005, SOURCE: Virtual Enterprise Integration: Technological and Organizational Perspectives, PAGES: 229-246
