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

AuthID: I-000-0K9


Publications Count: 4625

61 Team Members
Filters -> Year: 2026
121
TÍTULO: Does Every Computer Scientist Need to Know Formal Methods?
AUTORES: Broy, Manfred; Brucker, Achim D.; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra ; Platzer, Andre; Ringert, Jan Oliver; Sullivan, Allison;
PUBLICAÇÃO: 2025, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, NÚMERO: 1, PÁGINAS: 6:1-6:17
122
TÍTULO: Domain-Specific Data Augmentation for Lung Nodule Malignancy Classification
AUTORES: Margarida Gouveia ; Jorge Araujo; Helder P Oliveira ; Tania Pereira ;
PUBLICAÇÃO: 2025, FONTE: Annual International Conference of the IEEE Engineering in Medicine and Biology Society IEEE Engineering in Medicine and Biology Society Annual International Conference, VOLUME: 2025, PÁGINAS: 1-7
123
TÍTULO: Editorial: Hemodynamic parameters and cardiovascular changes
AUTORES: Pereira, Tania ; Gadhoumi, Kais; Xiao, Ran;
PUBLICAÇÃO: 2025, FONTE: FRONTIERS IN PHYSIOLOGY, VOLUME: 15
124
125
TÍTULO: Emerging Requirements for AI and Edge Computing in Cyber-Physical Production Systems
AUTORES: Rui Pinto ; Gil Gonçalves;
PUBLICAÇÃO: 2025, FONTE: INDIN, PÁGINAS: 1-6
126
TÍTULO: Emotion Regulation Through Play: A Serious Game for Preschool Children
AUTORES: Goncavles, Catarina; Silva, Eliana; Reis, Luis Paulo ;
PUBLICAÇÃO: 2025, FONTE: 2025 Conference on Games-COG-Annual in 2025 IEEE CONFERENCE ON GAMES, COG, PÁGINAS: 1-4
127
TÍTULO: Enhancing Text-to-SQL with In-Context Learning: A Multi-Agent Approach Based on CHESS
AUTORES: Renato O Miyaji; Rafael M Fernandes; Krysthian F Martins; Jorge Melegati ; Pedro L P Corrêa;
PUBLICAÇÃO: 2025, FONTE: Anais do XL Simpósio Brasileiro de Banco de Dados (SBBD 2025), PÁGINAS: 739-745
128
TÍTULO: Enhancing the Dendritic Cell Algorithm through Automated Feature Reduction Techniques for Improved Anomaly Detection
AUTORES: Vitor Pereira; Rui Pinto ; Gil Gonçalves;
PUBLICAÇÃO: 2025, FONTE: SMC, PÁGINAS: 3685-3690
129
TÍTULO: Environmental Impact of CI/CD Pipelines
AUTORES: Nuno Saavedra; Alexandra Mendes ; João F Ferreira;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2510.26413
130
TÍTULO: Estimating Completeness of Consensus Models: Geometrical and Distributional Approaches
AUTORES: Strecht, Pedro ; Mendes Moreira, Joao ; Soares, Carlos ;
PUBLICAÇÃO: 2025, FONTE: 10th Conference on Machine Learning Optimization and Data Science-LOD-Annual in MACHINE LEARNING, OPTIMIZATION, AND DATA SCIENCE, LOD 2024, PT I, VOLUME: 15508, PÁGINAS: 464-478
131
TÍTULO: Evaluating Dense Model-based Approaches for Multimodal Medical Case Retrieval
AUTORES: Catarina Pires; Sérgio Nunes ; Luís F Teixeira ;
PUBLICAÇÃO: 2025, FONTE: Inf. Retr. Res. J., VOLUME: 1, NÚMERO: 2, PÁGINAS: 197-220
132
TÍTULO: Evaluating Llama 3 for Text Simplification: A Study on Wikipedia Lead Sections
AUTORES: Rodrigues, Jose Frederico; Cardoso, Henrique Lopes; Lopes, Carla Teixeira ;
PUBLICAÇÃO: 2025, FONTE: 2025 Web Conference-WWW in COMPANION PROCEEDINGS OF THE ACM WEB CONFERENCE 2025, WWW COMPANION 2025, PÁGINAS: 1273-1277
133
TÍTULO: Evaluating the Impact of Scaffolding and Visualizations for Mutation Testing Exercises in Software Engineering Education
AUTORES: Potter, Hannah; Paiva, Ana C. R. ; Amalfitano, Domenico; Fasolino, Anna Rita; Tramontana, Porfirio; Just, Rene;
PUBLICAÇÃO: 2025, FONTE: 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, PÁGINAS: 823-834
134
TÍTULO: Evaluating Transfer Learning Methods on Real-World Data Streams: A Case Study in Financial Fraud Detection
AUTORES: Ricardo Ribeiro Pereira; Jacopo Bono; Hugo M Ferreira; Pedro Ribeiro ; Carlos Soares ; Pedro Bizarro;
PUBLICAÇÃO: 2025, FONTE: ECML/PKDD (9), VOLUME: 16021 LNCS, PÁGINAS: 230-246
135
TÍTULO: Evaluation of Lyrics Extraction from Folk Music Sheets Using Vision Language Models (VLMs)
AUTORES: Sales Mendes, Andre; Lozano Murciego, Alvaro; Augusto Silva, Luis; Jimenez Bravo, Diego M.; Navarro Caceres, Maria; Bernardes, Gilberto ;
PUBLICAÇÃO: 2025, FONTE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT I, VOLUME: 14967, PÁGINAS: 91-102
136
TÍTULO: Expanding Relevance Judgments for Medical Case-based Retrieval Task with Multimodal LLMs
AUTORES: Catarina Pires; Sérgio Nunes ; Luís Filipe Teixeira ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2506.17782
137
TÍTULO: Explicit Tonal Tension Conditioning via Dual-Level Beam Search for Symbolic Music Generation
AUTORES: Maral Ebrahimzadeh; Gilberto Bernardes ; Sebastian Stober;
PUBLICAÇÃO: 2025
138
TÍTULO: Exploratory Test-Driven Development Study with ChatGPT in Different Scenarios
AUTORES: Juliano Cesar Pancher; Jorge Melegati ; Eduardo Martins Guerra;
PUBLICAÇÃO: 2025, FONTE: XP, PÁGINAS: 145-159
139
TÍTULO: Exploring ChatGPT Efficiency in Automatic Test Generation for Python: A Comparative Analysis
AUTORES: Lucca Renato Guerino; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2025, FONTE: Anais do XXIV Simpósio Brasileiro de Qualidade de Software (SBQS 2025), PÁGINAS: 88-98
140
TÍTULO: Exploring Documentation Strategies for NFR in Agile Software Development
AUTORES: Igor Moreira; Luciane Baratto Adolfo; Jorge Melegati ; Joelma Choma; Eduardo Guerra; Luciana Zaina;
PUBLICAÇÃO: 2025, FONTE: XP, PÁGINAS: 229-244

Results per Page: 20.
Página 7 de 232. Total de resultados: 4625.