Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9
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: 4709
62 Team MembersFilters -> Year: 2026
101
TITLE: Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny Full Text
AUTHORS: Carolina Carreira; Álvaro F Silva; Alexandre Abreu; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: SEFM, VOLUME: 16192 LNCS, PAGES: 203-220
AUTHORS: Carolina Carreira; Álvaro F Silva; Alexandre Abreu; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: SEFM, VOLUME: 16192 LNCS, PAGES: 203-220
102
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
103
TITLE: Causal representation learning through higher-level information extraction
AUTHORS: Silva, Francisco ; Oliveira, helder P. ; Pereira, Tania ;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2, PAGES: 43:1-43:37
AUTHORS: Silva, Francisco ; Oliveira, helder P. ; Pereira, Tania ;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2, PAGES: 43:1-43:37
104
TITLE: CBVLM: Training-free explainable concept-based Large Vision Language Models for medical image classification
AUTHORS: Cristiano Patrício ; Isabel Rio Torto ; Jaime S Cardoso ; Luís F Teixeira ; João Neves;
PUBLISHED: 2025, SOURCE: Comput. Biol. Medicine, VOLUME: 198, PAGES: 111145
AUTHORS: Cristiano Patrício ; Isabel Rio Torto ; Jaime S Cardoso ; Luís F Teixeira ; João Neves;
PUBLISHED: 2025, SOURCE: Comput. Biol. Medicine, VOLUME: 198, PAGES: 111145
105
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
106
TITLE: ChatGPT as a catalyst for Critical and Creative Thinking; [ChatGPT como catalisador do Pensamento Crítico e Criativo]; [ChatGPT como catalizador del Pensamiento Crítico y Creativo] Full Text
AUTHORS: Rosa Sandra Paiva; António Pedro Costa; Luís Paulo Reis ;
PUBLISHED: 2025, SOURCE: Praxis Educativa, VOLUME: 20
AUTHORS: Rosa Sandra Paiva; António Pedro Costa; Luís Paulo Reis ;
PUBLISHED: 2025, SOURCE: Praxis Educativa, VOLUME: 20
INDEXED IN: 
Scopus
Scopus107
TITLE: ChatGPT como catalisador do Pensamento Crítico e Criativo Full Text
AUTHORS: Sandra Rosa Paiva; António Pedro Costa ; Luís Paulo Reis ;
PUBLISHED: 2025, SOURCE: Praxis Educativa, VOLUME: 20, ISSUE: 2025, PAGES: 1-23
AUTHORS: Sandra Rosa Paiva; António Pedro Costa ; Luís Paulo Reis ;
PUBLISHED: 2025, SOURCE: Praxis Educativa, VOLUME: 20, ISSUE: 2025, PAGES: 1-23
INDEXED IN: 
CrossRef
CrossRef108
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
109
TITLE: Clinical Annotation and Medical Image Anonymization for AI Model Training in Lung Cancer Detection
AUTHORS: Freire, Ana M.; Rodrigues, Eduardo M. ; Sousa, Joana Vale ; Gouveia, Margarida ; Ferreira Santos, Daniela ; Pereira, Tania ; Oliveira, Helder P. ; Sousa, Pedro; Silva, Ana Catarina; Fernandes, Maria Sofia; Hespanhol, Venceslau; Araujo, Jorge;
PUBLISHED: 2025, SOURCE: 10th International Conference on Universal Access in Human Computer Interaction-UAHCI in UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION, UAHCI 2025, PT I, VOLUME: 15780, PAGES: 309-325
AUTHORS: Freire, Ana M.; Rodrigues, Eduardo M. ; Sousa, Joana Vale ; Gouveia, Margarida ; Ferreira Santos, Daniela ; Pereira, Tania ; Oliveira, Helder P. ; Sousa, Pedro; Silva, Ana Catarina; Fernandes, Maria Sofia; Hespanhol, Venceslau; Araujo, Jorge;
PUBLISHED: 2025, SOURCE: 10th International Conference on Universal Access in Human Computer Interaction-UAHCI in UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION, UAHCI 2025, PT I, VOLUME: 15780, PAGES: 309-325
110
TITLE: Clinical Data-Driven Modeling of Disease-Specific Survival in Lung Cancer: Insights from the National Lung Screening Trial Dataset
AUTHORS: Maria Amaro ; Joana Vale Sousa ; Margarida Gouveia ; Hélder P Oliveira ; Tania Pereira ;
PUBLISHED: 2025, SOURCE: Measurement and Evaluations in Cancer Care, PAGES: 100023
AUTHORS: Maria Amaro ; Joana Vale Sousa ; Margarida Gouveia ; Hélder P Oliveira ; Tania Pereira ;
PUBLISHED: 2025, SOURCE: Measurement and Evaluations in Cancer Care, PAGES: 100023
INDEXED IN: CrossRef
CrossRef111
TITLE: CNN explanation methods for ordinal regression tasks Full Text
AUTHORS: Barbero Gomez, Javier; Cruz, Ricardo P. M. ; Cardoso, Jaime S. ; Gutierrez, Pedro A.; Hervas Martinez, Cesar;
PUBLISHED: 2025, SOURCE: NEUROCOMPUTING, VOLUME: 615, PAGES: 128878
AUTHORS: Barbero Gomez, Javier; Cruz, Ricardo P. M. ; Cardoso, Jaime S. ; Gutierrez, Pedro A.; Hervas Martinez, Cesar;
PUBLISHED: 2025, SOURCE: NEUROCOMPUTING, VOLUME: 615, PAGES: 128878
112
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 DBLP113
TITLE: Communicating With Children With Cancer: Development of a Chatbot-Based Educational Support Tool
AUTHORS: Silva, Eliana; Pinto, Paulo; Reis, Luis Paulo ;
PUBLISHED: 2025, SOURCE: JOURNAL OF CANCER EDUCATION
AUTHORS: Silva, Eliana; Pinto, Paulo; Reis, Luis Paulo ;
PUBLISHED: 2025, SOURCE: JOURNAL OF CANCER EDUCATION
114
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
115
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
116
TITLE: Comparative Study on Curiosity with Attention, Memory and Empowerment
AUTHORS: Duarte, Fernando Fradique; Lau, Nuno; Pereira, Artur; Reis, Luis Paulo ;
PUBLISHED: 2025, SOURCE: 2025 International Conference on Autonomous Robot Systems and Competitions-ICARSC-Annual in 2025 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS, ICARSC, ISSUE: 2025, PAGES: 92-97
AUTHORS: Duarte, Fernando Fradique; Lau, Nuno; Pereira, Artur; Reis, Luis Paulo ;
PUBLISHED: 2025, SOURCE: 2025 International Conference on Autonomous Robot Systems and Competitions-ICARSC-Annual in 2025 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS, ICARSC, ISSUE: 2025, PAGES: 92-97
117
TITLE: Comparing 2D and 3D Feature Extraction Methods for Lung Adenocarcinoma Prediction Using CT Scans: A Cross-Cohort Study
AUTHORS: Gouveia, Margarida ; Mendes, Tania ; Rodrigues, Eduardo M. ; Oliveira, Helder P. ; Pereira, Tania ;
PUBLISHED: 2025, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 15, ISSUE: 3, PAGES: 1148
AUTHORS: Gouveia, Margarida ; Mendes, Tania ; Rodrigues, Eduardo M. ; Oliveira, Helder P. ; Pereira, Tania ;
PUBLISHED: 2025, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 15, ISSUE: 3, PAGES: 1148
118
TITLE: Comparing Aggregated and Separate Models for Crowd Density Forecasting
AUTHORS: Sardinha, Iohan; Rocha, Ana Paula ; Rossetti, Rosaldo J. F. ;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT I, VOLUME: 14967, PAGES: 386-397
AUTHORS: Sardinha, Iohan; Rocha, Ana Paula ; Rossetti, Rosaldo J. F. ;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT I, VOLUME: 14967, PAGES: 386-397
119
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, 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, PAGES: 168-178
120
TITLE: Computational Phrase Segmentation of Iberian Folk Traditions: An Optimized LBDM Model
AUTHORS: Amir Abbas Orouji; Nadia Carvalho ; António Sá Pinto ; Gilberto Bernardes ;
PUBLISHED: 2025
AUTHORS: Amir Abbas Orouji; Nadia Carvalho ; António Sá Pinto ; Gilberto Bernardes ;
PUBLISHED: 2025
INDEXED IN: 
DataCite
DataCite