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: 9193
535 Team MembersFilters -> Year: 2026
121
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
122
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 DBLP123
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
124
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
DBLP125
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
DBLP126
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: 32nd ACM SIGSAC Conference on Computer and Communications Security, CCS 2025 in 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: 32nd ACM SIGSAC Conference on Computer and Communications Security, CCS 2025 in Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, PAGES: 1409-1423
127
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
128
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
129
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
130
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 CrossRef131
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
132
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 CrossRef133
TITLE: Coastal Crete: A Digital Twin of the Ocean for Oil Spill Identification and Forecasting
AUTHORS: Metheniti, Vassiliki; Parasyris, Antonios; Fazzini, Noemi; Outmani, Sabrina; Correia, Miguel; Goddard, Jonny; Alexandrakis, George; Kozyrakis, Georgios V.; Vettorello, Laura; Keeble, Simon; Oliveira, Marco A. ; Quarta, Maria Luisa; Kampanis, Nikolaos;
PUBLISHED: 2025, SOURCE: 2025 OCEANS-Annual in OCEANS 2025 BREST, PAGES: 1-8
AUTHORS: Metheniti, Vassiliki; Parasyris, Antonios; Fazzini, Noemi; Outmani, Sabrina; Correia, Miguel; Goddard, Jonny; Alexandrakis, George; Kozyrakis, Georgios V.; Vettorello, Laura; Keeble, Simon; Oliveira, Marco A. ; Quarta, Maria Luisa; Kampanis, Nikolaos;
PUBLISHED: 2025, SOURCE: 2025 OCEANS-Annual in OCEANS 2025 BREST, PAGES: 1-8
134
TITLE: Code change and smell techniques for regression test selection Full Text
AUTHORS: Mori, Allan; Paiva, Ana C. R. ; Souza, Simone R. S.;
PUBLISHED: 2025, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, ISSUE: 1, PAGES: 11
AUTHORS: Mori, Allan; Paiva, Ana C. R. ; Souza, Simone R. S.;
PUBLISHED: 2025, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, ISSUE: 1, PAGES: 11
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP135
TITLE: Collaborating with Algorithms: AI for Collaborative Supply Chain Management
AUTHORS: Couto, Fábio ; Mariana Curado Malta ; António Lucas Soares ;
PUBLISHED: 2025, SOURCE: IFIP advances in information and communication technology, PAGES: 185-200
AUTHORS: Couto, Fábio ; Mariana Curado Malta ; António Lucas Soares ;
PUBLISHED: 2025, SOURCE: IFIP advances in information and communication technology, PAGES: 185-200
INDEXED IN: CrossRef 
Unpaywall
CrossRef Unpaywall136
TITLE: Community-based voting approach to enhance the spreading dynamics by identifying a group of influential spreaders in complex networks
AUTHORS: Nandi, Suman; Malta, Mariana Curado ; Maji, Giridhar; Dutta, Animesh;
PUBLISHED: 2025, SOURCE: JOURNAL OF COMPUTATIONAL SCIENCE, VOLUME: 86, PAGES: 102540
AUTHORS: Nandi, Suman; Malta, Mariana Curado ; Maji, Giridhar; Dutta, Animesh;
PUBLISHED: 2025, SOURCE: JOURNAL OF COMPUTATIONAL SCIENCE, VOLUME: 86, PAGES: 102540
137
TITLE: Comparative insights into semantic archival modelling: evaluating RiC-O and ArchOnto representation capabilities
AUTHORS: Giagnolini, Lucia; Koch, Ines ; Tomasi, Francesca; Teixeira Lopes, Carla ;
PUBLISHED: 2025, SOURCE: JOURNAL OF DOCUMENTATION, VOLUME: 81, ISSUE: 4, PAGES: 1003-1031
AUTHORS: Giagnolini, Lucia; Koch, Ines ; Tomasi, Francesca; Teixeira Lopes, Carla ;
PUBLISHED: 2025, SOURCE: JOURNAL OF DOCUMENTATION, VOLUME: 81, ISSUE: 4, PAGES: 1003-1031
138
TITLE: Comparison of two problem transformation-based methods in detecting the best performing branch-and-bound procedures for the RCPSP Full Text
AUTHORS: Guo, WK; Vanhoucke, M; Coelho, J ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 281, PAGES: 127383
AUTHORS: Guo, WK; Vanhoucke, M; Coelho, J ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 281, PAGES: 127383
139
TITLE: Competitive and Cooperative Player-Oriented GWAPs for Enhancing Crowdsourcing Campaigns - An Evidence-Based Synthesis Full Text
AUTHORS: Guimaraes, Diogo; Correia, Antonio ; Paulino, Dennis ; Paredes, Hugo;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION, PAGES: 1-27
AUTHORS: Guimaraes, Diogo; Correia, Antonio ; Paulino, Dennis ; Paredes, Hugo;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION, PAGES: 1-27
140
TITLE: CompRep: A Dataset For Computational Reproducibility
AUTHORS: Costa, Lazaro; Barbosa, Susana; Cunha, Jacome ;
PUBLISHED: 2025, SOURCE: 3rd Conference on Reproducibility and Replicability-REP in PROCEEDINGS OF THE 3RD ACM CONFERENCE ON REPRODUCIBILITY AND REPLICABILITY, ACM REP 2025, VOLUME: abs/2504.08684, PAGES: 168-178
AUTHORS: Costa, Lazaro; Barbosa, Susana; Cunha, Jacome ;
PUBLISHED: 2025, SOURCE: 3rd Conference on Reproducibility and Replicability-REP in PROCEEDINGS OF THE 3RD ACM CONFERENCE ON REPRODUCIBILITY AND REPLICABILITY, ACM REP 2025, VOLUME: abs/2504.08684, PAGES: 168-178
