Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 4239
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
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef3
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
INDEXED IN: Scopus CrossRef
Scopus CrossRef4
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
INDEXED IN: Scopus CrossRef
Scopus CrossRef5
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
INDEXED IN: 
DBLP
DBLP6
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
7
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
INDEXED IN: 
Unpaywall
Unpaywall8
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
INDEXED IN: DBLP
DBLP9
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
INDEXED IN: Scopus CrossRef
Scopus CrossRef10
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
11
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
12
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
13
TITLE: Addressing imperfect symmetry: A novel symmetry-learning actor-critic extension Full Text
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
14
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
INDEXED IN: DBLP
DBLP15
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
INDEXED IN: DBLP
DBLP16
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
INDEXED IN: CrossRef
CrossRef17
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
18
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
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP19
TITLE: An exploratory study on the usage of quantum programming languages Full Text
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
20
TITLE: Are Users More Willing to Use Formally Verified Password Managers?
AUTHORS: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.02124
AUTHORS: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.02124
INDEXED IN: DBLP
DBLP