Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering

AuthID: I-000-0K9


Publications Count: 4713

62 Team Members
Filters -> Year: 2026
2021
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
2022
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
2023
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
2024
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
2025
2026
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
2027
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
2028
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
2029
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
2030
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
2031
2032
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
2033
TÍTULO: Towards General Cooperative Game Playing
AUTORES: João Marinheiro; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2018, FONTE: Trans. Comput. Collect. Intell., VOLUME: 28, PÁGINAS: 164-192
2034
TÍTULO: Towards Player Adaptivity in Mobile Exergames
AUTORES: Jacob, J ; Lopes, A ; Nobrega, R ; Rodrigues, R ; Coelho, A ;
PUBLICAÇÃO: 2018, FONTE: ADVANCES IN COMPUTER ENTERTAINMENT TECHNOLOGY, ACE 2017, VOLUME: 10714, PÁGINAS: 278-292
2035
TÍTULO: Towards Real-Time Patient Prioritization in Hospital Emergency Services
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2018, FONTE: HealthCom, PÁGINAS: 1-4
2036
TÍTULO: Towards Reproducible Empirical Research in Meta-Learning
AUTORES: Adriano Rivolli ; Luís Paulo F Garcia; Carlos Soares ; Joaquin Vanschoren; André C P L F de Carvalho;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1808.10406
2037
TÍTULO: Towards Verified Handwritten Calculational Proofs
AUTORES: Mendes, A ; Ferreira, JF;
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
2038
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: ISC2, PÁGINAS: 1-6
2039
TÍTULO: Transactions on Computational Collective Intelligence XXVIII
AUTORES: Nguyen, NT; Duval, B; van den Herik, J; Kowalczyk, R ; Loiseau, S; Filipe, J;
PUBLICAÇÃO: 2018, FONTE: 6th International Conference on Agents and Artificial Intelligence, ICAART 2014 in Trans. Computational Collective Intelligence, VOLUME: 10780
2040
TÍTULO: Trends and Advances in Information Systems and Technologies. Volume 1
AUTORES: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo;
PUBLICAÇÃO: 2018, FONTE: Advances in Intelligent Systems and Computing

Results per Page: 20.
Página 102 de 236. Total de resultados: 4713.