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: 3694
86 Team MembersFilters -> Year: 2026
3381
TITLE: The Power of Closed Reduction Strategies
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2006, SOURCE: WRS@FLoC, VOLUME: 174, ISSUE: 10 SPEC. ISS., PAGES: 57-74
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2006, SOURCE: WRS@FLoC, VOLUME: 174, ISSUE: 10 SPEC. ISS., PAGES: 57-74
3382
TITLE: The power of linear functions
AUTHORS: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
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: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
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
3383
TITLE: Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs
AUTHORS: Hugo R Simões; Kevin Hammond; Mário Florido ; Pedro B Vasconcelos ;
PUBLISHED: 2006, SOURCE: TYPES, PAGES: 221-236
AUTHORS: Hugo R Simões; Kevin Hammond; Mário Florido ; Pedro B Vasconcelos ;
PUBLISHED: 2006, SOURCE: TYPES, PAGES: 221-236
INDEXED IN: 
DBLP
DBLP3384
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
3385
TITLE: Virtual Organization Support through Electronic Institutions and Normative Multi-Agent Systems
AUTHORS: Henrique Lopes Cardoso; Ana Paula Rocha ; Eugénio Costa Oliveira ;
PUBLISHED: 2006, VOLUME: II, PAGES: 786-805
AUTHORS: Henrique Lopes Cardoso; Ana Paula Rocha ; Eugénio Costa Oliveira ;
PUBLISHED: 2006, VOLUME: II, PAGES: 786-805
INDEXED IN: 
Scopus
Scopus3386
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
WOS3387
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
WOS3388
TITLE: 3 axis capacitive tactile sensor
AUTHORS: Santos, RF; Rocha, PF; Lanceros Mendez, S ; Santos, C ; Rocha, JG ;
PUBLISHED: 2005, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE 2005: Proceedings of the IEEE International Symposium on Industrial Electronics 2005, Vols 1- 4, VOLUME: IV, PAGES: 1539-1544
AUTHORS: Santos, RF; Rocha, PF; Lanceros Mendez, S ; Santos, C ; Rocha, JG ;
PUBLISHED: 2005, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE 2005: Proceedings of the IEEE International Symposium on Industrial Electronics 2005, Vols 1- 4, VOLUME: IV, PAGES: 1539-1544
3389
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
3390
TITLE: A Multi-agent System for Intelligent Monotoring of Airline Operations
AUTHORS: António J M Castro ; Eugénio C Oliveira ;
PUBLISHED: 2005, SOURCE: EUMAS, PAGES: 91-102
AUTHORS: António J M Castro ; Eugénio C Oliveira ;
PUBLISHED: 2005, SOURCE: EUMAS, PAGES: 91-102
INDEXED IN: DBLP
DBLP3391
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
Scopus3392
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 Handle3393
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
3394
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
3395
TITLE: Advice-exchange between evolutionary algorithms and reinforcement learning agents: Experiments in the pursuit domain Full Text
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, 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, VOLUME: 3394, PAGES: 185-204
3396
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
3397
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
3398
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
3399
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
3400
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
