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

AuthID: I-000-0K9


Publications Count: 4504

56 Team Members
Filters -> Year: 2026
1841
TITLE: SOCRATES - A seamless online compiler and system runtime autotuning framework for energy-aware applications
AUTHORS: Davide Gadioli; Ricardo Nobre; Pedro Pinto ; Emanuele Vitali; Amir H Ashouri; Gianluca Palermo; João M P Cardoso ; Cristina Silvano;
PUBLISHED: 2018, SOURCE: 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018 in 2018 Design, Automation & Test in Europe Conference & Exhibition, DATE 2018, Dresden, Germany, March 19-23, 2018, VOLUME: 2018-January, PAGES: 1143-1146
1842
TITLE: Spaces sing, are you listening?
AUTHORS: Gilberto Bernardes ; Filipe Lopes; Clara Cardoso;
PUBLISHED: 2018, SOURCE: Resonate, Thinking Sound and Space
1843
TITLE: Success stories on real pilots
AUTHORS: 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; ...More
PUBLISHED: 2018, SOURCE: The MANTIS Book: Cyber Physical System Based Proactive Collaborative Maintenance, PAGES: 311-496
1844
TITLE: Supporting Description of Research Data: Evaluation and Comparison of Term and Concept Extraction Approaches
AUTHORS: Claudio Monteiro; Carla Teixeira Lopes ; Joao Rocha Silva ;
PUBLISHED: 2018, SOURCE: 22nd International Conference on Theory and Practice of Digital Libraries (TPDL) in DIGITAL LIBRARIES FOR OPEN KNOWLEDGE, TPDL 2018, VOLUME: 11057, PAGES: 377-380
1845
TITLE: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTHORS: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proenca, J ;
PUBLISHED: 2018, SOURCE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, ISSUE: ICFP, PAGES: 82:1-82:17
1846
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
1847
1848
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
1849
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
1850
1851
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
1852
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
1853
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
1854
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
1855
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
1856
TITLE: Towards an Agile Development Model for Certifiable Medical Device Software - Taking Advantage of the Medical Device Regulation
AUTHORS: Manuel Zamith; Gil Gonçalves ;
PUBLISHED: 2018, SOURCE: 13th International Conference on Software Technologies, ICSOFT 2018 in Proceedings of the 13th International Conference on Software Technologies, ICSOFT 2018, Porto, Portugal, July 26-28, 2018., PAGES: 166-174
1857
TITLE: Towards cognitive support for unit testing: A qualitative study with practitioners
AUTHORS: Prado, MP; VINCENZI, AURI M. R. ;
PUBLISHED: 2018, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 141, PAGES: 66-84
1858
TITLE: Towards General Cooperative Game Playing
AUTHORS: João Marinheiro; Henrique Lopes Cardoso ;
PUBLISHED: 2018, SOURCE: Transactions on Computational Collective Intelligence XXVIII, VOLUME: 28, PAGES: 164-192
1859
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
1860
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

Results per Page: 20.
Page 93 of 226. Total results: 4504.