Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 3965
49 Team MembersFilters -> Year: 2025
1421
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
1422
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
1423
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
1424
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
1425
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
1426
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
1427
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
1428
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
1429
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
1430
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
1431
TÃTULO: Towards general cooperative game playing
AUTORES: Marinheiro, J; Lopes Cardoso, H ;
PUBLICAÇÃO: 2018, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10780 LNCS, PÁGINAS: 164-192
AUTORES: Marinheiro, J; Lopes Cardoso, H ;
PUBLICAÇÃO: 2018, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10780 LNCS, PÁGINAS: 164-192
1432
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
1433
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
1434
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
1435
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
1436
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
1437
TÃTULO: Transactions on Computational Collective Intelligence XXVIII
AUTORES: Ngoc Thanh Nguyen; Ryszard Kowalczyk; Jaap van v den Herik; Ana Paula Rocha ; Joaquim Filipe;
PUBLICAÇÃO: 2018, FONTE: Trans. Computational Collective Intelligence, VOLUME: 10780
AUTORES: Ngoc Thanh Nguyen; Ryszard Kowalczyk; Jaap van v den Herik; Ana Paula Rocha ; Joaquim Filipe;
PUBLICAÇÃO: 2018, FONTE: Trans. Computational Collective Intelligence, VOLUME: 10780
1438
TÃTULO: Trends and Advances in Information Systems and Technologies. Volume 2
AUTORES: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo;
PUBLICAÇÃO: 2018
AUTORES: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo;
PUBLICAÇÃO: 2018
1439
TÃTULO: Trends and Advances in Information Systems and Technologies - Volume 1 [WorldCIST'18, Naples, Italy, March 27-29, 2018]
AUTORES: Álvaro Rocha ; Ana Maria Ramalho Correia; Hojjat Adeli; Luís Paulo Reis ; Marcelo Mendonça Teixeira;
PUBLICAÇÃO: 2018, FONTE: WorldCIST (1), VOLUME: 745
AUTORES: Álvaro Rocha ; Ana Maria Ramalho Correia; Hojjat Adeli; Luís Paulo Reis ; Marcelo Mendonça Teixeira;
PUBLICAÇÃO: 2018, FONTE: WorldCIST (1), VOLUME: 745
1440
TÃTULO: Trends and Advances in Information Systems and Technologies - Volume 2 [WorldCIST'18, Naples, Italy, March 27-29, 2018]
AUTORES: Álvaro Rocha ; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo;
PUBLICAÇÃO: 2018, FONTE: 2013 World Conference on Information Systems and Technologies, WorldCIST 2013 in WorldCIST (2), VOLUME: 746
AUTORES: Álvaro Rocha ; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo;
PUBLICAÇÃO: 2018, FONTE: 2013 World Conference on Information Systems and Technologies, WorldCIST 2013 in WorldCIST (2), VOLUME: 746