Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 4732
62 Team MembersFilters -> Year: 2026
4541
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
4542
TITLE: Evaluating <i>N</i>-Selective Mutation for C programs: Unit and integration testing
AUTHORS: Maldonado, JC; Barbosa, EF; Vincenzi, AMR ; Delamaro, ME;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 22-33
AUTHORS: Maldonado, JC; Barbosa, EF; Vincenzi, AMR ; Delamaro, ME;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 22-33
4543
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
4544
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
4545
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
4546
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
4547
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
4548
TITLE: Matching and searching analysis for parallel hardware implementation on FPGAs
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
4549
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
4550
TITLE: Mutant Operators for Testing Concurrent Java Programs
AUTHORS: Márcio E Delamaro; Mauro Pezzè; Auri M R Vincenzi ;
PUBLISHED: 2001, SOURCE: SBES, PAGES: 272-285
AUTHORS: Márcio E Delamaro; Mauro Pezzè; Auri M R Vincenzi ;
PUBLISHED: 2001, SOURCE: SBES, PAGES: 272-285
4551
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
4552
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
4553
TITLE: Proteum/IM 2.0: An integrated mutation testing environment
AUTHORS: Delamaro, ME; Maldonado, JC; Vincenzi, AMR ;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 91-101
AUTHORS: Delamaro, ME; Maldonado, JC; Vincenzi, AMR ;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 91-101
4554
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, AMR ; 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, AMR ; Masiero, PC;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 113-116
4555
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
4556
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
4557
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
4558
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
4559
TITLE: Synthesis of pipelined memory access controllers for streamed data applications on FPGA-based computing engines
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
4560
TITLE: Toward the determination of sufficient mutant operators for C
AUTHORS: Barbosa, EF; Maldonado, JC; Vincenzi, AMR ;
PUBLISHED: 2001, SOURCE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 11, ISSUE: 2, PAGES: 113-136
AUTHORS: Barbosa, EF; Maldonado, JC; Vincenzi, AMR ;
PUBLISHED: 2001, SOURCE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 11, ISSUE: 2, PAGES: 113-136
