Department of Computer Science (DCC)
Departamento de Ciências dos Computadores
AuthID: I-000-0JZ
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
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!
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!
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!
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: 2858
47 Team MembersFilters -> Year: 2026
101
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
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
102
TITLE: EVSOAR: Security Orchestration, Automation and Response via EV Charging Stations
AUTHORS: Freitas, Tadeu; Silva, Erick; Yasmin, Rehana; Shoker, Ali; Correia, Manuel E. ; Martins, Rolando ; Esteves Verissimo, Paulo;
PUBLISHED: 2025, SOURCE: 101st Vehicular Technology Conference-VTC-Annual in 2025 IEEE 101ST VEHICULAR TECHNOLOGY CONFERENCE, VTC2025-SPRING, PAGES: 1-7
AUTHORS: Freitas, Tadeu; Silva, Erick; Yasmin, Rehana; Shoker, Ali; Correia, Manuel E. ; Martins, Rolando ; Esteves Verissimo, Paulo;
PUBLISHED: 2025, SOURCE: 101st Vehicular Technology Conference-VTC-Annual in 2025 IEEE 101ST VEHICULAR TECHNOLOGY CONFERENCE, VTC2025-SPRING, PAGES: 1-7
103
TITLE: Exploring Mutation Testing for Teaching Introductory Programming Full Text
AUTHORS: Pedro Vasconcelos ;
PUBLISHED: 2025, PAGES: 8 pages, 567652 bytes
AUTHORS: Pedro Vasconcelos ;
PUBLISHED: 2025, PAGES: 8 pages, 567652 bytes
INDEXED IN: 
DataCite
DataCite104
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
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
105
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
AUTHORS: Saulo Queiroz; João Vilela ; Edmundo Monteiro; Xingyu Li;
PUBLISHED: 2025, SOURCE: IEEE SIGNAL PROCESSING MAGAZINE, VOLUME: 42, ISSUE: 2, PAGES: 88-92
106
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
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
107
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
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
108
TITLE: Formally Verified Correctness Bounds for Lattice-Based Cryptography
AUTHORS: Barbosa, Manuel ; Kannwischer, Matthias J.; Lim, Thing han; Schwabe, Peter; Strub, Pierre Yves;
PUBLISHED: 2025, SOURCE: 32nd Conference on Computer and Communications Security-CCS in PROCEEDINGS OF THE 2025 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2025, PAGES: 156-169
AUTHORS: Barbosa, Manuel ; Kannwischer, Matthias J.; Lim, Thing han; Schwabe, Peter; Strub, Pierre Yves;
PUBLISHED: 2025, SOURCE: 32nd Conference on Computer and Communications Security-CCS in PROCEEDINGS OF THE 2025 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2025, PAGES: 156-169
109
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; ...More
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.06974
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; ...More
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.06974
INDEXED IN: 
DBLP
DBLP110
TITLE: From Pixels to Pathways: AI-Based Approaches for Multimodal Lung Cancer Classification
AUTHORS: Sofia Gonçalves; Joana Vale Sousa; Margarida Gouveia ; Maria Amaro; Hélder P Oliveira ; Tania Pereira ;
PUBLISHED: 2025, SOURCE: 2025 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), PAGES: 5830-5837
AUTHORS: Sofia Gonçalves; Joana Vale Sousa; Margarida Gouveia ; Maria Amaro; Hélder P Oliveira ; Tania Pereira ;
PUBLISHED: 2025, SOURCE: 2025 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), PAGES: 5830-5837
INDEXED IN: 
CrossRef 
Unpaywall
CrossRef Unpaywall111
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
AUTHORS: Cirne, Andre ; Sousa, Patricia R.; Antunes, Luis ; Resende, Joao S. ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 161844-161853
112
TITLE: Fusion Strategies for Breast Cancer Characterization Using Traditional and Deep Learning Models Full Text
AUTHORS: Pedro Vitor Lima ; Jaime S Cardoso ; Hélder P Oliveira ;
PUBLISHED: 2025, SOURCE: 25th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2025 in BIBE, PAGES: 516-520
AUTHORS: Pedro Vitor Lima ; Jaime S Cardoso ; Hélder P Oliveira ;
PUBLISHED: 2025, SOURCE: 25th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2025 in BIBE, PAGES: 516-520
113
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
AUTHORS: Vaz, Bruno; Figueira, Alvaro ;
PUBLISHED: 2025, SOURCE: ACM TRANSACTIONS ON MULTIMEDIA COMPUTING COMMUNICATIONS AND APPLICATIONS, VOLUME: 21, ISSUE: 1
114
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
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
115
TITLE: Geo-Indistinguishability
AUTHORS: Ricardo Mendes; João Vilela ;
PUBLISHED: 2025, SOURCE: Encyclopedia of Cryptography, Security and Privacy, Third Edition, PAGES: 1010-1012
AUTHORS: Ricardo Mendes; João Vilela ;
PUBLISHED: 2025, SOURCE: Encyclopedia of Cryptography, Security and Privacy, Third Edition, PAGES: 1010-1012
116
TITLE: Histogram approaches for imbalanced data streams regression Full Text
AUTHORS: Aminian, Ehsan; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2025, SOURCE: MACHINE LEARNING, VOLUME: 114, ISSUE: 12, PAGES: 274
AUTHORS: Aminian, Ehsan; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2025, SOURCE: MACHINE LEARNING, VOLUME: 114, ISSUE: 12, PAGES: 274
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP117
TITLE: Human Experts vs. Large Language Models: Evaluating Annotation Scheme and Guidelines Development for Clinical Narratives
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: Text2Story@ECIR, VOLUME: 3964, PAGES: 149-160
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: Text2Story@ECIR, VOLUME: 3964, PAGES: 149-160
INDEXED IN: Scopus DBLP
Scopus DBLP118
TITLE: Impact of Preprocessing on the Performance of Heart Sound Segmentation
AUTHORS: Daniel Proano Guevara ; Hugo Placido Da Silva; Francesco Renna ;
PUBLISHED: 2025, SOURCE: 8th IEEE Portuguese Meeting on Bioengineering, ENBENG 2025 in IEEE Portuguese Meeting on Bioengineering, ENBENG, ISSUE: 2025, PAGES: 45-48
AUTHORS: Daniel Proano Guevara ; Hugo Placido Da Silva; Francesco Renna ;
PUBLISHED: 2025, SOURCE: 8th IEEE Portuguese Meeting on Bioengineering, ENBENG 2025 in IEEE Portuguese Meeting on Bioengineering, ENBENG, ISSUE: 2025, PAGES: 45-48
119
TITLE: Impact of the Input Representation on Pulmonary Hypertension Detection from Heart Sounds through CNNs
AUTHORS: Noemi Giordano; Alex Gaudio; Samuel Schmidt; Francesco Renna ;
PUBLISHED: 2025, SOURCE: 52nd International Computing in Cardiology, CinC 2025 in Computing in Cardiology, VOLUME: 52
AUTHORS: Noemi Giordano; Alex Gaudio; Samuel Schmidt; Francesco Renna ;
PUBLISHED: 2025, SOURCE: 52nd International Computing in Cardiology, CinC 2025 in Computing in Cardiology, VOLUME: 52
120
TITLE: Improving customer retention in taxi industry using travel data analytics: A churn prediction study Full Text
AUTHORS: Loureiro, A. L. D. ; Migueis, V. L. ; Álvaro Costa ; Ferreira, Michel ;
PUBLISHED: 2025, SOURCE: JOURNAL OF RETAILING AND CONSUMER SERVICES, VOLUME: 85, PAGES: 104288
AUTHORS: Loureiro, A. L. D. ; Migueis, V. L. ; Álvaro Costa ; Ferreira, Michel ;
PUBLISHED: 2025, SOURCE: JOURNAL OF RETAILING AND CONSUMER SERVICES, VOLUME: 85, PAGES: 104288
