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

43 Team Members
Filters -> Year: 2025
61
TITLE: Fast Computation of the Discrete Fourier Transform Square Index Coefficients  Full Text
AUTHORS: Saulo Queiroz; João Vilela ; Edmundo Monteiro; Xingyu Li;
PUBLISHED: 2025, SOURCE: IEEE SIGNAL PROCESSING MAGAZINE, VOLUME: 42, ISSUE: 2, PAGES: 88-92
INDEXED IN: Scopus WOS CrossRef: 1
62
TITLE: Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt
AUTHORS: Almeida, Jose Bacelar ; Alves, Gustavo Xavier Delerue Marinho; Barbosa, Manuel ; Barthe, Gilles; Esquivel, Luis; Hwang, Vincent; Oliveira, Tiago; Pacheco, Hugo ; Schwabe, Peter; Strub, Pierre Yves;
PUBLISHED: 2025, SOURCE: 2025 Symposium on Security and Privacy-SP in 2025 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, SP, PAGES: 3820-3838
INDEXED IN: Scopus WOS DBLP
63
TITLE: FC Portugal: RoboCup 2024 3D Simulation League Champions
AUTHORS: Miguel Abreu; Pedro Mota; Tomás Azevedo; Francisco Silva; Luís Paulo Reis; Nuno Lau; Mário Florido ;
PUBLISHED: 2025, SOURCE: 27th RoboCup International Symposium, 2024 in Lecture Notes in Computer Science, VOLUME: 15570 LNAI, PAGES: 411-423
INDEXED IN: Scopus CrossRef Unpaywall
64
TITLE: Formally Verified Correctness Bounds for Lattice-Based Cryptography
AUTHORS: Manuel Barbosa ; Matthias J Kannwischer; Thing Han Lim; Peter Schwabe; Pierre Yves Strub;
PUBLISHED: 2025, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2025, PAGES: 1562
INDEXED IN: DBLP
65
TITLE: FRaN-X: FRaming and Narratives-eXplorer
AUTHORS: Artur Muratov; Hana Fatima Shaikh; Vanshikaa Jani; Tarek Mahmoud; Zhuohan Xie; Daniil Orel; Aaryamonvikram Singh; Yuxia Wang; Aadi Joshi; Hasan Iqbal; Ming Shan Hee; Dhruv Sahnan; Nikolaos Nikolaidis; Purificação Silvano; Dimitar Dimitrov; Roman Yangarber; Ricardo Campos ; Alípio Jorge ; Nuno Guimarães ; Elisa Sartori; Nicolas Stefanovitch; Giovanni Da San Martino; Jakub Piskorski; Preslav Nakov; ...More
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.06974
INDEXED IN: DBLP
66
TITLE: Function-Oriented Programming Attacks on ARM Cortex-M Processors
AUTHORS: Cirne, Andre ; Sousa, Patricia R.; Antunes, Luis ; Resende, Joao S. ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 161844-161853
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
67
TITLE: GANs in the Panorama of Synthetic Data Generation Methods. Application and Evaluation: Enhancing Fake News Detection with GAN-Generated Synthetic Data  Full Text
AUTHORS: Vaz, Bruno; Figueira, Alvaro ;
PUBLISHED: 2025, SOURCE: ACM TRANSACTIONS ON MULTIMEDIA COMPUTING COMMUNICATIONS AND APPLICATIONS, VOLUME: 21, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 11 Unpaywall
68
TITLE: Generative adversarial networks with fully connected layers to denoise PPG signals  Full Text
AUTHORS: Castro, Itzel A. Avila; Oliveira, Helder P. ; Correia, Ricardo; Hayes Gill, Barrie; Morgan, Stephen P.; Korposh, Serhiy; Gomez, David; Pereira, Tania ;
PUBLISHED: 2025, SOURCE: PHYSIOLOGICAL MEASUREMENT, VOLUME: 13, ISSUE: 2, PAGES: 025008
INDEXED IN: Scopus WOS CrossRef
69
TITLE: Geo-Indistinguishability
AUTHORS: Ricardo Mendes; João Vilela ;
PUBLISHED: 2025, SOURCE: Encyclopedia of Cryptography, Security and Privacy, Third Edition, PAGES: 1010-1012
INDEXED IN: Scopus CrossRef Unpaywall
70
TITLE: Human Experts vs. Large Language Models: Evaluating Annotation Scheme and Guidelines Development for Clinical Narratives PDF
AUTHORS: Ana Luísa Fernandes; Purificação Silvano; Nuno Guimarães ; Rita Rb Silva; Tahsir Ahmed Munna; Luís Filipe Cunha ; Antonio Leal; Ricardo Campos ; 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: 149-160
INDEXED IN: Scopus DBLP
71
TITLE: ICDAR 2025 Competition on Automatic Classification of Literary Epochs
AUTHORS: Irina Rabaev; Marina Litvak; Roza Bass; Ricardo Campos ; Alípio M Jorge ; Adam Jatowt;
PUBLISHED: 2025, SOURCE: 19th International Conference on Document Analysis and Recognition, ICDAR 2025 in Document Analysis and Recognition - ICDAR 2025 - 19th International Conference, Wuhan, China, September 16-21, 2025, Proceedings, Part V, VOLUME: 16027, PAGES: 537-552
INDEXED IN: Scopus DBLP CrossRef
72
TITLE: Improving customer retention in taxi industry using travel data analytics: A churn prediction study
AUTHORS: Loureiro, ALD; Miguéis, VL ; Álvaro Costa ; Michel Ferreira;
PUBLISHED: 2025, SOURCE: Journal of Retailing and Consumer Services, VOLUME: 85, PAGES: 104288
INDEXED IN: Scopus CrossRef Unpaywall
73
TITLE: Incremental Repair Feedback on Automated Assessment of Programming Assignments  Full Text
AUTHORS: Paiva, Jose Carlos; Leal, Jose Paulo ; Figueira, Alvaro ;
PUBLISHED: 2025, SOURCE: ELECTRONICS, VOLUME: 14, ISSUE: 4, PAGES: 819
INDEXED IN: Scopus WOS CrossRef
74
TITLE: Integrating Automated Perforator Analysis for Breast Reconstruction in Medical Imaging Workflow
AUTHORS: Frias, Jose; Romariz, Miguel ; Ferreira, Ricardo; Pereira, Tania; Oliveira, Helder P. ; Santinha, Joao; Pinto, David; Gouveia, Pedro; Silva, Luis Bastiao; Costa, Carlos;
PUBLISHED: 2025, SOURCE: 10th International Conference on Universal Access in Human Computer Interaction-UAHCI in UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION, UAHCI 2025, PT I, VOLUME: 15780, PAGES: 56-66
INDEXED IN: Scopus WOS DBLP CrossRef
75
TITLE: Introduction to the Special Collection from FACS 2022  Full Text
AUTHORS: Tarifa, Silvia Lizeth Tapia; Proenca, Jose ; Oliveira, Jose ;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 2, PAGES: 10:1-10:2
INDEXED IN: Scopus WOS DBLP CrossRef
76
TITLE: Knowledge-Aware Clinical Narrative Extraction Using Ontologies and Knowledge Graphs
AUTHORS: Maria Leite; Rita Rb Silva; Nuno Guimarães ; Lise Stork; Alípio Jorge ;
PUBLISHED: 2025, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part I, VOLUME: 16121, PAGES: 26-41
INDEXED IN: Scopus DBLP CrossRef
77
TITLE: L-GTA: Latent Generative Modeling for Time Series Augmentation
AUTHORS: Luis Roque; Carlos Soares ; Vítor Cerqueira; Luís Torgo ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.23615
INDEXED IN: DBLP
78
TITLE: Language Quotients Revisited
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2025, SOURCE: Int. J. Found. Comput. Sci., VOLUME: 36, ISSUE: 3, PAGES: 371-391
INDEXED IN: Scopus DBLP CrossRef
79
TITLE: Large Language Model Framework for Log Sequence Anomaly Detection
AUTHORS: João Reis; Miguel Areias ; Jorge G Barbosa;
PUBLISHED: 2025, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part I, VOLUME: 16121, PAGES: 324-334
INDEXED IN: Scopus DBLP
80
TITLE: Leveraging LLMs to Improve Human Annotation Efficiency with INCEpTION
AUTHORS: Luís Filipe Cunha ; Nana Yu; Purificação Silvano; Ricardo Campos ; Alípio Jorge ;
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: 53-58
INDEXED IN: Scopus DBLP CrossRef

Results per Page: 20.
Page 4 of 140. Total results: 2785.