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: 10646
536 Team MembersFilters -> Year: 2026
261
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: Ccs 2025 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: Ccs 2025 Proceedings of the 2025 ACM Sigsac Conference on Computer and Communications Security, PAGES: 1409-1423
262
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 Unpaywall263
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
264
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 De Oliveira Lyra; Matheus Margarido Argôlo; Herbert Salazar; Yuri Lima; Daniel Schneider; António Correia ; Jano Moreira de Souza;
PUBLISHED: 2025, SOURCE: AI Soc., VOLUME: 40, ISSUE: 7, PAGES: 5167-5180
AUTHORS: Ramon Chaves; Carlos Eduardo Barbosa; Gustavo Araujo de Oliveira; Alan De Oliveira Lyra; Matheus Margarido Argôlo; Herbert Salazar; Yuri Lima; Daniel Schneider; António Correia ; Jano Moreira de Souza;
PUBLISHED: 2025, SOURCE: AI Soc., VOLUME: 40, ISSUE: 7, PAGES: 5167-5180
265
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
266
TITLE: Chronotype, Lifestyles, and Anthropometric and Biochemical Indices for Cardiovascular Risk Assessment Among Obese Individuals Full Text
AUTHORS: Rabaca Alexandre, Margarida; Rui Poínhos; Oliveira, Bruno M. P. M. ; Correia, Flora;
PUBLISHED: 2025, SOURCE: NUTRIENTS, VOLUME: 17, ISSUE: 11, PAGES: 1858
AUTHORS: Rabaca Alexandre, Margarida; Rui Poínhos; Oliveira, Bruno M. P. M. ; Correia, Flora;
PUBLISHED: 2025, SOURCE: NUTRIENTS, VOLUME: 17, ISSUE: 11, PAGES: 1858
267
TITLE: CityLearn v2: energy-flexible, resilient, occupant-centric, and carbon-aware management of grid-interactive communities
AUTHORS: Nweye, Kingsley; Kaspar, Kathryn; Buscemi, Giacomo; Fonseca, Tiago; Pinto, Giuseppe; Ghose, Dipanjan; Duddukuru, Satvik; Pratapa, Pavani; Li, Han; Mohammadi, Javad; Ferreira, Luis Lino ; Hong, Tianzhen; Ouf, Mohamed; Capozzoli, Alfonso; Nagy, Zoltan;
PUBLISHED: 2025, SOURCE: JOURNAL OF BUILDING PERFORMANCE SIMULATION, VOLUME: 18, ISSUE: 1, PAGES: 17-38
AUTHORS: Nweye, Kingsley; Kaspar, Kathryn; Buscemi, Giacomo; Fonseca, Tiago; Pinto, Giuseppe; Ghose, Dipanjan; Duddukuru, Satvik; Pratapa, Pavani; Li, Han; Mohammadi, Javad; Ferreira, Luis Lino ; Hong, Tianzhen; Ouf, Mohamed; Capozzoli, Alfonso; Nagy, Zoltan;
PUBLISHED: 2025, SOURCE: JOURNAL OF BUILDING PERFORMANCE SIMULATION, VOLUME: 18, ISSUE: 1, PAGES: 17-38
268
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
269
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 CrossRef270
TITLE: CLEF 2025 JOKER Lab: Humour in the Machine
AUTHORS: Liana Ermakova; Anne Gwenn Bosser; Tristan Miller; Ricardo Campos ;
PUBLISHED: 2025, SOURCE: ECIR (5), VOLUME: 15576 LNCS, PAGES: 389-397
AUTHORS: Liana Ermakova; Anne Gwenn Bosser; Tristan Miller; Ricardo Campos ;
PUBLISHED: 2025, SOURCE: ECIR (5), VOLUME: 15576 LNCS, PAGES: 389-397
271
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
272
TITLE: Clustering source code from automated assessment of programming assignments
AUTHORS: Paiva, Jose Carlos ; Leal, Jose Paulo ; Figueira, Alvaro ;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS, VOLUME: 20, ISSUE: 2, PAGES: 1581-1592
AUTHORS: Paiva, Jose Carlos ; Leal, Jose Paulo ; Figueira, Alvaro ;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS, VOLUME: 20, ISSUE: 2, PAGES: 1581-1592
273
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 CrossRef274
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
275
TITLE: Code change and smell techniques for regression test selection
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 DBLP276
TITLE: Cognitive Ethical Design and Evaluation of Productive Reinforcing Spiral Model to Mitigate the Challenge of Extreme Polarization Full Text
AUTHORS: Ana Paula Camargo Pimentel; Cláudia L R Motta; António Correia ; Jano Moreira de Souza; Daniel Schneider;
PUBLISHED: 2025, SOURCE: CSCWD, PAGES: 2410-2416
AUTHORS: Ana Paula Camargo Pimentel; Cláudia L R Motta; António Correia ; Jano Moreira de Souza; Daniel Schneider;
PUBLISHED: 2025, SOURCE: CSCWD, PAGES: 2410-2416
INDEXED IN: DBLP CrossRef
DBLP CrossRef277
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
278
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
279
TITLE: Comparing Higher Education Rankings with Social Media Posting Strategies
AUTHORS: Bruna Rocha; Álvaro Figueira ;
PUBLISHED: 2025, SOURCE: 17th International Conference on Social Networks Analysis and Mining, ASONAM 2025 in ASONAM (3), VOLUME: 16324 LNCS, PAGES: 476-492
AUTHORS: Bruna Rocha; Álvaro Figueira ;
PUBLISHED: 2025, SOURCE: 17th International Conference on Social Networks Analysis and Mining, ASONAM 2025 in ASONAM (3), VOLUME: 16324 LNCS, PAGES: 476-492
280
TITLE: Comparison of two problem transformation-based methods in detecting the best performing branch-and-bound procedures for the RCPSP Full Text
AUTHORS: Guo, Weikang; Vanhoucke, Mario; Coelho, Jose ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 281, PAGES: 127383
AUTHORS: Guo, Weikang; Vanhoucke, Mario; Coelho, Jose ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 281, PAGES: 127383
