Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 4709
62 Team MembersFilters -> Year: 2026
141
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
142
TITLE: Developing an Accessible Survey Completion Tool for People with Disabilities
AUTHORS: Cristiana Modesto; Seixas Pereira, Letícia ; Carlos Duarte;
PUBLISHED: 2025, SOURCE: Anais Estendidos do XXIV Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais (IHC 2025), PAGES: 99-105
AUTHORS: Cristiana Modesto; Seixas Pereira, Letícia ; Carlos Duarte;
PUBLISHED: 2025, SOURCE: Anais Estendidos do XXIV Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais (IHC 2025), PAGES: 99-105
143
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
144
TITLE: Distributed Generalized Linear Models: A Privacy-Preserving Approach
AUTHORS: Tinoco, Daniel; Menezes, Raquel ; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: COMPUTATIONAL STATISTICS, VOLUME: 40, ISSUE: 9, PAGES: 5769-5790
AUTHORS: Tinoco, Daniel; Menezes, Raquel ; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: COMPUTATIONAL STATISTICS, VOLUME: 40, ISSUE: 9, PAGES: 5769-5790
145
TITLE: Do Experts Agree About Smelly Infrastructure?
AUTHORS: Masoumzadeh, Sogol; Saavedra, Nuno; Maipradit, Rungroj; Wei, Lili; Ferreira, Joao F. ; Varro, Daniel; McIntosh, Shane;
PUBLISHED: 2025, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 51, ISSUE: 5, PAGES: 1472-1486
AUTHORS: Masoumzadeh, Sogol; Saavedra, Nuno; Maipradit, Rungroj; Wei, Lili; Ferreira, Joao F. ; Varro, Daniel; McIntosh, Shane;
PUBLISHED: 2025, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 51, ISSUE: 5, PAGES: 1472-1486
146
TITLE: Do We Need 3D to See? Impact of Dimensionality of the Virtual Environment on Attention
AUTHORS: Matos, Teresa; Mendes, Daniel ; Jacob, J; 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, J; 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
147
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
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
148
TITLE: Domain-Specific Data Augmentation for Lung Nodule Malignancy Classification
AUTHORS: Gouveia, Margarida ; Araujo, Jorge; Oliveira, Helder P. ; Pereira, Tania ;
PUBLISHED: 2025, SOURCE: 47th International Conference of the Engineering in Medicine and Biology Society-EMBC-Annual in 2025 47TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2025, PAGES: 1-7
AUTHORS: Gouveia, Margarida ; Araujo, Jorge; Oliveira, Helder P. ; Pereira, Tania ;
PUBLISHED: 2025, SOURCE: 47th International Conference of the Engineering in Medicine and Biology Society-EMBC-Annual in 2025 47TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2025, PAGES: 1-7
149
TITLE: E-Government Systems to Improve Citizen-to-Public Administration Communication: A Literature Review
AUTHORS: Pedro Henrique Diniz; Luis Paulo Reis; Henrique Lopes Cardoso ;
PUBLISHED: 2025, SOURCE: Digit. Gov. Res. Pract., VOLUME: 6, ISSUE: 4, PAGES: 56:1-56:26
AUTHORS: Pedro Henrique Diniz; Luis Paulo Reis; Henrique Lopes Cardoso ;
PUBLISHED: 2025, SOURCE: Digit. Gov. Res. Pract., VOLUME: 6, ISSUE: 4, PAGES: 56:1-56:26
150
TITLE: Editorial: Hemodynamic parameters and cardiovascular changes
AUTHORS: Pereira, Tania ; Gadhoumi, Kais; Xiao, Ran;
PUBLISHED: 2025, SOURCE: FRONTIERS IN PHYSIOLOGY, VOLUME: 15
AUTHORS: Pereira, Tania ; Gadhoumi, Kais; Xiao, Ran;
PUBLISHED: 2025, SOURCE: FRONTIERS IN PHYSIOLOGY, VOLUME: 15
151
TITLE: Efficient-Proto-Caps: A Parameter-Efficient and Interpretable Capsule Network for Lung Nodule Characterization
AUTHORS: Rodrigues, Eduardo M. ; Gouveia, Margarida ; Oliveira, Helder P. ; Pereira, Tania ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 56616-56630
AUTHORS: Rodrigues, Eduardo M. ; Gouveia, Margarida ; Oliveira, Helder P. ; Pereira, Tania ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 56616-56630
152
TITLE: Emerging Requirements for AI and Edge Computing in Cyber-Physical Production Systems
AUTHORS: Rui Pinto ; Gil Gonçalves ;
PUBLISHED: 2025, SOURCE: 23rd International Conference on Industrial Informatics, INDIN 2025 in INDIN, PAGES: 1-6
AUTHORS: Rui Pinto ; Gil Gonçalves ;
PUBLISHED: 2025, SOURCE: 23rd International Conference on Industrial Informatics, INDIN 2025 in INDIN, PAGES: 1-6
153
TITLE: Emotion Regulation Through Play: A Serious Game for Preschool Children
AUTHORS: Goncavles, Catarina; Silva, Eliana; Reis, Luis Paulo ;
PUBLISHED: 2025, SOURCE: 2025 Conference on Games-COG-Annual in 2025 IEEE CONFERENCE ON GAMES, COG, PAGES: 1-4
AUTHORS: Goncavles, Catarina; Silva, Eliana; Reis, Luis Paulo ;
PUBLISHED: 2025, SOURCE: 2025 Conference on Games-COG-Annual in 2025 IEEE CONFERENCE ON GAMES, COG, PAGES: 1-4
154
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
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
155
TITLE: Enhancing the Dendritic Cell Algorithm through Automated Feature Reduction Techniques for Improved Anomaly Detection
AUTHORS: Vitor Pereira; Rui Pinto ; Gil Gonçalves ;
PUBLISHED: 2025, SOURCE: 2025 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2025 in SMC, PAGES: 3685-3690
AUTHORS: Vitor Pereira; Rui Pinto ; Gil Gonçalves ;
PUBLISHED: 2025, SOURCE: 2025 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2025 in SMC, PAGES: 3685-3690
156
TITLE: Environmental Impact of CI/CD Pipelines
AUTHORS: Nuno Saavedra; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.26413
AUTHORS: Nuno Saavedra; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.26413
157
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
158
TITLE: Evaluating and monitoring digital accessibility: practitioners' perspectives on challenges and opportunities
AUTHORS: Seixas Pereira, Letícia ; Duarte, Carlos;
PUBLISHED: 2025, SOURCE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 24, ISSUE: 3, PAGES: 2553-2571
AUTHORS: Seixas Pereira, Letícia ; Duarte, Carlos;
PUBLISHED: 2025, SOURCE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 24, ISSUE: 3, PAGES: 2553-2571
159
TITLE: Evaluating Dense Model-based Approaches for Multimodal Medical Case Retrieval
AUTHORS: Catarina Pires; Sérgio Nunes ; Luís F Teixeira ;
PUBLISHED: 2025, SOURCE: Inf. Retr. Res. J., VOLUME: 1, ISSUE: 2, PAGES: 197-220
AUTHORS: Catarina Pires; Sérgio Nunes ; Luís F Teixeira ;
PUBLISHED: 2025, SOURCE: Inf. Retr. Res. J., VOLUME: 1, ISSUE: 2, PAGES: 197-220
160
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
