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

43 Team Members
Filters -> Year: 2025
61
TITLE: Formally Verifying Kyber Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt. Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt
AUTHORS: Almeida, Jose Bacelar ; Olmos, Santiago Arranz; Barbosa, Manuel ; Barthe, Gilles; Dupressoir, Francois; Gregoire, Benjamin; Laporte, Vincent; Lechenet, Jean Christophe; Low, Cameron; Oliveira, Tiago; Pacheco, Hugo ; Quaresma, Miguel; Schwabe, Peter; Strub, Pierre Yves;
PUBLISHED: 2024, SOURCE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921, PAGES: 384-421
INDEXED IN: Scopus WOS DBLP CrossRef
62
TITLE: Foundational Models for Pathology and Endoscopy Images: Application for Gastric Inflammation  Full Text
AUTHORS: Kerdegari, Hamideh; Higgins, Kyle; Veselkov, Dennis; Laponogov, Ivan; Polaka, Inese; Coimbra, Miguel ; Pescino, Junior Andrea; Leja, Marcis; Dinis Ribeiro, Mario; Fleitas Kanonnikoff, Tania; Veselkov, Kirill;
PUBLISHED: 2024, SOURCE: DIAGNOSTICS, VOLUME: 14, ISSUE: 17, PAGES: 1912
INDEXED IN: Scopus WOS DBLP CrossRef
63
TITLE: From fault detection to anomaly explanation: A case study on predictive maintenance  Full Text
AUTHORS: Gama, Joao ; Ribeiro, Rita P. ; Mastelini, Saulo; Davari, Narjes ; Veloso, Bruno ;
PUBLISHED: 2024, SOURCE: JOURNAL OF WEB SEMANTICS, VOLUME: 81, PAGES: 100821
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
64
TITLE: HAL 9000: a Risk Manager for ITSs
AUTHORS: Tadeu Freitas ; Carlos Novo; João Soares; Inês Dutra ; Manuel E. Correia ; Behnam Shariati; Rolando Martins ;
PUBLISHED: 2024, SOURCE: 5th IEEE International Conference on Trust, Privacy and Security in Intelligent Systems and Applications, TPS-ISA 2023, Atlanta, GA, USA, November 1-4, 2023, PAGES: 322-331
INDEXED IN: DBLP
65
TITLE: Hardware Security for Internet of Things Identity Assurance  Full Text
AUTHORS: Cirne, Andre ; Sousa, Patricia R.; Resende, Joao S. ; Antunes, Luis ;
PUBLISHED: 2024, SOURCE: IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, VOLUME: 26, ISSUE: 2, PAGES: 1041-1079
INDEXED IN: Scopus WOS DBLP CrossRef: 4 Unpaywall
66
TITLE: Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
AUTHORS: Vasconcelos, Pedro ; Marques, Rodrigo;
PUBLISHED: 2024, SOURCE: 17th International Symposium on Haskell (Haskell) in PROCEEDINGS OF THE 17TH ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON HASKELL, HASKELL 2024, VOLUME: 6, PAGES: 1-13
INDEXED IN: Scopus WOS CrossRef
67
TITLE: Heterogeneity in families with ATTRV30M amyloidosis: a historical and longitudinal Portuguese case study impact for genetic counselling  Full Text
AUTHORS: Pedroto, Maria ; Coelho, Teresa; Fernandes, Joana; Oliveira, Alexandra; Jorge, Alipio ; Mendes Moreira, Joao ;
PUBLISHED: 2024, SOURCE: AMYLOID-JOURNAL OF PROTEIN FOLDING DISORDERS, VOLUME: 31, ISSUE: 3, PAGES: 168-178
INDEXED IN: Scopus WOS CrossRef Unpaywall
68
TITLE: Improving Endoscopy Lesion Classification Using Self-Supervised Deep Learning
AUTHORS: Inês Lopes; Maria Vakalopoulou; Enzo Ferrante; Diogo Libânio; Mário Dinis Ribeiro; Miguel Tavares Coimbra ; Francesco Renna ;
PUBLISHED: 2024, SOURCE: 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2024, Orlando, FL, USA, July 15-19, 2024, PAGES: 1-4
INDEXED IN: Scopus DBLP CrossRef Unpaywall
69
TITLE: Indexing Portuguese NLP Resources with PT-Pump-Up
AUTHORS: Rúben Almeida; Ricardo Campos ; Alípio Jorge ; Sérgio Nunes ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2401.15400
INDEXED IN: DBLP
70
TITLE: Instance-based meta-learning for conditionally dependent univariate multi-step forecasting  Full Text
AUTHORS: Vitor Cerqueira; Luis Torgo ; Gianluca Bontempi;
PUBLISHED: 2024, SOURCE: International Journal of Forecasting, VOLUME: 40, ISSUE: 4, PAGES: 1507-1520
INDEXED IN: CrossRef: 2
71
TITLE: Instance-wise Uncertainty for Class Imbalance in Semantic Segmentation
AUTHORS: Luís Almeida; Inês Dutra ; Francesco Renna;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2407.12609
INDEXED IN: DBLP
72
TITLE: Integration of multi-modal datasets to estimate human aging  Full Text
AUTHORS: Ribeiro, Rogerio; Moraes, Athos; Moreno, Marta; Ferreira, Pedro G. ;
PUBLISHED: 2024, SOURCE: MACHINE LEARNING, VOLUME: 113, ISSUE: 10, PAGES: 7293-7317
INDEXED IN: Scopus WOS CrossRef Unpaywall
73
TITLE: Keywords attention for fake news detection using few positive labels  Full Text
AUTHORS: de Souza, Mariana Caravanti; Golo, Marcos Paulo Silva; Jorge, Alipio Mario Guedes ; de Amorim, Evelin Carvalho Freire ; Campos, Ricardo Nuno Taborda ; Marcacini, Ricardo Marcondes; Rezende, Solange Oliveira;
PUBLISHED: 2024, SOURCE: INFORMATION SCIENCES, VOLUME: 663, PAGES: 120300
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Unpaywall
74
TITLE: Kumon-Inspired Approach to Teaching Programming Fundamentals
AUTHORS: Ivone Amorim; Pedro B Vasconcelos ; João Pedro Pedroso ;
PUBLISHED: 2024, SOURCE: 5th International Computer Programming Education Conference, ICPEC 2024 in 5th International Computer Programming Education Conference, ICPEC 2024, June 27-28, 2024, Lisbon, Portugal, VOLUME: 122, PAGES: 5:1-5:13
INDEXED IN: Scopus DBLP
75
TITLE: Lightweight 3D CNN for the Segmentation of Coronary Calcifications and Calcium Scoring
AUTHORS: Santos, Rui; Baeza, Ruben; Filipe, Vitor Manuel; Renna, Francesco ; Paredes, Hugo ; Pedrosa, Joao ;
PUBLISHED: 2024, SOURCE: IEEE 22nd Mediterranean Electrotechnical Conference (MELECON) in 2024 IEEE 22ND MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, MELECON 2024, PAGES: 346-351
INDEXED IN: Scopus WOS CrossRef Unpaywall
76
TITLE: MARS: Safely Instrumenting Runtime Monitors in Real-Time Resource-Constrained Distributed Systems
AUTHORS: Giann Spilere Nandi; David Pereira; José Proença ; Eduardo Tovar;
PUBLISHED: 2024, SOURCE: 22nd IEEE International Conference on Industrial Informatics, INDIN 2024 in 22nd IEEE International Conference on Industrial Informatics, INDIN 2024, Beijing, China, August 18-20, 2024, PAGES: 1-8
INDEXED IN: Scopus DBLP
77
TITLE: Message from the VERDI Workshop Chairs; DSN-W 2024
AUTHORS: David Pereira; José Proença ; Behrooz Sangchoolie;
PUBLISHED: 2024, SOURCE: 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2024 - Workshops, Brisbane, Australia, June 24-27, 2024
INDEXED IN: DBLP
78
TITLE: More (Enough) Is Better: Towards Few-Shot Illegal Landfill Waste Segmentation
AUTHORS: Matías Molina; Bruno Veloso ; Carlos Abreu Ferreira ; Rita P Ribeiro ; João Gama ;
PUBLISHED: 2024, SOURCE: 27th European Conference on Artificial Intelligence, ECAI 2024 in ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain - Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024), VOLUME: 392, PAGES: 4547-4554
INDEXED IN: Scopus DBLP CrossRef
79
TITLE: Multilayer quantile graph for multivariate time series analysis and dimensionality reduction
AUTHORS: Silva, Vanessa Freitas ; Silva, Maria Eduarda ; Ribeiro, Pedro ; Silva, Fernando ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS, VOLUME: abs/2311.11849
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
80
TITLE: On the difference set of two transductions  Full Text
AUTHORS: Konstantinidis, Stavros; Moreira, Nelma ; Reis, Rogerio ; Sebej, Juraj;
PUBLISHED: 2024, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 1016, PAGES: 114780
INDEXED IN: WOS DBLP

Results per Page: 20.
Page 4 of 134. Total results: 2662.