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: 9209
530 Team MembersFilters -> Year: 2025
101
TITLE: Beyond the Hands: Evaluating the Usability of Hands-Free Methods and Controllers for Menu Selection During an Immersive VR Experience Full Text
AUTHORS: Monteiro, Pedro ; Peixoto, Bruno; Goncalves, Guilherme ; Coelho, Hugo; Barbosa, Luis ; Melo, Miguel ; Bessa, Maximino ;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION, PAGES: 1-38
AUTHORS: Monteiro, Pedro ; Peixoto, Bruno; Goncalves, Guilherme ; Coelho, Hugo; Barbosa, Luis ; Melo, Miguel ; Bessa, Maximino ;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION, PAGES: 1-38
102
TITLE: Blockchain governance: reducing trusted third parties with Decred project
AUTHORS: Marcelo Martins; Pedro Campos ; Isabel Mota;
PUBLISHED: 2025, SOURCE: International Journal of Information Technology and Management, VOLUME: 24, ISSUE: 1-2, PAGES: 162-189
AUTHORS: Marcelo Martins; Pedro Campos ; Isabel Mota;
PUBLISHED: 2025, SOURCE: International Journal of Information Technology and Management, VOLUME: 24, ISSUE: 1-2, PAGES: 162-189
103
TITLE: Blockchain hybrid-model scheme for scalable cross-domain authorisation
AUTHORS: Munkenyi Mukhandi; Jorge Granjal; João Vilela ;
PUBLISHED: 2025, SOURCE: Blockchain: Research and Applications, VOLUME: 6, ISSUE: 4, PAGES: 100293
AUTHORS: Munkenyi Mukhandi; Jorge Granjal; João Vilela ;
PUBLISHED: 2025, SOURCE: Blockchain: Research and Applications, VOLUME: 6, ISSUE: 4, PAGES: 100293
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef104
TITLE: Bridging resource theory and quantum key distribution: geometric analysis and statistical testing Full Text
AUTHORS: D'Urbano, Andrea; de Oliveira, Michael; Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: QUANTUM INFORMATION PROCESSING, VOLUME: 24, ISSUE: 9, PAGES: 289
AUTHORS: D'Urbano, Andrea; de Oliveira, Michael; Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: QUANTUM INFORMATION PROCESSING, VOLUME: 24, ISSUE: 9, PAGES: 289
INDEXED IN: Scopus 
WOS 
DBLP
Scopus WOS DBLP105
TITLE: Bridging the gaps: an updated mapping of the uses of immersive learning environments Full Text
AUTHORS: Morgado, Leonel ; Beck, Dennis; O'Shea, Patrick;
PUBLISHED: 2025, SOURCE: VIRTUAL REALITY, VOLUME: 29, ISSUE: 3, PAGES: 134
AUTHORS: Morgado, Leonel ; Beck, Dennis; O'Shea, Patrick;
PUBLISHED: 2025, SOURCE: VIRTUAL REALITY, VOLUME: 29, ISSUE: 3, PAGES: 134
106
TITLE: Budget-Constrained Collaborative Renewable Energy Forecasting Market Full Text
AUTHORS: Goncalves, Carla ; Bessa, Ricardo J. ; Teixeira, Tiago ; Vinagre, Joao ;
PUBLISHED: 2025, SOURCE: IEEE TRANSACTIONS ON SUSTAINABLE ENERGY, VOLUME: 16, ISSUE: 2, PAGES: 1440-1452
AUTHORS: Goncalves, Carla ; Bessa, Ricardo J. ; Teixeira, Tiago ; Vinagre, Joao ;
PUBLISHED: 2025, SOURCE: IEEE TRANSACTIONS ON SUSTAINABLE ENERGY, VOLUME: 16, ISSUE: 2, PAGES: 1440-1452
107
TITLE: Budget-constrained Collaborative Renewable Energy Forecasting Market
AUTHORS: Carla Gonçalves; Ricardo J Bessa; Tiago Teixeira; João Vinagre ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2501.12367
AUTHORS: Carla Gonçalves; Ricardo J Bessa; Tiago Teixeira; João Vinagre ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2501.12367
INDEXED IN: DBLP
DBLP108
TITLE: C'est Tres CHIC: A Compact Password-Authenticated Key Exchange from Lattice-Based KEM
AUTHORS: Arriaga, Afonso; Barbosa, Manuel ; Jarecki, Stanislaw; Skrobot, Marjan;
PUBLISHED: 2025, SOURCE: 30th International Conference on the Theory and Application of Cryptology and Information Security in ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT V, VOLUME: 15488, PAGES: 3-33
AUTHORS: Arriaga, Afonso; Barbosa, Manuel ; Jarecki, Stanislaw; Skrobot, Marjan;
PUBLISHED: 2025, SOURCE: 30th International Conference on the Theory and Application of Cryptology and Information Security in ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT V, VOLUME: 15488, PAGES: 3-33
109
TITLE: Can ChatGPT Suggest Patterns? An Exploratory Study About Answers Given by AI-Assisted Tools to Design Problems
AUTHORS: Maranhao Junior, Joao Jose; Correia, Filipe F. ; Guerra, Eduardo Martins;
PUBLISHED: 2025, SOURCE: 25th International Conference on Agile Software Development (XP) in AGILE PROCESSES IN SOFTWARE ENGINEERING AND EXTREME PROGRAMMING-WORKSHOPS, XP 2024 WORKSHOPS, VOLUME: 524, PAGES: 130-138
AUTHORS: Maranhao Junior, Joao Jose; Correia, Filipe F. ; Guerra, Eduardo Martins;
PUBLISHED: 2025, SOURCE: 25th International Conference on Agile Software Development (XP) in AGILE PROCESSES IN SOFTWARE ENGINEERING AND EXTREME PROGRAMMING-WORKSHOPS, XP 2024 WORKSHOPS, VOLUME: 524, PAGES: 130-138
110
TITLE: Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
AUTHORS: Carolina Carreira; Álvaro F Silva; Alexandre Abreu; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025 in CoRR, VOLUME: abs/2506.22370, PAGES: 203-220
AUTHORS: Carolina Carreira; Álvaro F Silva; Alexandre Abreu; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025 in CoRR, VOLUME: abs/2506.22370, PAGES: 203-220
INDEXED IN: Scopus DBLP
Scopus DBLP111
TITLE: Can Llama 3 Accurately Assess Readability? A Comparative Study Using Lead Sections from Wikipedia
AUTHORS: Rodrigues, Jose Frederico; Cardoso, Henrique Lopes; Lopes, Carla Teixeira ;
PUBLISHED: 2025, SOURCE: 19th International Conference on Research Challenges in Information Science-RCIS-Annual in RESEARCH CHALLENGES IN INFORMATION SCIENCE, RCIS 2025, PT II, VOLUME: 548, PAGES: 89-97
AUTHORS: Rodrigues, Jose Frederico; Cardoso, Henrique Lopes; Lopes, Carla Teixeira ;
PUBLISHED: 2025, SOURCE: 19th International Conference on Research Challenges in Information Science-RCIS-Annual in RESEARCH CHALLENGES IN INFORMATION SCIENCE, RCIS 2025, PT II, VOLUME: 548, PAGES: 89-97
112
TITLE: Can We Trust AI Benchmarks? An Interdisciplinary Review of Current Issues in AI Evaluation
AUTHORS: Maria Eriksson; Erasmo Purificato; Arman Noroozian; João Vinagre ; Guillaume Chaslot; Emilia Gómez; David Fernández Llorca;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2502.06559
AUTHORS: Maria Eriksson; Erasmo Purificato; Arman Noroozian; João Vinagre ; Guillaume Chaslot; Emilia Gómez; David Fernández Llorca;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2502.06559
INDEXED IN: DBLP
DBLP113
TITLE: CART-based Synthetic Tabular Data Generation for Imbalanced Regression
AUTHORS: António Pedro Pinheiro; Rita P Ribeiro ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.02811
AUTHORS: António Pedro Pinheiro; Rita P Ribeiro ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.02811
INDEXED IN: DBLP
DBLP114
TITLE: CCS25 - Artifact for "Jazzline: Composable CryptoLine functional correctness proofs for Jasmin programs"
AUTHORS: José Bacelar Almeida; Manuel Barbosa ; Gilles BARTHE; Lionel Blatter; João Diogo Duarte; Gustavo Xavier Delerue Marinho Alves; Benjamin Grégoire; Tiago Oliveira; Miguel Quaresma; Pierre Yves Strub; Ming Hsien Tsai; Bow Yaw Wang; Bo Yin Yang;
PUBLISHED: 2025, SOURCE: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, PAGES: 1409-1423
AUTHORS: José Bacelar Almeida; Manuel Barbosa ; Gilles BARTHE; Lionel Blatter; João Diogo Duarte; Gustavo Xavier Delerue Marinho Alves; Benjamin Grégoire; Tiago Oliveira; Miguel Quaresma; Pierre Yves Strub; Ming Hsien Tsai; Bow Yaw Wang; Bo Yin Yang;
PUBLISHED: 2025, SOURCE: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, PAGES: 1409-1423
INDEXED IN: DBLP CrossRef
DBLP CrossRef115
TITLE: Characterising Class Imbalance in Transportation Mode Detection: An Experimental Study
AUTHORS: Muhammad, Akilu Rilwan; Aguiar, Ana ; Mendes Moreira, Joao ;
PUBLISHED: 2025, SOURCE: 25th International Conference on Intelligent Data Engineering and Automated Learning in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2024, PT II, VOLUME: 15347, PAGES: 58-70
AUTHORS: Muhammad, Akilu Rilwan; Aguiar, Ana ; Mendes Moreira, Joao ;
PUBLISHED: 2025, SOURCE: 25th International Conference on Intelligent Data Engineering and Automated Learning in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2024, PT II, VOLUME: 15347, PAGES: 58-70
116
TITLE: Chronotype, Lifestyles, and Anthropometric and Biochemical Indices for Cardiovascular Risk Assessment Among Obese Individuals Full Text
AUTHORS: Rabaca Alexandre, Margarida; Poinhos, Rui; Oliveira, Bruno M. P. M. ; Correia, Flora;
PUBLISHED: 2025, SOURCE: NUTRIENTS, VOLUME: 17, ISSUE: 11, PAGES: 1858
AUTHORS: Rabaca Alexandre, Margarida; Poinhos, Rui; Oliveira, Bruno M. P. M. ; Correia, Flora;
PUBLISHED: 2025, SOURCE: NUTRIENTS, VOLUME: 17, ISSUE: 11, PAGES: 1858
117
TITLE: Class-Imbalanced Learning on Graphs: A Survey
AUTHORS: Yihong Ma; Yijun Tian; Nuno Moniz ; Nitesh V Chawla;
PUBLISHED: 2025, SOURCE: ACM Comput. Surv., VOLUME: 57, ISSUE: 8, PAGES: 207:1-207:16
AUTHORS: Yihong Ma; Yijun Tian; Nuno Moniz ; Nitesh V Chawla;
PUBLISHED: 2025, SOURCE: ACM Comput. Surv., VOLUME: 57, ISSUE: 8, PAGES: 207:1-207:16
118
TITLE: Classification for a folded von Mises-Fisher distribution
AUTHORS: Adelaide Figueiredo ; Fernanda Figueiredo ;
PUBLISHED: 2025, SOURCE: Research in Statistics, VOLUME: 3, ISSUE: 1
AUTHORS: Adelaide Figueiredo ; Fernanda Figueiredo ;
PUBLISHED: 2025, SOURCE: Research in Statistics, VOLUME: 3, ISSUE: 1
INDEXED IN: Scopus CrossRef
Scopus CrossRef119
TITLE: CLEF 2025 JOKER Lab: Humour in the Machine
AUTHORS: Liana Ermakova; Anne Gwenn Bosser; Tristan Miller; Ricardo Campos ;
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: 389-397
AUTHORS: Liana Ermakova; Anne Gwenn Bosser; Tristan Miller; Ricardo Campos ;
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: 389-397
120
TITLE: Clustering and Classification of Compositional Data Using Distributions Defined on the Hypersphere
AUTHORS: Adelaide Figueiredo ;
PUBLISHED: 2025, SOURCE: 26th Congress of the Portuguese Statistical Society, SPE 2023 in Springer Proceedings in Mathematics and Statistics, VOLUME: 469, PAGES: 423-435
AUTHORS: Adelaide Figueiredo ;
PUBLISHED: 2025, SOURCE: 26th Congress of the Portuguese Statistical Society, SPE 2023 in Springer Proceedings in Mathematics and Statistics, VOLUME: 469, PAGES: 423-435
INDEXED IN: Scopus CrossRef
Scopus CrossRef