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

43 Team Members
Filters -> Year: 2025
41
TITLE: Enhancing Portuguese Variety Identification with Cross-Domain Approaches
AUTHORS: Sousa, Hugo; Almeida, Ruben; Silvano, Purificacao; Cantante, Ines; 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: 25192-25200
INDEXED IN: Scopus WOS DBLP CrossRef
42
TITLE: Evaluating Short Text Stream Clustering on Large E-commerce Datasets
AUTHORS: Andrade, Cesar; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2025, SOURCE: 34th Brazilian Conference on Intelligent Systems in INTELLIGENT SYSTEMS, BRACIS 2024, PT III, VOLUME: 15414, PAGES: 245-259
INDEXED IN: Scopus WOS DBLP CrossRef: 1
43
TITLE: EVSOAR: Security Orchestration, Automation and Response via EV Charging Stations
AUTHORS: Tadeu Freitas; Erick Silva; Rehana Yasmin; Ali Shoker; Manuel Eduardo Correia ; Rolando Martins ; Paulo Jorge Esteves Veríssimo;
PUBLISHED: 2025, SOURCE: 101st IEEE Vehicular Technology Conference, VTC Spring 2025, Oslo, Norway, June 17-20, 2025, PAGES: 1-7
INDEXED IN: DBLP Unpaywall
44
TITLE: Exploiting Trusted Execution Environments and Distributed Computation for Genomic Association Tests  Full Text
AUTHORS: Claudia V Brito ; Pedro G Ferreira ; Joao T Paulo ;
PUBLISHED: 2025, SOURCE: IEEE Journal of Biomedical and Health Informatics, PAGES: 1-8
INDEXED IN: Scopus CrossRef Unpaywall
45
TITLE: Extending the Quantitative Pattern-Matching Paradigm
AUTHORS: Alves, Sandra ; Kesner, Delia; Ramos, Miguel ;
PUBLISHED: 2025, SOURCE: 22nd Asian Symposium on Programming Languages and Systems in PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2024, VOLUME: 15194, PAGES: 84-105
INDEXED IN: Scopus WOS DBLP CrossRef: 1
46
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
47
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
48
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
49
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
50
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
51
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
52
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: 1 Unpaywall
53
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
54
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
55
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
56
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
57
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
58
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
59
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
60
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

Results per Page: 20.
Page 3 of 138. Total results: 2757.