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
2501
TITLE: METHODOLOGY FOR CREATING A COMPETENCES CERTIFICATION CORRELATION MATRIX
AUTHORS: Ricardo Baptista ; Ricardo Goncalves; Antonio Coelho ; Carlos Vaz de Carvalho;
PUBLISHED: 2013, SOURCE: 6th International Conference on Education, Research and Innovation (ICERI) in 6TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI 2013), PAGES: 2522-2532
AUTHORS: Ricardo Baptista ; Ricardo Goncalves; Antonio Coelho ; Carlos Vaz de Carvalho;
PUBLISHED: 2013, SOURCE: 6th International Conference on Education, Research and Innovation (ICERI) in 6TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI 2013), PAGES: 2522-2532
INDEXED IN: 
WOS
WOS2502
TITLE: METHODOLOGY FOR IN-GAME CERTIFICATION IN SERIOUS GAMES
AUTHORS: Baptista, R ; Coelho, A ; de Carvalho, CV;
PUBLISHED: 2013, SOURCE: 5th International Conference on Education and New Learning Technologies (EDULEARN) in EDULEARN13: 5TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, PAGES: 3152-3162
AUTHORS: Baptista, R ; Coelho, A ; de Carvalho, CV;
PUBLISHED: 2013, SOURCE: 5th International Conference on Education and New Learning Technologies (EDULEARN) in EDULEARN13: 5TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, PAGES: 3152-3162
INDEXED IN: WOS 
Handle
WOS Handle2503
TITLE: MHS2 : A Map-Reduce Heuristic-Driven Minimal Hitting Set Search Algorithm
AUTHORS: Nuno Cardoso ; Rui Abreu ;
PUBLISHED: 2013, SOURCE: International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT) in MULTICORE SOFTWARE ENGINEERING, PERFORMANCE, AND TOOLS, VOLUME: 8063, PAGES: 25-36
AUTHORS: Nuno Cardoso ; Rui Abreu ;
PUBLISHED: 2013, SOURCE: International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT) in MULTICORE SOFTWARE ENGINEERING, PERFORMANCE, AND TOOLS, VOLUME: 8063, PAGES: 25-36
2504
TITLE: Mobile Advertising for the Catering Industry
AUTHORS: Leonel Dias ; Antonio Coelho ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
AUTHORS: Leonel Dias ; Antonio Coelho ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXED IN: 
Scopus WOS
Scopus WOS2505
TITLE: Model Repair and Transformation with Echo
AUTHORS: Nuno Macedo ; Tiago Guimaraes; Alcino Cunha ;
PUBLISHED: 2013, SOURCE: 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), PAGES: 694-697
AUTHORS: Nuno Macedo ; Tiago Guimaraes; Alcino Cunha ;
PUBLISHED: 2013, SOURCE: 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), PAGES: 694-697
2506
TITLE: Multi-Agent System for Teaching Service Distribution with Coalition Formation
AUTHORS: Jose Joaquim Moreira ; Luis Paulo Reis ;
PUBLISHED: 2013, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 206, PAGES: 599-609
AUTHORS: Jose Joaquim Moreira ; Luis Paulo Reis ;
PUBLISHED: 2013, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 206, PAGES: 599-609
2507
TITLE: Multi-interval Discretization of Continuous Attributes for Label Ranking Full Text
AUTHORS: de Sa, CR ; Soares, C ; Knobbe, A; Azevedo, P ; Jorge, AM ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, VOLUME: 8140, PAGES: 155-169
AUTHORS: de Sa, CR ; Soares, C ; Knobbe, A; Azevedo, P ; Jorge, AM ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, VOLUME: 8140, PAGES: 155-169
2508
TITLE: Multi-Resolution Simulation of Taxi Services on Airport Terminal's Curbside
AUTHORS: Lucio S Passos; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ; Joaquim Mendes ;
PUBLISHED: 2013, SOURCE: 16th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2013 16TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS - (ITSC), PAGES: 2361-2366
AUTHORS: Lucio S Passos; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ; Joaquim Mendes ;
PUBLISHED: 2013, SOURCE: 16th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2013 16TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS - (ITSC), PAGES: 2361-2366
2509
TITLE: Multiple intermediate structure deforestation by shortcut fusion
AUTHORS: Pardo, A; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2013, SOURCE: 17th Brazilian Symposium on Programming Languages, SBLP 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8129 LNCS, PAGES: 120-134
AUTHORS: Pardo, A; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2013, SOURCE: 17th Brazilian Symposium on Programming Languages, SBLP 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8129 LNCS, PAGES: 120-134
2510
TITLE: MZoltar: Automatic debugging of android applications
AUTHORS: Machado, P; Campos, J ; Abreu, R ;
PUBLISHED: 2013, SOURCE: 2013 1st International Workshop on Software Development Lifecycle for Mobile, DeMobile 2013 in 2013 1st International Workshop on Software Development Lifecycle for Mobile, DeMobile 2013 - Proceedings, PAGES: 9-16
AUTHORS: Machado, P; Campos, J ; Abreu, R ;
PUBLISHED: 2013, SOURCE: 2013 1st International Workshop on Software Development Lifecycle for Mobile, DeMobile 2013 in 2013 1st International Workshop on Software Development Lifecycle for Mobile, DeMobile 2013 - Proceedings, PAGES: 9-16
2511
TITLE: Norms and Trust
AUTHORS: Falcone, R; Castelfranchi, C; Cardoso, HL ; Jones, A; Oliveira, E;
PUBLISHED: 2013, SOURCE: Law, Governance and Technology Series, VOLUME: 8, PAGES: 221-231
AUTHORS: Falcone, R; Castelfranchi, C; Cardoso, HL ; Jones, A; Oliveira, E;
PUBLISHED: 2013, SOURCE: Law, Governance and Technology Series, VOLUME: 8, PAGES: 221-231
2512
TITLE: Omnidirectional Walking and Active Balance for Soccer Humanoid Robot
AUTHORS: Nima Shafii; Abbas Abdolmaleki; Rui Ferreira; Nuno Lau ; Luis Paulo Reis ;
PUBLISHED: 2013, SOURCE: 16th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2013, VOLUME: 8154, PAGES: 283-294
AUTHORS: Nima Shafii; Abbas Abdolmaleki; Rui Ferreira; Nuno Lau ; Luis Paulo Reis ;
PUBLISHED: 2013, SOURCE: 16th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2013, VOLUME: 8154, PAGES: 283-294
2513
TITLE: On Predicting the Taxi-Passenger Demand: A Real-Time Approach
AUTHORS: Luis Moreira Matias ; Joao Gama ; Michel Ferreira ; Joao Mendes Moreira ; Luis Damas ;
PUBLISHED: 2013, SOURCE: 16th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2013, VOLUME: 8154, PAGES: 54-65
AUTHORS: Luis Moreira Matias ; Joao Gama ; Michel Ferreira ; Joao Mendes Moreira ; Luis Damas ;
PUBLISHED: 2013, SOURCE: 16th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2013, VOLUME: 8154, PAGES: 54-65
2514
TITLE: On recommending urban hotspots to find our next passenger PDF
AUTHORS: Moreira Matias, L ; Fernandes, R; Gama, J ; Ferreira, M ; Mendes Moreira, J ; Damas, L ;
PUBLISHED: 2013, SOURCE: 3rd Workshop on Ubiquitous Data Mining, UDM 2013 - Co-located with the 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 in CEUR Workshop Proceedings, VOLUME: 1088, PAGES: 17-23
AUTHORS: Moreira Matias, L ; Fernandes, R; Gama, J ; Ferreira, M ; Mendes Moreira, J ; Damas, L ;
PUBLISHED: 2013, SOURCE: 3rd Workshop on Ubiquitous Data Mining, UDM 2013 - Co-located with the 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 in CEUR Workshop Proceedings, VOLUME: 1088, PAGES: 17-23
INDEXED IN: Scopus 
DBLP
Scopus DBLP2515
TITLE: On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets
AUTHORS: Birgit Hofer; Andre Riboira; Franz Wotawa; Rui Abreu ; Elisabeth Getzner;
PUBLISHED: 2013, SOURCE: 16th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013, VOLUME: 7793, PAGES: 68-82
AUTHORS: Birgit Hofer; Andre Riboira; Franz Wotawa; Rui Abreu ; Elisabeth Getzner;
PUBLISHED: 2013, SOURCE: 16th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013, VOLUME: 7793, PAGES: 68-82
2516
TITLE: Optimizing Energy-Efficiency in High-Available Scientific Cloud Environments
AUTHORS: Altino M Sampaio ; Jorge G Barbosa ;
PUBLISHED: 2013, SOURCE: 3rd IEEE International Conference on Cloud and Green Computing (CGC) in 2013 IEEE THIRD INTERNATIONAL CONFERENCE ON CLOUD AND GREEN COMPUTING (CGC 2013), PAGES: 76-83
AUTHORS: Altino M Sampaio ; Jorge G Barbosa ;
PUBLISHED: 2013, SOURCE: 3rd IEEE International Conference on Cloud and Green Computing (CGC) in 2013 IEEE THIRD INTERNATIONAL CONFERENCE ON CLOUD AND GREEN COMPUTING (CGC 2013), PAGES: 76-83
2518
TITLE: Pattern Based GUI Testing Modeling Environment
AUTHORS: Tiago Monteiro; Ana C R Paiva ;
PUBLISHED: 2013, SOURCE: 6th IEEE International Conference on Software Testing, Verification and Validation (ICST) in IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), PAGES: 140-143
AUTHORS: Tiago Monteiro; Ana C R Paiva ;
PUBLISHED: 2013, SOURCE: 6th IEEE International Conference on Software Testing, Verification and Validation (ICST) in IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), PAGES: 140-143
2519
TITLE: Playing Transportation Seriously: Applications of Serious Games to Artificial Transportation Systems Full Text
AUTHORS: Rosaldo J F Rossetti ; Joao Emilio Almeida; Zafeiris Kokkinogenis ; Joel Gonalves;
PUBLISHED: 2013, SOURCE: IEEE INTELLIGENT SYSTEMS, VOLUME: 28, ISSUE: 4, PAGES: 107-113
AUTHORS: Rosaldo J F Rossetti ; Joao Emilio Almeida; Zafeiris Kokkinogenis ; Joel Gonalves;
PUBLISHED: 2013, SOURCE: IEEE INTELLIGENT SYSTEMS, VOLUME: 28, ISSUE: 4, PAGES: 107-113
2520
TITLE: Policies for role maintenance through incentives: How to keep agents on track
AUTHORS: Lopes Cardoso, H ; Hermoso, R; Fasli, M;
PUBLISHED: 2013, SOURCE: 2nd International Conference on Agreement Technologies, AT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8068 LNAI, PAGES: 150-164
AUTHORS: Lopes Cardoso, H ; Hermoso, R; Fasli, M;
PUBLISHED: 2013, SOURCE: 2nd International Conference on Agreement Technologies, AT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8068 LNAI, PAGES: 150-164
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef