Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 4258
54 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: 2026, SOURCE: Future Gener. Comput. Syst., VOLUME: 174, PAGES: 107924
AUTHORS: Lázaro Costa ; Susana Barbosa ; Jácome Cunha ;
PUBLISHED: 2026, SOURCE: Future Gener. Comput. Syst., VOLUME: 174, PAGES: 107924
2
TITLE: A New Proposal of Layer Insertion in Stacked Autoencoder Neural Networks
AUTHORS: Francisco Dos Santos Viana; Bianca Valéria Lopes Pereira; Moises Santos; Carlos Soares ; Areolino de Almeida Neto;
PUBLISHED: 2026, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Lecture Notes in Computer Science, VOLUME: 16121 LNAI, PAGES: 464-476
AUTHORS: Francisco Dos Santos Viana; Bianca Valéria Lopes Pereira; Moises Santos; Carlos Soares ; Areolino de Almeida Neto;
PUBLISHED: 2026, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Lecture Notes in Computer Science, VOLUME: 16121 LNAI, PAGES: 464-476
3
TITLE: Human-Centered Augmented Reality in Manufacturing: Enhancing Efficiency, Accuracy, and Operator Adoption
AUTHORS: Ramalho, Filipa Rente, FR,; Soares, António Lucas, AL,; null; Almeida, António Henrique, AH, ; Oliveira, Manuel Fradinho, MF,;
PUBLISHED: 2026, SOURCE: 44th IFIP WG 5.7 International Conference on Advances in Production Management Systems, APMS 2025 in IFIP Advances in Information and Communication Technology, VOLUME: 764 IFIPAICT, PAGES: 33-47
AUTHORS: Ramalho, Filipa Rente, FR,; Soares, António Lucas, AL,; null; Almeida, António Henrique, AH, ; Oliveira, Manuel Fradinho, MF,;
PUBLISHED: 2026, SOURCE: 44th IFIP WG 5.7 International Conference on Advances in Production Management Systems, APMS 2025 in IFIP Advances in Information and Communication Technology, VOLUME: 764 IFIPAICT, PAGES: 33-47
4
TITLE: On Quantitative Solution Iteration in QAlloy
AUTHORS: Pedro Silva; Nuno Macedo ; José Nuno Oliveira;
PUBLISHED: 2026, SOURCE: 11th International Conference on Rigorous State-Based Methods, ABZ 2025 in Lecture Notes in Computer Science, VOLUME: 15728 LNCS, PAGES: 88-105
AUTHORS: Pedro Silva; Nuno Macedo ; José Nuno Oliveira;
PUBLISHED: 2026, SOURCE: 11th International Conference on Rigorous State-Based Methods, ABZ 2025 in Lecture Notes in Computer Science, VOLUME: 15728 LNCS, PAGES: 88-105
5
TITLE: Subgroup Discovery Using Model Uncertainty: A Feasibility Study
AUTHORS: Ana Cravidão Pereira; Duarte Folgado; Marília Barandas; Carlos Soares ; André Carreiro;
PUBLISHED: 2026, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Lecture Notes in Computer Science, VOLUME: 16121 LNAI, PAGES: 505-517
AUTHORS: Ana Cravidão Pereira; Duarte Folgado; Marília Barandas; Carlos Soares ; André Carreiro;
PUBLISHED: 2026, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Lecture Notes in Computer Science, VOLUME: 16121 LNAI, PAGES: 505-517
6
TITLE: A Dataset For Computational Reproducibility
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.08684
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.08684
7
TITLE: A Pattern Language for Engineering Software for the Cloud
AUTHORS: Tiago Boldt Sousa; Hugo Sereno Ferreira; Filipe Figueiredo Correia ;
PUBLISHED: 2025, SOURCE: Transactions on Pattern Languages of Programming V, VOLUME: 5, PAGES: 1-66
AUTHORS: Tiago Boldt Sousa; Hugo Sereno Ferreira; Filipe Figueiredo Correia ;
PUBLISHED: 2025, SOURCE: Transactions on Pattern Languages of Programming V, VOLUME: 5, PAGES: 1-66
8
TITLE: A Scalable Approach for Unified Large Events Models in Soccer
AUTHORS: Tiago Mendes Neves; Luís Meireles; João Mendes Moreira ;
PUBLISHED: 2025, SOURCE: Lecture notes in computer science
AUTHORS: Tiago Mendes Neves; Luís Meireles; João Mendes Moreira ;
PUBLISHED: 2025, SOURCE: Lecture notes in computer science
9
TITLE: A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges
AUTHORS: Carolina Carreira; Alexandra Mendes ; João F Ferreira; Nicolas Christin;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.02109
AUTHORS: Carolina Carreira; Alexandra Mendes ; João F Ferreira; Nicolas Christin;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.02109
10
TITLE: A Systematic Review on the IEEE 1451 Standards: Current Status, Challenges and Opportunities
AUTHORS: Geoffrey Spencer; Pedro B Torres; Gil Gonçalves ;
PUBLISHED: 2025, SOURCE: IEEE Sensors Journal, PAGES: 1-1
AUTHORS: Geoffrey Spencer; Pedro B Torres; Gil Gonçalves ;
PUBLISHED: 2025, SOURCE: IEEE Sensors Journal, PAGES: 1-1
11
TITLE: A two-step concept-based approach for enhanced interpretability and trust in skin lesion diagnosis
AUTHORS: Patricio, Cristiano ; Teixeira, Luis F. ; Neves, Joao C.;
PUBLISHED: 2025, SOURCE: COMPUTATIONAL AND STRUCTURAL BIOTECHNOLOGY JOURNAL, VOLUME: 28, PAGES: 71-79
AUTHORS: Patricio, Cristiano ; Teixeira, Luis F. ; Neves, Joao C.;
PUBLISHED: 2025, SOURCE: COMPUTATIONAL AND STRUCTURAL BIOTECHNOLOGY JOURNAL, VOLUME: 28, PAGES: 71-79
12
TITLE: Abnormal Human Behaviour Detection Using Normalising Flows and Attention Mechanisms
AUTHORS: Ana Filipa Rodrigues Nogueira ; Hélder P Oliveira ; Luís F Teixeira ;
PUBLISHED: 2025, SOURCE: 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, PAGES: 175-186
AUTHORS: Ana Filipa Rodrigues Nogueira ; Hélder P Oliveira ; Luís F Teixeira ;
PUBLISHED: 2025, SOURCE: 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, PAGES: 175-186
13
TITLE: Acceptance Test Generation with Large Language Models: An Industrial Case Study
AUTHORS: Ferreira, Margarida; Viegas, Luis; Faria, Joao Pascoal; Lima, Bruno ;
PUBLISHED: 2025, SOURCE: 6th International Conference on Automation of Software Test-AST-Annual in 2025 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATION OF SOFTWARE TEST, AST, PAGES: 1-11
AUTHORS: Ferreira, Margarida; Viegas, Luis; Faria, Joao Pascoal; Lima, Bruno ;
PUBLISHED: 2025, SOURCE: 6th International Conference on Automation of Software Test-AST-Annual in 2025 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATION OF SOFTWARE TEST, AST, PAGES: 1-11
14
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
15
TITLE: Addressing the Agony of Recruitment for Human-centric Computing Studies
AUTHORS: Kashumi Madampe; John Grundy; Judith Good; Dulaji Hidellaarachchi; Jácome Cunha ; Chris Brown; Peng Kuang; Reham Al Tamime; Ariful Islam Anik; Advait Sarkar; Wei Zhou; Shawal Khalid; Tommaso Turchi; Shavindra Wickramathilaka; Yue Jiang;
PUBLISHED: 2025, SOURCE: ACM SIGSOFT Softw. Eng. Notes, VOLUME: 50, ISSUE: 2, PAGES: 23-26
AUTHORS: Kashumi Madampe; John Grundy; Judith Good; Dulaji Hidellaarachchi; Jácome Cunha ; Chris Brown; Peng Kuang; Reham Al Tamime; Ariful Islam Anik; Advait Sarkar; Wei Zhou; Shawal Khalid; Tommaso Turchi; Shavindra Wickramathilaka; Yue Jiang;
PUBLISHED: 2025, SOURCE: ACM SIGSOFT Softw. Eng. Notes, VOLUME: 50, ISSUE: 2, PAGES: 23-26
16
TITLE: 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
AUTHORS: Sibylle Peter; Martin Kropp; Ademar Aguiar ; Craig Anslow; Maria Ilaria Lunesu; Andrea Pinna;
PUBLISHED: 2025, SOURCE: XP, VOLUME: 545
AUTHORS: Sibylle Peter; Martin Kropp; Ademar Aguiar ; Craig Anslow; Maria Ilaria Lunesu; Andrea Pinna;
PUBLISHED: 2025, SOURCE: XP, VOLUME: 545
17
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
18
TITLE: Algorithmic Composition Using Narrative Structure and Tension
AUTHORS: Francisco Braga; Gilberto Bernardes ; Roger B Dannenberg; Nuno Correia;
PUBLISHED: 2025, SOURCE: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, PAGES: 10045-10053
AUTHORS: Francisco Braga; Gilberto Bernardes ; Roger B Dannenberg; Nuno Correia;
PUBLISHED: 2025, SOURCE: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, PAGES: 10045-10053
19
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
20
TITLE: An Exploratory Study of ML Sketches and Visual Code Assistants
AUTHORS: Gomes, Luis F.; Hellendoorn, Vincent J.; Aldrich, Jonathan; Abreu, Rui ;
PUBLISHED: 2025, SOURCE: 47th International Conference on Software Engineering-ICSE in 2025 IEEE/ACM 47TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, VOLUME: abs/2412.13386, PAGES: 1653-1664
AUTHORS: Gomes, Luis F.; Hellendoorn, Vincent J.; Aldrich, Jonathan; Abreu, Rui ;
PUBLISHED: 2025, SOURCE: 47th International Conference on Software Engineering-ICSE in 2025 IEEE/ACM 47TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, VOLUME: abs/2412.13386, PAGES: 1653-1664