Department of Computer Science (DCC)
Departamento de Ciências dos Computadores

University of Porto (UP) :: Faculty of Sciences (FCUP)

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 2739

43 Team Members
Filters -> Year: 2025
81
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
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
82
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
INDEXED IN: DBLP
83
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
INDEXED IN: Scopus WOS CrossRef
84
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
INDEXED IN: Scopus DBLP CrossRef
85
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
INDEXED IN: DBLP CrossRef
86
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
INDEXED IN: DBLP
87
TITLE: Swin Transformer Applied to Breast MRI Super-Resolution in a Cross-Cohort Dataset
AUTHORS: Pedro Sousa ; Henrique Sousa; Tânia Pereira ; Eva Batista; Pedro Gouveia; Hélder P Oliveira ;
PUBLISHED: 2025, SOURCE: 38th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2025 in 38th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2025, Madrid, Spain, June 18-20, 2025, PAGES: 1-6
INDEXED IN: Scopus DBLP CrossRef
88
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
INDEXED IN: DBLP
89
TITLE: The 8th International Workshop on Narrative Extraction from Texts: Text2Story 2025
AUTHORS: Ricardo Campos; Alípio Jorge ; Adam Jatowt; Sumit Bhatia; Marina Litvak;
PUBLISHED: 2025, SOURCE: 47th European Conference on Information Retrieval, ECIR 2025 in Advances in Information Retrieval - 47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6-10, 2025, Proceedings, Part V, VOLUME: 15576, PAGES: 345-351
INDEXED IN: Scopus DBLP CrossRef
90
TITLE: The CAOS framework for Scala: Computer-aided design of SOS
AUTHORS: Proenca, Jose ; Edixhoven, Luc;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PAGES: 103222
INDEXED IN: Scopus WOS DBLP CrossRef: 1
91
TITLE: The molecular impact of cigarette smoking resembles aging across tissues  Full Text
AUTHORS: Jose Miguel Ramirez; Rogério Ribeiro; Oleksandra Soldatkina; Athos Moraes; Raquel García-Pérez; Pedro G Ferreira ; Marta Melé;
PUBLISHED: 2025, SOURCE: GENOME MEDICINE, VOLUME: 17, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 3
92
TITLE: Tradutor: Building a Variety Specific Translation Model
AUTHORS: Sousa, Hugo; Almasian, Satya; Campos, Ricardo; Jorge, Alipio ;
PUBLISHED: 2025, SOURCE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 24, VOLUME: 39, ISSUE: 24, PAGES: 25183-25191
INDEXED IN: Scopus WOS DBLP CrossRef
93
TITLE: Two-Word Shuffle: Some Results
AUTHORS: Duarte, Guilherme; 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: 79-93
INDEXED IN: Scopus WOS DBLP CrossRef
94
TITLE: Using LLMs to Generate Patient Journeys in Portuguese: an Experiment PDF
AUTHORS: Tahsir Ahmed Munna; Ana Luísa Fernandes; Purificação Silvano; Nuno Guimarães ; Alípio Jorge;
PUBLISHED: 2025, SOURCE: 8th International Workshop on Narrative Extraction From Texts, Text2Story 2025 in Proceedings of Text2Story - Eighth Workshop on Narrative Extraction From Texts held in conjunction with the 47th European Conference on Information Retrieval (ECIR 2025), Lucca, Italy, April 10, 2025., VOLUME: 3964, PAGES: 161-173
INDEXED IN: Scopus DBLP
95
TITLE: WiFi-Based Location Tracking: A Still Open Door on Laptops
AUTHORS: Cunha, Mariana; Mendes, Ricardo; de Montjoye, Yves Alexandre; Vilela, Joao P. ;
PUBLISHED: 2025, SOURCE: IEEE OPEN JOURNAL OF THE COMPUTER SOCIETY, VOLUME: 6, PAGES: 822-833
INDEXED IN: Scopus WOS CrossRef
96
TITLE: 13th Symposium on Languages, Applications and Technologies, SLATE 2024, July 4-5, 2024, Águeda, Portugal
AUTHORS: Mário Rodrigues; José Paulo Leal ; Filipe, Portela ;
PUBLISHED: 2024, SOURCE: 13th Symposium on Languages, Applications and Technologies, SLATE 2024 in SLATE, VOLUME: 120
INDEXED IN: Scopus DBLP
97
TITLE: <i>Physio</i>: An LLM-Based Physiotherapy Advisor
AUTHORS: Almeida, Ruben; Sousa, Hugo ; Cunha, Luis F. ; Guimaraes, Nuno ; Campos, Ricardo ; Jorge, Alipio ;
PUBLISHED: 2024, SOURCE: 46th European Conference on Information Retrieval (ECIR) in ADVANCES IN INFORMATION RETRIEVAL, ECIR 2024, PT V, VOLUME: 14612, PAGES: 189-193
INDEXED IN: Scopus WOS DBLP CrossRef: 2
98
TITLE: A Comparative Study of Feature-Based and End-to-End Approaches for Lung Nodule Classification in CT Volumes to Lung-RADS Follow-up Recommendation
AUTHORS: Ferreira, Carlos A. ; Ramos, Isabel; Coimbra, Miguel ; Campilho, Aurelio ;
PUBLISHED: 2024, SOURCE: IEEE 22nd Mediterranean Electrotechnical Conference (MELECON) in 2024 IEEE 22ND MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, MELECON 2024, PAGES: 340-345
INDEXED IN: Scopus WOS CrossRef
100
TITLE: A Neuro-Symbolic Explainer for Rare Events: A Case Study on Predictive Maintenance
AUTHORS: João Gama ; Rita P Ribeiro ; Saulo Martiello Mastelini; Narjes Davari; Bruno Veloso ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2404.14455
INDEXED IN: DBLP

Results per Page: 20.
Page 5 of 137. Total results: 2739.