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

AuthID: I-000-0K9


Publications Count: 4654

60 Team Members
Filters -> Year: 2026
61
TÍTULO: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTORES: Faria, Joao Pascoal ; Trigo, Emanuel; Abreu, Rui ;
PUBLICAÇÃO: 2025, FONTE: 11th International Conference on Fundamentals of Software Engineering-FSEN in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2025, VOLUME: 15593, PÁGINAS: 138-154
62
TÍTULO: Benchmarking Time Series Feature Extraction for Algorithm Selection
AUTORES: Moisés Rocha dos Santos; Vítor Cerqueira; Carlos Soares ;
PUBLICAÇÃO: 2025, FONTE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part I, VOLUME: 16121, PÁGINAS: 269-281
63
TÍTULO: Beyond Accuracy: The Role of Calibration in Computational Pathology
AUTORES: João Nunes ; Diana Montezuma; Domingos Oliveira; Tânia Pereira ; Inti Zlobec; Jaime Cardoso ;
PUBLICAÇÃO: 2025, FONTE: 2025 International Joint Conference on Neural Networks, IJCNN 2025 in 2025 International Joint Conference on Neural Networks (IJCNN), PÁGINAS: 1-7
64
TÍTULO: Bi-LSTM Neural Networks for Traffic Flow Prediction: An Empirical Evaluation
AUTORES: Alves, Bernardo Amorim; Fontes, Tania ; Rossetti, Rosaldo ;
PUBLICAÇÃO: 2025, FONTE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT II, VOLUME: 14968, PÁGINAS: 233-245
65
TÍTULO: Bridging Domain Gaps in Computational Pathology: A Comparative Study of Adaptation Strategies
AUTORES: Nunes, Joao D. ; Montezuma, Diana; Oliveira, Domingos; Pereira, Tania ; Zlobec, Inti; Pinto, Isabel Macedo; Cardoso, Jaime S. ;
PUBLICAÇÃO: 2025, FONTE: SENSORS, VOLUME: 25, NÚMERO: 9, PÁGINAS: 2856
66
TÍTULO: Budget-Constrained Collaborative Renewable Energy Forecasting Market
AUTORES: Goncalves, Carla ; Bessa, Ricardo J. ; Teixeira, Tiago; Vinagre, Joao ;
PUBLICAÇÃO: 2025, FONTE: IEEE TRANSACTIONS ON SUSTAINABLE ENERGY, VOLUME: 16, NÚMERO: 2, PÁGINAS: 1440-1452
67
TÍTULO: Can ChatGPT Suggest Patterns? An Exploratory Study About Answers Given by AI-Assisted Tools to Design Problems
AUTORES: Maranhao Junior, Joao Jose; Correia, Filipe F. ; Guerra, Eduardo Martins;
PUBLICAÇÃO: 2025, FONTE: 25th International Conference on Agile Software Development (XP) in AGILE PROCESSES IN SOFTWARE ENGINEERING AND EXTREME PROGRAMMING-WORKSHOPS, XP 2024 WORKSHOPS, VOLUME: 524, PÁGINAS: 130-138
68
TÍTULO: Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
AUTORES: Carolina Carreira; Álvaro F Silva; Alexandre Abreu; Alexandra Mendes ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2506.22370, PÁGINAS: 203-220
69
TÍTULO: Can Llama 3 Accurately Assess Readability? A Comparative Study Using Lead Sections from Wikipedia
AUTORES: Rodrigues, Jose Frederico; Cardoso, Henrique Lopes; Lopes, Carla Teixeira ;
PUBLICAÇÃO: 2025, FONTE: 19th International Conference on Research Challenges in Information Science-RCIS-Annual in RESEARCH CHALLENGES IN INFORMATION SCIENCE, RCIS 2025, PT II, VOLUME: 548, PÁGINAS: 89-97
70
TÍTULO: Causal representation learning through higher-level information extraction
AUTORES: Silva, Francisco ; Oliveira, helder P. ; Pereira, Tania ;
PUBLICAÇÃO: 2025, FONTE: ACM COMPUTING SURVEYS, VOLUME: 57, NÚMERO: 2, PÁGINAS: 43:1-43:37
71
TÍTULO: CBVLM: Training-free explainable concept-based Large Vision Language Models for medical image classification
AUTORES: Cristiano Patrício ; Isabel Rio Torto ; Jaime S Cardoso ; Luís F Teixeira ; João Neves;
PUBLICAÇÃO: 2025, FONTE: Comput. Biol. Medicine, VOLUME: 198, PÁGINAS: 111145
72
TÍTULO: Characterising Class Imbalance in Transportation Mode Detection: An Experimental Study
AUTORES: Muhammad, Akilu Rilwan; Aguiar, Ana ; Mendes Moreira, Joao ;
PUBLICAÇÃO: 2025, FONTE: 25th International Conference on Intelligent Data Engineering and Automated Learning in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2024, PT II, VOLUME: 15347, PÁGINAS: 58-70
73
74
TÍTULO: ChatGPT como catalisador do Pensamento Crítico e Criativo
AUTORES: Sandra Rosa Paiva; António Pedro Costa; Luís Paulo Reis ;
PUBLICAÇÃO: 2025, FONTE: Praxis Educativa, VOLUME: 20, NÚMERO: 2025, PÁGINAS: 1-23
75
TÍTULO: Cherry-Picking in Time Series Forecasting: How to Select Datasets to Make Your Model Shine
AUTORES: Roque, Luis; Cerqueira, Vitor ; Soares, Carlos; Torgo, Luis ;
PUBLICAÇÃO: 2025, FONTE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 19, VOLUME: 39, NÚMERO: 19, PÁGINAS: 20192-20199
76
TÍTULO: Clinical Annotation and Medical Image Anonymization for AI Model Training in Lung Cancer Detection
AUTORES: Freire, Ana M.; Rodrigues, Eduardo M. ; Sousa, Joana Vale ; Gouveia, Margarida ; Ferreira Santos, Daniela ; Pereira, Tania ; Oliveira, Helder P. ; Sousa, Pedro; Silva, Ana Catarina; Fernandes, Maria Sofia; Hespanhol, Venceslau; Araujo, Jorge;
PUBLICAÇÃO: 2025, FONTE: 10th International Conference on Universal Access in Human Computer Interaction-UAHCI in UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION, UAHCI 2025, PT I, VOLUME: 15780, PÁGINAS: 309-325
77
78
TÍTULO: CNN explanation methods for ordinal regression tasks
AUTORES: Barbero Gomez, Javier; Cruz, Ricardo P. M. ; Cardoso, Jaime S. ; Gutierrez, Pedro A.; Hervas Martinez, Cesar;
PUBLICAÇÃO: 2025, FONTE: NEUROCOMPUTING, VOLUME: 615, PÁGINAS: 128878
79
TÍTULO: Code change and smell techniques for regression test selection
AUTORES: Mori, Allan; Paiva, Ana C. R. ; Souza, Simone R. S.;
PUBLICAÇÃO: 2025, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, NÚMERO: 1, PÁGINAS: 11
80
TÍTULO: Collaborating with Algorithms: AI for Collaborative Supply Chain Management
AUTORES: Couto, Fábio ; Mariana Curado Malta ; António Lucas Soares ;
PUBLICAÇÃO: 2025, FONTE: IFIP advances in information and communication technology, PÁGINAS: 185-200

Results per Page: 20.
Página 4 de 233. Total de resultados: 4654.