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

AuthID: I-000-0K9


Publications Count: 4625

61 Team Members
Filters -> Year: 2026
121
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
122
TITLE: Domain-Specific Data Augmentation for Lung Nodule Malignancy Classification
AUTHORS: Margarida Gouveia ; Jorge Araujo; Helder P Oliveira ; Tania Pereira ;
PUBLISHED: 2025, SOURCE: Annual International Conference of the IEEE Engineering in Medicine and Biology Society IEEE Engineering in Medicine and Biology Society Annual International Conference, VOLUME: 2025, PAGES: 1-7
123
TITLE: Editorial: Hemodynamic parameters and cardiovascular changes
AUTHORS: Pereira, Tania ; Gadhoumi, Kais; Xiao, Ran;
PUBLISHED: 2025, SOURCE: FRONTIERS IN PHYSIOLOGY, VOLUME: 15
124
125
TITLE: Emerging Requirements for AI and Edge Computing in Cyber-Physical Production Systems
AUTHORS: Rui Pinto ; Gil Gonçalves;
PUBLISHED: 2025, SOURCE: INDIN, PAGES: 1-6
126
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
127
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
128
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: SMC, PAGES: 3685-3690
129
TITLE: Environmental Impact of CI/CD Pipelines
AUTHORS: Nuno Saavedra; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.26413
130
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
131
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
132
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
133
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
134
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
135
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
136
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
137
138
TITLE: Exploratory Test-Driven Development Study with ChatGPT in Different Scenarios
AUTHORS: Juliano Cesar Pancher; Jorge Melegati ; Eduardo Martins Guerra;
PUBLISHED: 2025, SOURCE: XP, PAGES: 145-159
139
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
140
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: XP, PAGES: 229-244

Results per Page: 20.
Page 7 of 232. Total results: 4625.