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: 2910
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: 1-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: 1-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: 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
4
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
5
TITLE: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTHORS: João Pascoal Faria ; Emanuel Trigo; Rui Abreu ;
PUBLISHED: 2025, SOURCE: 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025 in Fundamentals of Software Engineering - 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings, VOLUME: 15593, PAGES: 138-154
AUTHORS: João Pascoal Faria ; Emanuel Trigo; Rui Abreu ;
PUBLISHED: 2025, SOURCE: 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025 in Fundamentals of Software Engineering - 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings, VOLUME: 15593, PAGES: 138-154
6
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
Scopus7
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
CrossRef8
TITLE: Cherry-Picking in Time Series Forecasting: How to Select Datasets to Make Your Model Shine
AUTHORS: Luis Roque; Vítor Cerqueira ; Carlos Soares; Luís Torgo ;
PUBLISHED: 2025, SOURCE: 39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025 in AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA, VOLUME: 39, ISSUE: 19, PAGES: 20192-20199
AUTHORS: Luis Roque; Vítor Cerqueira ; Carlos Soares; Luís Torgo ;
PUBLISHED: 2025, SOURCE: 39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025 in AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA, VOLUME: 39, ISSUE: 19, PAGES: 20192-20199
9
TITLE: Comparative Study on Curiosity with Attention, Memory and Empowerment
AUTHORS: Fernando Fradique Duarte; Nuno Lau; Artur Pereira; Luís Paulo Reis ;
PUBLISHED: 2025, SOURCE: 25th IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2025 in IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2025, Funchal, Portugal, April 2-3, 2025, ISSUE: 2025, PAGES: 92-97
AUTHORS: Fernando Fradique Duarte; Nuno Lau; Artur Pereira; Luís Paulo Reis ;
PUBLISHED: 2025, SOURCE: 25th IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2025 in IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2025, Funchal, Portugal, April 2-3, 2025, ISSUE: 2025, PAGES: 92-97
10
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
11
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
12
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
13
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-
14
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 DBLP15
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
16
TITLE: First Twenty Years of the International Symposium on Applied Reconfigurable Computing (ARC): A Selection of Papers
AUTHORS: João M P Cardoso ; Walid A Najjar;
PUBLISHED: 2025, SOURCE: 21st International Symposium on Applied Reconfigurable Computing, ARC 2025 in Applied Reconfigurable Computing. Architectures, Tools, and Applications - 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings, VOLUME: 15594, PAGES: 3-12
AUTHORS: João M P Cardoso ; Walid A Najjar;
PUBLISHED: 2025, SOURCE: 21st International Symposium on Applied Reconfigurable Computing, ARC 2025 in Applied Reconfigurable Computing. Architectures, Tools, and Applications - 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings, VOLUME: 15594, PAGES: 3-12
17
TITLE: Forecasting with Deep Learning: Beyond Average of Average of Average Performance
AUTHORS: Cerqueira, Vitor ; Roque, Luis; Soares, Carlos ;
PUBLISHED: 2025, SOURCE: 27th International Conference on Discovery Science in DISCOVERY SCIENCE, DS 2024, PT I, VOLUME: 15243, PAGES: 135-149
AUTHORS: Cerqueira, Vitor ; Roque, Luis; Soares, Carlos ;
PUBLISHED: 2025, SOURCE: 27th International Conference on Discovery Science in DISCOVERY SCIENCE, DS 2024, PT I, VOLUME: 15243, PAGES: 135-149
18
TITLE: Generative Narrative-Driven Game Mechanics for Procedural Driving Simulators
AUTHORS: Nelson Bilber Rodrigues ; António Coelho ; Rosaldo J F Rossetti;
PUBLISHED: 2025, SOURCE: 20th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2025 in Proceedings of the 20th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2025 - Volume 1: GRAPP, HUCAPP and IVAPP, Porto, Portugal, February 26-28, 2025., VOLUME: 1, PAGES: 339-346
AUTHORS: Nelson Bilber Rodrigues ; António Coelho ; Rosaldo J F Rossetti;
PUBLISHED: 2025, SOURCE: 20th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2025 in Proceedings of the 20th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2025 - Volume 1: GRAPP, HUCAPP and IVAPP, Porto, Portugal, February 26-28, 2025., VOLUME: 1, PAGES: 339-346
19
TITLE: Human-in-the-loop Multi-objective Bayesian Optimization for Directed Energy Deposition with in-situ monitoring
AUTHORS: Sousa, Joao; Sousa, Armando ; Brueckner, Frank; Reis, Luis Paulo ; Reis, Ana ;
PUBLISHED: 2025, SOURCE: ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, VOLUME: 92, PAGES: 102892
AUTHORS: Sousa, Joao; Sousa, Armando ; Brueckner, Frank; Reis, Luis Paulo ; Reis, Ana ;
PUBLISHED: 2025, SOURCE: ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, VOLUME: 92, PAGES: 102892
20
TITLE: Integrating Machine Learning and Digital Twins for Enhanced Smart Building Operation and Energy Management: A Systematic Review
AUTHORS: Palley, Bruno; João Poças Martins ; Bernardo, Hermano ; Rossetti, Rosaldo;
PUBLISHED: 2025, SOURCE: URBAN SCIENCE, VOLUME: 9, ISSUE: 6, PAGES: 202
AUTHORS: Palley, Bruno; João Poças Martins ; Bernardo, Hermano ; Rossetti, Rosaldo;
PUBLISHED: 2025, SOURCE: URBAN SCIENCE, VOLUME: 9, ISSUE: 6, PAGES: 202
