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: 3942
49 Team MembersFilters -> Year: 2024
3401
TITLE: Formal verification of a group membership protocol using model checking
AUTHORS: Rosset, V; Souto, PF ; Vasques, R ;
PUBLISHED: 2007, SOURCE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: COOPLS, DOA, ODBASE, GADA, AND IS, PT 1, PROCEEDINGS, VOLUME: 4803, ISSUE: PART 1, PAGES: 471-488
AUTHORS: Rosset, V; Souto, PF ; Vasques, R ;
PUBLISHED: 2007, SOURCE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: COOPLS, DOA, ODBASE, GADA, AND IS, PT 1, PROCEEDINGS, VOLUME: 4803, ISSUE: PART 1, PAGES: 471-488
3402
TITLE: Guest editorial: Special issue on reconfigurable hardware systems Full Text
AUTHORS: Joao M P Cardoso ; Koen Bertels; George A Constantinides; Stamatis Vassiliadis;
PUBLISHED: 2007, SOURCE: INTERNATIONAL JOURNAL OF ELECTRONICS, VOLUME: 94, ISSUE: 5, PAGES: 431-433
AUTHORS: Joao M P Cardoso ; Koen Bertels; George A Constantinides; Stamatis Vassiliadis;
PUBLISHED: 2007, SOURCE: INTERNATIONAL JOURNAL OF ELECTRONICS, VOLUME: 94, ISSUE: 5, PAGES: 431-433
INDEXED IN: 
WOS 
CrossRef
WOS CrossRef3403
TITLE: High Performance Computing for Computational Science - VECPAR 2006, 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
AUTHORS: Michel J Daydé; José Laginha L M Palma ; Alvaro L G A Coutinho; Esther Pacitti; João Correia Lopes ;
PUBLISHED: 2007, SOURCE: VECPAR, VOLUME: 4395
AUTHORS: Michel J Daydé; José Laginha L M Palma ; Alvaro L G A Coutinho; Esther Pacitti; João Correia Lopes ;
PUBLISHED: 2007, SOURCE: VECPAR, VOLUME: 4395
INDEXED IN: 
DBLP
DBLP3404
TITLE: ILP: Compute Once, Reuse Often
AUTHORS: Nuno A Fonseca; Ricardo Rocha; Rui Camacho ; Vítor S Costa;
PUBLISHED: 2007
AUTHORS: Nuno A Fonseca; Ricardo Rocha; Rui Camacho ; Vítor S Costa;
PUBLISHED: 2007
INDEXED IN: 
Handle
Handle3405
TITLE: Implementing range queries with a decentralized balanced tree over distributed hash tables
AUTHORS: Nuno Lopes; Carlos Baquero ;
PUBLISHED: 2007, SOURCE: 1st International Conference on Network-Based Information Systems (NBiS 2007) in NETWORK-BASED INFORMATION SYSTEMS, PROCEEDINGS, VOLUME: 4658, PAGES: 197-206
AUTHORS: Nuno Lopes; Carlos Baquero ;
PUBLISHED: 2007, SOURCE: 1st International Conference on Network-Based Information Systems (NBiS 2007) in NETWORK-BASED INFORMATION SYSTEMS, PROCEEDINGS, VOLUME: 4658, PAGES: 197-206
3406
TITLE: Improving brokering adaptation in dynamic heterogeneous environments
AUTHORS: Nogueira, L ; Oliveira, E ;
PUBLISHED: 2007, SOURCE: International Journal of Product Lifecycle Management, VOLUME: 2, ISSUE: 2, PAGES: 111-134
AUTHORS: Nogueira, L ; Oliveira, E ;
PUBLISHED: 2007, SOURCE: International Journal of Product Lifecycle Management, VOLUME: 2, ISSUE: 2, PAGES: 111-134
INDEXED IN: 
Scopus
Scopus3407
TITLE: Improving Face Recognition by Video Spatial Morphing
AUTHORS: Armando Padilha; Jorge Silva ; Raquel Sebastiao;
PUBLISHED: 2007, SOURCE: Face Recognition
AUTHORS: Armando Padilha; Jorge Silva ; Raquel Sebastiao;
PUBLISHED: 2007, SOURCE: Face Recognition
INDEXED IN: CrossRef
CrossRef3408
TITLE: Improving on version stamps
AUTHORS: Paulo Sergio Almeida ; Carlos Baquero ; Victor Fonte ;
PUBLISHED: 2007, SOURCE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: OTM 2007 WORKSHOPS, PT 2, PROCEEDINGS, VOLUME: 4806, ISSUE: PART 2, PAGES: 1025-1031
AUTHORS: Paulo Sergio Almeida ; Carlos Baquero ; Victor Fonte ;
PUBLISHED: 2007, SOURCE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: OTM 2007 WORKSHOPS, PT 2, PROCEEDINGS, VOLUME: 4806, ISSUE: PART 2, PAGES: 1025-1031
3409
TITLE: Improving the quality of collaboration requirements for information management through social networks analysis Full Text
AUTHORS: Carla Sofia Pereira ; Antonia Lucas Soares ;
PUBLISHED: 2007, SOURCE: INTERNATIONAL JOURNAL OF INFORMATION MANAGEMENT, VOLUME: 27, ISSUE: 2, PAGES: 86-103
AUTHORS: Carla Sofia Pereira ; Antonia Lucas Soares ;
PUBLISHED: 2007, SOURCE: INTERNATIONAL JOURNAL OF INFORMATION MANAGEMENT, VOLUME: 27, ISSUE: 2, PAGES: 86-103
3410
TITLE: INESC, Porto at TRECVID 2007: Automatic and interactive video search PDF
AUTHORS: Calistru, C; Ribeiro, C ; David, G ; Rodrigues, I ; Laboreiro, G;
PUBLISHED: 2007, SOURCE: TREC Video Retrieval Evaluation, TRECVID 2007 in 2007 TREC Video Retrieval Evaluation Notebook Papers
AUTHORS: Calistru, C; Ribeiro, C ; David, G ; Rodrigues, I ; Laboreiro, G;
PUBLISHED: 2007, SOURCE: TREC Video Retrieval Evaluation, TRECVID 2007 in 2007 TREC Video Retrieval Evaluation Notebook Papers
INDEXED IN: Scopus DBLP
Scopus DBLP3411
TITLE: Institutional reality and norms: Specifying and monitoring agent organizations Full Text
AUTHORS: Henrique Lopes Cardoso ; Eugenio Oliveira ;
PUBLISHED: 2007, SOURCE: INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, VOLUME: 16, ISSUE: 1, PAGES: 67-95
AUTHORS: Henrique Lopes Cardoso ; Eugenio Oliveira ;
PUBLISHED: 2007, SOURCE: INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, VOLUME: 16, ISSUE: 1, PAGES: 67-95
3412
TITLE: Intelligent farmer agent for multi-agent ecological simulations optimization
AUTHORS: Cruz, F; Pereira, A ; Valente, P; Duarte, P; Reis, LP ;
PUBLISHED: 2007, SOURCE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874, PAGES: 593-+
AUTHORS: Cruz, F; Pereira, A ; Valente, P; Duarte, P; Reis, LP ;
PUBLISHED: 2007, SOURCE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874, PAGES: 593-+
3413
TITLE: Intelligent farmer agent for multi-agent ecological simulations optimization
AUTHORS: Filipe Cruz; António Pereira; Pedro Valente; Pedro Duarte; Luís P Reis ;
PUBLISHED: 2007
AUTHORS: Filipe Cruz; António Pereira; Pedro Valente; Pedro Duarte; Luís P Reis ;
PUBLISHED: 2007
INDEXED IN: Handle
Handle3414
TITLE: Intelligent wearable system for continuously monitoring the heartbeat
AUTHORS: Teodoro Seromenho, RJ; Gil Gonçalves ; Tavares Correia, JPM;
PUBLISHED: 2007, SOURCE: 2007 IADIS International Conference on Intelligent Systems and Agents, ISA 2007, part of the 1st IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2007 in MCCSIS 2007 - IADIS Multi Conference on Computer Science and Information Systems - Proceedings of Intelligent Systems and Agents 2007, Interfaces and Human Computer Interaction 2007, Computer Graphics and Visualization 2007, VOLUME: Part 1, PAGES: 255-256
AUTHORS: Teodoro Seromenho, RJ; Gil Gonçalves ; Tavares Correia, JPM;
PUBLISHED: 2007, SOURCE: 2007 IADIS International Conference on Intelligent Systems and Agents, ISA 2007, part of the 1st IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2007 in MCCSIS 2007 - IADIS Multi Conference on Computer Science and Information Systems - Proceedings of Intelligent Systems and Agents 2007, Interfaces and Human Computer Interaction 2007, Computer Graphics and Visualization 2007, VOLUME: Part 1, PAGES: 255-256
INDEXED IN: Scopus
Scopus3415
TITLE: Interface framework to drive an intelligent wheelchair using facial expressions
AUTHORS: Pedro Miguel Faria; Rodrigo A M Braga; Eduardo Valgode; Luis Paulo Reis ;
PUBLISHED: 2007, SOURCE: IEEE International Symposium on Industrial Electronics in 2007 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, PROCEEDINGS, VOLS 1-8, PAGES: 1791-1796
AUTHORS: Pedro Miguel Faria; Rodrigo A M Braga; Eduardo Valgode; Luis Paulo Reis ;
PUBLISHED: 2007, SOURCE: IEEE International Symposium on Industrial Electronics in 2007 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, PROCEEDINGS, VOLS 1-8, PAGES: 1791-1796
3416
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Dayde, M; Palma, JMLM ; Coutinho, ALGA; Pacitti, E; Lopes, JC ;
PUBLISHED: 2007, SOURCE: 7th International Meeting on High-Performance Computing for Computational Science, VECPAR 2006 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4395 LNCS
AUTHORS: Dayde, M; Palma, JMLM ; Coutinho, ALGA; Pacitti, E; Lopes, JC ;
PUBLISHED: 2007, SOURCE: 7th International Meeting on High-Performance Computing for Computational Science, VECPAR 2006 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4395 LNCS
INDEXED IN: Scopus
Scopus3417
TITLE: Light fields: Aplicação didáctica de criação de novas vistas a partir de múltiplas imagens.
AUTHORS: Faria, BM ; Sousa, AA; Reis, LP ;
PUBLISHED: 2007, SOURCE: 2a Conferencia Iberica de Sistemas e Tecnologias de Informacao: Novas Perspectivas em Sistemas e Tecnologias de Informacao, CISTI 2007 - 2nd Iberian Conference on Information Systems and Technologies: New Perspectives on Information Systems and Technologies, CISTI 2007 in Novas Perspectivas em Sistemas e Tecnologias de Informacao - Actas da 2a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2007, PAGES: 381-392
AUTHORS: Faria, BM ; Sousa, AA; Reis, LP ;
PUBLISHED: 2007, SOURCE: 2a Conferencia Iberica de Sistemas e Tecnologias de Informacao: Novas Perspectivas em Sistemas e Tecnologias de Informacao, CISTI 2007 - 2nd Iberian Conference on Information Systems and Technologies: New Perspectives on Information Systems and Technologies, CISTI 2007 in Novas Perspectivas em Sistemas e Tecnologias de Informacao - Actas da 2a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2007, PAGES: 381-392
INDEXED IN: Scopus
Scopus3418
TITLE: Light Fields: Application of Educational Establishment for New Views from Multiple Images
AUTHORS: Brigida Monica Faria ; Antonio Augusto Sousa ; Luis Paulo Reis ;
PUBLISHED: 2007, SOURCE: 2nd Conference of the Iberica de Sistemas e Tecnologias de Informacao in NOVAS PERSPECTIVAS EM SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL II, PAGES: 381-392
AUTHORS: Brigida Monica Faria ; Antonio Augusto Sousa ; Luis Paulo Reis ;
PUBLISHED: 2007, SOURCE: 2nd Conference of the Iberica de Sistemas e Tecnologias de Informacao in NOVAS PERSPECTIVAS EM SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL II, PAGES: 381-392
INDEXED IN: WOS
WOS3419
TITLE: Making RAPOSA (FOX) smarter PDF
AUTHORS: Sarmento, L; Oliveira, E ;
PUBLISHED: 2007, SOURCE: 2007 Working Notes for CLEF Workshop, CLEF 2007 - Co-located with the 11th European Conference on Digital Libraries, ECDL 2007 in CEUR Workshop Proceedings, VOLUME: 1173
AUTHORS: Sarmento, L; Oliveira, E ;
PUBLISHED: 2007, SOURCE: 2007 Working Notes for CLEF Workshop, CLEF 2007 - Co-located with the 11th European Conference on Digital Libraries, ECDL 2007 in CEUR Workshop Proceedings, VOLUME: 1173
INDEXED IN: Scopus DBLP
Scopus DBLP3420
TITLE: Message from the HeteroPar 2007 Chair
AUTHORS: Beaumont, O; Gimenez, D; Kalinov, A; Lastovetsky, A; Robert, Y; Trystram, D; Bahi, JM; Baker, M; Banicescu, I; Barbosa, J ; Boeres, C; Bosque, JL; Clematis, A; Dayde, M; Desprez, F; Dongarra, J; Dutot, PF; Goldman, A; Guermouche, A; Ichikawa, S; ...More
PUBLISHED: 2007, SOURCE: IEEE International Conference on Cluster Computing in 2007 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING, PAGES: 496-496
AUTHORS: Beaumont, O; Gimenez, D; Kalinov, A; Lastovetsky, A; Robert, Y; Trystram, D; Bahi, JM; Baker, M; Banicescu, I; Barbosa, J ; Boeres, C; Bosque, JL; Clematis, A; Dayde, M; Desprez, F; Dongarra, J; Dutot, PF; Goldman, A; Guermouche, A; Ichikawa, S; ...More
PUBLISHED: 2007, SOURCE: IEEE International Conference on Cluster Computing in 2007 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING, PAGES: 496-496
