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: 4454
56 Team MembersFilters -> Year: 2025
61
TITLE:  Designing a skilled soccer team for RoboCup: exploring skill-set-primitives through reinforcement learning
AUTHORS: Miguel Abreu; Luís Paulo Reis ; Nuno Lau;
PUBLISHED: 2025, SOURCE: Neural Comput. Appl., VOLUME: 37, ISSUE: 18, PAGES: 12699-12734
AUTHORS: Miguel Abreu; Luís Paulo Reis ; Nuno Lau;
PUBLISHED: 2025, SOURCE: Neural Comput. Appl., VOLUME: 37, ISSUE: 18, PAGES: 12699-12734
62
TITLE:  Detecting Resource Leaks on Android with Alpakka
AUTHORS: Santos, Gustavo; Bispo, Joao; Mendes, Alexandra ;
PUBLISHED: 2025, SOURCE: 18th International Conference on Software Language Engineering-SLE-Annual in PROCEEDINGS OF SLE 2025 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2025, PAGES: 199-211
AUTHORS: Santos, Gustavo; Bispo, Joao; Mendes, Alexandra ;
PUBLISHED: 2025, SOURCE: 18th International Conference on Software Language Engineering-SLE-Annual in PROCEEDINGS OF SLE 2025 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2025, PAGES: 199-211
63
TITLE:  Discovering user groups of active modes of transport in urban centers using clustering methods
AUTHORS: Felicio, Soraia; Hora, Joana ; Ferreira, Marta Campos ; Sobral, Thiago; Camacho, Rui ; Galvao, Teresa;
PUBLISHED: 2025, SOURCE: JOURNAL OF TRANSPORT & HEALTH, VOLUME: 44, PAGES: 102125
AUTHORS: Felicio, Soraia; Hora, Joana ; Ferreira, Marta Campos ; Sobral, Thiago; Camacho, Rui ; Galvao, Teresa;
PUBLISHED: 2025, SOURCE: JOURNAL OF TRANSPORT & HEALTH, VOLUME: 44, PAGES: 102125
64
TITLE:  Distributed Generalized Linear Models: A Privacy-Preserving Approach
AUTHORS: Tinoco, Daniel; Menezes, Raquel; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: COMPUTATIONAL STATISTICS, VOLUME: abs/2503.15287
AUTHORS: Tinoco, Daniel; Menezes, Raquel; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: COMPUTATIONAL STATISTICS, VOLUME: abs/2503.15287
INDEXED IN:  WOS
 WOS  DBLP
 DBLP
 WOS
 WOS  DBLP
 DBLP65
TITLE:  Do We Need 3D to See? Impact of Dimensionality of the Virtual Environment on Attention
AUTHORS: Matos, Teresa; Mendes, Daniel ; Jacob, Joao; de Sousa, A. Augusto; Rodrigues, Rui;
PUBLISHED: 2025, SOURCE: 2025 Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops-VRW in 2025 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS, VRW, PAGES: 1216-1217
AUTHORS: Matos, Teresa; Mendes, Daniel ; Jacob, Joao; de Sousa, A. Augusto; Rodrigues, Rui;
PUBLISHED: 2025, SOURCE: 2025 Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops-VRW in 2025 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS, VRW, PAGES: 1216-1217
66
TITLE:  Does Every Computer Scientist Need to Know Formal Methods?  Full Text
AUTHORS: Broy, Manfred; Brucker, Achim D.; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra ; Platzer, Andre; Ringert, Jan Oliver; Sullivan, Allison;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 1, PAGES: 6:1-6:17
AUTHORS: Broy, Manfred; Brucker, Achim D.; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra ; Platzer, Andre; Ringert, Jan Oliver; Sullivan, Allison;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 1, PAGES: 6:1-6:17
67
TITLE:  Emotion Odyssey: Promoting Emotion Regulation Skills in Families Through a Serious Game
AUTHORS: Eliana Silva; João Pedro Silva; Luís Paulo Reis ; Sara Araújo Silva;
PUBLISHED: 2025, SOURCE: 2025 IEEE Conference on Games, CoG 2025 in IEEE Conference on Games, CoG 2025, Lisbon, Portugal, August 26-29, 2025, PAGES: 1-4
AUTHORS: Eliana Silva; João Pedro Silva; Luís Paulo Reis ; Sara Araújo Silva;
PUBLISHED: 2025, SOURCE: 2025 IEEE Conference on Games, CoG 2025 in IEEE Conference on Games, CoG 2025, Lisbon, Portugal, August 26-29, 2025, PAGES: 1-4
INDEXED IN:  Scopus
 Scopus  DBLP
 DBLP
 Scopus
 Scopus  DBLP
 DBLP68
