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: 4670
62 Team MembersFilters -> Year: 2026
61
TITLE: Agents and Artificial Intelligence - 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part II
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2025, SOURCE: ICAART (Revised Selected Paper, 2), VOLUME: 15592
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2025, SOURCE: ICAART (Revised Selected Paper, 2), VOLUME: 15592
INDEXED IN: 
DBLP
DBLP62
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
DBLP63
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
DBLP64
TITLE: AI-based models to predict decompensation on traumatic brain injury patients Full Text
AUTHORS: Ricardo Ribeiro; Inês Neves; Hélder P Oliveira ; Tânia Pereira ;
PUBLISHED: 2025, SOURCE: Comput. Biol. Medicine, VOLUME: 186, PAGES: 109634
AUTHORS: Ricardo Ribeiro; Inês Neves; Hélder P Oliveira ; Tânia Pereira ;
PUBLISHED: 2025, SOURCE: Comput. Biol. Medicine, VOLUME: 186, PAGES: 109634
65
TITLE: AI-powered learning analytics dashboards: a systematic review of applications, techniques, and research gaps
AUTHORS: Luís Cabral; Rui Pinto ; Gonçalves, GM;
PUBLISHED: 2025, SOURCE: Discover Education, VOLUME: 4, ISSUE: 1
AUTHORS: Luís Cabral; Rui Pinto ; Gonçalves, GM;
PUBLISHED: 2025, SOURCE: Discover Education, VOLUME: 4, ISSUE: 1
66
TITLE: Algorithmic Composition Using Narrative Structure and Tension
AUTHORS: Braga, Francisco; Bernardes, Gilberto ; Dannenberg, Roger B.; Correia, Nuno;
PUBLISHED: 2025, SOURCE: 34th International Joint Conference on Artificial Intelligence-IJCAI in PROCEEDINGS OF THE THIRTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI 2025), PAGES: 10045-10053
AUTHORS: Braga, Francisco; Bernardes, Gilberto ; Dannenberg, Roger B.; Correia, Nuno;
PUBLISHED: 2025, SOURCE: 34th International Joint Conference on Artificial Intelligence-IJCAI in PROCEEDINGS OF THE THIRTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI 2025), PAGES: 10045-10053
67
TITLE: Aligning Frameworks: Identifying Compatible Pairs of Digital Transformation and Maturity Models
AUTHORS: Couto, Fábio ; Mariana Curado Malta ;
PUBLISHED: 2025, SOURCE: SN Computer Science, VOLUME: 6, ISSUE: 8
AUTHORS: Couto, Fábio ; Mariana Curado Malta ;
PUBLISHED: 2025, SOURCE: SN Computer Science, VOLUME: 6, ISSUE: 8
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef68
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
69
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 DBLP70
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
71
TITLE: Applying a Prompt Pattern Sequence for Decision-Making in Microservices Architectures
AUTHORS: João José Maranhão Jr.; Jorge Melegati ; Eduardo Guerra;
PUBLISHED: 2025, SOURCE: ESOCC, PAGES: 18-32
AUTHORS: João José Maranhão Jr.; Jorge Melegati ; Eduardo Guerra;
PUBLISHED: 2025, SOURCE: ESOCC, PAGES: 18-32
INDEXED IN: DBLP CrossRef
DBLP CrossRef72
TITLE: ArchHypo: Managing Software Architecture Uncertainty Using Hypotheses Engineering Full Text
AUTHORS: Kelson Silva; Jorge Melegati ; Fábio Fagundes Silveira; Xiaofeng Wang; Maurício Gonçalves Vieira Ferreira; Eduardo Guerra;
PUBLISHED: 2025, SOURCE: IEEE Trans. Software Eng., VOLUME: 51, ISSUE: 2, PAGES: 430-448
AUTHORS: Kelson Silva; Jorge Melegati ; Fábio Fagundes Silveira; Xiaofeng Wang; Maurício Gonçalves Vieira Ferreira; Eduardo Guerra;
PUBLISHED: 2025, SOURCE: IEEE Trans. Software Eng., VOLUME: 51, ISSUE: 2, PAGES: 430-448
73
TITLE: Are Users More Willing to Use Formally Verified Password Managers? Full Text
AUTHORS: Carolina Carreira; João F Ferreira ; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2025, SOURCE: SEFM, VOLUME: 16192 LNCS, PAGES: 185-202
AUTHORS: Carolina Carreira; João F Ferreira ; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2025, SOURCE: SEFM, VOLUME: 16192 LNCS, PAGES: 185-202
74
TITLE: Artificial Intelligence for Control in Laser-Based Additive Manufacturing: A Systematic Review
AUTHORS: Sousa, Joao; Brandau, Benedikt; Darabi, Roya; Sousa, Armando ; 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, Armando ; Brueckner, Frank; Reis, Ana ; Reis, Luis Paulo ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 30845-30860
75
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
76
TITLE: Automated Generation of End-to-End Web Test Cases via a Generic AI Agent: A Comparative Study of DeepSeek V3 and Claude Sonnet 5
AUTHORS: Caio E O Monteiro; Lucca R Guerino; Guilherme F Fernandes; Marcos H Pereira; Juliana de d Souza-Zinader; Renata D Braga; Viviane C B Pocivi; VINCENZI, AURI M. R. ;
PUBLISHED: 2025, SOURCE: Proceedings of the 31st Brazilian Symposium on Multimedia and the Web (WebMedia 2025), PAGES: 57-66
AUTHORS: Caio E O Monteiro; Lucca R Guerino; Guilherme F Fernandes; Marcos H Pereira; Juliana de d Souza-Zinader; Renata D Braga; Viviane C B Pocivi; VINCENZI, AURI M. R. ;
PUBLISHED: 2025, SOURCE: Proceedings of the 31st Brazilian Symposium on Multimedia and the Web (WebMedia 2025), PAGES: 57-66
INDEXED IN: CrossRef
CrossRef77
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: ENASE, PAGES: 149-160
AUTHORS: Melissa Silva; João Pascoal Faria ;
PUBLISHED: 2025, SOURCE: ENASE, PAGES: 149-160
INDEXED IN: DBLP
DBLP78
TITLE: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTHORS: Faria, Joao Pascoal ; Trigo, Emanuel; Abreu, Rui ;
PUBLISHED: 2025, SOURCE: 11th International Conference on Fundamentals of Software Engineering-FSEN in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2025, VOLUME: 15593, PAGES: 138-154
AUTHORS: Faria, Joao Pascoal ; Trigo, Emanuel; Abreu, Rui ;
PUBLISHED: 2025, SOURCE: 11th International Conference on Fundamentals of Software Engineering-FSEN in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2025, VOLUME: 15593, PAGES: 138-154
79
TITLE: Balancing Speed and Accuracy: A Comparative Analysis of Segment Anything-Based Models for Robotic Indoor Semantic Mapping
AUTHORS: Bruno Georgevich Ferreira; Armando Jorge Miranda de Sousa ; Luís Paulo Reis ;
PUBLISHED: 2025, SOURCE: 22nd International Conference on Informatics in Control, Automation and Robotics, ICINCO 2025 in ICINCO (1), VOLUME: 1, PAGES: 321-328
AUTHORS: Bruno Georgevich Ferreira; Armando Jorge Miranda de Sousa ; Luís Paulo Reis ;
PUBLISHED: 2025, SOURCE: 22nd International Conference on Informatics in Control, Automation and Robotics, ICINCO 2025 in ICINCO (1), VOLUME: 1, PAGES: 321-328
INDEXED IN: Scopus DBLP
Scopus DBLP80
TITLE: Benchmarking Time Series Feature Extraction for Algorithm Selection
AUTHORS: Moisés Rocha dos Santos; Vítor Cerqueira; Carlos Soares ;
PUBLISHED: 2025, SOURCE: EPIA (1), VOLUME: 16121 LNAI, PAGES: 269-281
AUTHORS: Moisés Rocha dos Santos; Vítor Cerqueira; Carlos Soares ;
PUBLISHED: 2025, SOURCE: EPIA (1), VOLUME: 16121 LNAI, PAGES: 269-281
INDEXED IN: Scopus DBLP
Scopus DBLP