Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9
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: 4662
61 Team MembersFilters -> Year: 2026
4461
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
4462
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 DBLP4463
TITLE: An External Memory Interface for FPGA-Based Computing Engines
AUTHORS: Park, J; Diniz, P ;
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: 267-268
AUTHORS: Park, J; Diniz, P ;
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: 267-268
INDEXED IN: 
Scopus
Scopus4464
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
4465
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
4466
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
4467
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
4468
TITLE: Evaluating <i>N</i>-Selective Mutation for C programs: Unit and integration testing
AUTHORS: Maldonado, JC; Barbosa, EF; VINCENZI, AURI M. R. ; Delamaro, ME;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 22-33
AUTHORS: Maldonado, JC; Barbosa, EF; VINCENZI, AURI M. R. ; Delamaro, ME;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 22-33
4469
TITLE: Experiences in the development of information systems in an industrial innovation context
AUTHORS: Soares, AL ; Gaida, W; Schmidt, C;
PUBLISHED: 2001, SOURCE: 3rd International Conference on Enterprise Information Systems, ICEIS 2001 in ICEIS 2001 - Proceedings of the 3rd International Conference on Enterprise Information Systems, VOLUME: 2, PAGES: 846-853
AUTHORS: Soares, AL ; Gaida, W; Schmidt, C;
PUBLISHED: 2001, SOURCE: 3rd International Conference on Enterprise Information Systems, ICEIS 2001 in ICEIS 2001 - Proceedings of the 3rd International Conference on Enterprise Information Systems, VOLUME: 2, PAGES: 846-853
INDEXED IN: Scopus
Scopus4470
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
4471
TITLE: How the FEUP Removal to the New Premises Was Facilitated by the Internal Information System
AUTHORS: Lígia M Ribeiro ; Maria Antónia Carravilla ; Gabriel David ;
PUBLISHED: 2001, SOURCE: EUNIS, VOLUME: P-13, PAGES: 251-258
AUTHORS: Lígia M Ribeiro ; Maria Antónia Carravilla ; Gabriel David ;
PUBLISHED: 2001, SOURCE: EUNIS, VOLUME: P-13, PAGES: 251-258
INDEXED IN: Scopus DBLP
Scopus DBLP4472
TITLE: Improving the Robustness and Encoding Complexity of Behavioural Clones
AUTHORS: Rui Camacho ; Pavel Brazdil ;
PUBLISHED: 2001, SOURCE: ECML, VOLUME: 2167, PAGES: 37-48
AUTHORS: Rui Camacho ; Pavel Brazdil ;
PUBLISHED: 2001, SOURCE: ECML, VOLUME: 2167, PAGES: 37-48
4473
TITLE: Inducing models of human control skills
AUTHORS: Camacho, R ;
PUBLISHED: 2001, SOURCE: 4th International Conference on Cognitive Modeling in ICCM - 2001: PROCEEDINGS OF THE 2001 FOURTH INTERNATIONAL CONFERENCE ON COGNITIVE MODELING, PAGES: 43-48
AUTHORS: Camacho, R ;
PUBLISHED: 2001, SOURCE: 4th International Conference on Cognitive Modeling in ICCM - 2001: PROCEEDINGS OF THE 2001 FOURTH INTERNATIONAL CONFERENCE ON COGNITIVE MODELING, PAGES: 43-48
INDEXED IN: WOS 
Handle
WOS Handle4474
TITLE: Matching and searching analysis for parallel hardware implementation on FPGAs Full Text
AUTHORS: Moisset, P; Diniz, P ; Park, J;
PUBLISHED: 2001, SOURCE: 2001 ACM/SIGDA 9th International Sysmposium on Field Programmable Gate Arrays (FPGA 2001) in ACM/SIGDA International Symposium on Field Programmable Gate Arrays - FPGA, PAGES: 125-133
AUTHORS: Moisset, P; Diniz, P ; Park, J;
PUBLISHED: 2001, SOURCE: 2001 ACM/SIGDA 9th International Sysmposium on Field Programmable Gate Arrays (FPGA 2001) in ACM/SIGDA International Symposium on Field Programmable Gate Arrays - FPGA, PAGES: 125-133
INDEXED IN: Scopus
Scopus4475
TITLE: Movement Query Operations for Spatio-Temporal Databases
AUTHORS: Talel Abdessalem; José Manuel Moreira; Cristina Ribeiro ;
PUBLISHED: 2001, SOURCE: BDA
AUTHORS: Talel Abdessalem; José Manuel Moreira; Cristina Ribeiro ;
PUBLISHED: 2001, SOURCE: BDA
INDEXED IN: DBLP
DBLP4476
TITLE: Mutant Operators for Testing Concurrent Java Programs
AUTHORS: Márcio E Delamaro; Mauro Pezzè; VINCENZI, AURI M. R. ;
PUBLISHED: 2001, SOURCE: Proceedings of the 15th Brazilian Symposium on Software Engineering, SBES 2001, Rio de Janeiro, RJ, Brazil, October 3-5, 2001., PAGES: 272-285
AUTHORS: Márcio E Delamaro; Mauro Pezzè; VINCENZI, AURI M. R. ;
PUBLISHED: 2001, SOURCE: Proceedings of the 15th Brazilian Symposium on Software Engineering, SBES 2001, Rio de Janeiro, RJ, Brazil, October 3-5, 2001., PAGES: 272-285
INDEXED IN: DBLP
DBLP4477
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 DBLP4478
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
4479
TITLE: Proteum/IM 2.0: An integrated mutation testing environment
AUTHORS: Delamaro, ME; Maldonado, JC; VINCENZI, AURI M. R. ;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 91-101
AUTHORS: Delamaro, ME; Maldonado, JC; VINCENZI, AURI M. R. ;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 91-101
4480
TITLE: Proteum: A family of tools to support specification and program testing based on mutation
AUTHORS: Maldonado, JC; Delamaro, ME; Fabbri, SCPF; Simao, AD; Sugeta, T; VINCENZI, AURI M. R. ; Masiero, PC;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 113-116
AUTHORS: Maldonado, JC; Delamaro, ME; Fabbri, SCPF; Simao, AD; Sugeta, T; VINCENZI, AURI M. R. ; Masiero, PC;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 113-116
