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
3481
TITLE: Dependability in Aggregation by Averaging PDF
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.6596
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.6596
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv3482
TITLE: Designing an algorithmic proof of the two-squares theorem
AUTHORS: Ferreira, JF ;
PUBLISHED: 2010, SOURCE: 10th International Conference on the Mathematics of Program Construction, MPC 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6120 LNCS, PAGES: 140-156
AUTHORS: Ferreira, JF ;
PUBLISHED: 2010, SOURCE: 10th International Conference on the Mathematics of Program Construction, MPC 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6120 LNCS, PAGES: 140-156
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef3483
TITLE: Development of a Realistic Simulator for Robotic Intelligent Wheelchairs in a Hospital Environment
AUTHORS: Rodrigo A M Braga; Pedro Malheiro; Luis Paulo Reis ;
PUBLISHED: 2010, SOURCE: 13th RoboCup Symposium held in Conjunction with the RoboCup Competition 2009 in ROBOCUP 2009: ROBOT SOCCER WORLD CUP XIII, VOLUME: 5949, PAGES: 23-34
AUTHORS: Rodrigo A M Braga; Pedro Malheiro; Luis Paulo Reis ;
PUBLISHED: 2010, SOURCE: 13th RoboCup Symposium held in Conjunction with the RoboCup Competition 2009 in ROBOCUP 2009: ROBOT SOCCER WORLD CUP XIII, VOLUME: 5949, PAGES: 23-34
3484
TITLE: Diagnosing multiple intermittent failures using maximum likelihood estimation Full Text
AUTHORS: Rui Abreu ; Arjan J C van Gemund;
PUBLISHED: 2010, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 174, ISSUE: 18, PAGES: 1481-1497
AUTHORS: Rui Abreu ; Arjan J C van Gemund;
PUBLISHED: 2010, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 174, ISSUE: 18, PAGES: 1481-1497
3485
TITLE: Directed Deadline Obligations in Agent-Based Business Contracts
AUTHORS: Henrique Lopes Cardoso ; Eugenio Oliveira ;
PUBLISHED: 2010, SOURCE: Multi-Agents Logics, Languages, and Organizations Workshop in COORDINATION, ORGANIZATIONS, INSTITUTIONS AND NORMS IN AGENT SYSTEMS V, VOLUME: 6069, ISSUE: M4D, PAGES: 225-240
AUTHORS: Henrique Lopes Cardoso ; Eugenio Oliveira ;
PUBLISHED: 2010, SOURCE: Multi-Agents Logics, Languages, and Organizations Workshop in COORDINATION, ORGANIZATIONS, INSTITUTIONS AND NORMS IN AGENT SYSTEMS V, VOLUME: 6069, ISSUE: M4D, PAGES: 225-240
3486
TITLE: Dotted Version Vectors: Logical Clocks for Optimistic Replication PDF
AUTHORS: Nuno M. Preguiça ; Carlos Baquero ; Paulo Sérgio Almeida ; Victor Fonte ; Ricardo Gonçalves;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.5808
AUTHORS: Nuno M. Preguiça ; Carlos Baquero ; Paulo Sérgio Almeida ; Victor Fonte ; Ricardo Gonçalves;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.5808
INDEXED IN: DBLP arXiv
DBLP arXiv3487
TITLE: Empirical evaluation of ranking prediction methods for gene expression data classification
AUTHORS: De Souza, BF; De Carvalho, ACPLF; Soares, C ;
PUBLISHED: 2010, SOURCE: 12th Ibero-American Conference on Advances in Artificial Intelligence, AI 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6433 LNAI, PAGES: 194-203
AUTHORS: De Souza, BF; De Carvalho, ACPLF; Soares, C ;
PUBLISHED: 2010, SOURCE: 12th Ibero-American Conference on Advances in Artificial Intelligence, AI 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6433 LNAI, PAGES: 194-203
3488
TITLE: Engaging the Dynamics of Trust in Computational Trust and Reputation Systems
AUTHORS: Agnieszka Danek; Joana Urbano ; Ana Paula Rocha ; Eugenio Oliveira ;
PUBLISHED: 2010, SOURCE: 4th KES International Symposium on Agent and Multi-Agent Systems in AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PT I, PROCEEDINGS, VOLUME: 6070, ISSUE: PART 1, PAGES: 22-31
AUTHORS: Agnieszka Danek; Joana Urbano ; Ana Paula Rocha ; Eugenio Oliveira ;
PUBLISHED: 2010, SOURCE: 4th KES International Symposium on Agent and Multi-Agent Systems in AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PT I, PROCEEDINGS, VOLUME: 6070, ISSUE: PART 1, PAGES: 22-31
3489
TITLE: Environmental Monitoring Services and Wireless Sensor networks applied on urban Spaces
AUTHORS: Carlos Oliveira; Gil Gonçalves ;
PUBLISHED: 2010, SOURCE: IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR) in PROCEEDINGS OF 2010 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR 2010), VOLS. 1-3, VOLUME: 3, PAGES: 35-40
AUTHORS: Carlos Oliveira; Gil Gonçalves ;
PUBLISHED: 2010, SOURCE: IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR) in PROCEEDINGS OF 2010 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR 2010), VOLS. 1-3, VOLUME: 3, PAGES: 35-40
3490
TITLE: Evaluation of a Communication Platform for Safety Critical Robotics
AUTHORS: Frederico M Cunha; Rodrigo A M Braga; Luis P Reis ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Artificial Intelligence and Soft Computing (ICAISC 2010) in ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PT II, VOLUME: 6114, ISSUE: PART 2, PAGES: 239-246
AUTHORS: Frederico M Cunha; Rodrigo A M Braga; Luis P Reis ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Artificial Intelligence and Soft Computing (ICAISC 2010) in ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PT II, VOLUME: 6114, ISSUE: PART 2, PAGES: 239-246
3491
TITLE: Evaluation of global descriptors for multimedia retrieval in medical applications
AUTHORS: Coelho, F; Ribeiro, C ;
PUBLISHED: 2010, SOURCE: 21st International Workshop on Database and Expert Systems Applications, DEXA 2010 in Proceedings - 21st International Workshop on Database and Expert Systems Applications, DEXA 2010, PAGES: 127-131
AUTHORS: Coelho, F; Ribeiro, C ;
PUBLISHED: 2010, SOURCE: 21st International Workshop on Database and Expert Systems Applications, DEXA 2010 in Proceedings - 21st International Workshop on Database and Expert Systems Applications, DEXA 2010, PAGES: 127-131
3492
TITLE: Exploiting count spectra for Bayesian fault localization
AUTHORS: Abreu, R ; Gonzalez Sanchez, A; Van Gemund, AJC;
PUBLISHED: 2010, SOURCE: 6th International Conference on Predictive Models in Software Engineering, PROMISE 2010 in ACM International Conference Proceeding Series, PAGES: 12
AUTHORS: Abreu, R ; Gonzalez Sanchez, A; Van Gemund, AJC;
PUBLISHED: 2010, SOURCE: 6th International Conference on Predictive Models in Software Engineering, PROMISE 2010 in ACM International Conference Proceeding Series, PAGES: 12
3493
TITLE: Fast 3D Reconstruction of the Spine by Non-expert Users Using a Statistical Articulated Model
AUTHORS: Moura, DC; Boisvert, J; Barbosa, JG ; João Manuel R. S. Tavares ; Labelle, H;
PUBLISHED: 2010, SOURCE: 8th Biennial Meeting of the International-Research-Society-of-Spinal-Deformities (IRSSD) in RESEARCH INTO SPINAL DEFORMITIES 7, VOLUME: 158, PAGES: 268-+
AUTHORS: Moura, DC; Boisvert, J; Barbosa, JG ; João Manuel R. S. Tavares ; Labelle, H;
PUBLISHED: 2010, SOURCE: 8th Biennial Meeting of the International-Research-Society-of-Spinal-Deformities (IRSSD) in RESEARCH INTO SPINAL DEFORMITIES 7, VOLUME: 158, PAGES: 268-+
INDEXED IN: 
WOS CrossRef
WOS CrossRef3494
TITLE: Fault-Tolerant Aggregation for Dynamic Networks Full Text
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sergio Almeida ;
PUBLISHED: 2010, SOURCE: 29th IEEE International Symposium on Reliable Distributed Systems in 2010 29TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS SRDS 2010, PAGES: 37-43
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sergio Almeida ;
PUBLISHED: 2010, SOURCE: 29th IEEE International Symposium on Reliable Distributed Systems in 2010 29TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS SRDS 2010, PAGES: 37-43
3495
TITLE: FEUP at TREC 2010 Blog Track: Using h-index for blog ranking PDF
AUTHORS: José Luís Devezas ; Sérgio Nunes ; Cristina Ribeiro ;
PUBLISHED: 2010, SOURCE: 19th Text REtrieval Conference, TREC 2010 in Proceedings of The Nineteenth Text REtrieval Conference, TREC 2010, Gaithersburg, Maryland, USA, November 16-19, 2010
AUTHORS: José Luís Devezas ; Sérgio Nunes ; Cristina Ribeiro ;
PUBLISHED: 2010, SOURCE: 19th Text REtrieval Conference, TREC 2010 in Proceedings of The Nineteenth Text REtrieval Conference, TREC 2010, Gaithersburg, Maryland, USA, November 16-19, 2010
INDEXED IN: Scopus DBLP 
Handle
Scopus DBLP Handle3496
TITLE: Football scientia - An automated tool for professional soccer coaches
AUTHORS: Abreu, P ; Moura, J; Silva, DC ; Reis, LP ; Garganta, J ;
PUBLISHED: 2010, SOURCE: 2010 IEEE International Conference on Cybernetics and Intelligent Systems, CIS 2010 in 2010 IEEE Conference on Cybernetics and Intelligent Systems, CIS 2010, PAGES: 126-131
AUTHORS: Abreu, P ; Moura, J; Silva, DC ; Reis, LP ; Garganta, J ;
PUBLISHED: 2010, SOURCE: 2010 IEEE International Conference on Cybernetics and Intelligent Systems, CIS 2010 in 2010 IEEE Conference on Cybernetics and Intelligent Systems, CIS 2010, PAGES: 126-131
3497
TITLE: Formal methods for reconfigurable assembly systems
AUTHORS: Ribeiro, T; Gil Gonçalves ;
PUBLISHED: 2010, SOURCE: 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), PAGES: 1-6
AUTHORS: Ribeiro, T; Gil Gonçalves ;
PUBLISHED: 2010, SOURCE: 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), PAGES: 1-6
3498
TITLE: Frontiers in Artificial Intelligence and Applications: Preface
AUTHORS: Soares, C ; Ghani, R;
PUBLISHED: 2010, SOURCE: Frontiers in Artificial Intelligence and Applications, VOLUME: 218
AUTHORS: Soares, C ; Ghani, R;
PUBLISHED: 2010, SOURCE: Frontiers in Artificial Intelligence and Applications, VOLUME: 218
INDEXED IN: Scopus
Scopus3499
TITLE: Functional, Control and Data Flow, and Mutation Testing: Theory and Practice
AUTHORS: VINCENZI, AURI M. R. ; Delamaro, M; Höhn, E; Maldonado, JC;
PUBLISHED: 2010, SOURCE: TESTING TECHNIQUES IN SOFTWARE ENGINEERING, VOLUME: 6153, PAGES: 18-+
AUTHORS: VINCENZI, AURI M. R. ; Delamaro, M; Höhn, E; Maldonado, JC;
PUBLISHED: 2010, SOURCE: TESTING TECHNIQUES IN SOFTWARE ENGINEERING, VOLUME: 6153, PAGES: 18-+
3500
TITLE: FUZZY Q-LEARNING APPROACH TO SIMULATE INTELLIGENT TRAFFIC CONTROL
AUTHORS: Juan C Pacheco; Rosaldo J F Rossetti ; Cesar H Rodriguez;
PUBLISHED: 2010, SOURCE: 8th International Industrial Simulation Conference in 8TH INTERNATIONAL INDUSTRIAL SIMULATION CONFERENCE 2010, ISC 2010, PAGES: 257-261
AUTHORS: Juan C Pacheco; Rosaldo J F Rossetti ; Cesar H Rodriguez;
PUBLISHED: 2010, SOURCE: 8th International Industrial Simulation Conference in 8TH INTERNATIONAL INDUSTRIAL SIMULATION CONFERENCE 2010, ISC 2010, PAGES: 257-261
INDEXED IN: Scopus WOS
Scopus WOS