Department of Computer Science (DCC)
Departamento de Ciências dos Computadores
AuthID: I-000-0JZ
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: 2700
43 Team MembersFilters -> Year: 2025
1
TITLE: A Tight Security Proof for SPHINCS+, Formally Verified
AUTHORS: Barbosa, Manuel ; Dupressoir, Francois; Hulsing, Andreas; Meijers, Matthias; Strub, Pierre Yves;
PUBLISHED: 2025, SOURCE: 30th International Conference on the Theory and Application of Cryptology and Information Security in ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT IV, VOLUME: 15487, PAGES: 35-67
AUTHORS: Barbosa, Manuel ; Dupressoir, Francois; Hulsing, Andreas; Meijers, Matthias; Strub, Pierre Yves;
PUBLISHED: 2025, SOURCE: 30th International Conference on the Theory and Application of Cryptology and Information Security in ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT IV, VOLUME: 15487, PAGES: 35-67
2
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
3
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
4
TITLE: Anomaly Detection in Pet Behavioural Data
AUTHORS: Silva, Ines; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2025, SOURCE: 8th European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2023, PT II, VOLUME: 2134, PAGES: 137-153
AUTHORS: Silva, Ines; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2025, SOURCE: 8th European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2023, PT II, VOLUME: 2134, PAGES: 137-153
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP5
TITLE: Atlas, a modular and efficient open-source BFT framework
AUTHORS: Neto, Nuno; Martins, Rolando ; Veiga, Luis;
PUBLISHED: 2025, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 222, PAGES: 112317
AUTHORS: Neto, Nuno; Martins, Rolando ; Veiga, Luis;
PUBLISHED: 2025, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 222, PAGES: 112317
6
TITLE: C'est Tres CHIC: A Compact Password-Authenticated Key Exchange from Lattice-Based KEM
AUTHORS: Arriaga, Afonso; Barbosa, Manuel ; Jarecki, Stanislaw; Skrobot, Marjan;
PUBLISHED: 2025, SOURCE: 30th International Conference on the Theory and Application of Cryptology and Information Security in ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT V, VOLUME: 15488, PAGES: 3-33
AUTHORS: Arriaga, Afonso; Barbosa, Manuel ; Jarecki, Stanislaw; Skrobot, Marjan;
PUBLISHED: 2025, SOURCE: 30th International Conference on the Theory and Application of Cryptology and Information Security in ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT V, VOLUME: 15488, PAGES: 3-33
7
TITLE: Causal representation learning through higher-level information extraction
AUTHORS: Silva, Francisco ; Oliveira, helder P. ; Pereira, Tania ;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2, PAGES: 43:1-43:37
AUTHORS: Silva, Francisco ; Oliveira, helder P. ; Pereira, Tania ;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2, PAGES: 43:1-43:37
8
TITLE: Cherry-Picking in Time Series Forecasting: How to Select Datasets to Make Your Model Shine
AUTHORS: Luis Roque; Vítor Cerqueira ; Carlos Soares; Luís Torgo ;
PUBLISHED: 2025, SOURCE: 39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025 in AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA, VOLUME: 39, ISSUE: 19, PAGES: 20192-20199
AUTHORS: Luis Roque; Vítor Cerqueira ; Carlos Soares; Luís Torgo ;
PUBLISHED: 2025, SOURCE: 39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025 in AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA, VOLUME: 39, ISSUE: 19, PAGES: 20192-20199
9
TITLE: CINDERELLA Clinical Trial (NCT05196269): Patient Engagement with an AI-based Healthcare Application for Enhancing Breast Cancer Locoregional Treatment Decisions- Preliminary Insights Full Text
AUTHORS: Bonci, EA; Antunes, M; Bobowicz, M; Borsoi, L; Ciani, O; Cruz, HV; Di Micco, R; Ekman, M; Gentilini, O; Romariz, M; Gonçalves, T; Gouveia, P; Heil, J; Kabata, P; Kaidar Person, O; Martins, H; Mavioso, C; Mika, M; Oliveira, HP ; Oprea, N; ...More
PUBLISHED: 2025, SOURCE: BREAST, VOLUME: 80, PAGES: 104244
AUTHORS: Bonci, EA; Antunes, M; Bobowicz, M; Borsoi, L; Ciani, O; Cruz, HV; Di Micco, R; Ekman, M; Gentilini, O; Romariz, M; Gonçalves, T; Gouveia, P; Heil, J; Kabata, P; Kaidar Person, O; Martins, H; Mavioso, C; Mika, M; Oliveira, HP ; Oprea, N; ...More
PUBLISHED: 2025, SOURCE: BREAST, VOLUME: 80, PAGES: 104244
INDEXED IN: WOS 
CrossRef
WOS CrossRef10
TITLE: Clinical Annotation and Medical Image Anonymization for AI Model Training in Lung Cancer Detection
AUTHORS: Ana M Freire; Eduardo M Rodrigues; Joana Sousa; Margarida Gouveia ; Daniela Ferreira Santos; Tânia Pereira; Hélder P Oliveira; Pedro Sousa; Ana Catarina Silva; Maria Sofia Fernandes; Venceslau Hespanhol; Jorge Araújo;
PUBLISHED: 2025, SOURCE: Universal Access in Human-Computer Interaction - 19th International Conference, UAHCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I, VOLUME: 15780, PAGES: 309-325
AUTHORS: Ana M Freire; Eduardo M Rodrigues; Joana Sousa; Margarida Gouveia ; Daniela Ferreira Santos; Tânia Pereira; Hélder P Oliveira; Pedro Sousa; Ana Catarina Silva; Maria Sofia Fernandes; Venceslau Hespanhol; Jorge Araújo;
PUBLISHED: 2025, SOURCE: Universal Access in Human-Computer Interaction - 19th International Conference, UAHCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I, VOLUME: 15780, PAGES: 309-325
11
TITLE: Comparing 2D and 3D Feature Extraction Methods for Lung Adenocarcinoma Prediction Using CT Scans: A Cross-Cohort Study
AUTHORS: Gouveia, Margarida ; Mendes, Tania; Rodrigues, Eduardo M. ; Oliveira, Helder P. ; Pereira, Tania ;
PUBLISHED: 2025, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 15, ISSUE: 3, PAGES: 1148
AUTHORS: Gouveia, Margarida ; Mendes, Tania; Rodrigues, Eduardo M. ; Oliveira, Helder P. ; Pereira, Tania ;
PUBLISHED: 2025, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 15, ISSUE: 3, PAGES: 1148
12
TITLE: Data Science for Fighting Environmental Crime
AUTHORS: Barbosa, Marta; Ribeiro, Carolina; Gomes, Filipe; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2025, SOURCE: 8th European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2023, PT II, VOLUME: 2134, PAGES: 181-196
AUTHORS: Barbosa, Marta; Ribeiro, Carolina; Gomes, Filipe; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2025, SOURCE: 8th European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2023, PT II, VOLUME: 2134, PAGES: 181-196
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP13
TITLE: Efficient Instance Selection in Tree-Based Models for Data Streams Classification
AUTHORS: Aldo Marcelo Paim; João Gama ; Bruno Veloso ; Fabrício Enembreck; Rita P Ribeiro;
PUBLISHED: 2025, SOURCE: 40th Annual ACM Symposium on Applied Computing, SAC 2025 in Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, SAC 2025, Catania International Airport, Catania, Italy, 31 March 2025 - 4 April 2025, PAGES: 448-455
AUTHORS: Aldo Marcelo Paim; João Gama ; Bruno Veloso ; Fabrício Enembreck; Rita P Ribeiro;
PUBLISHED: 2025, SOURCE: 40th Annual ACM Symposium on Applied Computing, SAC 2025 in Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, SAC 2025, Catania International Airport, Catania, Italy, 31 March 2025 - 4 April 2025, PAGES: 448-455
14
TITLE: Efficient-Proto-Caps: A Parameter-Efficient and Interpretable Capsule Network for Lung Nodule Characterization
AUTHORS: Eduardo M Rodrigues ; Margarida Gouveia ; Hélder P Oliveira ; Tânia Pereira ;
PUBLISHED: 2025, SOURCE: IEEE Access, VOLUME: 13, PAGES: 56616-56630
AUTHORS: Eduardo M Rodrigues ; Margarida Gouveia ; Hélder P Oliveira ; Tânia Pereira ;
PUBLISHED: 2025, SOURCE: IEEE Access, VOLUME: 13, PAGES: 56616-56630
15
TITLE: Empowering open data sharing for social good: a privacy-aware approach
AUTHORS: Carvalho, Tania; Antunes, Luis ; Costa Santos, Cristina; Moniz, Nuno;
PUBLISHED: 2025, SOURCE: SCIENTIFIC DATA, VOLUME: 12, ISSUE: 1, PAGES: 248-
AUTHORS: Carvalho, Tania; Antunes, Luis ; Costa Santos, Cristina; Moniz, Nuno;
PUBLISHED: 2025, SOURCE: SCIENTIFIC DATA, VOLUME: 12, ISSUE: 1, PAGES: 248-
16
TITLE: Enhancing Portuguese Variety Identification with Cross-Domain Approaches
AUTHORS: Hugo O Sousa; Rúben Almeida; Purificação Silvano; Inês Cantante; Ricardo Campos; Alípio Mário Jorge ;
PUBLISHED: 2025, SOURCE: 39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025 in AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA, VOLUME: 39, ISSUE: 24, PAGES: 25192-25200
AUTHORS: Hugo O Sousa; Rúben Almeida; Purificação Silvano; Inês Cantante; Ricardo Campos; Alípio Mário Jorge ;
PUBLISHED: 2025, SOURCE: 39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025 in AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA, VOLUME: 39, ISSUE: 24, PAGES: 25192-25200
INDEXED IN: Scopus DBLP
Scopus DBLP17
TITLE: Evaluating Short Text Stream Clustering on Large E-commerce Datasets
AUTHORS: Andrade, Cesar; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2025, SOURCE: 34th Brazilian Conference on Intelligent Systems in INTELLIGENT SYSTEMS, BRACIS 2024, PT III, VOLUME: 15414, PAGES: 245-259
AUTHORS: Andrade, Cesar; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2025, SOURCE: 34th Brazilian Conference on Intelligent Systems in INTELLIGENT SYSTEMS, BRACIS 2024, PT III, VOLUME: 15414, PAGES: 245-259
18
TITLE: EVSOAR: Security Orchestration, Automation and Response via EV Charging Stations
AUTHORS: Tadeu Freitas; Erick Silva; Rehana Yasmin; Ali Shoker; Manuel Eduardo Correia ; Rolando Martins; Paulo Jorge Esteves Veríssimo;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.16984
AUTHORS: Tadeu Freitas; Erick Silva; Rehana Yasmin; Ali Shoker; Manuel Eduardo Correia ; Rolando Martins; Paulo Jorge Esteves Veríssimo;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.16984
INDEXED IN: DBLP
DBLP19
TITLE: Exploiting Trusted Execution Environments and Distributed Computation for Genomic Association Tests
AUTHORS: Claudia V Brito ; Pedro G Ferreira; Joao T Paulo;
PUBLISHED: 2025, SOURCE: IEEE Journal of Biomedical and Health Informatics, PAGES: 1-8
AUTHORS: Claudia V Brito ; Pedro G Ferreira; Joao T Paulo;
PUBLISHED: 2025, SOURCE: IEEE Journal of Biomedical and Health Informatics, PAGES: 1-8
INDEXED IN: Scopus CrossRef
Scopus CrossRef20
TITLE: Extending the Quantitative Pattern-Matching Paradigm
AUTHORS: Alves, Sandra ; Kesner, Delia; Ramos, Miguel ;
PUBLISHED: 2025, SOURCE: 22nd Asian Symposium on Programming Languages and Systems in PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2024, VOLUME: 15194, PAGES: 84-105
AUTHORS: Alves, Sandra ; Kesner, Delia; Ramos, Miguel ;
PUBLISHED: 2025, SOURCE: 22nd Asian Symposium on Programming Languages and Systems in PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2024, VOLUME: 15194, PAGES: 84-105
