Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 3865
49 Team MembersFilters -> Year: 2024
1341
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 ; ...More
PUBLISHED: 2018, SOURCE: The MANTIS Book: Cyber Physical System Based Proactive Collaborative Maintenance, PAGES: 311-496
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 ; ...More
PUBLISHED: 2018, SOURCE: The MANTIS Book: Cyber Physical System Based Proactive Collaborative Maintenance, PAGES: 311-496
INDEXED IN: 
Scopus
Scopus1342
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
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
1343
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
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
1344
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
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
1345
TITLE: The effects of body position on Reflexive Motor Acts and the sense of presence in virtual environments Full Text
AUTHORS: Maximino Bessa ; Miguel Melo ; Augusto de Sousa, AA ; Jose Vasconcelos Raposo ;
PUBLISHED: 2018, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 71, PAGES: 35-41
AUTHORS: Maximino Bessa ; Miguel Melo ; Augusto de Sousa, AA ; Jose Vasconcelos Raposo ;
PUBLISHED: 2018, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 71, PAGES: 35-41
1346
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
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
1347
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
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
1348
TITLE: 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) Full Text
AUTHORS: Jorge G Barbosa ; Emmanuel Jeannot;
PUBLISHED: 2018, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 30, ISSUE: 23
AUTHORS: Jorge G Barbosa ; Emmanuel Jeannot;
PUBLISHED: 2018, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 30, ISSUE: 23
1349
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
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
INDEXED IN: 
WOS
WOS1350
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
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
1351
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
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
1352
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
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
1353
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
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
1354
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
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
1355
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
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
1356
TITLE: Towards Reproducible Empirical Research in Meta-Learning PDF
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
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
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv1357
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
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
INDEXED IN: WOS DBLP
WOS DBLP1358
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
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
1359
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
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
INDEXED IN: DBLP
DBLP1360
TITLE: Trends and Advances in Information Systems and Technologies. Volume 2
AUTHORS: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo;
PUBLISHED: 2018
AUTHORS: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo;
PUBLISHED: 2018
INDEXED IN: 
Openlibrary
Openlibrary