Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 4625
61 Team MembersFilters -> Year: 2026
4421
TÃTULO: Version stamps - Decentralized version vectors
AUTORES: Almeida, PS ; Baquero, C ; Fonte, V ;
PUBLICAÇÃO: 2002, FONTE: 22nd International Conference on Distributed Computing Systems in 22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, PÁGINAS: 544-551
AUTORES: Almeida, PS ; Baquero, C ; Fonte, V ;
PUBLICAÇÃO: 2002, FONTE: 22nd International Conference on Distributed Computing Systems in 22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, PÁGINAS: 544-551
4422
TÃTULO: XPP-VC: A C Compiler with temporal partitioning for the PACT-XPP architecture
AUTORES: Cardoso, JMP ; Weinhardt, M;
PUBLICAÇÃO: 2002, FONTE: 12th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLUME: 2438, PÁGINAS: 864-874
AUTORES: Cardoso, JMP ; Weinhardt, M;
PUBLICAÇÃO: 2002, FONTE: 12th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLUME: 2438, PÁGINAS: 864-874
4423
TÃTULO: A Behavioral Synthesis Estimation Interface for Configurable Computing
AUTORES: Diniz, P ; Venkatachar, A;
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: 253-254
AUTORES: Diniz, P ; Venkatachar, A;
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: 253-254
4424
TÃTULO: A CONCEPTUAL FRAMEWORK FOR AGGREGATE MANAGEMENT OF VIRTUAL ENTERPRISES
AUTORES: Jorge P Sousa ; Americo L Azevedo ; Antonio L Soares ;
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: 395-402
AUTORES: Jorge P Sousa ; Americo L Azevedo ; Antonio L Soares ;
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: 395-402
4425
TÃTULO: A language for specifying complete timetabling problems
AUTORES: Reis, LP ; Oliveira, E ;
PUBLICAÇÃO: 2001, FONTE: 3rd International Conference on Practice and Theory of Automated Timetabling in PRACTICE AND THEORY OF AUTOMATED TIMETABLING III, VOLUME: 2079, PÁGINAS: 322-341
AUTORES: Reis, LP ; Oliveira, E ;
PUBLICAÇÃO: 2001, FONTE: 3rd International Conference on Practice and Theory of Automated Timetabling in PRACTICE AND THEORY OF AUTOMATED TIMETABLING III, VOLUME: 2079, PÁGINAS: 322-341
4426
TÃTULO: A Metadata Model for Multimedia Databases
AUTORES: Cristina Ribeiro ; Gabriel David ;
PUBLICAÇÃO: 2001, FONTE: ICHIM (1), PÁGINAS: 469-483
AUTORES: Cristina Ribeiro ; Gabriel David ;
PUBLICAÇÃO: 2001, FONTE: ICHIM (1), PÁGINAS: 469-483
4427
TÃTULO: A social and organisational ontological foundation for enterprise modelling
AUTORES: Soares, AL ;
PUBLICAÇÃO: 2001, FONTE: IFAC Symposium on Manufacturing, Modeling, Management and Control (MIN 2000) in MANUFACTURING, MODELING, MANAGEMENT AND CONTROL, PROCEEDINGS, PÁGINAS: 417-422
AUTORES: Soares, AL ;
PUBLICAÇÃO: 2001, FONTE: IFAC Symposium on Manufacturing, Modeling, Management and Control (MIN 2000) in MANUFACTURING, MODELING, MANAGEMENT AND CONTROL, PROCEEDINGS, PÁGINAS: 417-422
4428
TÃTULO: Agents Advanced Features for Negotiation in Electronic Commerce and Virtual Organisations Formation Processes
AUTORES: Eugénio C Oliveira ; Ana Paula Rocha ;
PUBLICAÇÃO: 2001, FONTE: AgentLink, PÁGINAS: 78-97
AUTORES: Eugénio C Oliveira ; Ana Paula Rocha ;
PUBLICAÇÃO: 2001, FONTE: AgentLink, PÁGINAS: 78-97
4429
TÃTULO: Agents' advanced features for negotiation and coordination
AUTORES: Oliveira, E ;
PUBLICAÇÃO: 2001, FONTE: 9th Advanced Course on Artificial Intelligence (ACAI 2001)/3rd European Agent Systems Summer School (EASSS 2001) in MULTI-AGENT SYSTEMS AND APPLICATIONS, VOLUME: 2086, PÁGINAS: 173-186
AUTORES: Oliveira, E ;
PUBLICAÇÃO: 2001, FONTE: 9th Advanced Course on Artificial Intelligence (ACAI 2001)/3rd European Agent Systems Summer School (EASSS 2001) in MULTI-AGENT SYSTEMS AND APPLICATIONS, VOLUME: 2086, PÁGINAS: 173-186
4430
TÃTULO: An External Memory Interface for FPGA-Based Computing Engines
AUTORES: Park, J; Diniz, P ;
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: 267-268
AUTORES: Park, J; Diniz, P ;
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: 267-268
4431
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
4432
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
4433
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
4434
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
4435
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
4436
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
4437
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
4438
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
4439
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
4440
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