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: 2797
43 Team MembersFilters -> Year: 2026
121
TITLE: Proceedings of the 15th International Workshop on Non-Classical Models of Automata and Applications PDF
AUTHORS: Nelma Moreira ; Luca Prigioniero;
PUBLISHED: 2025
AUTHORS: Nelma Moreira ; Luca Prigioniero;
PUBLISHED: 2025
INDEXED IN: 
arXiv 
DataCite
arXiv DataCite122
TITLE: Proceedings of the 15th International Workshop on Non-Classical Models of Automata and Applications, NCMA 2025, Loughborough University, July 21-22, 2025
AUTHORS: Nelma Moreira ; Luca Prigioniero;
PUBLISHED: 2025, SOURCE: NCMA, VOLUME: 422
AUTHORS: Nelma Moreira ; Luca Prigioniero;
PUBLISHED: 2025, SOURCE: NCMA, VOLUME: 422
INDEXED IN: 
DBLP
DBLP123
TITLE: Program Synthesis Using Inductive Logic Programming for the Abstraction and Reasoning Corpus
AUTHORS: Filipe Marinho Rocha; Inês Dutra ; Vítor Santos Costa ;
PUBLISHED: 2025, SOURCE: 3rd International Workshop on Hybrid Models for Coupling Deductive and Inductive Reasoning, HYDRA 2024 in INTELLIGENZA ARTIFICIALE, VOLUME: abs/2405.06399, PAGES: 52-68
AUTHORS: Filipe Marinho Rocha; Inês Dutra ; Vítor Santos Costa ;
PUBLISHED: 2025, SOURCE: 3rd International Workshop on Hybrid Models for Coupling Deductive and Inductive Reasoning, HYDRA 2024 in INTELLIGENZA ARTIFICIALE, VOLUME: abs/2405.06399, PAGES: 52-68
124
TITLE: Progressive State Transfer for BFT With Larger-than-Memory State Full Text
AUTHORS: Amadeu Marques; Nuno Neto; Rolando Martins ; Luís Veiga;
PUBLISHED: 2025, SOURCE: Journal of Parallel and Distributed Computing, PAGES: 105215
AUTHORS: Amadeu Marques; Nuno Neto; Rolando Martins ; Luís Veiga;
PUBLISHED: 2025, SOURCE: Journal of Parallel and Distributed Computing, PAGES: 105215
INDEXED IN: 
CrossRef
CrossRef125
TITLE: Pulmonary Hypertension Detection From Heart Sound Analysis
AUTHORS: Gaudio, Alex; Giordano, Noemi; Elhilali, Mounya; Schmidt, Samuel; Renna, Francesco ;
PUBLISHED: 2025, SOURCE: IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, VOLUME: 72, ISSUE: 10, PAGES: 2902-2914
AUTHORS: Gaudio, Alex; Giordano, Noemi; Elhilali, Mounya; Schmidt, Samuel; Renna, Francesco ;
PUBLISHED: 2025, SOURCE: IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, VOLUME: 72, ISSUE: 10, PAGES: 2902-2914
126
TITLE: QIDLEARNINGLIB: A Python library for quasi-identifier recognition and evaluation Full Text
AUTHORS: Simoes, Sancho Amaral; Vilela, Joao P. ; Santos, Miriam Seoane; Abreu, Pedro Henriques;
PUBLISHED: 2025, SOURCE: NEUROCOMPUTING, VOLUME: 654, PAGES: 131239
AUTHORS: Simoes, Sancho Amaral; Vilela, Joao P. ; Santos, Miriam Seoane; Abreu, Pedro Henriques;
PUBLISHED: 2025, SOURCE: NEUROCOMPUTING, VOLUME: 654, PAGES: 131239
127
TITLE: QUAIDE - Quality assessment of AI preclinical studies in diagnostic endoscopy
AUTHORS: Antonelli, Giulio; Libanio, Diogo; De Groof, Albert Jeroen; van der Sommen, Fons; Mascagni, Pietro; Sinonquel, Pieter; Abdelrahim, Mohamed; Ahmad, Omer; Berzin, Tyler; Bhandari, Pradeep; Bretthauer, Michael; Coimbra, Miguel ; Dekker, Evelien; Ebigbo, Alanna; Eelbode, Tom; Frazzoni, Leonardo; Gross, Seth A.; Ishihara, Ryu; Kaminski, Michal Filip; Messmann, Helmut; ...More
PUBLISHED: 2025, SOURCE: GUT, VOLUME: 74, ISSUE: 1, PAGES: 153-161
AUTHORS: Antonelli, Giulio; Libanio, Diogo; De Groof, Albert Jeroen; van der Sommen, Fons; Mascagni, Pietro; Sinonquel, Pieter; Abdelrahim, Mohamed; Ahmad, Omer; Berzin, Tyler; Bhandari, Pradeep; Bretthauer, Michael; Coimbra, Miguel ; Dekker, Evelien; Ebigbo, Alanna; Eelbode, Tom; Frazzoni, Leonardo; Gross, Seth A.; Ishihara, Ryu; Kaminski, Michal Filip; Messmann, Helmut; ...More
PUBLISHED: 2025, SOURCE: GUT, VOLUME: 74, ISSUE: 1, PAGES: 153-161
128
TITLE: Radiogenomic Insights from a Portuguese Lung Cancer Cohort: Foundations for Predictive Modeling
AUTHORS: Inês Neves; Cláudia Freitas; Carolina Lemos; Hélder P Oliveira ; Venceslau Hespanhol; Manuela França; Tania Pereira ;
PUBLISHED: 2025, SOURCE: Measurement and Evaluations in Cancer Care, PAGES: 100025
AUTHORS: Inês Neves; Cláudia Freitas; Carolina Lemos; Hélder P Oliveira ; Venceslau Hespanhol; Manuela França; Tania Pereira ;
PUBLISHED: 2025, SOURCE: Measurement and Evaluations in Cancer Care, PAGES: 100025
INDEXED IN: CrossRef
CrossRef129
TITLE: RebeCaos
AUTHORS: Proenca, Jose ; ter Beek, Maurice H.;
PUBLISHED: 2025, SOURCE: 27th International Conference on Coordination Models and Languages-COORDINATION-Annual in COORDINATION MODELS AND LANGUAGES, COORDINATION 2025, VOLUME: 15731, PAGES: 219-229
AUTHORS: Proenca, Jose ; ter Beek, Maurice H.;
PUBLISHED: 2025, SOURCE: 27th International Conference on Coordination Models and Languages-COORDINATION-Annual in COORDINATION MODELS AND LANGUAGES, COORDINATION 2025, VOLUME: 15731, PAGES: 219-229
130
131
TITLE: Regular Typed Unification Full Text
AUTHORS: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLISHED: 2025, SOURCE: 40th International Conference on Logic Programming (ICLP) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 416, ISSUE: 416, PAGES: 236-252
AUTHORS: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLISHED: 2025, SOURCE: 40th International Conference on Logic Programming (ICLP) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 416, ISSUE: 416, PAGES: 236-252
132
TITLE: Report on the 8th Workshop on Narrative Extraction from Texts (Text2Story 2025) at ECIR 2025
AUTHORS: Ricardo Campos; Alípio M Jorge ; Adam Jatowt; Sumit Bhatia; Marina Litvak; João Paulo Cordeiro; Conceição Rocha ; Hugo O Sousa; Luís Filipe Cunha; Behrooz Mansouri;
PUBLISHED: 2025, SOURCE: SIGIR Forum, VOLUME: 59, ISSUE: 1, PAGES: 1-11
AUTHORS: Ricardo Campos; Alípio M Jorge ; Adam Jatowt; Sumit Bhatia; Marina Litvak; João Paulo Cordeiro; Conceição Rocha ; Hugo O Sousa; Luís Filipe Cunha; Behrooz Mansouri;
PUBLISHED: 2025, SOURCE: SIGIR Forum, VOLUME: 59, ISSUE: 1, PAGES: 1-11
133
TITLE: Resilience Under Attack: Benchmarking Optimizers Against Poisoning in Federated Learning for Image Classification Using CNN
AUTHORS: Yohannes Biadgligne ; Yassine Baghoussi ; Kai Li; Alípio Jorge ;
PUBLISHED: 2025, SOURCE: 18th International Work-Conference on Artificial Neural Networks, IWANN 2025 in Advances in Computational Intelligence - 18th International Work-Conference on Artificial Neural Networks, IWANN 2025, A Coruña, Spain, June 16-18, 2025, Proceedings, Part I, VOLUME: 16008, PAGES: 27-40
AUTHORS: Yohannes Biadgligne ; Yassine Baghoussi ; Kai Li; Alípio Jorge ;
PUBLISHED: 2025, SOURCE: 18th International Work-Conference on Artificial Neural Networks, IWANN 2025 in Advances in Computational Intelligence - 18th International Work-Conference on Artificial Neural Networks, IWANN 2025, A Coruña, Spain, June 16-18, 2025, Proceedings, Part I, VOLUME: 16008, PAGES: 27-40
134
TITLE: Revisiting the Security and Privacy of FIDO2
AUTHORS: Manuel Barbosa ; Alexandra Boldyreva; Shan Chen; Kaishuo Cheng; Luís Esquível;
PUBLISHED: 2025, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2025, PAGES: 459
AUTHORS: Manuel Barbosa ; Alexandra Boldyreva; Shan Chen; Kaishuo Cheng; Luís Esquível;
PUBLISHED: 2025, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2025, PAGES: 459
INDEXED IN: DBLP
DBLP135
TITLE: Screening Urban Soil Contamination in Rome: Insights from XRF and Multivariate Analysis
AUTHORS: Chandramohan, Monica Shree; Martinho da Silva, Isabel ; Ribeiro, Rita P. ; Jorge, Alipio ; Esteves da Silva, Joaquim ;
PUBLISHED: 2025, SOURCE: ENVIRONMENTS, VOLUME: 12, ISSUE: 4, PAGES: 126
AUTHORS: Chandramohan, Monica Shree; Martinho da Silva, Isabel ; Ribeiro, Rita P. ; Jorge, Alipio ; Esteves da Silva, Joaquim ;
PUBLISHED: 2025, SOURCE: ENVIRONMENTS, VOLUME: 12, ISSUE: 4, PAGES: 126
136
TITLE: Secure Visual Data Processing via Federated Learning
AUTHORS: Pedro Santos; Tânia Carvalho; Filipe Magalhães; Luís Antunes ;
PUBLISHED: 2025, SOURCE: 11th International Conference on Information Systems Security and Privacy, ICISSP 2025 in Proceedings of the 11th International Conference on Information Systems Security and Privacy, ICISSP 2025 - Volume 2, Porto, Portugal, February 20-22, 2025., VOLUME: 2, PAGES: 534-541
AUTHORS: Pedro Santos; Tânia Carvalho; Filipe Magalhães; Luís Antunes ;
PUBLISHED: 2025, SOURCE: 11th International Conference on Information Systems Security and Privacy, ICISSP 2025 in Proceedings of the 11th International Conference on Information Systems Security and Privacy, ICISSP 2025 - Volume 2, Porto, Portugal, February 20-22, 2025., VOLUME: 2, PAGES: 534-541
137
TITLE: Segmentation of coronary calcifications with a domain knowledge-based lightweight 3D convolutional neural network Full Text
AUTHORS: Rui Santos; Rui Castro; Rubén Baeza; Fábio Nunes; Vítor Manuel Filipe; Francesco Renna ; Hugo Paredes ; Ricardo Fontes Carvalho; João Pedrosa;
PUBLISHED: 2025, SOURCE: Comput. Biol. Medicine, VOLUME: 196, PAGES: 110798
AUTHORS: Rui Santos; Rui Castro; Rubén Baeza; Fábio Nunes; Vítor Manuel Filipe; Francesco Renna ; Hugo Paredes ; Ricardo Fontes Carvalho; João Pedrosa;
PUBLISHED: 2025, SOURCE: Comput. Biol. Medicine, VOLUME: 196, PAGES: 110798
INDEXED IN: DBLP CrossRef
DBLP CrossRef138
TITLE: Studying and Improving Graph Neural Network-based Motif Estimation
AUTHORS: Pedro C Vieira; Miguel E P Silva ; Pedro Manuel Pinto Ribeiro ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.15709
AUTHORS: Pedro C Vieira; Miguel E P Silva ; Pedro Manuel Pinto Ribeiro ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.15709
INDEXED IN: DBLP
DBLP139
TITLE: Swin Transformer Applied to Breast MRI Super-Resolution in a Cross-Cohort Dataset
AUTHORS: Sousa, Pedro ; Sousa, Henrique; Pereira, Tania ; Batista, Eva; Gouveia, Pedro; Oliveira, Helder P. ;
PUBLISHED: 2025, SOURCE: 38th International Symposium on Computer Based Medical Systems-CBMS-Annual in 2025 IEEE 38TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, CBMS, PAGES: 127-132
AUTHORS: Sousa, Pedro ; Sousa, Henrique; Pereira, Tania ; Batista, Eva; Gouveia, Pedro; Oliveira, Helder P. ;
PUBLISHED: 2025, SOURCE: 38th International Symposium on Computer Based Medical Systems-CBMS-Annual in 2025 IEEE 38TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, CBMS, PAGES: 127-132
140
TITLE: Tempo: ML-KEM to PAKE Compiler Resilient to Timing Attacks
AUTHORS: Afonso Arriaga; Manuel Barbosa ; Stanislaw Jarecki;
PUBLISHED: 2025, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2025, PAGES: 1399
AUTHORS: Afonso Arriaga; Manuel Barbosa ; Stanislaw Jarecki;
PUBLISHED: 2025, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2025, PAGES: 1399
INDEXED IN: DBLP
DBLP