Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 4104
49 Team MembersFilters -> Year: 2025
1
TITLE: A Framework for Supporting the Reproducibility of Computational Experiments in Multiple Scientific Domains
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.07080
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.07080
2
TITLE: A Pattern Language for Engineering Software for the Cloud
AUTHORS: Tiago Boldt Sousa; Hugo Sereno Ferreira; Filipe Figueiredo Correia ;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science, VOLUME: 14630 LNCS, PAGES: 1-66
AUTHORS: Tiago Boldt Sousa; Hugo Sereno Ferreira; Filipe Figueiredo Correia ;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science, VOLUME: 14630 LNCS, PAGES: 1-66
3
TITLE: A Proposed Educational Framework for Professional Upskilling in Smart Manufacturing: On-Demand Microlearning Units
AUTHORS: Rui Pinto ; Adrian Lomba Perez; Gil Gonçalves ; Jesús Lampón; Hugo Pérez Moure;
PUBLISHED: 2025, SOURCE: 6th International Conference on Industry 4.0 and Smart Manufacturing, ISM 2024 in Procedia Computer Science, VOLUME: 253, PAGES: 2039-2048
AUTHORS: Rui Pinto ; Adrian Lomba Perez; Gil Gonçalves ; Jesús Lampón; Hugo Pérez Moure;
PUBLISHED: 2025, SOURCE: 6th International Conference on Industry 4.0 and Smart Manufacturing, ISM 2024 in Procedia Computer Science, VOLUME: 253, PAGES: 2039-2048
4
TITLE: A two-step concept-based approach for enhanced interpretability and trust in skin lesion diagnosis
AUTHORS: Patricio, Cristiano; Luis F. Teixeira ; Neves, Joao C.;
PUBLISHED: 2025, SOURCE: COMPUTATIONAL AND STRUCTURAL BIOTECHNOLOGY JOURNAL, VOLUME: 28, PAGES: 71-79
AUTHORS: Patricio, Cristiano; Luis F. Teixeira ; Neves, Joao C.;
PUBLISHED: 2025, SOURCE: COMPUTATIONAL AND STRUCTURAL BIOTECHNOLOGY JOURNAL, VOLUME: 28, PAGES: 71-79
5
TITLE: Addressing imperfect symmetry: A novel symmetry-learning actor-critic extension
AUTHORS: Abreu, Miguel; Reis, Luis Paulo ; Lau, Nuno;
PUBLISHED: 2025, SOURCE: NEUROCOMPUTING, VOLUME: 614, PAGES: 128771
AUTHORS: Abreu, Miguel; Reis, Luis Paulo ; Lau, Nuno;
PUBLISHED: 2025, SOURCE: NEUROCOMPUTING, VOLUME: 614, PAGES: 128771
6
TITLE: Agile Processes in Software Engineering and Extreme Programming - Workshops - XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers
AUTHORS: Lodovica Marchesi; Alfredo Goldman; Maria Ilaria Lunesu; Adam Przybylek; Ademar Aguiar ; Lorraine Morgan; Xiaofeng Wang; Andrea Pinna;
PUBLISHED: 2025, SOURCE: XP Workshops, VOLUME: 524
AUTHORS: Lodovica Marchesi; Alfredo Goldman; Maria Ilaria Lunesu; Adam Przybylek; Ademar Aguiar ; Lorraine Morgan; Xiaofeng Wang; Andrea Pinna;
PUBLISHED: 2025, SOURCE: XP Workshops, VOLUME: 524
7
TITLE: Alloy Repair Hint Generation Based on Historical Data
AUTHORS: Barros, Ana; Neto, Henrique; Cunha, Alcino ; Macedo, Nuno ; Paiva, Ana C. R. ;
PUBLISHED: 2025, SOURCE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934, PAGES: 104-121
AUTHORS: Barros, Ana; Neto, Henrique; Cunha, Alcino ; Macedo, Nuno ; Paiva, Ana C. R. ;
PUBLISHED: 2025, SOURCE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934, PAGES: 104-121
8
TITLE: An exploratory study on the usage of quantum programming languages
AUTHORS: Ferreira, Felipe; Campos, Jose ;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PAGES: 103217
AUTHORS: Ferreira, Felipe; Campos, Jose ;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PAGES: 103217
9
TITLE: Artificial Intelligence for Control in Laser-Based Additive Manufacturing: A Systematic Review
AUTHORS: Sousa, Joao; Brandau, Benedikt; Darabi, Roya; Sousa, A. ; Brueckner, Frank; Reis, Ana ; Reis, Luis Paulo ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 30845-30860
AUTHORS: Sousa, Joao; Brandau, Benedikt; Darabi, Roya; Sousa, A. ; Brueckner, Frank; Reis, Ana ; Reis, Luis Paulo ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 30845-30860
10
TITLE: Augmented Reality in Information Design
AUTHORS: Fadel, Luciane Maria; Coelho, Antonio ;
PUBLISHED: 2025, SOURCE: 8th International Conference on Design and Digital Communication in ADVANCES IN DESIGN AND DIGITAL COMMUNICATION V, DIGICOM 2024, VOLUME: 51, PAGES: 30-41
AUTHORS: Fadel, Luciane Maria; Coelho, Antonio ;
PUBLISHED: 2025, SOURCE: 8th International Conference on Design and Digital Communication in ADVANCES IN DESIGN AND DIGITAL COMMUNICATION V, DIGICOM 2024, VOLUME: 51, PAGES: 30-41
11
TITLE: Automated Social Media Feedback Analysis for Software Requirements Elicitation: A Case Study in the Streaming Industry
AUTHORS: Melissa Silva; João Pascoal Faria ;
PUBLISHED: 2025, SOURCE: Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2025, Porto, Portugal, April 4-6, 2025., PAGES: 149-160
AUTHORS: Melissa Silva; João Pascoal Faria ;
PUBLISHED: 2025, SOURCE: Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2025, Porto, Portugal, April 4-6, 2025., PAGES: 149-160
12
TITLE: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTHORS: João Pascoal Faria ; Emanuel Trigo; Rui Abreu ;
PUBLISHED: 2025, SOURCE: 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025 in Fundamentals of Software Engineering - 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings, VOLUME: 15593, PAGES: 138-154
AUTHORS: João Pascoal Faria ; Emanuel Trigo; Rui Abreu ;
PUBLISHED: 2025, SOURCE: 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025 in Fundamentals of Software Engineering - 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings, VOLUME: 15593, PAGES: 138-154
13
TITLE: Can ChatGPT Suggest Patterns? An Exploratory Study About Answers Given by AI-Assisted Tools to Design Problems
AUTHORS: Maranhao Junior, Joao Jose; Correia, Filipe F. ; Guerra, Eduardo Martins;
PUBLISHED: 2025, SOURCE: 25th International Conference on Agile Software Development (XP) in AGILE PROCESSES IN SOFTWARE ENGINEERING AND EXTREME PROGRAMMING-WORKSHOPS, XP 2024 WORKSHOPS, VOLUME: 524, PAGES: 130-138
AUTHORS: Maranhao Junior, Joao Jose; Correia, Filipe F. ; Guerra, Eduardo Martins;
PUBLISHED: 2025, SOURCE: 25th International Conference on Agile Software Development (XP) in AGILE PROCESSES IN SOFTWARE ENGINEERING AND EXTREME PROGRAMMING-WORKSHOPS, XP 2024 WORKSHOPS, VOLUME: 524, PAGES: 130-138
14
TITLE: CBVLM: Training-free Explainable Concept-based Large Vision Language Models for Medical Image Classification
AUTHORS: Cristiano Patrício; Isabel Rio Torto ; Jaime S Cardoso ; Luis F. Teixeira ; João C Neves;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2501.12266
AUTHORS: Cristiano Patrício; Isabel Rio Torto ; Jaime S Cardoso ; Luis F. Teixeira ; João C Neves;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2501.12266
15
TITLE: Characterising Class Imbalance in Transportation Mode Detection: An Experimental Study
AUTHORS: Muhammad, Akilu Rilwan; Aguiar, Ana ; Mendes Moreira, Joao ;
PUBLISHED: 2025, SOURCE: 25th International Conference on Intelligent Data Engineering and Automated Learning in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2024, PT II, VOLUME: 15347, PAGES: 58-70
AUTHORS: Muhammad, Akilu Rilwan; Aguiar, Ana ; Mendes Moreira, Joao ;
PUBLISHED: 2025, SOURCE: 25th International Conference on Intelligent Data Engineering and Automated Learning in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2024, PT II, VOLUME: 15347, PAGES: 58-70
16
TITLE: ChatGPT as a catalyst for Critical and Creative Thinking; [ChatGPT como catalisador do Pensamento Crítico e Criativo]; [ChatGPT como catalizador del Pensamiento Crítico y Creativo]
AUTHORS: Rosa Sandra Paiva; António Pedro Costa; Luís Paulo Reis ;
PUBLISHED: 2025, SOURCE: Praxis Educativa, VOLUME: 20
AUTHORS: Rosa Sandra Paiva; António Pedro Costa; Luís Paulo Reis ;
PUBLISHED: 2025, SOURCE: Praxis Educativa, VOLUME: 20
17
TITLE: ChatGPT como catalisador do Pensamento Crítico e Criativo
AUTHORS: Sandra Rosa Paiva; António Pedro Costa; Luís Paulo Reis ;
PUBLISHED: 2025, SOURCE: Praxis Educativa, VOLUME: 20, ISSUE: 2025, PAGES: 1-23
AUTHORS: Sandra Rosa Paiva; António Pedro Costa; Luís Paulo Reis ;
PUBLISHED: 2025, SOURCE: Praxis Educativa, VOLUME: 20, ISSUE: 2025, PAGES: 1-23
18
TITLE: Cherry-Picking in Time Series Forecasting: How to Select Datasets to Make Your Model Shine
AUTHORS: Luis Roque; Vítor Cerqueira ; Carlos Soares; Luís Torgo ;
PUBLISHED: 2025, SOURCE: 39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025 in AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA, VOLUME: 39, ISSUE: 19, PAGES: 20192-20199
AUTHORS: Luis Roque; Vítor Cerqueira ; Carlos Soares; Luís Torgo ;
PUBLISHED: 2025, SOURCE: 39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025 in AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA, VOLUME: 39, ISSUE: 19, PAGES: 20192-20199
19
TITLE: CNN explanation methods for ordinal regression tasks
AUTHORS: Barbero Gomez, Javier; Cruz, Ricardo P. M. ; Cardoso, Jaime S. ; Gutierrez, Pedro A.; Hervas Martinez, Cesar;
PUBLISHED: 2025, SOURCE: NEUROCOMPUTING, VOLUME: 615, PAGES: 128878
AUTHORS: Barbero Gomez, Javier; Cruz, Ricardo P. M. ; Cardoso, Jaime S. ; Gutierrez, Pedro A.; Hervas Martinez, Cesar;
PUBLISHED: 2025, SOURCE: NEUROCOMPUTING, VOLUME: 615, PAGES: 128878
20
TITLE: Contributions for the Development of Personae: Method for Creating Persona Templates (MCPT)
AUTHORS: Couto, Fábio ; Mariana Curado Malta ;
PUBLISHED: 2025, SOURCE: 26th International Conference on Human-Computer Interaction, HCII 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 15374 LNCS, PAGES: 3-22
AUTHORS: Couto, Fábio ; Mariana Curado Malta ;
PUBLISHED: 2025, SOURCE: 26th International Conference on Human-Computer Interaction, HCII 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 15374 LNCS, PAGES: 3-22