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: 10592
535 Team MembersFilters -> Year: 2026
161
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: CoRR, VOLUME: abs/2506.22370, PAGES: 203-220
AUTHORS: Carolina Carreira; Álvaro F Silva; Alexandre Abreu; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.22370, PAGES: 203-220
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP162
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
163
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
DBLP164
TITLE: CapyMOA: Efficient Machine Learning for Data Streams in Python
AUTHORS: Heitor Murilo Gomes; Anton Lee; Nuwan Gunasekara; Yibin Sun; Guilherme Weigert Cassales; Justin Liu; Marco Heyden; Vítor Cerqueira ; Maroua Bahri; Yun Sing Koh; Bernhard Pfahringer; Albert Bifet;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2502.07432
AUTHORS: Heitor Murilo Gomes; Anton Lee; Nuwan Gunasekara; Yibin Sun; Guilherme Weigert Cassales; Justin Liu; Marco Heyden; Vítor Cerqueira ; Maroua Bahri; Yun Sing Koh; Bernhard Pfahringer; Albert Bifet;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2502.07432
INDEXED IN: DBLP
DBLP165
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
DBLP166
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
167
TITLE: Challenges in Artificial Intelligence and Business: An Ethical Perspective
AUTHORS: Nelson deMatos; Belem Barbosa ; Marisol B Correia;
PUBLISHED: 2025, SOURCE: Contributions to management science, PAGES: 17-39
AUTHORS: Nelson deMatos; Belem Barbosa ; Marisol B Correia;
PUBLISHED: 2025, SOURCE: Contributions to management science, PAGES: 17-39
INDEXED IN: 
CrossRef 
Unpaywall
CrossRef Unpaywall168
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
169
TITLE: Charting a course at the human–AI frontier: a paradigm matrix informed by social sciences and humanities Full Text
AUTHORS: Ramon Chaves; Carlos Eduardo Barbosa; Gustavo Araujo de Oliveira; Alan Lyra; Matheus Argôlo; Herbert Salazar; Yuri Lima; Daniel Schneider; António Correia ; Jano Moreira de Souza;
PUBLISHED: 2025, SOURCE: AI & SOCIETY
AUTHORS: Ramon Chaves; Carlos Eduardo Barbosa; Gustavo Araujo de Oliveira; Alan Lyra; Matheus Argôlo; Herbert Salazar; Yuri Lima; Daniel Schneider; António Correia ; Jano Moreira de Souza;
PUBLISHED: 2025, SOURCE: AI & SOCIETY
170
TITLE: Cherry-Picking in Time Series Forecasting: How to Select Datasets to Make Your Model Shine
AUTHORS: Roque, Luis; Cerqueira, Vitor ; Soares, Carlos; Torgo, Luis ;
PUBLISHED: 2025, SOURCE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 19, VOLUME: 39, ISSUE: 19, PAGES: 20192-20199
AUTHORS: Roque, Luis; Cerqueira, Vitor ; Soares, Carlos; Torgo, Luis ;
PUBLISHED: 2025, SOURCE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 19, VOLUME: 39, ISSUE: 19, PAGES: 20192-20199
171
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
172
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
173
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 CrossRef174
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
175
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
176
TITLE: Co-Creation Method for Fostering Cultural Tourism Impact
AUTHORS: Pasandideh, Shabnam; Martins, Joao; Pereira, Pedro ; Gandini, Alessandra; De la Cal, Mikel Zubiaga; Kalvet, Tarmo; Koor, Tatjana; Sopelana, Amaia; de Aguileta, Amaia Lopez;
PUBLISHED: 2025, SOURCE: 2023 International Conference on Cultural Tourism Advances in ADVANCES IN CULTURAL TOURISM RESEARCH, ICCT 2023, PAGES: 35-46
AUTHORS: Pasandideh, Shabnam; Martins, Joao; Pereira, Pedro ; Gandini, Alessandra; De la Cal, Mikel Zubiaga; Kalvet, Tarmo; Koor, Tatjana; Sopelana, Amaia; de Aguileta, Amaia Lopez;
PUBLISHED: 2025, SOURCE: 2023 International Conference on Cultural Tourism Advances in ADVANCES IN CULTURAL TOURISM RESEARCH, ICCT 2023, PAGES: 35-46
INDEXED IN: 
WOS CrossRef
WOS CrossRef177
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
178
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 DBLP179
TITLE: Cognitive Ethical Design and Evaluation of Productive Reinforcing Spiral Model to Mitigate the Challenge of Extreme Polarization
AUTHORS: Ana Paula Camargo Pimentel; Claudia Motta; António Correia ; Jano Moreira De Souza; Daniel Schneider;
PUBLISHED: 2025, SOURCE: 2025 28th International Conference on Computer Supported Cooperative Work in Design (CSCWD), PAGES: 2410-2416
AUTHORS: Ana Paula Camargo Pimentel; Claudia Motta; António Correia ; Jano Moreira De Souza; Daniel Schneider;
PUBLISHED: 2025, SOURCE: 2025 28th International Conference on Computer Supported Cooperative Work in Design (CSCWD), PAGES: 2410-2416
INDEXED IN: CrossRef
CrossRef180
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 Unpaywall