Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 4655
62 Team MembersFilters -> Year: 2026
4461
TÃTULO: Argumentation as Distributed Belief Revision: Conflict Resolution in Decentralised Co-operative Multi-agent Systems
AUTORES: Benedita Malheiro ; Eugénio Oliveira ;
PUBLICAÇÃO: 2001, FONTE: EPIA, VOLUME: 2258 LNAI, PÁGINAS: 205-218
AUTORES: Benedita Malheiro ; Eugénio Oliveira ;
PUBLICAÇÃO: 2001, FONTE: EPIA, VOLUME: 2258 LNAI, PÁGINAS: 205-218
4462
TÃTULO: COACH UNILANG - A Standard Language for Coaching a (Robo)Soccer Team
AUTORES: Luís Paulo Reis ; Nuno Lau ;
PUBLICAÇÃO: 2001, FONTE: RoboCup, VOLUME: 2377 LNAI, PÁGINAS: 183-192
AUTORES: Luís Paulo Reis ; Nuno Lau ;
PUBLICAÇÃO: 2001, FONTE: RoboCup, VOLUME: 2377 LNAI, PÁGINAS: 183-192
4463
TÃTULO: Compilation Increasing the Scheduling Scope for Multi-memory-FPGA-Based Custom Computing Machines
AUTORES: João M P Cardoso ; Horácio C Neto;
PUBLICAÇÃO: 2001, FONTE: FPL, VOLUME: 2147, PÁGINAS: 523-533
AUTORES: João M P Cardoso ; Horácio C Neto;
PUBLICAÇÃO: 2001, FONTE: FPL, VOLUME: 2147, PÁGINAS: 523-533
4464
TÃTULO: Electronic Institutions as a Framework for Agents' Negotiation and Mutual Commitment
AUTORES: Ana Paula Rocha ; Eugénio C Oliveira ;
PUBLICAÇÃO: 2001, FONTE: EPIA, VOLUME: 2258 LNAI, PÁGINAS: 232-245
AUTORES: Ana Paula Rocha ; Eugénio C Oliveira ;
PUBLICAÇÃO: 2001, FONTE: EPIA, VOLUME: 2258 LNAI, PÁGINAS: 232-245
4465
TÃTULO: Evaluating <i>N</i>-Selective Mutation for C programs: Unit and integration testing
AUTORES: Maldonado, JC; Barbosa, EF; VINCENZI, AURI M. R. ; Delamaro, ME;
PUBLICAÇÃO: 2001, FONTE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PÁGINAS: 22-33
AUTORES: Maldonado, JC; Barbosa, EF; VINCENZI, AURI M. R. ; Delamaro, ME;
PUBLICAÇÃO: 2001, FONTE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PÁGINAS: 22-33
4466
TÃTULO: Experiences in the development of information systems in an industrial innovation context
AUTORES: Soares, AL ; Gaida, W; Schmidt, C;
PUBLICAÇÃO: 2001, FONTE: 3rd International Conference on Enterprise Information Systems, ICEIS 2001 in ICEIS 2001 - Proceedings of the 3rd International Conference on Enterprise Information Systems, VOLUME: 2, PÁGINAS: 846-853
AUTORES: Soares, AL ; Gaida, W; Schmidt, C;
PUBLICAÇÃO: 2001, FONTE: 3rd International Conference on Enterprise Information Systems, ICEIS 2001 in ICEIS 2001 - Proceedings of the 3rd International Conference on Enterprise Information Systems, VOLUME: 2, PÁGINAS: 846-853
4467
TÃTULO: FC Portugal 2001 Team Description: Flexible Teamwork and Configurable Strategy
AUTORES: Nuno Lau ; Luís Paulo Reis ;
PUBLICAÇÃO: 2001, FONTE: RoboCup, VOLUME: 2377 LNAI, PÁGINAS: 515-518
AUTORES: Nuno Lau ; Luís Paulo Reis ;
PUBLICAÇÃO: 2001, FONTE: RoboCup, VOLUME: 2377 LNAI, PÁGINAS: 515-518
4468
TÃTULO: How the FEUP Removal to the New Premises Was Facilitated by the Internal Information System
AUTORES: Lígia M Ribeiro ; Maria Antónia Carravilla ; Gabriel David ;
PUBLICAÇÃO: 2001, FONTE: EUNIS, VOLUME: P-13, PÁGINAS: 251-258
AUTORES: Lígia M Ribeiro ; Maria Antónia Carravilla ; Gabriel David ;
PUBLICAÇÃO: 2001, FONTE: EUNIS, VOLUME: P-13, PÁGINAS: 251-258
4469
TÃTULO: Improving the Robustness and Encoding Complexity of Behavioural Clones
AUTORES: Rui Camacho ; Pavel Brazdil ;
PUBLICAÇÃO: 2001, FONTE: ECML, VOLUME: 2167, PÁGINAS: 37-48
AUTORES: Rui Camacho ; Pavel Brazdil ;
PUBLICAÇÃO: 2001, FONTE: ECML, VOLUME: 2167, PÁGINAS: 37-48
4470
TÃTULO: Inducing models of human control skills
AUTORES: Camacho, R ;
PUBLICAÇÃO: 2001, FONTE: 4th International Conference on Cognitive Modeling in ICCM - 2001: PROCEEDINGS OF THE 2001 FOURTH INTERNATIONAL CONFERENCE ON COGNITIVE MODELING, PÁGINAS: 43-48
AUTORES: Camacho, R ;
PUBLICAÇÃO: 2001, FONTE: 4th International Conference on Cognitive Modeling in ICCM - 2001: PROCEEDINGS OF THE 2001 FOURTH INTERNATIONAL CONFERENCE ON COGNITIVE MODELING, PÁGINAS: 43-48
4471
TÃTULO: Matching and searching analysis for parallel hardware implementation on FPGAs
AUTORES: Moisset, P; Diniz, P ; Park, J;
PUBLICAÇÃO: 2001, FONTE: 2001 ACM/SIGDA 9th International Sysmposium on Field Programmable Gate Arrays (FPGA 2001) in ACM/SIGDA International Symposium on Field Programmable Gate Arrays - FPGA, PÁGINAS: 125-133
AUTORES: Moisset, P; Diniz, P ; Park, J;
PUBLICAÇÃO: 2001, FONTE: 2001 ACM/SIGDA 9th International Sysmposium on Field Programmable Gate Arrays (FPGA 2001) in ACM/SIGDA International Symposium on Field Programmable Gate Arrays - FPGA, PÁGINAS: 125-133
4472
TÃTULO: Movement Query Operations for Spatio-Temporal Databases
AUTORES: Talel Abdessalem; José Manuel Moreira; Cristina Ribeiro ;
PUBLICAÇÃO: 2001, FONTE: BDA
AUTORES: Talel Abdessalem; José Manuel Moreira; Cristina Ribeiro ;
PUBLICAÇÃO: 2001, FONTE: BDA
4473
TÃTULO: Mutant Operators for Testing Concurrent Java Programs
AUTORES: Márcio E Delamaro; Mauro Pezzè; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2001, FONTE: Proceedings of the 15th Brazilian Symposium on Software Engineering, SBES 2001, Rio de Janeiro, RJ, Brazil, October 3-5, 2001., PÁGINAS: 272-285
AUTORES: Márcio E Delamaro; Mauro Pezzè; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2001, FONTE: Proceedings of the 15th Brazilian Symposium on Software Engineering, SBES 2001, Rio de Janeiro, RJ, Brazil, October 3-5, 2001., PÁGINAS: 272-285
4474
TÃTULO: Novel Algorithm Combining Temporal Partitioning and Sharing of Functional Units
AUTORES: Cardoso, JMP ;
PUBLICAÇÃO: 2001, FONTE: 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, PÁGINAS: 31-40
AUTORES: Cardoso, JMP ;
PUBLICAÇÃO: 2001, FONTE: 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, PÁGINAS: 31-40
4475
TÃTULO: Parallel image processing system on a cluster of personal computers - Best student paper award: First prize
AUTORES: Barbosa, J ; João Manuel R. S. Tavares ; Padilha, AJ;
PUBLICAÇÃO: 2001, FONTE: 4th International Conference on Vector and Parallel Processing (VECPAR 2000) in VECTOR AND PARALLEL PROCESSING - VECPAR 2000, VOLUME: 1981, PÁGINAS: 439-452
AUTORES: Barbosa, J ; João Manuel R. S. Tavares ; Padilha, AJ;
PUBLICAÇÃO: 2001, FONTE: 4th International Conference on Vector and Parallel Processing (VECPAR 2000) in VECTOR AND PARALLEL PROCESSING - VECPAR 2000, VOLUME: 1981, PÁGINAS: 439-452
4476
TÃTULO: Proteum/IM 2.0: An integrated mutation testing environment
AUTORES: Delamaro, ME; Maldonado, JC; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2001, FONTE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PÁGINAS: 91-101
AUTORES: Delamaro, ME; Maldonado, JC; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2001, FONTE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PÁGINAS: 91-101
4477
TÃTULO: Proteum: A family of tools to support specification and program testing based on mutation
AUTORES: Maldonado, JC; Delamaro, ME; Fabbri, SCPF; Simao, AD; Sugeta, T; VINCENZI, AURI M. R. ; Masiero, PC;
PUBLICAÇÃO: 2001, FONTE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PÁGINAS: 113-116
AUTORES: Maldonado, JC; Delamaro, ME; Fabbri, SCPF; Simao, AD; Sugeta, T; VINCENZI, AURI M. R. ; Masiero, PC;
PUBLICAÇÃO: 2001, FONTE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PÁGINAS: 113-116
4478
TÃTULO: Reducing Rankings of Classifiers by Eliminating Redundant Classifiers
AUTORES: Pavel Brazdil ; Carlos Soares ; Rui Pereira;
PUBLICAÇÃO: 2001, FONTE: EPIA, VOLUME: 2258 LNAI, PÁGINAS: 14-21
AUTORES: Pavel Brazdil ; Carlos Soares ; Rui Pereira;
PUBLICAÇÃO: 2001, FONTE: EPIA, VOLUME: 2258 LNAI, PÁGINAS: 14-21
4479
TÃTULO: REQUIREMENTS FOR AN AGENT BASED INFORMATION SYSTEM SUPPORTING VARIABLY COUPLED NETWORKED ENTERPRISES
AUTORES: Azevedo, AL ; Sousa, JP ; Soares, AL ;
PUBLICAÇÃO: 2001, FONTE: 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, PÁGINAS: 137-144
AUTORES: Azevedo, AL ; Sousa, JP ; Soares, AL ;
PUBLICAÇÃO: 2001, FONTE: 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, PÁGINAS: 137-144
4480
TÃTULO: Sampling-Based Relative Landmarks: Systematically Test-Driving Algorithms Before Choosing
AUTORES: Carlos Soares ; Johann Petrak; Pavel Brazdil ;
PUBLICAÇÃO: 2001, FONTE: EPIA, VOLUME: 2258 LNAI, PÁGINAS: 88-95
AUTORES: Carlos Soares ; Johann Petrak; Pavel Brazdil ;
PUBLICAÇÃO: 2001, FONTE: EPIA, VOLUME: 2258 LNAI, PÁGINAS: 88-95
