Artificial Intelligence and Computer Science Laboratory (LIACC)
Laboratório de Inteligência Artificial e Ciência de Computadores
AuthID: I-000-18J
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: 2923
85 Team MembersFilters -> Year: 2025
1
TITLE: A Roadmap for Integrating Sustainability into Software Engineering Education Full Text
AUTHORS: Moreira, Ana; Lago, Patricia; Heldal, Rogardt; Betz, Stefanie; Brooks, Ian; Capilla, Rafael; Constantin, Vlad; Duboc, Leticia; Fernandes, Joao Paulo ; Leifler, Ola; Nguyen, Ngoc Thanh; Oyedeji, Shola; Penzenstadler, Birgit; Peters, Anne Kathrin; Porras, Jari; Venters, Colin C.;
PUBLISHED: 2025, SOURCE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 34, ISSUE: 5, PAGES: 139:1-139:27
AUTHORS: Moreira, Ana; Lago, Patricia; Heldal, Rogardt; Betz, Stefanie; Brooks, Ian; Capilla, Rafael; Constantin, Vlad; Duboc, Leticia; Fernandes, Joao Paulo ; Leifler, Ola; Nguyen, Ngoc Thanh; Oyedeji, Shola; Penzenstadler, Birgit; Peters, Anne Kathrin; Porras, Jari; Venters, Colin C.;
PUBLISHED: 2025, SOURCE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 34, ISSUE: 5, PAGES: 139:1-139:27
2
TITLE: A Systematic Mapping Study on Quantum and Quantum-inspired Algorithms in Operations Research
AUTHORS: Gomes, Claudio; Fernandes, Joao paulo ; Falcao, Gabriel; Kar, Soummya; Tayur, Sridhar;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 3, PAGES: 66:1-66:35
AUTHORS: Gomes, Claudio; Fernandes, Joao paulo ; Falcao, Gabriel; Kar, Soummya; Tayur, Sridhar;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 3, PAGES: 66:1-66:35
3
TITLE: Acceptance Test Generation with Large Language Models: An Industrial Case Study
AUTHORS: Ferreira, Margarida; Viegas, Luis; Faria, Joao Pascoal; Lima, Bruno ;
PUBLISHED: 2025, SOURCE: 6th International Conference on Automation of Software Test-AST-Annual in 2025 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATION OF SOFTWARE TEST, AST, PAGES: 1-11
AUTHORS: Ferreira, Margarida; Viegas, Luis; Faria, Joao Pascoal; Lima, Bruno ;
PUBLISHED: 2025, SOURCE: 6th International Conference on Automation of Software Test-AST-Annual in 2025 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATION OF SOFTWARE TEST, AST, PAGES: 1-11
4
TITLE: Addressing imperfect symmetry: A novel symmetry-learning actor-critic extension Full Text
AUTHORS: Abreu, Miguel; Reis, Luis Paulo ; Lau, Nuno;
PUBLISHED: 2025, SOURCE: NEUROCOMPUTING, VOLUME: 614, PAGES: 128771
AUTHORS: Abreu, Miguel; Reis, Luis Paulo ; Lau, Nuno;
PUBLISHED: 2025, SOURCE: NEUROCOMPUTING, VOLUME: 614, PAGES: 128771
5
TITLE: Artificial Intelligence for Control in Laser-Based Additive Manufacturing: A Systematic Review
AUTHORS: Sousa, Joao; Brandau, Benedikt; Darabi, Roya; Sousa, Armando ; Brueckner, Frank; Reis, Ana ; Reis, Luis Paulo ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 30845-30860
AUTHORS: Sousa, Joao; Brandau, Benedikt; Darabi, Roya; Sousa, Armando ; Brueckner, Frank; Reis, Ana ; Reis, Luis Paulo ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 30845-30860
6
TITLE: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTHORS: Faria, Joao Pascoal ; Trigo, Emanuel; Abreu, Rui ;
PUBLISHED: 2025, SOURCE: 11th International Conference on Fundamentals of Software Engineering-FSEN in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2025, VOLUME: 15593, PAGES: 138-154
AUTHORS: Faria, Joao Pascoal ; Trigo, Emanuel; Abreu, Rui ;
PUBLISHED: 2025, SOURCE: 11th International Conference on Fundamentals of Software Engineering-FSEN in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2025, VOLUME: 15593, PAGES: 138-154
7
TITLE: Can Llama 3 Accurately Assess Readability? A Comparative Study Using Lead Sections from Wikipedia
AUTHORS: José Frederico Rodrigues; Henrique Lopes Cardoso; Carla Teixeira Lopes ;
PUBLISHED: 2025, SOURCE: 19th International Conference on Research Challenges in Information Science, RCIS 2025 in Research Challenges in Information Science - 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part II, VOLUME: 548, PAGES: 89-97
AUTHORS: José Frederico Rodrigues; Henrique Lopes Cardoso; Carla Teixeira Lopes ;
PUBLISHED: 2025, SOURCE: 19th International Conference on Research Challenges in Information Science, RCIS 2025 in Research Challenges in Information Science - 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part II, VOLUME: 548, PAGES: 89-97
8
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
Scopus9
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
CrossRef10
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
11
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
12
TITLE: Cross-genre argument mining: Can language models automatically fill in missing discourse markers?
AUTHORS: Rocha, Gil; Cardoso, Henrique Lopes ; Belouadi, Jonas; Eger, Steffen;
PUBLISHED: 2025, SOURCE: ARGUMENT & COMPUTATION, VOLUME: 16, ISSUE: 1, PAGES: 3-35
AUTHORS: Rocha, Gil; Cardoso, Henrique Lopes ; Belouadi, Jonas; Eger, Steffen;
PUBLISHED: 2025, SOURCE: ARGUMENT & COMPUTATION, VOLUME: 16, ISSUE: 1, PAGES: 3-35
13
TITLE: Decoding Mental States in Social Cognition: Insights from Explainable Artificial Intelligence on HCP fMRI Data
AUTHORS: dos Santos, Jose Diogo Marques; Reis, Luis Paulo ; Marques dos Santos, José Paulo ;
PUBLISHED: 2025, SOURCE: MACHINE LEARNING AND KNOWLEDGE EXTRACTION, VOLUME: 7, ISSUE: 1, PAGES: 17
AUTHORS: dos Santos, Jose Diogo Marques; Reis, Luis Paulo ; Marques dos Santos, José Paulo ;
PUBLISHED: 2025, SOURCE: MACHINE LEARNING AND KNOWLEDGE EXTRACTION, VOLUME: 7, ISSUE: 1, PAGES: 17
14
TITLE: Designing a skilled soccer team for RoboCup: exploring skill-set-primitives through reinforcement learning
AUTHORS: Miguel Abreu; Luís Paulo Reis ; Nuno Lau;
PUBLISHED: 2025, SOURCE: Neural Comput. Appl., VOLUME: 37, ISSUE: 18, PAGES: 12699-12734
AUTHORS: Miguel Abreu; Luís Paulo Reis ; Nuno Lau;
PUBLISHED: 2025, SOURCE: Neural Comput. Appl., VOLUME: 37, ISSUE: 18, PAGES: 12699-12734
15
TITLE: Differentially-private data synthetisation for efficient re-identification risk control Full Text
AUTHORS: Carvalho, Tania; Moniz, Nuno; Antunes, Luis ; Chawla, Nitesh;
PUBLISHED: 2025, SOURCE: MACHINE LEARNING, VOLUME: 114, ISSUE: 7, PAGES: 164
AUTHORS: Carvalho, Tania; Moniz, Nuno; Antunes, Luis ; Chawla, Nitesh;
PUBLISHED: 2025, SOURCE: MACHINE LEARNING, VOLUME: 114, ISSUE: 7, PAGES: 164
16
TITLE: Empowering open data sharing for social good: a privacy-aware approach
AUTHORS: Carvalho, Tania; Antunes, Luis ; Costa Santos, Cristina ; Moniz, Nuno;
PUBLISHED: 2025, SOURCE: SCIENTIFIC DATA, VOLUME: 12, ISSUE: 1, PAGES: 248-
AUTHORS: Carvalho, Tania; Antunes, Luis ; Costa Santos, Cristina ; Moniz, Nuno;
PUBLISHED: 2025, SOURCE: SCIENTIFIC DATA, VOLUME: 12, ISSUE: 1, PAGES: 248-
17
TITLE: Estimating Completeness of Consensus Models: Geometrical and Distributional Approaches
AUTHORS: Strecht, Pedro ; Mendes Moreira, Joao ; Soares, Carlos ;
PUBLISHED: 2025, SOURCE: 10th Conference on Machine Learning Optimization and Data Science-LOD-Annual in MACHINE LEARNING, OPTIMIZATION, AND DATA SCIENCE, LOD 2024, PT I, VOLUME: 15508, PAGES: 464-478
AUTHORS: Strecht, Pedro ; Mendes Moreira, Joao ; Soares, Carlos ;
PUBLISHED: 2025, SOURCE: 10th Conference on Machine Learning Optimization and Data Science-LOD-Annual in MACHINE LEARNING, OPTIMIZATION, AND DATA SCIENCE, LOD 2024, PT I, VOLUME: 15508, PAGES: 464-478
18
TITLE: Evaluating Llama 3 for Text Simplification: A Study on Wikipedia Lead Sections
AUTHORS: Rodrigues, Jose Frederico; Cardoso, Henrique Lopes; Lopes, Carla Teixeira ;
PUBLISHED: 2025, SOURCE: 2025 Web Conference-WWW in COMPANION PROCEEDINGS OF THE ACM WEB CONFERENCE 2025, WWW COMPANION 2025, PAGES: 1273-1277
AUTHORS: Rodrigues, Jose Frederico; Cardoso, Henrique Lopes; Lopes, Carla Teixeira ;
PUBLISHED: 2025, SOURCE: 2025 Web Conference-WWW in COMPANION PROCEEDINGS OF THE ACM WEB CONFERENCE 2025, WWW COMPANION 2025, PAGES: 1273-1277
19
TITLE: Exploring percolation features with polynomial algorithms for classifying Covid-19 in chest X-ray images Full Text
AUTHORS: Roberto, Guilherme F.; Pereira, Danilo C.; Martins, Alessandro S.; Tosta, Thaina A. A.; Soares, Carlos ; Lumini, Alessandra; Rozendo, Guilherme B.; Neves, Leandro A.; Nascimento, Marcelo Z.;
PUBLISHED: 2025, SOURCE: PATTERN RECOGNITION LETTERS, VOLUME: 189, PAGES: 248-255
AUTHORS: Roberto, Guilherme F.; Pereira, Danilo C.; Martins, Alessandro S.; Tosta, Thaina A. A.; Soares, Carlos ; Lumini, Alessandra; Rozendo, Guilherme B.; Neves, Leandro A.; Nascimento, Marcelo Z.;
PUBLISHED: 2025, SOURCE: PATTERN RECOGNITION LETTERS, VOLUME: 189, PAGES: 248-255
INDEXED IN: Scopus 
WOS 
DBLP
Scopus WOS DBLP20
TITLE: Extending the Quantitative Pattern-Matching Paradigm
AUTHORS: Alves, Sandra ; Kesner, Delia; Ramos, Miguel ;
PUBLISHED: 2025, SOURCE: 22nd Asian Symposium on Programming Languages and Systems in PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2024, VOLUME: 15194, PAGES: 84-105
AUTHORS: Alves, Sandra ; Kesner, Delia; Ramos, Miguel ;
PUBLISHED: 2025, SOURCE: 22nd Asian Symposium on Programming Languages and Systems in PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2024, VOLUME: 15194, PAGES: 84-105
