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: 3710
86 Team MembersFilters -> Year: 2026
3561
TITLE: FC Portugal 2001 Team Description: Flexible Teamwork and Configurable Strategy Full Text
AUTHORS: Nuno Lau ; Luís Paulo Reis ;
PUBLISHED: 2001, SOURCE: RoboCup, VOLUME: 2377 LNAI, PAGES: 515-518
AUTHORS: Nuno Lau ; Luís Paulo Reis ;
PUBLISHED: 2001, SOURCE: RoboCup, VOLUME: 2377 LNAI, PAGES: 515-518
3562
TITLE: Jakarta: A Toolset for Reasoning about JavaCard
AUTHORS: Gilles Barthe ; Guillaume Dufay; Marieke Huisman; Simão Melo de Sousa ;
PUBLISHED: 2001, SOURCE: E-smart, VOLUME: 2140, PAGES: 2-18
AUTHORS: Gilles Barthe ; Guillaume Dufay; Marieke Huisman; Simão Melo de Sousa ;
PUBLISHED: 2001, SOURCE: E-smart, VOLUME: 2140, PAGES: 2-18
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP3563
TITLE: Novel Algorithm Combining Temporal Partitioning and Sharing of Functional Units
AUTHORS: João M P Cardoso ;
PUBLISHED: 2001, SOURCE: FCCM, PAGES: 31-40
AUTHORS: João M P Cardoso ;
PUBLISHED: 2001, SOURCE: FCCM, PAGES: 31-40
INDEXED IN: Scopus DBLP
Scopus DBLP3564
TITLE: Parallel image processing system on a cluster of personal computers - Best student paper award: First prize
AUTHORS: Barbosa, J ; João Manuel R. S. Tavares ; Padilha, AJ;
PUBLISHED: 2001, SOURCE: 4th International Conference on Vector and Parallel Processing (VECPAR 2000) in VECTOR AND PARALLEL PROCESSING - VECPAR 2000, VOLUME: 1981, PAGES: 439-452
AUTHORS: Barbosa, J ; João Manuel R. S. Tavares ; Padilha, AJ;
PUBLISHED: 2001, SOURCE: 4th International Conference on Vector and Parallel Processing (VECPAR 2000) in VECTOR AND PARALLEL PROCESSING - VECPAR 2000, VOLUME: 1981, PAGES: 439-452
3565
TITLE: Reducing Rankings of Classifiers by Eliminating Redundant Classifiers
AUTHORS: Pavel Brazdil ; Carlos Soares ; Rui Pereira;
PUBLISHED: 2001, SOURCE: EPIA, VOLUME: 2258 LNAI, PAGES: 14-21
AUTHORS: Pavel Brazdil ; Carlos Soares ; Rui Pereira;
PUBLISHED: 2001, SOURCE: EPIA, VOLUME: 2258 LNAI, PAGES: 14-21
3566
TITLE: RoboCup-2000 - The Fourth Robotic Soccer World Championships
AUTHORS: Stone, P; Asada, M; Balch, T; D'Andrea, R; Fujita, M; Hengst, B; Kraetzschmar, G; Lima, P ; Lau, N ; Lund, H; Polani, D; Scerri, P; Tadokoro, S; Weigel, T; Wyeth, G;
PUBLISHED: 2001, SOURCE: AI MAGAZINE, VOLUME: 22, ISSUE: 1, PAGES: 11-38
AUTHORS: Stone, P; Asada, M; Balch, T; D'Andrea, R; Fujita, M; Hengst, B; Kraetzschmar, G; Lima, P ; Lau, N ; Lund, H; Polani, D; Scerri, P; Tadokoro, S; Weigel, T; Wyeth, G;
PUBLISHED: 2001, SOURCE: AI MAGAZINE, VOLUME: 22, ISSUE: 1, PAGES: 11-38
INDEXED IN: Scopus 
WOS
Scopus WOS3567
TITLE: Sampling-Based Relative Landmarks: Systematically Test-Driving Algorithms Before Choosing
AUTHORS: Carlos Soares ; Johann Petrak; Pavel Brazdil ;
PUBLISHED: 2001, SOURCE: EPIA, VOLUME: 2258 LNAI, PAGES: 88-95
AUTHORS: Carlos Soares ; Johann Petrak; Pavel Brazdil ;
PUBLISHED: 2001, SOURCE: EPIA, VOLUME: 2258 LNAI, PAGES: 88-95
3568
TITLE: Self-tuned parallel processing system for heterogeneous clusters
AUTHORS: Barbosa, J ; João Manuel R. S. Tavares ; Padilha, A;
PUBLISHED: 2001, SOURCE: International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2001) in PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, PAGES: 1451-1457
AUTHORS: Barbosa, J ; João Manuel R. S. Tavares ; Padilha, A;
PUBLISHED: 2001, SOURCE: International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2001) in PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, PAGES: 1451-1457
INDEXED IN: WOS
WOS3569
TITLE: The design and implementation of open ORB 2
AUTHORS: Blair, GS; Coulson, G; Andersen, A; Blair, L; Clarke, M; Costa, F; Duran Limon, H; Fitzpatrick, T; Johnston, L; Moreira, R ; Parlavantzas, N; Saikoski, K;
PUBLISHED: 2001, SOURCE: IEEE Distributed Systems Online, VOLUME: 2, ISSUE: 6
AUTHORS: Blair, GS; Coulson, G; Andersen, A; Blair, L; Clarke, M; Costa, F; Duran Limon, H; Fitzpatrick, T; Johnston, L; Moreira, R ; Parlavantzas, N; Saikoski, K;
PUBLISHED: 2001, SOURCE: IEEE Distributed Systems Online, VOLUME: 2, ISSUE: 6
INDEXED IN: Scopus
Scopus3570
TITLE: Type Inference using Constraint Handling Rules
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2001, SOURCE: WFLP, VOLUME: 64, PAGES: 56-72
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2001, SOURCE: WFLP, VOLUME: 64, PAGES: 56-72
3571
TITLE: 5dpo team description
AUTHORS: Costa, P ; Moreira, A ; Sousa, A ; Marques, P ; Costa, P; Matos, A ;
PUBLISHED: 2000, SOURCE: 3rd Robot World Cup Soccer Games and Conference in ROBOCUP-99: ROBOT SOCCER WORLD CUP III, VOLUME: 1856, PAGES: 663-666
AUTHORS: Costa, P ; Moreira, A ; Sousa, A ; Marques, P ; Costa, P; Matos, A ;
PUBLISHED: 2000, SOURCE: 3rd Robot World Cup Soccer Games and Conference in ROBOCUP-99: ROBOT SOCCER WORLD CUP III, VOLUME: 1856, PAGES: 663-666
3572
TITLE: 5dpo-2000 team description
AUTHORS: Costa, P ; Moreira, A ; Sousa, A ; Marques, P ; Costa, P ; Matos, A ;
PUBLISHED: 2000, SOURCE: 3rd Robot World Cup Soccer Games and Conference in ROBOCUP-99: ROBOT SOCCER WORLD CUP III, VOLUME: 1856, PAGES: 754-757
AUTHORS: Costa, P ; Moreira, A ; Sousa, A ; Marques, P ; Costa, P ; Matos, A ;
PUBLISHED: 2000, SOURCE: 3rd Robot World Cup Soccer Games and Conference in ROBOCUP-99: ROBOT SOCCER WORLD CUP III, VOLUME: 1856, PAGES: 754-757
3573
TITLE: A comparison of ranking methods for classification algorithm selection
AUTHORS: Brazdil, PB ; Soares, C ;
PUBLISHED: 2000, SOURCE: 11th European Conference on Machine Learning in MACHINE LEARNING: ECML 2000, VOLUME: 1810, PAGES: 63-74
AUTHORS: Brazdil, PB ; Soares, C ;
PUBLISHED: 2000, SOURCE: 11th European Conference on Machine Learning in MACHINE LEARNING: ECML 2000, VOLUME: 1810, PAGES: 63-74
3574
TITLE: A Platform for Electronic Commerce with Adaptive Agents
AUTHORS: Henrique Lopes Cardoso ; Eugénio C Oliveira ;
PUBLISHED: 2000, SOURCE: AMEC, VOLUME: 2003, PAGES: 96-107
AUTHORS: Henrique Lopes Cardoso ; Eugénio C Oliveira ;
PUBLISHED: 2000, SOURCE: AMEC, VOLUME: 2003, PAGES: 96-107
3575
TITLE: Agent-based framework for the assessment of drivers' decision-making
AUTHORS: Rossetti Rosaldo, JF ; Sergio Bampi; Ronghui Liu; Vliet Dirck Van;
PUBLISHED: 2000, SOURCE: 2000 IEEE Intelligent Transportation Systems Proceedings in IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC, PAGES: 387-392
AUTHORS: Rossetti Rosaldo, JF ; Sergio Bampi; Ronghui Liu; Vliet Dirck Van;
PUBLISHED: 2000, SOURCE: 2000 IEEE Intelligent Transportation Systems Proceedings in IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC, PAGES: 387-392
INDEXED IN: Scopus
Scopus3576
TITLE: An empirical study on the usability of an information navigation aid
AUTHORS: Lamas, DR; Jerrams Smith, J; Heathcote, D; Gouveia, FR ;
PUBLISHED: 2000, SOURCE: Association-for-Computing-Machinery Conference in CUU 2000 CONFERENCE PROCEEDINGS, PAGES: 151-152
AUTHORS: Lamas, DR; Jerrams Smith, J; Heathcote, D; Gouveia, FR ;
PUBLISHED: 2000, SOURCE: Association-for-Computing-Machinery Conference in CUU 2000 CONFERENCE PROCEEDINGS, PAGES: 151-152
3577
TITLE: An enhanced static-list scheduling algorithm for temporal partitioning onto RPUs
AUTHORS: Cardoso, JMP ; Neto, HC;
PUBLISHED: 2000, SOURCE: IFIP 10th International Conference on Very Large Scale Integration (VLSI 99) in VLSI: SYSTEMS ON A CHIP, VOLUME: 34, PAGES: 485-496
AUTHORS: Cardoso, JMP ; Neto, HC;
PUBLISHED: 2000, SOURCE: IFIP 10th International Conference on Very Large Scale Integration (VLSI 99) in VLSI: SYSTEMS ON A CHIP, VOLUME: 34, PAGES: 485-496
3578
TITLE: Computational depth Full Text
AUTHORS: Antunes, L ; Fortnow, Lance ; van Melkebeek, D;
PUBLISHED: 2000, SOURCE: 16th Annual IEEE Conference on Computational Complexity in 16TH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, PAGES: 266-273
AUTHORS: Antunes, L ; Fortnow, Lance ; van Melkebeek, D;
PUBLISHED: 2000, SOURCE: 16th Annual IEEE Conference on Computational Complexity in 16TH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, PAGES: 266-273
3579
TITLE: Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings
AUTHORS: António Porto ; Gruia Catalin Roman;
PUBLISHED: 2000, SOURCE: COORDINATION, VOLUME: 1906
AUTHORS: António Porto ; Gruia Catalin Roman;
PUBLISHED: 2000, SOURCE: COORDINATION, VOLUME: 1906
INDEXED IN: DBLP
DBLP3580
TITLE: Dynamically reconfigurable implementation of control circuits
AUTHORS: Lau, N ; Sklyarov, V;
PUBLISHED: 2000, SOURCE: IFIP 10th International Conference on Very Large Scale Integration (VLSI 99) in VLSI: SYSTEMS ON A CHIP, VOLUME: 34, PAGES: 137-148
AUTHORS: Lau, N ; Sklyarov, V;
PUBLISHED: 2000, SOURCE: IFIP 10th International Conference on Very Large Scale Integration (VLSI 99) in VLSI: SYSTEMS ON A CHIP, VOLUME: 34, PAGES: 137-148
INDEXED IN: WOS
WOS