TITLE:  Emotion Regulation Through Play: A Serious Game for Preschool Children
AUTHORS: Catarina Gonçalves; Eliana Silva; Luís Paulo Reis ;
PUBLISHED: 2025, SOURCE: IEEE Conference on Games, CoG 2025, Lisbon, Portugal, August 26-29, 2025, PAGES: 1-4
AUTHORS: Catarina Gonçalves; Eliana Silva; Luís Paulo Reis ;
PUBLISHED: 2025, SOURCE: IEEE Conference on Games, CoG 2025, Lisbon, Portugal, August 26-29, 2025, PAGES: 1-4
INDEXED IN:  DBLP
 DBLP
 DBLP
 DBLP69
TITLE:  Enhancing Medical Image Analysis: A Pipeline Combining Synthetic Image Generation and Super-Resolution
AUTHORS: Pedro Sousa; Diogo Campas; João Andrade; Pedro Pereira; Tiago Gonçalves ; Luís F Teixeira ; Tânia Pereira ; Hélder P Oliveira ;
PUBLISHED: 2025, SOURCE: 12th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2025 in Pattern Recognition and Image Analysis - 12th Iberian Conference, IbPRIA 2025, Coimbra, Portugal, June 30 - July 3, 2025, Proceedings, Part II, VOLUME: 15938, PAGES: 122-133
AUTHORS: Pedro Sousa; Diogo Campas; João Andrade; Pedro Pereira; Tiago Gonçalves ; Luís F Teixeira ; Tânia Pereira ; Hélder P Oliveira ;
PUBLISHED: 2025, SOURCE: 12th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2025 in Pattern Recognition and Image Analysis - 12th Iberian Conference, IbPRIA 2025, Coimbra, Portugal, June 30 - July 3, 2025, Proceedings, Part II, VOLUME: 15938, PAGES: 122-133
70
TITLE:  Estimating Completeness of Consensus Models: Geometrical and Distributional Approaches
AUTHORS: Strecht, Pedro ; Mendes Moreira, Joao ; Soares, Carlos ;
PUBLISHED: 2025, SOURCE: 10th Conference on Machine Learning Optimization and Data Science-LOD-Annual in MACHINE LEARNING, OPTIMIZATION, AND DATA SCIENCE, LOD 2024, PT I, VOLUME: 15508, PAGES: 464-478
AUTHORS: Strecht, Pedro ; Mendes Moreira, Joao ; Soares, Carlos ;
PUBLISHED: 2025, SOURCE: 10th Conference on Machine Learning Optimization and Data Science-LOD-Annual in MACHINE LEARNING, OPTIMIZATION, AND DATA SCIENCE, LOD 2024, PT I, VOLUME: 15508, PAGES: 464-478
71
TITLE:  Evaluating Dense Model-based Approaches for Multimodal Medical Case Retrieval
AUTHORS: Catarina Pires; Sérgio Nunes; Luís Filipe Teixeira ;
PUBLISHED: 2025, SOURCE: Information Retrieval Research, VOLUME: 1, ISSUE: 2, PAGES: 197-220
AUTHORS: Catarina Pires; Sérgio Nunes; Luís Filipe Teixeira ;
PUBLISHED: 2025, SOURCE: Information Retrieval Research, VOLUME: 1, ISSUE: 2, PAGES: 197-220
INDEXED IN:  CrossRef
 CrossRef  Unpaywall
 Unpaywall
 CrossRef
 CrossRef  Unpaywall
 Unpaywall72
TITLE:  Evaluating Llama 3 for Text Simplification: A Study on Wikipedia Lead Sections
AUTHORS: Rodrigues, Jose Frederico; Cardoso, Henrique Lopes; Lopes, Carla Teixeira ;
PUBLISHED: 2025, SOURCE: 2025 Web Conference-WWW in COMPANION PROCEEDINGS OF THE ACM WEB CONFERENCE 2025, WWW COMPANION 2025, PAGES: 1273-1277
AUTHORS: Rodrigues, Jose Frederico; Cardoso, Henrique Lopes; Lopes, Carla Teixeira ;
PUBLISHED: 2025, SOURCE: 2025 Web Conference-WWW in COMPANION PROCEEDINGS OF THE ACM WEB CONFERENCE 2025, WWW COMPANION 2025, PAGES: 1273-1277
73
TITLE:  Evaluation of Lyrics Extraction from Folk Music Sheets Using Vision Language Models (VLMs)
AUTHORS: Sales Mendes, Andre; Lozano Murciego, Alvaro; Augusto Silva, Luis; Jimenez Bravo, Diego M.; Navarro Caceres, Maria; Bernardes, Gilberto ;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT I, VOLUME: 14967, PAGES: 91-102
AUTHORS: Sales Mendes, Andre; Lozano Murciego, Alvaro; Augusto Silva, Luis; Jimenez Bravo, Diego M.; Navarro Caceres, Maria; Bernardes, Gilberto ;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT I, VOLUME: 14967, PAGES: 91-102
74
TITLE:  Expanding Relevance Judgments for Medical Case-based Retrieval Task with Multimodal LLMs
AUTHORS: Catarina Pires; Sérgio Nunes; Luís Filipe Teixeira ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.17782
AUTHORS: Catarina Pires; Sérgio Nunes; Luís Filipe Teixeira ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.17782
INDEXED IN:  DBLP
 DBLP
 DBLP
 DBLP75
