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: 2851
46 Team MembersFilters -> Year: 2026
41
TITLE: An adequate while-language for stochastic hybrid computation
AUTHORS: Neves, Renato ; Proenca, Jose ; Souza, Juliana;
PUBLISHED: 2025, SOURCE: 27th International Symposium on Principles and Practice of Declarative Programming-PPDP in PROCEEDINGS OF THE 27TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2025, PAGES: 20:1-20:13
AUTHORS: Neves, Renato ; Proenca, Jose ; Souza, Juliana;
PUBLISHED: 2025, SOURCE: 27th International Symposium on Principles and Practice of Declarative Programming-PPDP in PROCEEDINGS OF THE 27TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2025, PAGES: 20:1-20:13
42
TITLE: Animating Rebeca
AUTHORS: Maurice H ter Beek; José Proença ;
PUBLISHED: 2025, SOURCE: Rebeca for Actor Analysis in Action, VOLUME: 15560 LNCS, PAGES: 182-194
AUTHORS: Maurice H ter Beek; José Proença ;
PUBLISHED: 2025, SOURCE: Rebeca for Actor Analysis in Action, VOLUME: 15560 LNCS, PAGES: 182-194
43
TITLE: Anomaly Detection and Root Cause Analysis in Cloud-Native Environments Using Large Language Models and Bayesian Networks
AUTHORS: Pedroso, Diego Frazatto; Almeida, Luis; Pulcinelli, Lucas Eduardo Gulka; Aisawa, William Akihiro Alves; Dutra, Ines ; Bruschi, Sarita Mazzini;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 77550-77564
AUTHORS: Pedroso, Diego Frazatto; Almeida, Luis; Pulcinelli, Lucas Eduardo Gulka; Aisawa, William Akihiro Alves; Dutra, Ines ; Bruschi, Sarita Mazzini;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 77550-77564
44
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 DBLP45
TITLE: Architecture and implementation of<i> ulrb</i> algorithm in R Full Text
AUTHORS: Pascoal, Francisco; Costa, Rodrigo; Torgo, Luis ; Magalhaes, Catarina; Branco, Paula ;
PUBLISHED: 2025, SOURCE: ECOLOGICAL INFORMATICS, VOLUME: 90, PAGES: 103229
AUTHORS: Pascoal, Francisco; Costa, Rodrigo; Torgo, Luis ; Magalhaes, Catarina; Branco, Paula ;
PUBLISHED: 2025, SOURCE: ECOLOGICAL INFORMATICS, VOLUME: 90, PAGES: 103229
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP46
TITLE: Artificial intelligence for endoscopic grading of gastric intestinal metaplasia: advancing risk stratification for gastric cancer
AUTHORS: Almeida, Eduarda ; Martins, Miguel Lopes; Marques, David; Delas, Rose; Almeida, Tatiana; Chaves, Jessica; Libanio, Diogo; Renna, Francesco ; Coimbra, Miguel Tavares; Dinis Ribeiro, Mario;
PUBLISHED: 2025, SOURCE: ENDOSCOPY, VOLUME: 57, ISSUE: 11, PAGES: 1254-1260
AUTHORS: Almeida, Eduarda ; Martins, Miguel Lopes; Marques, David; Delas, Rose; Almeida, Tatiana; Chaves, Jessica; Libanio, Diogo; Renna, Francesco ; Coimbra, Miguel Tavares; Dinis Ribeiro, Mario;
PUBLISHED: 2025, SOURCE: ENDOSCOPY, VOLUME: 57, ISSUE: 11, PAGES: 1254-1260
47
TITLE: Assisted Vascular Analysis (AVA) for Deep Inferior Epigastric Perforators: Pipeline Analysis
AUTHORS: Ricardo Ferreira ; João Silva; Miguel Romariz ; David Pinto; Ricardo Araújo; João Santinha; Pedro Gouveia; Hélder Oliveira ;
PUBLISHED: 2025, SOURCE: 25th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2025 in Proceedings - 2025 IEEE 25th International Conference on Bioinformatics and Bioengineering, BIBE 2025, PAGES: 164-171
AUTHORS: Ricardo Ferreira ; João Silva; Miguel Romariz ; David Pinto; Ricardo Araújo; João Santinha; Pedro Gouveia; Hélder Oliveira ;
PUBLISHED: 2025, SOURCE: 25th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2025 in Proceedings - 2025 IEEE 25th International Conference on Bioinformatics and Bioengineering, BIBE 2025, PAGES: 164-171
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef48
TITLE: Atlas, a modular and efficient open-source BFT framework Full Text
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
49
TITLE: Automata for Synchronised Shuffle on Backbones
AUTHORS: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2025, SOURCE: 26th International Conference on Descriptional Complexity of Formal Systems-DCFS-Annual in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2025, VOLUME: 15759, PAGES: 64-78
AUTHORS: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2025, SOURCE: 26th International Conference on Descriptional Complexity of Formal Systems-DCFS-Annual in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2025, VOLUME: 15759, PAGES: 64-78
50
TITLE: Automating Data Extraction from PDF Sleep Reports Using Data Mining Techniques
AUTHORS: Fábio Teixeira; João Costa; Pedro Amorim; Nuno Guimarães ; Daniela Ferreira Santos ;
PUBLISHED: 2025, SOURCE: Studies in health technology and informatics, VOLUME: 327, PAGES: 898-899
AUTHORS: Fábio Teixeira; João Costa; Pedro Amorim; Nuno Guimarães ; Daniela Ferreira Santos ;
PUBLISHED: 2025, SOURCE: Studies in health technology and informatics, VOLUME: 327, PAGES: 898-899
INDEXED IN: Scopus CrossRef
Scopus CrossRef51
TITLE: Bidirectional Fiducial Matching of Electrocardiography and Phonocardiography for Multimodal Signal Quality Assessment
AUTHORS: Daniel Proaño Guevara ; André Lobo; Cristina Oliveira; Cátia Isabel Costa; Ricardo Fontes Carvalho; Hugo Plácido da Silva; Francesco Renna ;
PUBLISHED: 2025, SOURCE: Computing in Cardiology, VOLUME: 52
AUTHORS: Daniel Proaño Guevara ; André Lobo; Cristina Oliveira; Cátia Isabel Costa; Ricardo Fontes Carvalho; Hugo Plácido da Silva; Francesco Renna ;
PUBLISHED: 2025, SOURCE: Computing in Cardiology, VOLUME: 52
52
TITLE: Blockchain hybrid-model scheme for scalable cross-domain authorisation
AUTHORS: Mukhandi, Munkenyi; Granjal, Jorge; Vilela, Joao P. ;
PUBLISHED: 2025, SOURCE: BLOCKCHAIN-RESEARCH AND APPLICATIONS, VOLUME: 6, ISSUE: 4, PAGES: 100293
AUTHORS: Mukhandi, Munkenyi; Granjal, Jorge; Vilela, Joao P. ;
PUBLISHED: 2025, SOURCE: BLOCKCHAIN-RESEARCH AND APPLICATIONS, VOLUME: 6, ISSUE: 4, PAGES: 100293
53
TITLE: BreLoAI - A Scalable Web Application for Breast Cancer Locoregional Treatment Approaches
AUTHORS: Miguel M Romariz ; Tiago F Gonçalves ; Eduard Bonci; Hélder Oliveira ; Carlos Mavioso; Maria J Cardoso; Jaime Cardoso ;
PUBLISHED: 2025, SOURCE: Cureus Journal of Computer Science.
AUTHORS: Miguel M Romariz ; Tiago F Gonçalves ; Eduard Bonci; Hélder Oliveira ; Carlos Mavioso; Maria J Cardoso; Jaime Cardoso ;
PUBLISHED: 2025, SOURCE: Cureus Journal of Computer Science.
INDEXED IN: CrossRef 
Unpaywall
CrossRef Unpaywall54
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
55
TITLE: Can a large language model replace humans at rating lexical semantic relations strength?
AUTHORS: André Fernandes dos Santos ; José Paulo Leal ;
PUBLISHED: 2025, SOURCE: Computational Linguistics, PAGES: 1-48
AUTHORS: André Fernandes dos Santos ; José Paulo Leal ;
PUBLISHED: 2025, SOURCE: Computational Linguistics, PAGES: 1-48
INDEXED IN: CrossRef Unpaywall
CrossRef Unpaywall56
TITLE: CART-based Synthetic Tabular Data Generation for Imbalanced Regression
AUTHORS: António Pedro Pinheiro; Rita P Ribeiro ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.02811
AUTHORS: António Pedro Pinheiro; Rita P Ribeiro ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.02811
INDEXED IN: DBLP
DBLP57
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
58
TITLE: CCS25 - Artifact for "Jazzline: Composable CryptoLine functional correctness proofs for Jasmin programs"
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Lionel Blatter; João Diogo Duarte; Gustavo Xavier Delerue Marinho Alves; Benjamin Grégoire; Tiago Oliveira; Miguel Quaresma; Pierre Yves Strub; Ming Hsien Tsai; Bow Yaw Wang; Bo Yin Yang;
PUBLISHED: 2025, SOURCE: Ccs 2025 Proceedings of the 2025 ACM Sigsac Conference on Computer and Communications Security, PAGES: 1409-1423
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Lionel Blatter; João Diogo Duarte; Gustavo Xavier Delerue Marinho Alves; Benjamin Grégoire; Tiago Oliveira; Miguel Quaresma; Pierre Yves Strub; Ming Hsien Tsai; Bow Yaw Wang; Bo Yin Yang;
PUBLISHED: 2025, SOURCE: Ccs 2025 Proceedings of the 2025 ACM Sigsac Conference on Computer and Communications Security, PAGES: 1409-1423
59
TITLE: Cherry-Picking in Time Series Forecasting: How to Select Datasets to Make Your Model Shine
AUTHORS: Roque, Luis; Cerqueira, Vitor ; Soares, Carlos; Torgo, Luis ;
PUBLISHED: 2025, SOURCE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 19, VOLUME: 39, ISSUE: 19, PAGES: 20192-20199
AUTHORS: Roque, Luis; Cerqueira, Vitor ; Soares, Carlos; Torgo, Luis ;
PUBLISHED: 2025, SOURCE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 19, VOLUME: 39, ISSUE: 19, PAGES: 20192-20199
60
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, E. a.; Antunes, M.; Bobowicz, M.; Borsoi, L.; Ciani, O.; Cruz, H. Vaz; Di Micco, R.; Ekman, M.; Gentilini, O.; Romariz, M.; Goncalves, T. ; Gouveia, P.; Heil, J.; Kabata, P.; Kaidar Person, O.; Martins, H.; Mavioso, C.; Mika, M.; Oliveira, H. P. ; Oprea, N.; ...More
PUBLISHED: 2025, SOURCE: BREAST, VOLUME: 80, PAGES: 104244
AUTHORS: Bonci, E. a.; Antunes, M.; Bobowicz, M.; Borsoi, L.; Ciani, O.; Cruz, H. Vaz; Di Micco, R.; Ekman, M.; Gentilini, O.; Romariz, M.; Goncalves, T. ; Gouveia, P.; Heil, J.; Kabata, P.; Kaidar Person, O.; Martins, H.; Mavioso, C.; Mika, M.; Oliveira, H. P. ; Oprea, N.; ...More
PUBLISHED: 2025, SOURCE: BREAST, VOLUME: 80, PAGES: 104244
INDEXED IN: WOS CrossRef
WOS CrossRef