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: 2849
85 Team MembersFilters -> Year: 2025
1
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
2
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
3
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
4
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
Scopus5
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
CrossRef6
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
7
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
8
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
9
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
10
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-
11
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 DBLP12
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
13
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
14
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
15
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
16
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
17
TITLE: Integrating Machine Learning and Digital Twins for Enhanced Smart Building Operation and Energy Management: A Systematic Review
AUTHORS: Bruno Palley; João Poças Martins ; Hermano Bernardo ; Rosaldo Rossetti;
PUBLISHED: 2025, SOURCE: Urban Science, VOLUME: 9, ISSUE: 6, PAGES: 202
AUTHORS: Bruno Palley; João Poças Martins ; Hermano Bernardo ; Rosaldo Rossetti;
PUBLISHED: 2025, SOURCE: Urban Science, VOLUME: 9, ISSUE: 6, PAGES: 202
INDEXED IN: CrossRef 
Handle
CrossRef Handle18
TITLE: Jema-Sindyc: End-to-End Control Using Joint Embedding Multimodal Alignment in Directed Energy Deposition
AUTHORS: João Paulo Sousa; Benedikt Brandau; Rico Hemschik; Roya Darabi; Armando Jorge Miranda de Sousa; Luis Reis ; Frank Brueckner; Ana Reis;
PUBLISHED: 2025
AUTHORS: João Paulo Sousa; Benedikt Brandau; Rico Hemschik; Roya Darabi; Armando Jorge Miranda de Sousa; Luis Reis ; Frank Brueckner; Ana Reis;
PUBLISHED: 2025
19
TITLE: Latency and cost-aware consumer group autoscaling in message broker systems
AUTHORS: Diogo Landau; Nishant Saurabh; Xavier Andrade; Jorge G Barbosa ;
PUBLISHED: 2025, SOURCE: J. Parallel Distributed Comput., VOLUME: 201, PAGES: 105071
AUTHORS: Diogo Landau; Nishant Saurabh; Xavier Andrade; Jorge G Barbosa ;
PUBLISHED: 2025, SOURCE: J. Parallel Distributed Comput., VOLUME: 201, PAGES: 105071
INDEXED IN: DBLP
DBLP20
TITLE: Leveraging Risk Models to Improve Productivity for Effective Code Un-Freeze at Scale Full Text
AUTHORS: Audris Mockus; Rui Abreu ; Peter C Rigby; David Amsallem; Parveen Bansal; Kaavya Chinniah; Brian Ellis; Peng Fan; Jun Ge; Bingjie He; Kelly Hirano; Sahil Kumar; Ajay Lingapuram; Andrew Loe; Megh Mehta; Venus Montes; Maher Saba; Gursharan Singh; Matt Steiner; Weiyan Sun; ...More
PUBLISHED: 2025, SOURCE: ACM Transactions on Software Engineering and Methodology
AUTHORS: Audris Mockus; Rui Abreu ; Peter C Rigby; David Amsallem; Parveen Bansal; Kaavya Chinniah; Brian Ellis; Peng Fan; Jun Ge; Bingjie He; Kelly Hirano; Sahil Kumar; Ajay Lingapuram; Andrew Loe; Megh Mehta; Venus Montes; Maher Saba; Gursharan Singh; Matt Steiner; Weiyan Sun; ...More
PUBLISHED: 2025, SOURCE: ACM Transactions on Software Engineering and Methodology
INDEXED IN: CrossRef
CrossRef