Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 4179
51 Team MembersFilters -> Year: 2025
1
TÃTULO: A framework for supporting the reproducibility of computational experiments in multiple scientific domains
AUTORES: Lázaro Costa; Susana Barbosa ; Jácome Cunha ;
PUBLICAÇÃO: 2026, FONTE: Future Gener. Comput. Syst., VOLUME: 174, PÁGINAS: 107924
AUTORES: Lázaro Costa; Susana Barbosa ; Jácome Cunha ;
PUBLICAÇÃO: 2026, FONTE: Future Gener. Comput. Syst., VOLUME: 174, PÁGINAS: 107924
2
TÃTULO: A Dataset For Computational Reproducibility
AUTORES: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.08684
AUTORES: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.08684
3
TÃTULO: A Pattern Language for Engineering Software for the Cloud
AUTORES: Tiago Boldt Sousa; Hugo Sereno Ferreira; Filipe Figueiredo Correia ;
PUBLICAÇÃO: 2025, FONTE: Transactions on Pattern Languages of Programming V, VOLUME: 5, PÁGINAS: 1-66
AUTORES: Tiago Boldt Sousa; Hugo Sereno Ferreira; Filipe Figueiredo Correia ;
PUBLICAÇÃO: 2025, FONTE: Transactions on Pattern Languages of Programming V, VOLUME: 5, PÁGINAS: 1-66
4
TÃTULO: A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges
AUTORES: Carolina Carreira; Alexandra Mendes ; João F Ferreira; Nicolas Christin;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.02109
AUTORES: Carolina Carreira; Alexandra Mendes ; João F Ferreira; Nicolas Christin;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.02109
5
TÃTULO: A two-step concept-based approach for enhanced interpretability and trust in skin lesion diagnosis
AUTORES: Patricio, Cristiano ; Teixeira, Luis F. ; Neves, Joao C.;
PUBLICAÇÃO: 2025, FONTE: COMPUTATIONAL AND STRUCTURAL BIOTECHNOLOGY JOURNAL, VOLUME: 28, PÁGINAS: 71-79
AUTORES: Patricio, Cristiano ; Teixeira, Luis F. ; Neves, Joao C.;
PUBLICAÇÃO: 2025, FONTE: COMPUTATIONAL AND STRUCTURAL BIOTECHNOLOGY JOURNAL, VOLUME: 28, PÁGINAS: 71-79
6
TÃTULO: Abnormal Human Behaviour Detection Using Normalising Flows and Attention Mechanisms
AUTORES: Ana Filipa Rodrigues Nogueira ; Hélder P Oliveira ; Luís F Teixeira ;
PUBLICAÇÃO: 2025, FONTE: 12th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2025 in Pattern Recognition and Image Analysis - 12th Iberian Conference, IbPRIA 2025, Coimbra, Portugal, June 30 - July 3, 2025, Proceedings, Part I, VOLUME: 15937, PÁGINAS: 175-186
AUTORES: Ana Filipa Rodrigues Nogueira ; Hélder P Oliveira ; Luís F Teixeira ;
PUBLICAÇÃO: 2025, FONTE: 12th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2025 in Pattern Recognition and Image Analysis - 12th Iberian Conference, IbPRIA 2025, Coimbra, Portugal, June 30 - July 3, 2025, Proceedings, Part I, VOLUME: 15937, PÁGINAS: 175-186
7
TÃTULO: Acceptance Test Generation with Large Language Models: An Industrial Case Study
AUTORES: Ferreira, Margarida; Viegas, Luis; Faria, Joao Pascoal; Lima, Bruno ;
PUBLICAÇÃO: 2025, FONTE: 6th International Conference on Automation of Software Test-AST-Annual in 2025 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATION OF SOFTWARE TEST, AST, PÁGINAS: 1-11
AUTORES: Ferreira, Margarida; Viegas, Luis; Faria, Joao Pascoal; Lima, Bruno ;
PUBLICAÇÃO: 2025, FONTE: 6th International Conference on Automation of Software Test-AST-Annual in 2025 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATION OF SOFTWARE TEST, AST, PÁGINAS: 1-11
8
TÃTULO: Addressing imperfect symmetry: A novel symmetry-learning actor-critic extension
AUTORES: Abreu, Miguel; Reis, Luis Paulo ; Lau, Nuno;
PUBLICAÇÃO: 2025, FONTE: NEUROCOMPUTING, VOLUME: 614, PÁGINAS: 128771
AUTORES: Abreu, Miguel; Reis, Luis Paulo ; Lau, Nuno;
PUBLICAÇÃO: 2025, FONTE: NEUROCOMPUTING, VOLUME: 614, PÁGINAS: 128771
9
TÃTULO: Agile Processes in Software Engineering and Extreme Programming - 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings
AUTORES: Sibylle Peter; Martin Kropp; Ademar Aguiar ; Craig Anslow; Maria Ilaria Lunesu; Andrea Pinna;
PUBLICAÇÃO: 2025, FONTE: XP, VOLUME: 545
AUTORES: Sibylle Peter; Martin Kropp; Ademar Aguiar ; Craig Anslow; Maria Ilaria Lunesu; Andrea Pinna;
PUBLICAÇÃO: 2025, FONTE: XP, VOLUME: 545
10
TÃTULO: Agile Processes in Software Engineering and Extreme Programming - Workshops - XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers
AUTORES: Lodovica Marchesi; Alfredo Goldman; Maria Ilaria Lunesu; Adam Przybylek; Ademar Aguiar ; Lorraine Morgan; Xiaofeng Wang; Andrea Pinna;
PUBLICAÇÃO: 2025, FONTE: XP Workshops, VOLUME: 524
AUTORES: Lodovica Marchesi; Alfredo Goldman; Maria Ilaria Lunesu; Adam Przybylek; Ademar Aguiar ; Lorraine Morgan; Xiaofeng Wang; Andrea Pinna;
PUBLICAÇÃO: 2025, FONTE: XP Workshops, VOLUME: 524
11
TÃTULO: Alloy Repair Hint Generation Based on Historical Data
AUTORES: Barros, Ana; Neto, Henrique; Cunha, Alcino ; Macedo, Nuno ; Paiva, Ana C. R. ;
PUBLICAÇÃO: 2025, FONTE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934, PÁGINAS: 104-121
AUTORES: Barros, Ana; Neto, Henrique; Cunha, Alcino ; Macedo, Nuno ; Paiva, Ana C. R. ;
PUBLICAÇÃO: 2025, FONTE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934, PÁGINAS: 104-121
12
TÃTULO: An exploratory study on the usage of quantum programming languages
AUTORES: Ferreira, Felipe; Campos, Jose ;
PUBLICAÇÃO: 2025, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PÁGINAS: 103217
AUTORES: Ferreira, Felipe; Campos, Jose ;
PUBLICAÇÃO: 2025, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PÁGINAS: 103217
13
TÃTULO: Are Users More Willing to Use Formally Verified Password Managers?
AUTORES: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.02124
AUTORES: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.02124
14
TÃTULO: Artificial Intelligence for Control in Laser-Based Additive Manufacturing: A Systematic Review
AUTORES: Sousa, Joao; Brandau, Benedikt; Darabi, Roya; Sousa, Armando ; Brueckner, Frank; Reis, Ana ; Reis, Luis Paulo ;
PUBLICAÇÃO: 2025, FONTE: IEEE ACCESS, VOLUME: 13, PÁGINAS: 30845-30860
AUTORES: Sousa, Joao; Brandau, Benedikt; Darabi, Roya; Sousa, Armando ; Brueckner, Frank; Reis, Ana ; Reis, Luis Paulo ;
PUBLICAÇÃO: 2025, FONTE: IEEE ACCESS, VOLUME: 13, PÁGINAS: 30845-30860
15
TÃTULO: Augmented Reality in Information Design
AUTORES: Fadel, Luciane Maria; Coelho, Antonio ;
PUBLICAÇÃO: 2025, FONTE: 8th International Conference on Design and Digital Communication in ADVANCES IN DESIGN AND DIGITAL COMMUNICATION V, DIGICOM 2024, VOLUME: 51, PÁGINAS: 30-41
AUTORES: Fadel, Luciane Maria; Coelho, Antonio ;
PUBLICAÇÃO: 2025, FONTE: 8th International Conference on Design and Digital Communication in ADVANCES IN DESIGN AND DIGITAL COMMUNICATION V, DIGICOM 2024, VOLUME: 51, PÁGINAS: 30-41
16
TÃTULO: Automated Social Media Feedback Analysis for Software Requirements Elicitation: A Case Study in the Streaming Industry
AUTORES: Melissa Silva; João Pascoal Faria ;
PUBLICAÇÃO: 2025, FONTE: Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2025, Porto, Portugal, April 4-6, 2025., PÁGINAS: 149-160
AUTORES: Melissa Silva; João Pascoal Faria ;
PUBLICAÇÃO: 2025, FONTE: Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2025, Porto, Portugal, April 4-6, 2025., PÁGINAS: 149-160
17
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
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
18
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
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
19
TÃTULO: Can Llama 3 Accurately Assess Readability? A Comparative Study Using Lead Sections from Wikipedia
AUTORES: José Frederico Rodrigues; Henrique Lopes Cardoso; Carla Teixeira Lopes ;
PUBLICAÇÃO: 2025, FONTE: 19th International Conference on Research Challenges in Information Science, RCIS 2025 in Research Challenges in Information Science - 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part II, VOLUME: 548, PÁGINAS: 89-97
AUTORES: José Frederico Rodrigues; Henrique Lopes Cardoso; Carla Teixeira Lopes ;
PUBLICAÇÃO: 2025, FONTE: 19th International Conference on Research Challenges in Information Science, RCIS 2025 in Research Challenges in Information Science - 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part II, VOLUME: 548, PÁGINAS: 89-97
20
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 C Neves;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2501.12266
AUTORES: Cristiano Patrício; Isabel Rio Torto ; Jaime S Cardoso ; Luís F Teixeira ; João C Neves;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2501.12266