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: 4645
60 Team MembersFilters -> Year: 2026
21
TITLE: On Quantitative Solution Iteration in QAlloy
AUTHORS: Silva, Pedro; Macedo, Nuno ; Oliveira, Jose N. ;
PUBLISHED: 2026, SOURCE: 11th International Conference on Rigorous State Based Methods-ABZ-Annual in RIGOROUS STATE-BASED METHODS, ABZ 2025, VOLUME: 15728, PAGES: 88-105
AUTHORS: Silva, Pedro; Macedo, Nuno ; Oliveira, Jose N. ;
PUBLISHED: 2026, SOURCE: 11th International Conference on Rigorous State Based Methods-ABZ-Annual in RIGOROUS STATE-BASED METHODS, ABZ 2025, VOLUME: 15728, PAGES: 88-105
22
TITLE: PathSAGE: Identifying Influential Spreaders in Temporal Networks With GraphSAGE
AUTHORS: Sadhu, Srestha; Mallick, Deepanwita; Namtirtha, Amrita; Malta, Mariana Curado ; Dutta, Animesh;
PUBLISHED: 2026, SOURCE: IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTATIONAL INTELLIGENCE, PAGES: 1-17
AUTHORS: Sadhu, Srestha; Mallick, Deepanwita; Namtirtha, Amrita; Malta, Mariana Curado ; Dutta, Animesh;
PUBLISHED: 2026, SOURCE: IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTATIONAL INTELLIGENCE, PAGES: 1-17
23
TITLE: Software Testing Education and Industry Needs - Report from the ENACTEST EU Project
AUTHORS: Mehrdad Saadatmand; Abbas Khan; Beatriz Marín; Ana R Paiva ; Nele Van Asch; Graham Moran; Felix Cammaerts; Monique Snoeck; Alexandra Mendes;
PUBLISHED: 2026, SOURCE: 26th International Conference on Product-Focused Software Process Improvement, PROFES 2025 in Lecture Notes in Computer Science, VOLUME: 16362 LNCS, PAGES: 53-68
AUTHORS: Mehrdad Saadatmand; Abbas Khan; Beatriz Marín; Ana R Paiva ; Nele Van Asch; Graham Moran; Felix Cammaerts; Monique Snoeck; Alexandra Mendes;
PUBLISHED: 2026, SOURCE: 26th International Conference on Product-Focused Software Process Improvement, PROFES 2025 in Lecture Notes in Computer Science, VOLUME: 16362 LNCS, PAGES: 53-68
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef24
TITLE: Unsupervised contrastive analysis for anomaly detection in brain MRIs via conditional diffusion models
AUTHORS: Patricio, Cristiano ; Barbano, Carlo Alberto; Fiandrotti, Attilio; Renzulli, Riccardo; Grangetto, Marco; Teixeira, Luis F. ; Neves, Joao C.;
PUBLISHED: 2026, SOURCE: PATTERN RECOGNITION LETTERS, VOLUME: 199, PAGES: 82-89
AUTHORS: Patricio, Cristiano ; Barbano, Carlo Alberto; Fiandrotti, Attilio; Renzulli, Riccardo; Grangetto, Marco; Teixeira, Luis F. ; Neves, Joao C.;
PUBLISHED: 2026, SOURCE: PATTERN RECOGNITION LETTERS, VOLUME: 199, PAGES: 82-89
25
TITLE: User Behavior in Sports Search: Entity-Centric Query and Click Log Analysis
AUTHORS: João Damas; Sérgio Nunes ;
PUBLISHED: 2026, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Lecture Notes in Computer Science, VOLUME: 16122 LNAI, PAGES: 276-288
AUTHORS: João Damas; Sérgio Nunes ;
PUBLISHED: 2026, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Lecture Notes in Computer Science, VOLUME: 16122 LNAI, PAGES: 276-288
INDEXED IN: Scopus CrossRef
Scopus CrossRef26
TITLE: A Human-Centric Agent Architecture for Hybrid Industrial Collaboration in Industry 5.0
AUTHORS: José Sousa; Filipe Oliveira; Davide Carneiro; António Soares ; Bruno Silva;
PUBLISHED: 2025, SOURCE: IFIP Advances in Information and Communication Technology - Hybrid Human-AI Collaborative Networks, PAGES: 69-84
AUTHORS: José Sousa; Filipe Oliveira; Davide Carneiro; António Soares ; Bruno Silva;
PUBLISHED: 2025, SOURCE: IFIP Advances in Information and Communication Technology - Hybrid Human-AI Collaborative Networks, PAGES: 69-84
INDEXED IN: CrossRef
CrossRef27
TITLE: A New Proposal of Layer Insertion in Stacked Autoencoder Neural Networks
AUTHORS: Francisco dos Santos Viana; Bianca Valéria L Pereira; Moisés Santos; Carlos Soares ; Areolino de Almeida Neto;
PUBLISHED: 2025, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part I, VOLUME: 16121, PAGES: 464-476
AUTHORS: Francisco dos Santos Viana; Bianca Valéria L Pereira; Moisés Santos; Carlos Soares ; Areolino de Almeida Neto;
PUBLISHED: 2025, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part I, VOLUME: 16121, PAGES: 464-476
28
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
29
TITLE: A Scoping Review of Emerging AI Technologies in Mental Health Care: Towards Personalized Music Therapy
AUTHORS: Natália Santos; Gilberto Bernardes ;
PUBLISHED: 2025
AUTHORS: Natália Santos; Gilberto Bernardes ;
PUBLISHED: 2025
INDEXED IN: 
DataCite
DataCite30
TITLE: A survey on cell nuclei instance segmentation and classification: Leveraging context and attention
AUTHORS: Nunes, Joao D. ; Montezuma, Diana; Oliveira, Domingos; Pereira, Tania ; Cardoso, Jaime S. ;
PUBLISHED: 2025, SOURCE: MEDICAL IMAGE ANALYSIS, VOLUME: 99, PAGES: 103360
AUTHORS: Nunes, Joao D. ; Montezuma, Diana; Oliveira, Domingos; Pereira, Tania ; Cardoso, Jaime S. ;
PUBLISHED: 2025, SOURCE: MEDICAL IMAGE ANALYSIS, VOLUME: 99, PAGES: 103360
31
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
DBLP32
TITLE: A Systematic Review on the IEEE 1451 Standards: Current Status, Challenges, and Opportunities Full Text
AUTHORS: Spencer, Geoffrey; Torres, Pedro; Gil Gonçalves ;
PUBLISHED: 2025, SOURCE: IEEE SENSORS JOURNAL, VOLUME: 25, ISSUE: 19, PAGES: 35735-35756
AUTHORS: Spencer, Geoffrey; Torres, Pedro; Gil Gonçalves ;
PUBLISHED: 2025, SOURCE: IEEE SENSORS JOURNAL, VOLUME: 25, ISSUE: 19, PAGES: 35735-35756
33
TITLE: A Tripartite Framework for Immersive Music Production: Concepts and Methodologies
AUTHORS: José Ricardo Barboza; Gilberto Bernardes ; Eduardo Magalhães;
PUBLISHED: 2025, SOURCE: 2025 Immersive and 3D Audio: from Architecture to Automotive, I3DA 2025 in 2025 Immersive and 3D Audio: from Architecture to Automotive (I3DA), PAGES: 1-7
AUTHORS: José Ricardo Barboza; Gilberto Bernardes ; Eduardo Magalhães;
PUBLISHED: 2025, SOURCE: 2025 Immersive and 3D Audio: from Architecture to Automotive, I3DA 2025 in 2025 Immersive and 3D Audio: from Architecture to Automotive (I3DA), PAGES: 1-7
34
TITLE: A Two-Stage U-Net Framework for Interactive Segmentation of Lung Nodules in CT Scans
AUTHORS: Fernandes, Luis; Pereira, Tania ; Oliveira, Helder P. ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 77599-77610
AUTHORS: Fernandes, Luis; Pereira, Tania ; Oliveira, Helder P. ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 77599-77610
35
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
36
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
37
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
38
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
INDEXED IN: DBLP
DBLP39
TITLE: Advancing XR Education: Towards a Multimodal Human-Machine Interaction Course for Doctoral Students in Computer Science
AUTHORS: Silva, Samuel; Marques, Bernardo; Mendes, Daniel ; Rodrigues, Rui;
PUBLISHED: 2025, SOURCE: 2025 European Association for Computer Graphics-EUROGRAPHICS in EUROPEAN ASSOCIATION FOR COMPUTER GRAPHICS 46TH ANNUAL CONFERENCE, EUROGRAPHICS 2025, EDUCATION PAPERS, PAGES: 8 pages
AUTHORS: Silva, Samuel; Marques, Bernardo; Mendes, Daniel ; Rodrigues, Rui;
PUBLISHED: 2025, SOURCE: 2025 European Association for Computer Graphics-EUROGRAPHICS in EUROPEAN ASSOCIATION FOR COMPUTER GRAPHICS 46TH ANNUAL CONFERENCE, EUROGRAPHICS 2025, EDUCATION PAPERS, PAGES: 8 pages
INDEXED IN: 
WOS DataCite
WOS DataCite40
TITLE: Agents and Artificial Intelligence - 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part I
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2025, SOURCE: ICAART (Revised Selected Paper, 1), VOLUME: 15591
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2025, SOURCE: ICAART (Revised Selected Paper, 1), VOLUME: 15591
INDEXED IN: DBLP
DBLP