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

AuthID: I-000-0K9


Publications Count: 3946

49 Team Members
Filters -> Year: 2025
1421
TITLE: Test Patterns for IoT
AUTHORS: Pedro Martins Pontes; Bruno Lima ; Joao Pascoal Faria ;
PUBLISHED: 2018, SOURCE: 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), PAGES: 63-66
1422
1423
TITLE: The electrum analyzer: model checking relational first-order temporal specifications
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2018, SOURCE: 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, PAGES: 884-887
1424
TITLE: The influence of document characteristics on the quality of health web documents
AUTHORS: Melinda Oroszlanyova; Carla Teixeira Lopes ; Sergio Nunes ; Cristina Ribeiro ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June, PAGES: 1-7
1425
1426
TITLE: THE USE OF FACEBOOK IN THE TEACHING / LEARNING PROCESS AND ITS INFLUENCE ON ENGAGEMENT AND ACADEMIC PERFORMANCE
AUTHORS: Pereira, V; Oliveira, E ;
PUBLISHED: 2018, SOURCE: 12th International Technology, Education and Development Conference (INTED) in 12TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED), PAGES: 318-325
1427
TITLE: Thermographic Evaluation of the Saxophonists' Embouchure
AUTHORS: Joana Cerqueira; Miguel Pais Clemente ; Gilberto Bernardes ; Henk Van Twillert; Ana Portela; Joaquim Mendes ; Mario Vasconcelos;
PUBLISHED: 2018, SOURCE: 6th ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VipIMAGE) in VIPIMAGE 2017, VOLUME: 27, PAGES: 1069-1078
1428
TITLE: Torque controlled biped model through a bio-inspired controller using adaptive learning
AUTHORS: César Ferreira; Tomas Cunha; Cristina P Santos; Luís Paulo Reis ;
PUBLISHED: 2018, SOURCE: 25th IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2018 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 4369-4374
1429
TITLE: Totally Ordered Replication for Massive Scale Key-Value Stores
AUTHORS: José Ribeiro; Nuno Machado ; Francisco Maia ; Miguel Matos ;
PUBLISHED: 2018, SOURCE: 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, PAGES: 58-74
1430
TITLE: Towards a Test Specification Language for Information Systems: Focus on Data Entity and State Machine Tests
AUTHORS: Alberto Rodrigues da Silva; Ana C R Paiva ; Valter Emanuel R da Silva;
PUBLISHED: 2018, SOURCE: 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, PAGES: 213-224
1431
TITLE: Towards general cooperative game playing
AUTHORS: Marinheiro, J; Lopes Cardoso, H ;
PUBLISHED: 2018, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10780 LNCS, PAGES: 164-192
1432
TITLE: Towards Player Adaptivity in Mobile Exergames
AUTHORS: Jacob, J ; Lopes, A ; Nobrega, R ; Rodrigues, R ; Coelho, A ;
PUBLISHED: 2018, SOURCE: 14th International Conference on Advances in Computer Entertainment Technology, ACE 2017 in ADVANCES IN COMPUTER ENTERTAINMENT TECHNOLOGY, ACE 2017, VOLUME: 10714, PAGES: 278-292
1433
TITLE: Towards Real-Time Patient Prioritization in Hospital Emergency Services
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2018, SOURCE: 20th IEEE International Conference on e-Health Networking, Applications and Services, Healthcom 2018, Ostrava, Czech Republic, September 17-20, 2018, PAGES: 1-4
1434
TITLE: Towards Reproducible Empirical Research in Meta-Learning
AUTHORS: Adriano Rivolli ; Luís P F Garcia; Carlos Soares ; Joaquin Vanschoren; André C P L F de Carvalho;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1808.10406
1435
TITLE: Towards Verified Handwritten Calculational Proofs
AUTHORS: Alexandra Mendes ; Joao F Ferreira;
PUBLISHED: 2018, SOURCE: 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, PAGES: 432-440
1436
TITLE: Traffic Simulation of Lane-Merging of Autonomous Vehicles in the Context of Platooning
AUTHORS: Gil Domingues; João Cabral; João Mota; Pedro Pontes; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ;
PUBLISHED: 2018, SOURCE: 2018 IEEE International Smart Cities Conference, ISC2 2018 in IEEE International Smart Cities Conference, ISC2 2018, Kansas City, MO, USA, September 16-19, 2018, PAGES: 1-6
1437
TITLE: Transactions on Computational Collective Intelligence XXVIII
AUTHORS: Ngoc Thanh Nguyen; Ryszard Kowalczyk; Jaap van v den Herik; Ana Paula Rocha ; Joaquim Filipe;
PUBLISHED: 2018, SOURCE: Trans. Computational Collective Intelligence, VOLUME: 10780
1438
TITLE: Trends and Advances in Information Systems and Technologies. Volume 2
AUTHORS: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo;
PUBLISHED: 2018
1439
TITLE: Trends and Advances in Information Systems and Technologies - Volume 1 [WorldCIST'18, Naples, Italy, March 27-29, 2018]
AUTHORS: Álvaro Rocha ; Ana Maria Ramalho Correia; Hojjat Adeli; Luís Paulo Reis ; Marcelo Mendonça Teixeira;
PUBLISHED: 2018, SOURCE: WorldCIST (1), VOLUME: 745
1440
TITLE: Trends and Advances in Information Systems and Technologies - Volume 2 [WorldCIST'18, Naples, Italy, March 27-29, 2018]
AUTHORS: Álvaro Rocha ; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo;
PUBLISHED: 2018, SOURCE: 2013 World Conference on Information Systems and Technologies, WorldCIST 2013 in WorldCIST (2), VOLUME: 746

Results per Page: 20.
Page 72 of 198. Total results: 3946.