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: 4470
56 Team MembersFilters -> Year: 2025
4281
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
4282
TITLE: Movement Query Operations for Spatio-Temporal Databases
AUTHORS: Talel Abdessalem; José Moreira; Cristina Ribeiro ;
PUBLISHED: 2001, SOURCE: 17èmes Journées Bases de Données Avancées, BDA 2001, 29 octobre - 2 novembre, Agadir (Maroc), Actes (Informal Proceedings).
AUTHORS: Talel Abdessalem; José Moreira; Cristina Ribeiro ;
PUBLISHED: 2001, SOURCE: 17èmes Journées Bases de Données Avancées, BDA 2001, 29 octobre - 2 novembre, Agadir (Maroc), Actes (Informal Proceedings).
INDEXED IN:
DBLP
4283
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
4284
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
4285
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
4286
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
4287
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
4288
TITLE: Reducing rankings of classifiers by eliminating redundant classifiers
AUTHORS: Brazdil, P ; Soares, C ; Pereira, R;
PUBLISHED: 2001, SOURCE: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2258 LNAI, PAGES: 14-21
AUTHORS: Brazdil, P ; Soares, C ; Pereira, R;
PUBLISHED: 2001, SOURCE: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2258 LNAI, PAGES: 14-21
4289
TITLE: REQUIREMENTS FOR AN AGENT BASED INFORMATION SYSTEM SUPPORTING VARIABLY COUPLED NETWORKED ENTERPRISES
AUTHORS: Azevedo, AL ; Sousa, JP ; Soares, AL ;
PUBLISHED: 2001, SOURCE: 2nd Conference on Infrastructures for Virtual Organizations - Managing Cooperation in Virtual Organization and Electronic Business towards Smart Organizations in E-BUSINESS AND VIRTUAL ENTERPRISES: MANAGING BUSINESS-TO-BUSINESS COOPERATION, VOLUME: 56, PAGES: 137-144
AUTHORS: Azevedo, AL ; Sousa, JP ; Soares, AL ;
PUBLISHED: 2001, SOURCE: 2nd Conference on Infrastructures for Virtual Organizations - Managing Cooperation in Virtual Organization and Electronic Business towards Smart Organizations in E-BUSINESS AND VIRTUAL ENTERPRISES: MANAGING BUSINESS-TO-BUSINESS COOPERATION, VOLUME: 56, PAGES: 137-144
4290
TITLE: Sampling-based relative landmarks: Systematically test-driving algorithms before choosing
AUTHORS: Soares, C ; Petrak, J; Brazdil, P ;
PUBLISHED: 2001, SOURCE: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2258 LNAI, PAGES: 88-95
AUTHORS: Soares, C ; Petrak, J; Brazdil, P ;
PUBLISHED: 2001, SOURCE: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2258 LNAI, PAGES: 88-95
4291
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
4292
TITLE: Synthesis of pipelined memory access controllers for streamed data applications on FPGA-based computing engines Full Text
AUTHORS: Park, J; Diniz, PC ;
PUBLISHED: 2001, SOURCE: 14th International Symposium on System Synthesis (ISSS'01) in Proceedings of the International Symposium on System Synthesis, PAGES: 221-226
AUTHORS: Park, J; Diniz, PC ;
PUBLISHED: 2001, SOURCE: 14th International Symposium on System Synthesis (ISSS'01) in Proceedings of the International Symposium on System Synthesis, PAGES: 221-226
INDEXED IN:
Scopus
4293
TITLE: Toward the determination of sufficient mutant operators for C Full Text
AUTHORS: Barbosa, EF; Maldonado, JC; VINCENZI, AURI M. R. ;
PUBLISHED: 2001, SOURCE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 11, ISSUE: 2, PAGES: 113-136
AUTHORS: Barbosa, EF; Maldonado, JC; VINCENZI, AURI M. R. ;
PUBLISHED: 2001, SOURCE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 11, ISSUE: 2, PAGES: 113-136
4294
TITLE: Unit and integration testing strategies for C programs using mutation Full Text
AUTHORS: VINCENZI, AURI M. R. ; Maldonado, JC; Barbosa, EF; Delamaro, ME;
PUBLISHED: 2001, SOURCE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 11, ISSUE: 4, PAGES: 249-268
AUTHORS: VINCENZI, AURI M. R. ; Maldonado, JC; Barbosa, EF; Delamaro, ME;
PUBLISHED: 2001, SOURCE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 11, ISSUE: 4, PAGES: 249-268
4295
TITLE: Use-Case Controller
AUTHORS: Ademar Aguiar ; Alexandre Sousa; Alexandre Pinto;
PUBLISHED: 2001, SOURCE: Proceedings of the 6th European Conference on Pattern Languages of Programms (EuroPLoP '2001), Irsee, Germany, July 4-8, 2001., PAGES: 53-68
AUTHORS: Ademar Aguiar ; Alexandre Sousa; Alexandre Pinto;
PUBLISHED: 2001, SOURCE: Proceedings of the 6th European Conference on Pattern Languages of Programms (EuroPLoP '2001), Irsee, Germany, July 4-8, 2001., PAGES: 53-68
INDEXED IN:
DBLP
4296
TITLE: 21st Annual Conference of the European Association for Computer Graphics, Eurographics 2000 - Short Presentations, Interlaken, Switzerland, August 21-25, 2000
AUTHORS: António Augusto de Sousa ; Juan Carlos Torres;
PUBLISHED: 2000, SOURCE: Eurographics (Short Presentations)
AUTHORS: António Augusto de Sousa ; Juan Carlos Torres;
PUBLISHED: 2000, SOURCE: Eurographics (Short Presentations)
INDEXED IN:
DBLP
4297
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
4298
TITLE: A minimalist approach to framework documentation
AUTHORS: Ademar Aguiar ;
PUBLISHED: 2000, SOURCE: 2000 Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2000 in Object Oriented Programming Systems Languages and Applications Conference, OOPSLA 2000, Minneapolis, MN, USA, October 15-19, 2000, Addendum to the proceedings, PAGES: 143-144
AUTHORS: Ademar Aguiar ;
PUBLISHED: 2000, SOURCE: 2000 Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2000 in Object Oriented Programming Systems Languages and Applications Conference, OOPSLA 2000, Minneapolis, MN, USA, October 15-19, 2000, Addendum to the proceedings, PAGES: 143-144
4299
TITLE: A Note on Two Simple Transformations for Improving the Efficiency of an ILP System
AUTHORS: Vítor Santos Costa ; Ashwin Srinivasan; Rui Camacho ;
PUBLISHED: 2000, SOURCE: Inductive Logic Programming, 10th International Conference, ILP 2000, London, UK, July 24-27, 2000, Proceedings, VOLUME: 1866, PAGES: 225-242
AUTHORS: Vítor Santos Costa ; Ashwin Srinivasan; Rui Camacho ;
PUBLISHED: 2000, SOURCE: Inductive Logic Programming, 10th International Conference, ILP 2000, London, UK, July 24-27, 2000, Proceedings, VOLUME: 1866, PAGES: 225-242
4300
TITLE: A Platform for Electronic Commerce with Adaptive Agents
AUTHORS: Henrique Lopes Cardoso ; Eugenio Oliveira ;
PUBLISHED: 2000, SOURCE: 3rd Workshop on Agent-Mediated Electronic Commerce held in conjunction with the Autonomous Agents conference, 2000 in Agent-Mediated Electronic Commerce III, Current Issues in Agent-Based Electronic Commerce Systems (includes revised papers from AMEC 2000 Workshop), VOLUME: 2003, PAGES: 96-107
AUTHORS: Henrique Lopes Cardoso ; Eugenio Oliveira ;
PUBLISHED: 2000, SOURCE: 3rd Workshop on Agent-Mediated Electronic Commerce held in conjunction with the Autonomous Agents conference, 2000 in Agent-Mediated Electronic Commerce III, Current Issues in Agent-Based Electronic Commerce Systems (includes revised papers from AMEC 2000 Workshop), VOLUME: 2003, PAGES: 96-107