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: 3642
85 Team MembersFilters -> Year: 2026
3481
TITLE: A formal executable semantics of the JavaCard platform
AUTHORS: Barthe, G ; Dufay, G; Jakubiec, L; Serpette, B; de Sousa, SM ;
PUBLISHED: 2001, SOURCE: 10th European Symposium on Programming in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 2028, PAGES: 302-319
AUTHORS: Barthe, G ; Dufay, G; Jakubiec, L; Serpette, B; de Sousa, SM ;
PUBLISHED: 2001, SOURCE: 10th European Symposium on Programming in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 2028, PAGES: 302-319
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP3482
TITLE: A language for specifying complete timetabling problems
AUTHORS: Reis, LP ; Oliveira, E ;
PUBLISHED: 2001, SOURCE: 3rd International Conference on Practice and Theory of Automated Timetabling in PRACTICE AND THEORY OF AUTOMATED TIMETABLING III, VOLUME: 2079, PAGES: 322-341
AUTHORS: Reis, LP ; Oliveira, E ;
PUBLISHED: 2001, SOURCE: 3rd International Conference on Practice and Theory of Automated Timetabling in PRACTICE AND THEORY OF AUTOMATED TIMETABLING III, VOLUME: 2079, PAGES: 322-341
3483
TITLE: A multi-agent based cell controller
AUTHORS: Leitao, P ; Restivo, F ; Putnik, G ;
PUBLISHED: 2001, SOURCE: 8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2001) in ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, VOLUME: 2, PAGES: 463-470
AUTHORS: Leitao, P ; Restivo, F ; Putnik, G ;
PUBLISHED: 2001, SOURCE: 8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2001) in ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, VOLUME: 2, PAGES: 463-470
3484
TITLE: A reflective component-based and architecture aware framework to manage architecture composition
AUTHORS: Moreira, RS ; Blair, GS; Carrapatoso, E;
PUBLISHED: 2001, SOURCE: 3rd International Symposium on Distributed Objects and Applications, DOA 2001 in Proceedings - 3rd International Symposium on Distributed Objects and Applications, DOA 2001, PAGES: 187-196
AUTHORS: Moreira, RS ; Blair, GS; Carrapatoso, E;
PUBLISHED: 2001, SOURCE: 3rd International Symposium on Distributed Objects and Applications, DOA 2001 in Proceedings - 3rd International Symposium on Distributed Objects and Applications, DOA 2001, PAGES: 187-196
3485
TITLE: Agents Advanced Features for Negotiation in Electronic Commerce and Virtual Organisations Formation Processes
AUTHORS: Eugénio C Oliveira ; Ana Paula Rocha ;
PUBLISHED: 2001, SOURCE: AgentLink, PAGES: 78-97
AUTHORS: Eugénio C Oliveira ; Ana Paula Rocha ;
PUBLISHED: 2001, SOURCE: AgentLink, PAGES: 78-97
3486
TITLE: Agents' advanced features for negotiation and coordination Full Text
AUTHORS: Oliveira, E ;
PUBLISHED: 2001, SOURCE: 9th Advanced Course on Artificial Intelligence (ACAI 2001)/3rd European Agent Systems Summer School (EASSS 2001) in MULTI-AGENT SYSTEMS AND APPLICATIONS, VOLUME: 2086, PAGES: 173-186
AUTHORS: Oliveira, E ;
PUBLISHED: 2001, SOURCE: 9th Advanced Course on Artificial Intelligence (ACAI 2001)/3rd European Agent Systems Summer School (EASSS 2001) in MULTI-AGENT SYSTEMS AND APPLICATIONS, VOLUME: 2086, PAGES: 173-186
INDEXED IN: WOS DBLP
WOS DBLP3487
TITLE: Applying DIP techniques to microscopic biological images
AUTHORS: Araujo, AA; Faria, BM ; Silva, MAR; Reis, HJ;
PUBLISHED: 2001, SOURCE: Nonlinear Image Processing and Pattern Analysis XII in Proceedings of SPIE - The International Society for Optical Engineering, VOLUME: 4304, PAGES: 58-66
AUTHORS: Araujo, AA; Faria, BM ; Silva, MAR; Reis, HJ;
PUBLISHED: 2001, SOURCE: Nonlinear Image Processing and Pattern Analysis XII in Proceedings of SPIE - The International Society for Optical Engineering, VOLUME: 4304, PAGES: 58-66
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef3488
TITLE: Argumentation as Distributed Belief Revision: Conflict Resolution in Decentralised Co-operative Multi-agent Systems
AUTHORS: Benedita Malheiro ; Eugénio Oliveira ;
PUBLISHED: 2001, SOURCE: EPIA, VOLUME: 2258 LNAI, PAGES: 205-218
AUTHORS: Benedita Malheiro ; Eugénio Oliveira ;
PUBLISHED: 2001, SOURCE: EPIA, VOLUME: 2258 LNAI, PAGES: 205-218
3489
TITLE: COACH UNILANG - A Standard Language for Coaching a (Robo)Soccer Team
AUTHORS: Luís Paulo Reis ; Nuno Lau ;
PUBLISHED: 2001, SOURCE: RoboCup, VOLUME: 2377 LNAI, PAGES: 183-192
AUTHORS: Luís Paulo Reis ; Nuno Lau ;
PUBLISHED: 2001, SOURCE: RoboCup, VOLUME: 2377 LNAI, PAGES: 183-192
3490
TITLE: Compilation Increasing the Scheduling Scope for Multi-memory-FPGA-Based Custom Computing Machines
AUTHORS: João M P Cardoso ; Horácio C Neto;
PUBLISHED: 2001, SOURCE: FPL, VOLUME: 2147, PAGES: 523-533
AUTHORS: João M P Cardoso ; Horácio C Neto;
PUBLISHED: 2001, SOURCE: FPL, VOLUME: 2147, PAGES: 523-533
3491
TITLE: Electronic Institutions as a Framework for Agents' Negotiation and Mutual Commitment
AUTHORS: Ana Paula Rocha ; Eugénio C Oliveira ;
PUBLISHED: 2001, SOURCE: EPIA, VOLUME: 2258 LNAI, PAGES: 232-245
AUTHORS: Ana Paula Rocha ; Eugénio C Oliveira ;
PUBLISHED: 2001, SOURCE: EPIA, VOLUME: 2258 LNAI, PAGES: 232-245
3492
TITLE: FC Portugal 2001 Team Description: Flexible Teamwork and Configurable Strategy
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
3493
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 DBLP3494
TITLE: Novel Algorithm Combining Temporal Partitioning and Sharing of Functional Units
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2001, SOURCE: 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001 in Proceedings - 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001, PAGES: 31-40
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2001, SOURCE: 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001 in Proceedings - 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001, PAGES: 31-40
INDEXED IN: Scopus DBLP
Scopus DBLP3495
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
3496
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
3497
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 WOS3498
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
3499
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
WOS3500
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
Scopus