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: 4481
56 Team MembersFilters -> Year: 2025
61
TITLE: ConflictSync: Bandwidth Efficient Synchronization of Divergent State
AUTHORS: Pedro Silva Gomes; Miguel Boaventura Rodrigues; Carlos Baquero ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2505.01144
AUTHORS: Pedro Silva Gomes; Miguel Boaventura Rodrigues; Carlos Baquero ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2505.01144
INDEXED IN: 
DBLP
DBLP62
TITLE: Contract Usage and Evolution in Android Mobile Applications Full Text
AUTHORS: David R Ferreira; Alexandra Mendes ; João F Ferreira; Carolina Carreira;
PUBLISHED: 2025, SOURCE: 39th European Conference on Object-Oriented Programming, ECOOP 2025 in 39th European Conference on Object-Oriented Programming, ECOOP 2025, June 30 to July 2, 2025, Bergen, Norway, VOLUME: 333, PAGES: 11:1-11:30
AUTHORS: David R Ferreira; Alexandra Mendes ; João F Ferreira; Carolina Carreira;
PUBLISHED: 2025, SOURCE: 39th European Conference on Object-Oriented Programming, ECOOP 2025 in 39th European Conference on Object-Oriented Programming, ECOOP 2025, June 30 to July 2, 2025, Bergen, Norway, VOLUME: 333, PAGES: 11:1-11:30
INDEXED IN: 
Scopus DBLP
Scopus DBLP63
TITLE: Contributions for the Development of Personae: Method for Creating Persona Templates (MCPT)
AUTHORS: Couto, Fábio ; Malta, Mariana Curado ;
PUBLISHED: 2025, SOURCE: 26th International Conference on Human-Computer Interaction, HCII in HCI INTERNATIONAL 2024-LATE BREAKING PAPERS, PT I, VOLUME: 15374, PAGES: 3-22
AUTHORS: Couto, Fábio ; Malta, Mariana Curado ;
PUBLISHED: 2025, SOURCE: 26th International Conference on Human-Computer Interaction, HCII in HCI INTERNATIONAL 2024-LATE BREAKING PAPERS, PT I, VOLUME: 15374, PAGES: 3-22
64
TITLE: CRDT-Based Game State Synchronization in Peer-to-Peer VR
AUTHORS: Dantas, Abel; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: 12th Workshop on Principles and Practice of Consistency for Distributed Data-PaPoC in PROCEEDINGS OF THE 12TH WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2025, VOLUME: abs/2503.17826, PAGES: 45-55
AUTHORS: Dantas, Abel; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: 12th Workshop on Principles and Practice of Consistency for Distributed Data-PaPoC in PROCEEDINGS OF THE 12TH WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2025, VOLUME: abs/2503.17826, PAGES: 45-55
65
TITLE: Cross-genre argument mining: Can language models automatically fill in missing discourse markers?
AUTHORS: Rocha, Gil; Cardoso, Henrique Lopes ; Belouadi, Jonas; Eger, Steffen;
PUBLISHED: 2025, SOURCE: ARGUMENT & COMPUTATION, VOLUME: 16, ISSUE: 1, PAGES: 3-35
AUTHORS: Rocha, Gil; Cardoso, Henrique Lopes ; Belouadi, Jonas; Eger, Steffen;
PUBLISHED: 2025, SOURCE: ARGUMENT & COMPUTATION, VOLUME: 16, ISSUE: 1, PAGES: 3-35
66
TITLE: Cross-Lingual Entity Linking Using GPT Models in Radiology Abstracts
AUTHORS: Dias, Mariana ; Lopes, Carla Teixeira ;
PUBLISHED: 2025, SOURCE: 19th International Conference on Research Challenges in Information Science-RCIS-Annual in RESEARCH CHALLENGES IN INFORMATION SCIENCE, RCIS 2025, PT II, VOLUME: 548, PAGES: 20-37
AUTHORS: Dias, Mariana ; Lopes, Carla Teixeira ;
PUBLISHED: 2025, SOURCE: 19th International Conference on Research Challenges in Information Science-RCIS-Annual in RESEARCH CHALLENGES IN INFORMATION SCIENCE, RCIS 2025, PT II, VOLUME: 548, PAGES: 20-37
67
TITLE: Cross-Lingual Information Retrieval in Tetun for Ad-Hoc Search
AUTHORS: Altedio Araújo; Gabriel de Jesus; Sérgio Nunes ;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science - Progress in Artificial Intelligence, PAGES: 262-275
AUTHORS: Altedio Araújo; Gabriel de Jesus; Sérgio Nunes ;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science - Progress in Artificial Intelligence, PAGES: 262-275
INDEXED IN: 
CrossRef
CrossRef68
TITLE: CSCN: an efficient snapshot ensemble learning based sparse transformer model for long-range spatial-temporal traffic flow prediction Full Text
AUTHORS: Kumar, Rahul; Moreira, Joao Mendes ; Chandra, Joydeep;
PUBLISHED: 2025, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 39, ISSUE: 4
AUTHORS: Kumar, Rahul; Moreira, Joao Mendes ; Chandra, Joydeep;
PUBLISHED: 2025, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 39, ISSUE: 4
69
TITLE: Current Challenges and Future Perspectives in Testing IoT Systems: A Comprehensive Review
AUTHORS: Bruno Lima ; Rui Pinto;
PUBLISHED: 2025, SOURCE: IEEE Sensors Reviews, PAGES: 1-27
AUTHORS: Bruno Lima ; Rui Pinto;
PUBLISHED: 2025, SOURCE: IEEE Sensors Reviews, PAGES: 1-27
INDEXED IN: CrossRef 
Unpaywall
CrossRef Unpaywall70
TITLE: Decoding Mental States in Social Cognition: Insights from Explainable Artificial Intelligence on HCP fMRI Data
AUTHORS: dos Santos, Jose Diogo Marques; Reis, Luis Paulo ; Marques dos Santos, José Paulo ;
PUBLISHED: 2025, SOURCE: MACHINE LEARNING AND KNOWLEDGE EXTRACTION, VOLUME: 7, ISSUE: 1, PAGES: 17
AUTHORS: dos Santos, Jose Diogo Marques; Reis, Luis Paulo ; Marques dos Santos, José Paulo ;
PUBLISHED: 2025, SOURCE: MACHINE LEARNING AND KNOWLEDGE EXTRACTION, VOLUME: 7, ISSUE: 1, PAGES: 17
71
TITLE: Defining quality in peer review reports: a scoping review Full Text
AUTHORS: Sizo, Amanda; Lino, Adriano; Rocha, Alvaro; Reis, Luis Paulo ;
PUBLISHED: 2025, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 67, ISSUE: 8, PAGES: 6413-6460
AUTHORS: Sizo, Amanda; Lino, Adriano; Rocha, Alvaro; Reis, Luis Paulo ;
PUBLISHED: 2025, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 67, ISSUE: 8, PAGES: 6413-6460
72
TITLE: Designing a Decision Support System for Accelerating Offshore Blue Energy Installations
AUTHORS: Paulino, Dennis ; Carvalho, Alexandre; Cassola, Fernando ; Paredes, Hugo ; Lopes, Joao; Oliveira, Marco ;
PUBLISHED: 2025, SOURCE: 28th International Conference on Computer Supported Cooperative Work in Design-CSCWD-Annual in 2025 28TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, CSCWD, ISSUE: 2025, PAGES: 1973-1980
AUTHORS: Paulino, Dennis ; Carvalho, Alexandre; Cassola, Fernando ; Paredes, Hugo ; Lopes, Joao; Oliveira, Marco ;
PUBLISHED: 2025, SOURCE: 28th International Conference on Computer Supported Cooperative Work in Design-CSCWD-Annual in 2025 28TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, CSCWD, ISSUE: 2025, PAGES: 1973-1980
73
TITLE: Designing a skilled soccer team for RoboCup: exploring skill-set-primitives through reinforcement learning
AUTHORS: Miguel Abreu; Luís Paulo Reis ; Nuno Lau;
PUBLISHED: 2025, SOURCE: Neural Comput. Appl., VOLUME: 37, ISSUE: 18, PAGES: 12699-12734
AUTHORS: Miguel Abreu; Luís Paulo Reis ; Nuno Lau;
PUBLISHED: 2025, SOURCE: Neural Comput. Appl., VOLUME: 37, ISSUE: 18, PAGES: 12699-12734
74
TITLE: Designing Mutation Operators for Android Device Components: A View Through Bluetooth and Location API's
AUTHORS: Pedro Henrique Kuroishi; Ana C R Paiva ; José Carlos Maldonado; Auri Marcelo Rizzo Vincenzi;
PUBLISHED: 2025, SOURCE: Proceedings of the 39th Brazilian Symposium on Software Engineering, SBES 2025, Recife, Brazil, September 22-26, 2025, PAGES: 149-159
AUTHORS: Pedro Henrique Kuroishi; Ana C R Paiva ; José Carlos Maldonado; Auri Marcelo Rizzo Vincenzi;
PUBLISHED: 2025, SOURCE: Proceedings of the 39th Brazilian Symposium on Software Engineering, SBES 2025, Recife, Brazil, September 22-26, 2025, PAGES: 149-159
INDEXED IN: DBLP
DBLP75
TITLE: Detecting Resource Leaks on Android with Alpakka
AUTHORS: Santos, Gustavo; Bispo, Joao ; Mendes, Alexandra ;
PUBLISHED: 2025, SOURCE: 18th International Conference on Software Language Engineering-SLE-Annual in PROCEEDINGS OF SLE 2025 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2025, PAGES: 199-211
AUTHORS: Santos, Gustavo; Bispo, Joao ; Mendes, Alexandra ;
PUBLISHED: 2025, SOURCE: 18th International Conference on Software Language Engineering-SLE-Annual in PROCEEDINGS OF SLE 2025 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2025, PAGES: 199-211
76
TITLE: Discovering user groups of active modes of transport in urban centers using clustering methods
AUTHORS: Felicio, Soraia; Hora, Joana ; Ferreira, Marta Campos ; Sobral, Thiago; Camacho, Rui ; Galvao, Teresa;
PUBLISHED: 2025, SOURCE: JOURNAL OF TRANSPORT & HEALTH, VOLUME: 44, PAGES: 102125
AUTHORS: Felicio, Soraia; Hora, Joana ; Ferreira, Marta Campos ; Sobral, Thiago; Camacho, Rui ; Galvao, Teresa;
PUBLISHED: 2025, SOURCE: JOURNAL OF TRANSPORT & HEALTH, VOLUME: 44, PAGES: 102125
77
TITLE: Distributed Generalized Linear Models: A Privacy-Preserving Approach
AUTHORS: Tinoco, Daniel; Menezes, Raquel; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: COMPUTATIONAL STATISTICS, VOLUME: abs/2503.15287
AUTHORS: Tinoco, Daniel; Menezes, Raquel; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: COMPUTATIONAL STATISTICS, VOLUME: abs/2503.15287
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP78
TITLE: Do We Need 3D to See? Impact of Dimensionality of the Virtual Environment on Attention
AUTHORS: Matos, Teresa; Mendes, Daniel ; Jacob, Joao; de Sousa, A. Augusto; Rodrigues, Rui ;
PUBLISHED: 2025, SOURCE: 2025 Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops-VRW in 2025 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS, VRW, PAGES: 1216-1217
AUTHORS: Matos, Teresa; Mendes, Daniel ; Jacob, Joao; de Sousa, A. Augusto; Rodrigues, Rui ;
PUBLISHED: 2025, SOURCE: 2025 Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops-VRW in 2025 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS, VRW, PAGES: 1216-1217
79
TITLE: Does Every Computer Scientist Need to Know Formal Methods? Full Text
AUTHORS: Broy, Manfred; Brucker, Achim D.; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra ; Platzer, Andre; Ringert, Jan Oliver; Sullivan, Allison;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 1, PAGES: 6:1-6:17
AUTHORS: Broy, Manfred; Brucker, Achim D.; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra ; Platzer, Andre; Ringert, Jan Oliver; Sullivan, Allison;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 1, PAGES: 6:1-6:17
80
TITLE: Emotion Odyssey: Promoting Emotion Regulation Skills in Families Through a Serious Game
AUTHORS: Eliana Silva; João Pedro Silva; Luís Paulo Reis ; Sara Araújo Silva;
PUBLISHED: 2025, SOURCE: 2025 IEEE Conference on Games, CoG 2025 in IEEE Conference on Games, CoG 2025, Lisbon, Portugal, August 26-29, 2025, PAGES: 1-4
AUTHORS: Eliana Silva; João Pedro Silva; Luís Paulo Reis ; Sara Araújo Silva;
PUBLISHED: 2025, SOURCE: 2025 IEEE Conference on Games, CoG 2025 in IEEE Conference on Games, CoG 2025, Lisbon, Portugal, August 26-29, 2025, PAGES: 1-4
INDEXED IN: Scopus DBLP
Scopus DBLP