CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 10669
535 Team MembersFilters -> Year: 2026
301
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
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP302
TITLE: Fed-VFDT: Federated Very Fast Decision Trees with Coordinated Splitting Over Data Streams Full Text
AUTHORS: Paula Raissa Silva ; João Vinagre; João Gama ;
PUBLISHED: 2025, SOURCE: ICTAI, PAGES: 653-660
AUTHORS: Paula Raissa Silva ; João Vinagre; João Gama ;
PUBLISHED: 2025, SOURCE: ICTAI, PAGES: 653-660
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef303
TITLE: FGPE - An Evolving Framework for Gamified Programming Learning
AUTHORS: Queiros, Ricardo ; Swacha, Jakub; Damasevicius, Robertas; Maskeliunas, Rytis;
PUBLISHED: 2025, SOURCE: 4th International Conference on Advanced Research in Technologies Information Innovation and Sustainability-ARTIIS-Annual in ADVANCED RESEARCH IN TECHNOLOGIES, INFORMATION, INNOVATION AND SUSTAINABILITY, ARTIIS 2024 INTERNATIONAL WORKSHOPS, PT I, VOLUME: 2348, PAGES: 313-323
AUTHORS: Queiros, Ricardo ; Swacha, Jakub; Damasevicius, Robertas; Maskeliunas, Rytis;
PUBLISHED: 2025, SOURCE: 4th International Conference on Advanced Research in Technologies Information Innovation and Sustainability-ARTIIS-Annual in ADVANCED RESEARCH IN TECHNOLOGIES, INFORMATION, INNOVATION AND SUSTAINABILITY, ARTIIS 2024 INTERNATIONAL WORKSHOPS, PT I, VOLUME: 2348, PAGES: 313-323
304
TITLE: Fine-Tuning Transformer-Based LLMs in Hierarchical Text Classification
AUTHORS: Joana Santos; Nuno Silva ; Carlos Ferreira ; João Gama ;
PUBLISHED: 2025, SOURCE: 28th International Conference on Discovery Science, DS 2025 in Discovery Science - 28th International Conference, DS 2025, Ljubljana, Slovenia, September 23-25, 2025, Proceedings, VOLUME: 16090, PAGES: 427-442
AUTHORS: Joana Santos; Nuno Silva ; Carlos Ferreira ; João Gama ;
PUBLISHED: 2025, SOURCE: 28th International Conference on Discovery Science, DS 2025 in Discovery Science - 28th International Conference, DS 2025, Ljubljana, Slovenia, September 23-25, 2025, Proceedings, VOLUME: 16090, PAGES: 427-442
305
TITLE: First Twenty Years of the International Symposium on Applied Reconfigurable Computing (ARC): A Selection of Papers
AUTHORS: João M P Cardoso ; Walid A Najjar;
PUBLISHED: 2025, SOURCE: 21st International Symposium on Applied Reconfigurable Computing, ARC 2025 in Applied Reconfigurable Computing. Architectures, Tools, and Applications - 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings, VOLUME: 15594, PAGES: 3-12
AUTHORS: João M P Cardoso ; Walid A Najjar;
PUBLISHED: 2025, SOURCE: 21st International Symposium on Applied Reconfigurable Computing, ARC 2025 in Applied Reconfigurable Computing. Architectures, Tools, and Applications - 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings, VOLUME: 15594, PAGES: 3-12
306
TITLE: Fish swarm parameter self-tuning for data streams Full Text
AUTHORS: Veloso, Bruno ; Amorim Neto, Hugo; Buarque, Fernando; Gama, Joao ;
PUBLISHED: 2025, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 40, ISSUE: 1, PAGES: 3
AUTHORS: Veloso, Bruno ; Amorim Neto, Hugo; Buarque, Fernando; Gama, Joao ;
PUBLISHED: 2025, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 40, ISSUE: 1, PAGES: 3
307
TITLE: FOMO as a Trigger to Embrace the Digital Nomad Lifestyle
AUTHORS: Marcos Antonio de Almeida; Mariangela Gomes de Souza Nascimento; António Correia ; Carlos Eduardo Barbosa; Jano Moreira de Souza; Daniel Schneider;
PUBLISHED: 2025, SOURCE: 2025 28th International Conference on Computer Supported Cooperative Work in Design (CSCWD), PAGES: 2177-2183
AUTHORS: Marcos Antonio de Almeida; Mariangela Gomes de Souza Nascimento; António Correia ; Carlos Eduardo Barbosa; Jano Moreira de Souza; Daniel Schneider;
PUBLISHED: 2025, SOURCE: 2025 28th International Conference on Computer Supported Cooperative Work in Design (CSCWD), PAGES: 2177-2183
INDEXED IN: CrossRef
CrossRef308
TITLE: Forecasting with Deep Learning: Beyond Average of Average of Average Performance
AUTHORS: Cerqueira, Vitor ; Roque, Luis; Soares, Carlos ;
PUBLISHED: 2025, SOURCE: 27th International Conference on Discovery Science in DISCOVERY SCIENCE, DS 2024, PT I, VOLUME: 15243, PAGES: 135-149
AUTHORS: Cerqueira, Vitor ; Roque, Luis; Soares, Carlos ;
PUBLISHED: 2025, SOURCE: 27th International Conference on Discovery Science in DISCOVERY SCIENCE, DS 2024, PT I, VOLUME: 15243, PAGES: 135-149
309
TITLE: Foreword to the special section on recent advances in graphics and interaction (RAGI 2024)
AUTHORS: Marto, Anabela; Campos, Jose Creissac ; Johnsen, Kyle;
PUBLISHED: 2025, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 130, PAGES: 104263
AUTHORS: Marto, Anabela; Campos, Jose Creissac ; Johnsen, Kyle;
PUBLISHED: 2025, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 130, PAGES: 104263
310
TITLE: Formal Approaches for Interactive Systems
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2025, SOURCE: Handbook of Human Computer Interaction, PAGES: 1-28
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2025, SOURCE: Handbook of Human Computer Interaction, PAGES: 1-28
INDEXED IN: CrossRef
CrossRef311
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: 32nd ACM SIGSAC Conference on Computer and Communications Security, CCS 2025 in CCS, PAGES: 156-169
AUTHORS: Manuel Barbosa ; Matthias J Kannwischer; Thing Han Lim; Peter Schwabe; Pierre Yves Strub;
PUBLISHED: 2025, SOURCE: 32nd ACM SIGSAC Conference on Computer and Communications Security, CCS 2025 in CCS, PAGES: 156-169
INDEXED IN: Scopus DBLP
Scopus DBLP312
TITLE: FRAMEWORK PEDAGÓGICO NO PARADIGMA DA EDUCAÇÃO ONLIFE: uma proposta para Auditoria Governamental
AUTHORS: Lindomar Júnior Fonseca Alves; Carlos Alberto Diehl; Eliane Schlemmer ; Danielle Martins Leite Fernandes Lima; Elisangela Santos da Silva Boose;
PUBLISHED: 2025, SOURCE: TICs & EaD em Foco, VOLUME: 11, ISSUE: 1, PAGES: 6-23
AUTHORS: Lindomar Júnior Fonseca Alves; Carlos Alberto Diehl; Eliane Schlemmer ; Danielle Martins Leite Fernandes Lima; Elisangela Santos da Silva Boose;
PUBLISHED: 2025, SOURCE: TICs & EaD em Foco, VOLUME: 11, ISSUE: 1, PAGES: 6-23
INDEXED IN: CrossRef
CrossRef313
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
DBLP314
TITLE: From "Worse is Better" to Better: Lessons from a Mixed Methods Study of Ansible's Challenges
AUTHORS: Carolina Carreira; Nuno Saavedra; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.08678
AUTHORS: Carolina Carreira; Nuno Saavedra; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.08678
INDEXED IN: DBLP
DBLP315
TITLE: From data to action: How AI and learning analytics are shaping the future of distance education. How AI and Learning Analytics Are Shaping the Future of Distance Education
AUTHORS: João Tiago Dias; Arnaldo Santos ; Henrique São Mamede ;
PUBLISHED: 2025, SOURCE: AI and Learning Analytics in Distance Learning, PAGES: 229-252
AUTHORS: João Tiago Dias; Arnaldo Santos ; Henrique São Mamede ;
PUBLISHED: 2025, SOURCE: AI and Learning Analytics in Distance Learning, PAGES: 229-252
316
TITLE: FROM THE IMAGE OF THE MOLECULE TO THE MOLECULE OF THE IMAGE: EXPLORING DIANNE IVERGLYNNE'S METHODS WITH A ONLINE PLATFORM FOR THE PRODUCTION OF ECOLOGICAL IMAGES
AUTHORS: Tiago Assis; Tiago Pinho; Luis Trigo ; Hugo Reis; Alexandre Valle;
PUBLISHED: 2025, SOURCE: EDULEARN Proceedings - EDULEARN25 Proceedings, VOLUME: 1, PAGES: 2897-2902
AUTHORS: Tiago Assis; Tiago Pinho; Luis Trigo ; Hugo Reis; Alexandre Valle;
PUBLISHED: 2025, SOURCE: EDULEARN Proceedings - EDULEARN25 Proceedings, VOLUME: 1, PAGES: 2897-2902
INDEXED IN: CrossRef
CrossRef317
TITLE: Frontiers of the Past in the Digital World: Multidisciplinary Collaboration in the 3D Reconstitution of Medieval Border Towns
AUTHORS: Lacet, Demetrius; Cuesta Gomez, Fabian; Prata, Sara; Trindade, Luisa; da Silva, Gonralo Melo; Costa, Adelaide; Van Zeller, Maria ; Morgado, Leonel ; Coelho, Antonio ; Alves, Tiago; Filipe, Joao;
PUBLISHED: 2025, SOURCE: 2025 Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops-VRW in 2025 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS, VRW, PAGES: 421-429
AUTHORS: Lacet, Demetrius; Cuesta Gomez, Fabian; Prata, Sara; Trindade, Luisa; da Silva, Gonralo Melo; Costa, Adelaide; Van Zeller, Maria ; Morgado, Leonel ; Coelho, Antonio ; Alves, Tiago; Filipe, Joao;
PUBLISHED: 2025, SOURCE: 2025 Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops-VRW in 2025 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS, VRW, PAGES: 421-429
318
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
319
TITLE: GAMFLEW: serious game to teach white-box testing
AUTHORS: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra ;
PUBLISHED: 2025, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, ISSUE: 1, PAGES: 5
AUTHORS: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra ;
PUBLISHED: 2025, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, ISSUE: 1, PAGES: 5
320
TITLE: Gamification in Digital Marketing for Boosting Tourist Destination Competitiveness: A Case Study
AUTHORS: Garcia, Jorge Esparteiro ; Pereira, Bruno; Sousa, Bruno; Fonseca, Manuel Jose;
PUBLISHED: 2025, SOURCE: 2024 International Conference on Marketing and Technologies-ICMarkTech in MARKETING AND SMART TECHNOLOGIES, ICMARKTECH 2024, VOL 2, VOLUME: 439, PAGES: 381-397
AUTHORS: Garcia, Jorge Esparteiro ; Pereira, Bruno; Sousa, Bruno; Fonseca, Manuel Jose;
PUBLISHED: 2025, SOURCE: 2024 International Conference on Marketing and Technologies-ICMarkTech in MARKETING AND SMART TECHNOLOGIES, ICMARKTECH 2024, VOL 2, VOLUME: 439, PAGES: 381-397
