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

AuthID: I-000-0K9


Publications Count: 4644

60 Team Members
Filters -> Year: 2026
101
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
102
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
103
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
104
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
105
TITLE: Does Every Computer Scientist Need to Know Formal Methods?
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
106
TITLE: Editorial: Hemodynamic parameters and cardiovascular changes
AUTHORS: Pereira, Tania ; Gadhoumi, Kais; Xiao, Ran;
PUBLISHED: 2025, SOURCE: FRONTIERS IN PHYSIOLOGY, VOLUME: 15
107
108
TITLE: Emotion Odyssey: Promoting Emotion Regulation Skills in Families through a Serious Game
AUTHORS: Silva, Eliana; Silva, Joao Pedro; Reis, Luis Paulo ; Silva, Sara Araujo;
PUBLISHED: 2025, SOURCE: 2025 Conference on Games-COG-Annual in 2025 IEEE CONFERENCE ON GAMES, COG, PAGES: 1-4
109
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
110
TITLE: Enhancing Text-to-SQL with In-Context Learning: A Multi-Agent Approach Based on CHESS
AUTHORS: Renato O Miyaji; Rafael M Fernandes; Krysthian F Martins; Jorge Melegati ; Pedro L P Corrêa;
PUBLISHED: 2025, SOURCE: Anais do XL Simpósio Brasileiro de Banco de Dados (SBBD 2025), PAGES: 739-745
111
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
112
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
113
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
114
TITLE: Evaluating the Impact of Scaffolding and Visualizations for Mutation Testing Exercises in Software Engineering Education
AUTHORS: Potter, Hannah; Paiva, Ana C. R. ; Amalfitano, Domenico; Fasolino, Anna Rita; Tramontana, Porfirio; Just, Rene;
PUBLISHED: 2025, SOURCE: 33rd International Symposium on Foundations of Software Engineering-FSE in COMPANION PROCEEDINGS OF THE 33RD ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2025, PAGES: 823-834
115
TITLE: Evaluating Transfer Learning Methods on Real-World Data Streams: A Case Study in Financial Fraud Detection
AUTHORS: Ricardo Ribeiro Pereira; Jacopo Bono; Hugo M Ferreira; Pedro Ribeiro ; Carlos Soares ; Pedro Bizarro;
PUBLISHED: 2025, SOURCE: ECML/PKDD (9), VOLUME: 16021 LNCS, PAGES: 230-246
116
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
117
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
118
119
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
120
TITLE: Exploring ChatGPT Efficiency in Automatic Test Generation for Python: A Comparative Analysis
AUTHORS: Lucca Renato Guerino; VINCENZI, AURI M. R. ;
PUBLISHED: 2025, SOURCE: Anais do XXIV Simpósio Brasileiro de Qualidade de Software (SBQS 2025), PAGES: 88-98

Results per Page: 20.
Page 6 of 233. Total results: 4644.