Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 4677
62 Team MembersFilters -> Year: 2026
1981
TÃTULO: Social Media and Information Consumption Diversity
AUTORES: José Luís Devezas ; Sérgio Nunes ;
PUBLICAÇÃO: 2018, FONTE: NewsIR@ECIR, VOLUME: 2079, PÁGINAS: 18-23
AUTORES: José Luís Devezas ; Sérgio Nunes ;
PUBLICAÇÃO: 2018, FONTE: NewsIR@ECIR, VOLUME: 2079, PÁGINAS: 18-23
1982
TÃTULO: SOCRATES - A seamless online compiler and system runtime autotuning framework for energy-aware applications
AUTORES: Davide Gadioli; Ricardo Nobre; Pedro Pinto ; Emanuele Vitali; Amir H Ashouri; Gianluca Palermo; João M P Cardoso ; Cristina Silvano;
PUBLICAÇÃO: 2018, FONTE: DATE, VOLUME: 2018-January, PÁGINAS: 1143-1146
AUTORES: Davide Gadioli; Ricardo Nobre; Pedro Pinto ; Emanuele Vitali; Amir H Ashouri; Gianluca Palermo; João M P Cardoso ; Cristina Silvano;
PUBLICAÇÃO: 2018, FONTE: DATE, VOLUME: 2018-January, PÁGINAS: 1143-1146
1983
TÃTULO: Spaces sing, are you listening?
AUTORES: Gilberto Bernardes ; Filipe Lopes; Clara Cardoso;
PUBLICAÇÃO: 2018, FONTE: Resonate, Thinking Sound and Space
AUTORES: Gilberto Bernardes ; Filipe Lopes; Clara Cardoso;
PUBLICAÇÃO: 2018, FONTE: Resonate, Thinking Sound and Space
1984
TÃTULO: Success stories on real pilots
AUTORES: Socorro, R; Aguirregabiria, M; Akçay, A; Albano, M; Anasagasti, M; Aranburu, A; Barbieri, M; Barrutia, I; Bergmann, A; Brabandere, KD; Boosten, M; Casais, R; Chico, D; Ciancarini, P; Dam, P; Orio, GD; Eerland, K; Eguiluz, X; Esposito, S; Félix, C ; Fernandez Anakabe, J; Ferreira, H; Ferreira, LL; Frankó, A; Gabilondo, I; García, R; Gijsbers, J; Grädler, M; Hegedus, C; Hernández, S; Helo, P; Holenderski, M; Jantunen, E; Kaija, M; Kancilija, A; Barrenechea, FL; Maló, P; Marreiros, G; Martínez, E; Martinho, D; Mohammed, A; Mondragon, M; Moldován, I; Niemelä, A; Olaizola, J; Papa, G; Poklukar, S; Praça, I ; Primi, S; Pronk, V; Rauhala, V; Riccardi, M; Rocha, R; Rodriguez, J; Romero, R; Ruggieri, A; Sarasua, O; Saiz, E; Salo, VP; Sánchez, M; Sannino, P; Sarr, B; Sillitti, A; Soares, C ; Sprong, H; Terwee, D; Tijsma, B; Tourwé, T; Uranga, N; Välimaa, L; Valtonen, J; Varga, P; Veiga, A; Viguera, M; van der Voet, J; Webers, G; Woyte, A; Wouters, K; Zugasti, E; Zurutuza, U; ...Mais
PUBLICAÇÃO: 2018, FONTE: The MANTIS Book: Cyber Physical System Based Proactive Collaborative Maintenance, PÁGINAS: 311-496
AUTORES: Socorro, R; Aguirregabiria, M; Akçay, A; Albano, M; Anasagasti, M; Aranburu, A; Barbieri, M; Barrutia, I; Bergmann, A; Brabandere, KD; Boosten, M; Casais, R; Chico, D; Ciancarini, P; Dam, P; Orio, GD; Eerland, K; Eguiluz, X; Esposito, S; Félix, C ; Fernandez Anakabe, J; Ferreira, H; Ferreira, LL; Frankó, A; Gabilondo, I; García, R; Gijsbers, J; Grädler, M; Hegedus, C; Hernández, S; Helo, P; Holenderski, M; Jantunen, E; Kaija, M; Kancilija, A; Barrenechea, FL; Maló, P; Marreiros, G; Martínez, E; Martinho, D; Mohammed, A; Mondragon, M; Moldován, I; Niemelä, A; Olaizola, J; Papa, G; Poklukar, S; Praça, I ; Primi, S; Pronk, V; Rauhala, V; Riccardi, M; Rocha, R; Rodriguez, J; Romero, R; Ruggieri, A; Sarasua, O; Saiz, E; Salo, VP; Sánchez, M; Sannino, P; Sarr, B; Sillitti, A; Soares, C ; Sprong, H; Terwee, D; Tijsma, B; Tourwé, T; Uranga, N; Välimaa, L; Valtonen, J; Varga, P; Veiga, A; Viguera, M; van der Voet, J; Webers, G; Woyte, A; Wouters, K; Zugasti, E; Zurutuza, U; ...Mais
PUBLICAÇÃO: 2018, FONTE: The MANTIS Book: Cyber Physical System Based Proactive Collaborative Maintenance, PÁGINAS: 311-496
1985
TÃTULO: Supervised learning methods for pathological arterial pulse wave differentiation: A SVM and neural networks approach
AUTORES: Joana S Paiva ; Joao Cardoso; Tania Pereira ;
PUBLICAÇÃO: 2018, FONTE: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, VOLUME: 109, PÁGINAS: 30-38
AUTORES: Joana S Paiva ; Joao Cardoso; Tania Pereira ;
PUBLICAÇÃO: 2018, FONTE: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, VOLUME: 109, PÁGINAS: 30-38
1986
TÃTULO: Supporting Description of Research Data: Evaluation and Comparison of Term and Concept Extraction Approaches
AUTORES: Monteiro, C; Lopes, CT ; Silva, JR ;
PUBLICAÇÃO: 2018, FONTE: 22nd International Conference on Theory and Practice of Digital Libraries (TPDL) in DIGITAL LIBRARIES FOR OPEN KNOWLEDGE, TPDL 2018, VOLUME: 11057, PÁGINAS: 377-380
AUTORES: Monteiro, C; Lopes, CT ; Silva, JR ;
PUBLICAÇÃO: 2018, FONTE: 22nd International Conference on Theory and Practice of Digital Libraries (TPDL) in DIGITAL LIBRARIES FOR OPEN KNOWLEDGE, TPDL 2018, VOLUME: 11057, PÁGINAS: 377-380
1987
TÃTULO: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTORES: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proença, J ;
PUBLICAÇÃO: 2018, FONTE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, NÚMERO: ICFP, PÁGINAS: 82:1-82:17
AUTORES: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proença, J ;
PUBLICAÇÃO: 2018, FONTE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, NÚMERO: ICFP, PÁGINAS: 82:1-82:17
1988
TÃTULO: Test Patterns for IoT
AUTORES: Pontes, PM; Lima, B ; Faria, JP ;
PUBLICAÇÃO: 2018, FONTE: 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST) in PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18), PÁGINAS: 63-66
AUTORES: Pontes, PM; Lima, B ; Faria, JP ;
PUBLICAÇÃO: 2018, FONTE: 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST) in PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18), PÁGINAS: 63-66
1989
TÃTULO: The effects of body position on Reflexive Motor Acts and the sense of presence in virtual environments
AUTORES: Bessa, M ; Melo, M ; de Sousa, AA ; Vasconcelos Raposo, J ;
PUBLICAÇÃO: 2018, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 71, PÁGINAS: 35-41
AUTORES: Bessa, M ; Melo, M ; de Sousa, AA ; Vasconcelos Raposo, J ;
PUBLICAÇÃO: 2018, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 71, PÁGINAS: 35-41
1990
TÃTULO: The Electrum Analyzer: Model Checking Relational First-Order Temporal Specifications
AUTORES: Brunel, J; Chemouil, D; Cunha, A ; Macedo, N ;
PUBLICAÇÃO: 2018, FONTE: PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18), PÁGINAS: 884-887
AUTORES: Brunel, J; Chemouil, D; Cunha, A ; Macedo, N ;
PUBLICAÇÃO: 2018, FONTE: PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18), PÁGINAS: 884-887
1991
TÃTULO: The influence of document characteristics on the quality of health web documents
AUTORES: Melinda Oroszlanyova; Carla Teixeira Lopes ; Sergio Nunes ; Cristina Ribeiro ;
PUBLICAÇÃO: 2018, FONTE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June, PÁGINAS: 1-7
AUTORES: Melinda Oroszlanyova; Carla Teixeira Lopes ; Sergio Nunes ; Cristina Ribeiro ;
PUBLICAÇÃO: 2018, FONTE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June, PÁGINAS: 1-7
1992
TÃTULO: The Twenty Sixth International Heterogeneity in Computing Workshop (HCW) and to the Fifteenth International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms (HeteroPar)
AUTORES: Barbosa, JG ; Jeannot, E;
PUBLICAÇÃO: 2018, FONTE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 30, NÚMERO: 23
AUTORES: Barbosa, JG ; Jeannot, E;
PUBLICAÇÃO: 2018, FONTE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 30, NÚMERO: 23
1993
TÃTULO: THE USE OF FACEBOOK IN THE TEACHING / LEARNING PROCESS AND ITS INFLUENCE ON ENGAGEMENT AND ACADEMIC PERFORMANCE
AUTORES: Pereira, V; Oliveira, E ;
PUBLICAÇÃO: 2018, FONTE: 12th International Technology, Education and Development Conference (INTED) in 12TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED), PÁGINAS: 318-325
AUTORES: Pereira, V; Oliveira, E ;
PUBLICAÇÃO: 2018, FONTE: 12th International Technology, Education and Development Conference (INTED) in 12TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED), PÁGINAS: 318-325
1994
TÃTULO: Thermographic Evaluation of the Saxophonists' Embouchure
AUTORES: Joana Cerqueira; Miguel Pais Clemente ; Gilberto Bernardes ; Henk Van Twillert; Ana Portela; Joaquim Mendes ; Mario Vasconcelos;
PUBLICAÇÃO: 2018, FONTE: 6th ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VipIMAGE) in VIPIMAGE 2017, VOLUME: 27, PÁGINAS: 1069-1078
AUTORES: Joana Cerqueira; Miguel Pais Clemente ; Gilberto Bernardes ; Henk Van Twillert; Ana Portela; Joaquim Mendes ; Mario Vasconcelos;
PUBLICAÇÃO: 2018, FONTE: 6th ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VipIMAGE) in VIPIMAGE 2017, VOLUME: 27, PÁGINAS: 1069-1078
1995
TÃTULO: Torque controlled biped model through a bio-inspired controller using adaptive learning
AUTORES: César Ferreira; Tomas Cunha; Cristina P Santos ; Luís Paulo Reis ;
PUBLICAÇÃO: 2018, FONTE: 25th IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2018 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PÁGINAS: 4369-4374
AUTORES: César Ferreira; Tomas Cunha; Cristina P Santos ; Luís Paulo Reis ;
PUBLICAÇÃO: 2018, FONTE: 25th IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2018 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PÁGINAS: 4369-4374
1996
TÃTULO: Totally Ordered Replication for Massive Scale Key-Value Stores
AUTORES: José Ribeiro; Nuno Machado ; Francisco Maia ; Miguel Matos ;
PUBLICAÇÃO: 2018, FONTE: DAIS, VOLUME: 10853 LNCS, PÁGINAS: 58-74
AUTORES: José Ribeiro; Nuno Machado ; Francisco Maia ; Miguel Matos ;
PUBLICAÇÃO: 2018, FONTE: DAIS, VOLUME: 10853 LNCS, PÁGINAS: 58-74
1997
TÃTULO: Towards a Test Specification Language for Information Systems: Focus on Data Entity and State Machine Tests
AUTORES: Alberto Rodrigues da Silva ; Ana C R Paiva ; Valter Emanuel R da Silva;
PUBLICAÇÃO: 2018, FONTE: MODELSWARD, VOLUME: 2018-January, PÁGINAS: 213-224
AUTORES: Alberto Rodrigues da Silva ; Ana C R Paiva ; Valter Emanuel R da Silva;
PUBLICAÇÃO: 2018, FONTE: MODELSWARD, VOLUME: 2018-January, PÁGINAS: 213-224
1998
TÃTULO: Towards an Agile Development Model for Certifiable Medical Device Software - Taking Advantage of the Medical Device Regulation
AUTORES: Manuel Zamith; Gil Gonçalves ;
PUBLICAÇÃO: 2018, FONTE: ICSOFT, PÁGINAS: 166-174
AUTORES: Manuel Zamith; Gil Gonçalves ;
PUBLICAÇÃO: 2018, FONTE: ICSOFT, PÁGINAS: 166-174
1999
TÃTULO: Towards cognitive support for unit testing: A qualitative study with practitioners
AUTORES: Prado, MP; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2018, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 141, PÁGINAS: 66-84
AUTORES: Prado, MP; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2018, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 141, PÁGINAS: 66-84
2000
TÃTULO: Towards General Cooperative Game Playing
AUTORES: João Marinheiro; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2018, FONTE: Transactions on Computational Collective Intelligence XXVIII, VOLUME: 28, PÁGINAS: 164-192
AUTORES: João Marinheiro; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2018, FONTE: Transactions on Computational Collective Intelligence XXVIII, VOLUME: 28, PÁGINAS: 164-192