Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 4514
56 Team MembersFilters -> Year: 2026
3021
TITLE: Introduction
AUTHORS: Pedro C Diniz ; João M P Cardoso ; José Gabriel de F. Coutinho; Zlatko Petrov;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems, PAGES: 1-11
AUTHORS: Pedro C Diniz ; João M P Cardoso ; José Gabriel de F. Coutinho; Zlatko Petrov;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems, PAGES: 1-11
3022
TITLE: Introduction
AUTHORS: Diniz, PC ; Cardoso, JMP ; De F. Coutinho, JG; Petrov, Z;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 1-11
AUTHORS: Diniz, PC ; Cardoso, JMP ; De F. Coutinho, JG; Petrov, Z;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 1-11
3023
TITLE: Juggle: large-scale discovery in music recommendation
AUTHORS: Filipe Coelho; José Luís Devezas ; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: Open research Areas in Information Retrieval, OAIR '13, Lisbon, Portugal, May 15-17, 2013, PAGES: 219-220
AUTHORS: Filipe Coelho; José Luís Devezas ; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: Open research Areas in Information Retrieval, OAIR '13, Lisbon, Portugal, May 15-17, 2013, PAGES: 219-220
3024
TITLE: LARA experiments
AUTHORS: Goncalves, F; Petrov, Z; De F. Coutinho, JG; Nane, R; Sima, VM; Cardoso, JMP ; Werner, S; Bhattacharya, S; Carvalho, T ; Nobre, R; De Sa, J; Teixeira, J; Diniz, PC ; Bertels, K; Constantinides, G; Luk, W; Becker, J; Alves, JC ; Ferreira, JC ; Almeida, GM;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 135-179
AUTHORS: Goncalves, F; Petrov, Z; De F. Coutinho, JG; Nane, R; Sima, VM; Cardoso, JMP ; Werner, S; Bhattacharya, S; Carvalho, T ; Nobre, R; De Sa, J; Teixeira, J; Diniz, PC ; Bertels, K; Constantinides, G; Luk, W; Becker, J; Alves, JC ; Ferreira, JC ; Almeida, GM;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 135-179
3025
TITLE: Large-scale crossmedia retrieval for playlist generation and song discovery
AUTHORS: Filipe Coelho; José Luís Devezas ; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: Open research Areas in Information Retrieval, OAIR '13, Lisbon, Portugal, May 15-17, 2013, PAGES: 61-64
AUTHORS: Filipe Coelho; José Luís Devezas ; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: Open research Areas in Information Retrieval, OAIR '13, Lisbon, Portugal, May 15-17, 2013, PAGES: 61-64
3026
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Correia, L ; Reis, LP ; Cascalho, J ;
PUBLISHED: 2013, SOURCE: 16th Portuguese Conference on Artificial Intelligence, EPIA 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8154 LNAI
AUTHORS: Correia, L ; Reis, LP ; Cascalho, J ;
PUBLISHED: 2013, SOURCE: 16th Portuguese Conference on Artificial Intelligence, EPIA 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8154 LNAI
3027
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Brisk, P; Coutinho, JGDF; Diniz, PC ;
PUBLISHED: 2013, SOURCE: 9th International Symposium on Applied Reconfigurable Computing, ARC 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7806 LNCS
AUTHORS: Brisk, P; Coutinho, JGDF; Diniz, PC ;
PUBLISHED: 2013, SOURCE: 9th International Symposium on Applied Reconfigurable Computing, ARC 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7806 LNCS
3028
TITLE: Leveraging a Constraint Solver for Minimizing Test Suites
AUTHORS: Jose Campos ; Rui Abreu ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Quality Software (QSIC) in 2013 13TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC), PAGES: 253-259
AUTHORS: Jose Campos ; Rui Abreu ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Quality Software (QSIC) in 2013 13TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC), PAGES: 253-259
3029
TITLE: Linear logic programming for narrative generation
AUTHORS: Martens, C; Bosser, AG; Ferreira, JF ; Cavazza, M;
PUBLISHED: 2013, SOURCE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8148 LNAI, PAGES: 427-432
AUTHORS: Martens, C; Bosser, AG; Ferreira, JF ; Cavazza, M;
PUBLISHED: 2013, SOURCE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8148 LNAI, PAGES: 427-432
3030
TITLE: Managing Research Data at the University of Porto: Requirements, Technologies, and Services. Requirements, Technologies, and Services
AUTHORS: Joao Rocha da Silva ; Cristina Ribeiro ; Joao Correia Lopes ;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 174-197
AUTHORS: Joao Rocha da Silva ; Cristina Ribeiro ; Joao Correia Lopes ;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 174-197
3031
TITLE: Manual, Automatic and Shared Methods for Controlling an Intelligent Wheelchair Adaptation to Cerebral Palsy Users
AUTHORS: Faria, BM ; Reis, LP ; Lau, N ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Autonomous Robot Systems in PROCEEDINGS OF THE 2013 13TH INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS (ROBOTICA)
AUTHORS: Faria, BM ; Reis, LP ; Lau, N ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Autonomous Robot Systems in PROCEEDINGS OF THE 2013 13TH INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS (ROBOTICA)
3032
TITLE: Mapping 3D Character Location for Tracking Players' Behaviour
AUTHORS: Joao Emilio Almeida; Rosaldo J F Rossetti ; Antonio Leca 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: Joao Emilio Almeida; Rosaldo J F Rossetti ; Antonio Leca 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)
3033
3034
TITLE: Me4DCAP V0.1: A method for the development of Dublin Core Application Profiles
AUTHORS: Curado Malta, M ; Baptista, AA ;
PUBLISHED: 2013, SOURCE: Information Services and Use, VOLUME: 33, ISSUE: 2, PAGES: 161-171
AUTHORS: Curado Malta, M ; Baptista, AA ;
PUBLISHED: 2013, SOURCE: Information Services and Use, VOLUME: 33, ISSUE: 2, PAGES: 161-171
3035
TITLE: Me4DCAP V0.1: A method for the development of Dublin core application profiles
AUTHORS: Curado Malta, M ; Baptista, AA ;
PUBLISHED: 2013, SOURCE: 17th International Conference on Electronic Publishing, ELPUB 2013 in Mining the Digital Information Networks - Proceedings of the 17th International Conference on Electronic Publishing, ELPUB 2013, VOLUME: 33, ISSUE: 2, PAGES: 33-44
AUTHORS: Curado Malta, M ; Baptista, AA ;
PUBLISHED: 2013, SOURCE: 17th International Conference on Electronic Publishing, ELPUB 2013 in Mining the Digital Information Networks - Proceedings of the 17th International Conference on Electronic Publishing, ELPUB 2013, VOLUME: 33, ISSUE: 2, PAGES: 33-44
3036
TITLE: Measuring the value of health query translation: An analysis by user language proficiency. Measuring the Value of Health Query Translation
AUTHORS: Carla Teixeira Lopes ; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE AND TECHNOLOGY, VOLUME: 64, ISSUE: 5, PAGES: 951-963
AUTHORS: Carla Teixeira Lopes ; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE AND TECHNOLOGY, VOLUME: 64, ISSUE: 5, PAGES: 951-963
3037
TITLE: MeT: workload aware elasticity for NoSQL. workload aware elasticity for NoSQL
AUTHORS: Francisco Cruz ; Francisco Maia ; Miguel Matos ; Rui Oliveira ; João Paulo ; José Pereira ; Ricardo Vilaça ;
PUBLISHED: 2013, SOURCE: 8th ACM European Conference on Computer Systems, EuroSys 2013 in Eighth Eurosys Conference 2013, EuroSys '13, Prague, Czech Republic, April 14-17, 2013, PAGES: 183-196
AUTHORS: Francisco Cruz ; Francisco Maia ; Miguel Matos ; Rui Oliveira ; João Paulo ; José Pereira ; Ricardo Vilaça ;
PUBLISHED: 2013, SOURCE: 8th ACM European Conference on Computer Systems, EuroSys 2013 in Eighth Eurosys Conference 2013, EuroSys '13, Prague, Czech Republic, April 14-17, 2013, PAGES: 183-196
3038
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
3039
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
3040
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
