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: 2670
83 Team MembersFilters -> Year: 2024
2381
TITLE: Static scheduling of dependent parallel tasks on heterogeneous clusters
AUTHORS: Barbosa, J ; Morais, C; Nobrega, R; Monteiro, AP ;
PUBLISHED: 2006, SOURCE: IEEE International Conference on Cluster Computing in 2005 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER), PAGES: 546-553
AUTHORS: Barbosa, J ; Morais, C; Nobrega, R; Monteiro, AP ;
PUBLISHED: 2006, SOURCE: IEEE International Conference on Cluster Computing in 2005 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER), PAGES: 546-553
2382
TITLE: The meaning of heavy minerals in the recent sedimentary record of the Douro Estuary (Portugal) Full Text
AUTHORS: Fradique, C; Cascalho, J; Drago, T; Rocha, F ; Silveira, T;
PUBLISHED: 2006, SOURCE: JOURNAL OF COASTAL RESEARCH, PAGES: 165-169
AUTHORS: Fradique, C; Cascalho, J; Drago, T; Rocha, F ; Silveira, T;
PUBLISHED: 2006, SOURCE: JOURNAL OF COASTAL RESEARCH, PAGES: 165-169
INDEXED IN: 
WOS
WOS2383
TITLE: The power of linear functions
AUTHORS: Sandra Alves ; Maribel Fernandez; Mirio Florido ; Ian Mackie;
PUBLISHED: 2006, SOURCE: 20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 4207, PAGES: 119-134
AUTHORS: Sandra Alves ; Maribel Fernandez; Mirio Florido ; Ian Mackie;
PUBLISHED: 2006, SOURCE: 20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 4207, PAGES: 119-134
2384
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
WOS2385
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
DBLP2386
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
2387
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
WOS2388
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
WOS2389
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
2390
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
DBLP2391
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
Scopus2392
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 Handle2393
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
Handle2394
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
2395
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
2396
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
2397
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
2398
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
2399
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
2400
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
