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: 3928
49 Team MembersFilters -> Year: 2024
2601
TITLE: A Web Portal for the Certification of Open Source Software
AUTHORS: Pedro Martins ; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2012, SOURCE: 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, 1st International Symposium on InSuEdu 2012, 1st International Symposium on MoKMaSD 2012, 6th International Workshop on Foundations and Techniques for OpenCert 2012 in Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers, VOLUME: 7991, PAGES: 244-260
AUTHORS: Pedro Martins ; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2012, SOURCE: 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, 1st International Symposium on InSuEdu 2012, 1st International Symposium on MoKMaSD 2012, 6th International Workshop on Foundations and Techniques for OpenCert 2012 in Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers, VOLUME: 7991, PAGES: 244-260
2602
TITLE: Adapting strategies to opponent models in incomplete information games: A reinforcement learning approach for poker
AUTHORS: Teofilo, LF ; Passos, N; Reis, LP ; Cardoso, HL ;
PUBLISHED: 2012, SOURCE: 3rd International Conference on Autonomous and Intelligent Systems, AIS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7326 LNAI, PAGES: 220-227
AUTHORS: Teofilo, LF ; Passos, N; Reis, LP ; Cardoso, HL ;
PUBLISHED: 2012, SOURCE: 3rd International Conference on Autonomous and Intelligent Systems, AIS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7326 LNAI, PAGES: 220-227
2603
TITLE: AI for the win. improving spectrum-based fault localization Full Text
AUTHORS: Birgit Hofer; Franz Wotawa; Rui Abreu ;
PUBLISHED: 2012, SOURCE: SIGSOFT Softw. Eng. Notes - ACM SIGSOFT Software Engineering Notes, VOLUME: 37, ISSUE: 6, PAGES: 1
AUTHORS: Birgit Hofer; Franz Wotawa; Rui Abreu ;
PUBLISHED: 2012, SOURCE: SIGSOFT Softw. Eng. Notes - ACM SIGSOFT Software Engineering Notes, VOLUME: 37, ISSUE: 6, PAGES: 1
2604
TITLE: AI for the win: improving spectrum-based fault localization
AUTHORS: Birgit Hofer; Franz Wotawa; Rui Abreu ;
PUBLISHED: 2012, SOURCE: ACM SIGSOFT Software Engineering Notes, VOLUME: 37, ISSUE: 6, PAGES: 1-8
AUTHORS: Birgit Hofer; Franz Wotawa; Rui Abreu ;
PUBLISHED: 2012, SOURCE: ACM SIGSOFT Software Engineering Notes, VOLUME: 37, ISSUE: 6, PAGES: 1-8
INDEXED IN: 
DBLP
DBLP2605
TITLE: An active audition framework for auditory-driven HRI: Application to interactive robot dancing
AUTHORS: Oliveira, JL ; Ince, G; Nakamura, K; Nakadai, K; Okuno, HG; Reis, LP ; Gouyon, F ;
PUBLISHED: 2012, SOURCE: 2012 21st IEEE International Symposium on Robot and Human Interactive Communication, RO-MAN 2012 in Proceedings - IEEE International Workshop on Robot and Human Interactive Communication, PAGES: 1078-1085
AUTHORS: Oliveira, JL ; Ince, G; Nakamura, K; Nakadai, K; Okuno, HG; Reis, LP ; Gouyon, F ;
PUBLISHED: 2012, SOURCE: 2012 21st IEEE International Symposium on Robot and Human Interactive Communication, RO-MAN 2012 in Proceedings - IEEE International Workshop on Robot and Human Interactive Communication, PAGES: 1078-1085
2606
TITLE: An Approach to Advisory-Based Traffic Control
AUTHORS: Macedo, J; Soares, M; Timoteo, I; Rossetti, RJF ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in INFORMATION SYSTEMS AND TECHNOLOGIES
AUTHORS: Macedo, J; Soares, M; Timoteo, I; Rossetti, RJF ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in INFORMATION SYSTEMS AND TECHNOLOGIES
INDEXED IN: 
Scopus 
WOS
Scopus WOS2607
TITLE: An Experimental Study of the Combination of Meta-Learning with Particle Swarm Algorithms for SVM Parameter Selection
AUTHORS: Pericles B C de Miranda; Ricardo B C Prudencio; Andre Carlos P L F de Carvalho; Carlos Soares ;
PUBLISHED: 2012, SOURCE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT III, VOLUME: 7335, ISSUE: PART 3, PAGES: 562-575
AUTHORS: Pericles B C de Miranda; Ricardo B C Prudencio; Andre Carlos P L F de Carvalho; Carlos Soares ;
PUBLISHED: 2012, SOURCE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT III, VOLUME: 7335, ISSUE: PART 3, PAGES: 562-575
2608
TITLE: An integrated architecture for autonomous vehicles simulation
AUTHORS: José L F Pereira; Rosaldo J F Rossetti ;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, PAGES: 286-292
AUTHORS: José L F Pereira; Rosaldo J F Rossetti ;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, PAGES: 286-292
2609
TITLE: An Online Recommendation System for the Taxi Stand choice Problem
AUTHORS: Luis Moreira Matias ; Ricardo Fernandes; Joao Gama ; Michel Ferreira ; Joao Mendes Moreira ; Luis Damas ;
PUBLISHED: 2012, SOURCE: IEEE Vehicular Networking Conference (VNC) in 2012 IEEE VEHICULAR NETWORKING CONFERENCE (VNC), PAGES: 173-180
AUTHORS: Luis Moreira Matias ; Ricardo Fernandes; Joao Gama ; Michel Ferreira ; Joao Mendes Moreira ; Luis Damas ;
PUBLISHED: 2012, SOURCE: IEEE Vehicular Networking Conference (VNC) in 2012 IEEE VEHICULAR NETWORKING CONFERENCE (VNC), PAGES: 173-180
2610
TITLE: An optimized conflict-free replicated set PDF
AUTHORS: Annette Bieniusa; Marek Zawirski; Nuno M. Preguiça; Marc Shapiro; Carlos Baquero ; Valter Balegas; Sérgio Duarte;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1210.3368
AUTHORS: Annette Bieniusa; Marek Zawirski; Nuno M. Preguiça; Marc Shapiro; Carlos Baquero ; Valter Balegas; Sérgio Duarte;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1210.3368
INDEXED IN: DBLP 
arXiv
DBLP arXiv2611
TITLE: An Urban Ontology to Generate Collaborative Virtual Environments for Municipal Planning and Management
AUTHORS: Tiago Martins; Pedro Brandão Silva; António Coelho ; Augusto A de Sousa ;
PUBLISHED: 2012, SOURCE: International Conference on Computer Graphics Theory and Applications, GRAPP 2012 and International Conference on Information Visualization Theory and Applications, IVAPP 2012 in GRAPP & IVAPP 2012: Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications, Rome, Italy, 24-26 February, 2012, PAGES: 507-510
AUTHORS: Tiago Martins; Pedro Brandão Silva; António Coelho ; Augusto A de Sousa ;
PUBLISHED: 2012, SOURCE: International Conference on Computer Graphics Theory and Applications, GRAPP 2012 and International Conference on Information Visualization Theory and Applications, IVAPP 2012 in GRAPP & IVAPP 2012: Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications, Rome, Italy, 24-26 February, 2012, PAGES: 507-510
INDEXED IN: Scopus DBLP
Scopus DBLP2612
TITLE: Analysing Tactics in Architectural Patterns
AUTHORS: Sanchez, A ; Aguiar, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2012, SOURCE: 35th IEEE Software Engineering Workshop (SEW) in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012), PAGES: 32-41
AUTHORS: Sanchez, A ; Aguiar, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2012, SOURCE: 35th IEEE Software Engineering Workshop (SEW) in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012), PAGES: 32-41
2613
TITLE: Analysis of error detection schemes: Toolchain support and hardware/software implications
AUTHORS: Ali Azarian ; João Canas Ferreira ; Stephan Werner; Zlatko Petrov; João M P Cardoso ; Michael Hübner;
PUBLISHED: 2012, SOURCE: 2012 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2012 in 2012 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2012, Erlangen, Germany, June 25-28, 2012, PAGES: 62-69
AUTHORS: Ali Azarian ; João Canas Ferreira ; Stephan Werner; Zlatko Petrov; João M P Cardoso ; Michael Hübner;
PUBLISHED: 2012, SOURCE: 2012 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2012 in 2012 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2012, Erlangen, Germany, June 25-28, 2012, PAGES: 62-69
2614
TITLE: ANTE: Agreement Negotiation in Normative and Trust-Enabled Environments
AUTHORS: Henrique Lopes Cardoso ; Joana Urbano ; Pedro Brandao; Ana Paula Rocha ; Eugenio Oliveira ;
PUBLISHED: 2012, SOURCE: 10th International Conference on Practical Applications of Agents and Multi-Agent Systems in ADVANCES ON PRACTICAL APPLICATIONS OF AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 155, PAGES: 261-264
AUTHORS: Henrique Lopes Cardoso ; Joana Urbano ; Pedro Brandao; Ana Paula Rocha ; Eugenio Oliveira ;
PUBLISHED: 2012, SOURCE: 10th International Conference on Practical Applications of Agents and Multi-Agent Systems in ADVANCES ON PRACTICAL APPLICATIONS OF AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 155, PAGES: 261-264
2615
TITLE: Assessment of the interference caused by uncontrolled traffic sources upon real-time communication in IEEE 802.11-based mesh networks
AUTHORS: Viegas, CMD; Sampaio, S; Vasques, F ; Portugal, P ; Souto, P ;
PUBLISHED: 2012, SOURCE: 2012 9th IEEE International Workshop on Factory Communication Systems, WFCS 2012 in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS, PAGES: 59-62
AUTHORS: Viegas, CMD; Sampaio, S; Vasques, F ; Portugal, P ; Souto, P ;
PUBLISHED: 2012, SOURCE: 2012 9th IEEE International Workshop on Factory Communication Systems, WFCS 2012 in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS, PAGES: 59-62
2616
TITLE: AUTOMATIC DESCRIPTION OF OBJECT APPEARANCES IN A WIDE-AREA SURVEILLANCE SCENARIO Full Text
AUTHORS: Luis F. Teixeira ; Pedro Carvalho ; Jaime S Cardoso ; Luis Corte Real ;
PUBLISHED: 2012, SOURCE: 19th IEEE International Conference on Image Processing (ICIP) in 2012 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP 2012), PAGES: 1609-1612
AUTHORS: Luis F. Teixeira ; Pedro Carvalho ; Jaime S Cardoso ; Luis Corte Real ;
PUBLISHED: 2012, SOURCE: 19th IEEE International Conference on Image Processing (ICIP) in 2012 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP 2012), PAGES: 1609-1612
2617
TITLE: Automatic Extraction of Goal-Scoring Behaviors from Soccer Matches
AUTHORS: Fernando Almeida; Pedro Henriques Abreu ; Nuno Lau ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 25th IEEE\RSJ International Conference on Intelligent Robots and Systems (IROS) in 2012 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 849-856
AUTHORS: Fernando Almeida; Pedro Henriques Abreu ; Nuno Lau ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 25th IEEE\RSJ International Conference on Intelligent Robots and Systems (IROS) in 2012 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 849-856
2618
TITLE: Automatic segmentation of carotid B-mode images using fuzzy classification Full Text
AUTHORS: Rui Rocha ; Jorge Silva ; Aurelio Campilho ;
PUBLISHED: 2012, SOURCE: MEDICAL & BIOLOGICAL ENGINEERING & COMPUTING, VOLUME: 50, ISSUE: 5, PAGES: 533-545
AUTHORS: Rui Rocha ; Jorge Silva ; Aurelio Campilho ;
PUBLISHED: 2012, SOURCE: MEDICAL & BIOLOGICAL ENGINEERING & COMPUTING, VOLUME: 50, ISSUE: 5, PAGES: 533-545
2619
TITLE: Automatic Unbounded Verification of Alloy Specifications with Prover9 PDF
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1209.5773
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1209.5773
INDEXED IN: DBLP arXiv
DBLP arXiv2620
TITLE: Beat Tracking for Multiple Applications: A Multi-Agent System Architecture With State Recovery Full Text
AUTHORS: Joao Lobato Oliveira ; Matthew E P Davies ; Fabien Gouyon ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, VOLUME: 20, ISSUE: 10, PAGES: 2696-2706
AUTHORS: Joao Lobato Oliveira ; Matthew E P Davies ; Fabien Gouyon ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, VOLUME: 20, ISSUE: 10, PAGES: 2696-2706