TITLE:  Exploratory Test-Driven Development Study with ChatGPT in Different Scenarios
AUTHORS: Juliano Cesar Pancher; Jorge Melegati ; Eduardo Martins Guerra;
PUBLISHED: 2025, SOURCE: Agile Processes in Software Engineering and Extreme Programming - 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings, VOLUME: 545, PAGES: 145-159
AUTHORS: Juliano Cesar Pancher; Jorge Melegati ; Eduardo Martins Guerra;
PUBLISHED: 2025, SOURCE: Agile Processes in Software Engineering and Extreme Programming - 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings, VOLUME: 545, PAGES: 145-159
INDEXED IN:  DBLP
 DBLP  CrossRef
 CrossRef
 DBLP
 DBLP  CrossRef
 CrossRef76
TITLE:  Exploring Documentation Strategies for NFR in Agile Software Development
AUTHORS: Igor Moreira; Luciane Baratto Adolfo; Jorge Melegati ; Joelma Choma; Eduardo Guerra; Luciana Zaina;
PUBLISHED: 2025, SOURCE: Agile Processes in Software Engineering and Extreme Programming - 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings, VOLUME: 545, PAGES: 229-244
AUTHORS: Igor Moreira; Luciane Baratto Adolfo; Jorge Melegati ; Joelma Choma; Eduardo Guerra; Luciana Zaina;
PUBLISHED: 2025, SOURCE: Agile Processes in Software Engineering and Extreme Programming - 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings, VOLUME: 545, PAGES: 229-244
INDEXED IN:  DBLP
 DBLP  CrossRef
 CrossRef
 DBLP
 DBLP  CrossRef
 CrossRef77
TITLE:  Exploring percolation features with polynomial algorithms for classifying Covid-19 in chest X-ray images  Full Text
AUTHORS: Roberto, Guilherme F.; Pereira, Danilo C.; Martins, Alessandro S.; Tosta, Thaina A. A.; Soares, Carlos ; Lumini, Alessandra; Rozendo, Guilherme B.; Neves, Leandro A.; Nascimento, Marcelo Z.;
PUBLISHED: 2025, SOURCE: PATTERN RECOGNITION LETTERS, VOLUME: 189, PAGES: 248-255
AUTHORS: Roberto, Guilherme F.; Pereira, Danilo C.; Martins, Alessandro S.; Tosta, Thaina A. A.; Soares, Carlos ; Lumini, Alessandra; Rozendo, Guilherme B.; Neves, Leandro A.; Nascimento, Marcelo Z.;
PUBLISHED: 2025, SOURCE: PATTERN RECOGNITION LETTERS, VOLUME: 189, PAGES: 248-255
INDEXED IN:  Scopus
 Scopus  WOS
 WOS  DBLP
 DBLP
 Scopus
 Scopus  WOS
 WOS  DBLP
 DBLP78
TITLE:  Exploring the Role of Sound Design in Serious Games: Impact on User Experience and Learning Outcomes
AUTHORS: Zijing Cao; António Sá Pinto; Gilberto Bernardes ;
PUBLISHED: 2025, SOURCE: 17th International Conference on Computer Supported Education, CSEDU 2025 in International Conference on Computer Supported Education, CSEDU - Proceedings, VOLUME: 1, PAGES: 692-700
AUTHORS: Zijing Cao; António Sá Pinto; Gilberto Bernardes ;
PUBLISHED: 2025, SOURCE: 17th International Conference on Computer Supported Education, CSEDU 2025 in International Conference on Computer Supported Education, CSEDU - Proceedings, VOLUME: 1, PAGES: 692-700
79
TITLE:  Exploring timbre latent spaces: motion-enhanced sampling for musical co-improvisation
AUTHORS: Carvalho, N. ; Sousa, Jorge; Portovedo, Henrique; Bernardes, Gilberto ;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF PERFORMANCE ARTS AND DIGITAL MEDIA, PAGES: 1-27
AUTHORS: Carvalho, N. ; Sousa, Jorge; Portovedo, Henrique; Bernardes, Gilberto ;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF PERFORMANCE ARTS AND DIGITAL MEDIA, PAGES: 1-27
80
TITLE:  First Twenty Years of the International Symposium on Applied Reconfigurable Computing (ARC): A Selection of Papers
AUTHORS: João M P Cardoso ; Walid A Najjar;
PUBLISHED: 2025, SOURCE: 21st International Symposium on Applied Reconfigurable Computing, ARC 2025 in Applied Reconfigurable Computing. Architectures, Tools, and Applications - 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings, VOLUME: 15594, PAGES: 3-12
AUTHORS: João M P Cardoso ; Walid A Najjar;
PUBLISHED: 2025, SOURCE: 21st International Symposium on Applied Reconfigurable Computing, ARC 2025 in Applied Reconfigurable Computing. Architectures, Tools, and Applications - 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings, VOLUME: 15594, PAGES: 3-12
