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: 2862

46 Team Members
Filters -> Year: 2026
24
TITLE: Preface
AUTHORS: Rita Ribeiro ; Nathalie Japkowicz; Alípio Mário Jorge; Carlos Soares; Pedro Henriques Abreu; Bernhard Pfahringer; João P Gama; Pedro Larrañaga; Castro Dutra; Mykola Pechenizkiy; Sepideh Pashami; Paulo Cortez ;
PUBLISHED: 2026, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2025 in Lecture Notes in Computer Science, VOLUME: 16014 LNCS
INDEXED IN: Scopus
25
TITLE: Preface
AUTHORS: José Proença ; Raul Fervari; Manuel António Martins ; Reinhard Kahle; Graham Pluck;
PUBLISHED: 2026, SOURCE: 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, Collocated Workshops, International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications, ReacTS 2024 and 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2024 in Lecture Notes in Computer Science, VOLUME: 15551 LNCS
INDEXED IN: Scopus
27
TITLE: Synthetic Time Series Generation via Complex Networks PDF
AUTHORS: Jaime Vale; Vanessa Freitas Silva ; Maria Eduarda Silva ; Fernando Silva ;
PUBLISHED: 2026
INDEXED IN: arXiv DataCite
28
TITLE: A Comparative Analysis of Centralized and Federated Learning for Multimodal ECG and PCG Classification
AUTHORS: Martim G Silva; Bruno Oliveira; Miguel Coimbra; Francesco Renna ; Alexandre Valle de Carvalho;
PUBLISHED: 2025, SOURCE: Annual International Conference of the IEEE Engineering in Medicine and Biology Society IEEE Engineering in Medicine and Biology Society Annual International Conference, VOLUME: 2025, PAGES: 1-4
INDEXED IN: Scopus CrossRef Unpaywall
29
TITLE: A Label Propagation Approach for Missing Data Imputation
AUTHORS: Loyola Lopes, Filipe; Dantas Mangussi, Arthur; Cardoso Pereira, Ricardo; Seoane Santos, Miriam ; Henriques Abreu, Pedro ; Carolina Lorena, Ana;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 65925-65938
INDEXED IN: Scopus WOS DBLP CrossRef
30
TITLE: A quantitative approach to global state composition
AUTHORS: Alves, Sandra ; Kesner, Delia; Ramos, Miguel ;
PUBLISHED: 2025, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 35
INDEXED IN: Scopus WOS CrossRef
31
TITLE: A Risk Manager for Intrusion Tolerant Systems: Enhancing HAL 9000 With New Scoring and Data Sources  Full Text
AUTHORS: Freitas, Tadeu; Novo, Carlos; Dutra, Ines ; Soares, Joao; Correia, Manuel E. ; Shariati, Benham; Martins, Rolando ;
PUBLISHED: 2025, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 55, ISSUE: 12, PAGES: 1915-1930
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
32
TITLE: A sleek lock-free hash map in an ERA of safe memory reclamation methods  Full Text
AUTHORS: Moreno, Pedro ; Miguel Areias ; Rocha, Ricardo ;
PUBLISHED: 2025, SOURCE: PARALLEL COMPUTING, VOLUME: 126, PAGES: 103162
INDEXED IN: Scopus WOS DBLP CrossRef
33
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
INDEXED IN: Scopus WOS DBLP CrossRef
34
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
INDEXED IN: Scopus WOS DBLP CrossRef
35
TITLE: Active Attribute Inference Against Well-Generalized Models In Federated Learning
AUTHORS: Gomes, Catarina; Mendes, Ricardo; Vilela, Joao P. ;
PUBLISHED: 2025, SOURCE: 10th European Symposium on Security and Privacy-EUROSANDP-Annual in 2025 IEEE 10TH EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, EUROS&P, PAGES: 17-37
INDEXED IN: Scopus WOS CrossRef: 1
36
TITLE: AdhesionScore: A Prognostic Predictor of Breast Cancer Patients Based on a Cell Adhesion-Associated Gene Signature  Full Text
AUTHORS: Esquivel, Catarina; Ribeiro, Rogerio; Ribeiro, Ana Sofia; Ferreira, Pedro G. ; Paredes, Joana;
PUBLISHED: 2025, SOURCE: CANCERS, VOLUME: 17, ISSUE: 23, PAGES: 3731
INDEXED IN: Scopus WOS CrossRef
37
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
INDEXED IN: Scopus DBLP CrossRef
38
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
INDEXED IN: Scopus WOS DBLP CrossRef
39
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
INDEXED IN: Scopus DBLP CrossRef: 1
40
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
INDEXED IN: Scopus WOS DBLP CrossRef: 4

Results per Page: 20.
Page 2 of 144. Total results: 2862.