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: 2855
47 Team MembersFilters -> Year: 2026
101
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
102
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
103
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
104
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
DBLP105
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 Unpaywall106
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
107
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
108
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
109
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
110
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
111
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 DBLP112
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 DBLP113
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
114
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
115
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
116
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
AUTHORS: Paiva, Jose Carlos; Leal, Jose Paulo ; Figueira, Alvaro ;
PUBLISHED: 2025, SOURCE: ELECTRONICS, VOLUME: 14, ISSUE: 4, PAGES: 819
117
TITLE: Incrementally Learning to Segment the Lungs: Similarities and Differences Across Institutions
AUTHORS: Joana Vale Sousa ; Hélder Oliveira ; Tania Pereira ;
PUBLISHED: 2025, SOURCE: 25th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2025 in Proceedings - 2025 IEEE 25th International Conference on Bioinformatics and Bioengineering, BIBE 2025, PAGES: 183-187
AUTHORS: Joana Vale Sousa ; Hélder Oliveira ; Tania Pereira ;
PUBLISHED: 2025, SOURCE: 25th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2025 in Proceedings - 2025 IEEE 25th International Conference on Bioinformatics and Bioengineering, BIBE 2025, PAGES: 183-187
INDEXED IN: Scopus CrossRef
Scopus CrossRef118
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
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
119
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
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
120
TITLE: Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs
AUTHORS: Almeida, Jose Bacelar ; Barbosa, Manuel ; Barthe, Gilles; Blatter, Lionel; Delerue, Gustavo; Duarte, Joao Diogo; Gregoire, Benjamin; Oliveira, Tiago; Quaresma, Miguel; Strub, Pierre Yves; Tsai, Ming Hsien; Wang, Bow Yaw; Yang, Bo Yin;
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: 1409-1423
AUTHORS: Almeida, Jose Bacelar ; Barbosa, Manuel ; Barthe, Gilles; Blatter, Lionel; Delerue, Gustavo; Duarte, Joao Diogo; Gregoire, Benjamin; Oliveira, Tiago; Quaresma, Miguel; Strub, Pierre Yves; Tsai, Ming Hsien; Wang, Bow Yaw; Yang, Bo Yin;
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: 1409-1423
INDEXED IN: WOS DBLP
WOS DBLP