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: 4728
62 Team MembersFilters -> Year: 2026
101
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
DBLP102
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
DBLP103
TITLE: AI-based models to predict decompensation on traumatic brain injury patients
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
104
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
105
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
106
TITLE: Aligning Frameworks: Identifying Compatible Pairs of Digital Transformation and Maturity Models
AUTHORS: Fábio Couto ; Mariana Curado Malta ;
PUBLISHED: 2025, SOURCE: SN Computer Science, VOLUME: 6, ISSUE: 8
AUTHORS: Fábio Couto ; Mariana Curado Malta ;
PUBLISHED: 2025, SOURCE: SN Computer Science, VOLUME: 6, ISSUE: 8
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef107
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
108
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 DBLP109
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
110
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 CrossRef111
TITLE: ArchHypo: Managing Software Architecture Uncertainty Using Hypotheses Engineering
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
112
TITLE: Are Sparse Autoencoders Useful for Java Function Bug Detection?
AUTHORS: Rui Melo; Cláudia Mamede; Andre Catarino; Rui Abreu; Henrique Lopes Cardoso ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2505.10375
AUTHORS: Rui Melo; Cláudia Mamede; Andre Catarino; Rui Abreu; Henrique Lopes Cardoso ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2505.10375
INDEXED IN: DBLP
DBLP113
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
114
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
115
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; Auri M R Vincenzi ;
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; Auri M R Vincenzi ;
PUBLISHED: 2025, SOURCE: Proceedings of the 31st Brazilian Symposium on Multimedia and the Web (WebMedia 2025), PAGES: 57-66
INDEXED IN: CrossRef
CrossRef116
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
DBLP117
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
118
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: ICINCO (1), VOLUME: 1, PAGES: 321-328
AUTHORS: Bruno Georgevich Ferreira; Armando Jorge Miranda de Sousa ; Luís Paulo Reis ;
PUBLISHED: 2025, SOURCE: ICINCO (1), VOLUME: 1, PAGES: 321-328
119
TITLE: Beyond Accuracy: The Role of Calibration in Computational Pathology
AUTHORS: Nunes, Joao D. ; Montezuma, Diana; Oliveira, Domingos; Pereira, Tania ; Zlobec, Inti; Cardoso, Jaime S. ;
PUBLISHED: 2025, SOURCE: 2025 International Joint Conference on Neural Networks-IJCNN in 2025 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, IJCNN, PAGES: 1-7
AUTHORS: Nunes, Joao D. ; Montezuma, Diana; Oliveira, Domingos; Pereira, Tania ; Zlobec, Inti; Cardoso, Jaime S. ;
PUBLISHED: 2025, SOURCE: 2025 International Joint Conference on Neural Networks-IJCNN in 2025 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, IJCNN, PAGES: 1-7
120
TITLE: Bi-LSTM Neural Networks for Traffic Flow Prediction: An Empirical Evaluation
AUTHORS: Alves, Bernardo Amorim; Fontes, Tania ; Rossetti, Rosaldo ;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT II, VOLUME: 14968, PAGES: 233-245
AUTHORS: Alves, Bernardo Amorim; Fontes, Tania ; Rossetti, Rosaldo ;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT II, VOLUME: 14968, PAGES: 233-245
