Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 4144
50 Team MembersFilters -> Year: 2025
1581
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
1582
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
1583
TÃTULO: Supporting Description of Research Data: Evaluation and Comparison of Term and Concept Extraction Approaches
AUTORES: Claudio Monteiro; Carla Teixeira Lopes ; Joao Rocha Silva ;
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: Claudio Monteiro; Carla Teixeira Lopes ; Joao Rocha Silva ;
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
1584
TÃTULO: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTORES: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proenca, 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 ; Proenca, 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
1585
TÃTULO: Test Patterns for IoT
AUTORES: Pedro Martins Pontes; Bruno Lima ; Joao Pascoal Faria ;
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: Pedro Martins Pontes; Bruno Lima ; Joao Pascoal Faria ;
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
1586
TÃTULO: The effects of body position on Reflexive Motor Acts and the sense of presence in virtual environments
AUTORES: Maximino Bessa ; Miguel Melo ; Augusto de Sousa, AA ; Jose Vasconcelos Raposo ;
PUBLICAÇÃO: 2018, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 71, PÁGINAS: 35-41
AUTORES: Maximino Bessa ; Miguel Melo ; Augusto de Sousa, AA ; Jose Vasconcelos Raposo ;
PUBLICAÇÃO: 2018, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 71, PÁGINAS: 35-41
1587
TÃTULO: The electrum analyzer: model checking relational first-order temporal specifications
AUTORES: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2018, FONTE: 33rd IEEE/ACM International Conference on Automated Software Engineering, ASE 2018 in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, PÁGINAS: 884-887
AUTORES: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2018, FONTE: 33rd IEEE/ACM International Conference on Automated Software Engineering, ASE 2018 in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, PÁGINAS: 884-887
1588
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
1589
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: Jorge G Barbosa ; Emmanuel Jeannot;
PUBLICAÇÃO: 2018, FONTE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 30, NÚMERO: 23
AUTORES: Jorge G Barbosa ; Emmanuel Jeannot;
PUBLICAÇÃO: 2018, FONTE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 30, NÚMERO: 23
1590
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
1591
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
1592
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
1593
TÃTULO: Totally Ordered Replication for Massive Scale Key-Value Stores
AUTORES: José Ribeiro; Nuno Machado ; Francisco Maia ; Miguel Matos ;
PUBLICAÇÃO: 2018, FONTE: 18th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2018 Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018 in Distributed Applications and Interoperable Systems - 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings, VOLUME: 10853, PÁGINAS: 58-74
AUTORES: José Ribeiro; Nuno Machado ; Francisco Maia ; Miguel Matos ;
PUBLICAÇÃO: 2018, FONTE: 18th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2018 Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018 in Distributed Applications and Interoperable Systems - 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings, VOLUME: 10853, PÁGINAS: 58-74
1594
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: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018., 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: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018., VOLUME: 2018-January, PÁGINAS: 213-224
1595
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
1596
TÃTULO: Towards Player Adaptivity in Mobile Exergames
AUTORES: Jacob, J ; Lopes, A ; Nobrega, R ; Rodrigues, R ; Coelho, A ;
PUBLICAÇÃO: 2018, FONTE: 14th International Conference on Advances in Computer Entertainment Technology, ACE 2017 in ADVANCES IN COMPUTER ENTERTAINMENT TECHNOLOGY, ACE 2017, VOLUME: 10714, PÁGINAS: 278-292
AUTORES: Jacob, J ; Lopes, A ; Nobrega, R ; Rodrigues, R ; Coelho, A ;
PUBLICAÇÃO: 2018, FONTE: 14th International Conference on Advances in Computer Entertainment Technology, ACE 2017 in ADVANCES IN COMPUTER ENTERTAINMENT TECHNOLOGY, ACE 2017, VOLUME: 10714, PÁGINAS: 278-292
1597
TÃTULO: Towards Real-Time Patient Prioritization in Hospital Emergency Services
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2018, FONTE: 20th IEEE International Conference on e-Health Networking, Applications and Services, Healthcom 2018, Ostrava, Czech Republic, September 17-20, 2018, PÁGINAS: 1-4
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2018, FONTE: 20th IEEE International Conference on e-Health Networking, Applications and Services, Healthcom 2018, Ostrava, Czech Republic, September 17-20, 2018, PÁGINAS: 1-4
1598
TÃTULO: Towards Reproducible Empirical Research in Meta-Learning
AUTORES: Adriano Rivolli ; Luís P F Garcia; Carlos Soares ; Joaquin Vanschoren; André C P L F de Carvalho;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1808.10406
AUTORES: Adriano Rivolli ; Luís P F Garcia; Carlos Soares ; Joaquin Vanschoren; André C P L F de Carvalho;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1808.10406
1599
TÃTULO: Towards Verified Handwritten Calculational Proofs
AUTORES: Alexandra Mendes ; Joao F Ferreira;
PUBLICAÇÃO: 2018, FONTE: 9th International Conference on Interactive Theorem Proving (ITP) Held as Part of the Federated Logic Conference (FloC) in INTERACTIVE THEOREM PROVING, ITP 2018, VOLUME: 10895, PÁGINAS: 432-440
AUTORES: Alexandra Mendes ; Joao F Ferreira;
PUBLICAÇÃO: 2018, FONTE: 9th International Conference on Interactive Theorem Proving (ITP) Held as Part of the Federated Logic Conference (FloC) in INTERACTIVE THEOREM PROVING, ITP 2018, VOLUME: 10895, PÁGINAS: 432-440
1600
TÃTULO: Traffic Simulation of Lane-Merging of Autonomous Vehicles in the Context of Platooning
AUTORES: Gil Domingues; João Cabral; João Mota; Pedro Pontes; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2018, FONTE: 2018 IEEE International Smart Cities Conference, ISC2 2018 in IEEE International Smart Cities Conference, ISC2 2018, Kansas City, MO, USA, September 16-19, 2018, PÁGINAS: 1-6
AUTORES: Gil Domingues; João Cabral; João Mota; Pedro Pontes; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2018, FONTE: 2018 IEEE International Smart Cities Conference, ISC2 2018 in IEEE International Smart Cities Conference, ISC2 2018, Kansas City, MO, USA, September 16-19, 2018, PÁGINAS: 1-6