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: 3719
86 Team MembersFilters -> Year: 2026
41
TITLE: A systematic review of serious games for training emotion regulation skills in preschool children
AUTHORS: Catarina Gonçalves; Eliana Silva ; Luís Paulo Reis;
PUBLISHED: 2025, SOURCE: 19th European Conference on Games Based Learning, ECGBL 2025 in Proceedings of the European Conference on Games-based Learning, VOLUME: 19, ISSUE: 1, PAGES: 322-328
AUTHORS: Catarina Gonçalves; Eliana Silva ; Luís Paulo Reis;
PUBLISHED: 2025, SOURCE: 19th European Conference on Games Based Learning, ECGBL 2025 in Proceedings of the European Conference on Games-based Learning, VOLUME: 19, ISSUE: 1, PAGES: 322-328
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef42
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
43
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
44
TITLE: Advancing Question Generation with Joint Narrative and Difficulty Control
AUTHORS: Leite, Bernardo; Cardoso, Henrique Lopes ;
PUBLISHED: 2025, SOURCE: 20th Workshop on Innovative Use of NLP for Building Educational Applications-BEA in PROCEEDINGS OF THE 20TH WORKSHOP ON INNOVATIVE USE OF NLP FOR BUILDING EDUCATIONAL APPLICATIONS, BEA 2025, VOLUME: abs/2506.06812, PAGES: 647-659
AUTHORS: Leite, Bernardo; Cardoso, Henrique Lopes ;
PUBLISHED: 2025, SOURCE: 20th Workshop on Innovative Use of NLP for Building Educational Applications-BEA in PROCEEDINGS OF THE 20TH WORKSHOP ON INNOVATIVE USE OF NLP FOR BUILDING EDUCATIONAL APPLICATIONS, BEA 2025, VOLUME: abs/2506.06812, PAGES: 647-659
45
TITLE: Agents and Artificial Intelligence - 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part I
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2025, SOURCE: ICAART (Revised Selected Paper, 1), VOLUME: 15591
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2025, SOURCE: ICAART (Revised Selected Paper, 1), VOLUME: 15591
INDEXED IN: 
DBLP
DBLP46
TITLE: Agents and Artificial Intelligence - 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part II
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2025, SOURCE: ICAART (Revised Selected Paper, 2), VOLUME: 15592
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2025, SOURCE: ICAART (Revised Selected Paper, 2), VOLUME: 15592
INDEXED IN: DBLP
DBLP47
TITLE: AI as a Co-researcher in the Qualitative Research Workflow: Transforming Human-AI Collaboration Full Text
AUTHORS: Costa, Antonio Pedro ; Bryda, Grzegorz; Christou, Prokopis A.; Kasperiuniene, Judita;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF QUALITATIVE METHODS, VOLUME: 24
AUTHORS: Costa, Antonio Pedro ; Bryda, Grzegorz; Christou, Prokopis A.; Kasperiuniene, Judita;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF QUALITATIVE METHODS, VOLUME: 24
48
TITLE: An Agent-Based Approach to Emission-Aware Modal Assignment Strategies in Urban Mobility
AUTHORS: Bruna Marques; António Ribeiro da Costa; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti;
PUBLISHED: 2025, SOURCE: 11th IEEE International Smart Cities Conference, ISC2 2025 in ISC2, PAGES: 1-6
AUTHORS: Bruna Marques; António Ribeiro da Costa; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti;
PUBLISHED: 2025, SOURCE: 11th IEEE International Smart Cities Conference, ISC2 2025 in ISC2, PAGES: 1-6
49
TITLE: An Exploratory Study of ML Sketches and Visual Code Assistants
AUTHORS: Gomes, Luis F.; Hellendoorn, Vincent J.; Aldrich, Jonathan; Abreu, Rui ;
PUBLISHED: 2025, SOURCE: 47th International Conference on Software Engineering-ICSE in 2025 IEEE/ACM 47TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, VOLUME: abs/2412.13386, PAGES: 1653-1664
AUTHORS: Gomes, Luis F.; Hellendoorn, Vincent J.; Aldrich, Jonathan; Abreu, Rui ;
PUBLISHED: 2025, SOURCE: 47th International Conference on Software Engineering-ICSE in 2025 IEEE/ACM 47TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, VOLUME: abs/2412.13386, PAGES: 1653-1664
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP50
TITLE: AR/VR Digital Twin for simulation and data collection of robotic environments
AUTHORS: Martins, Joao G. ; Nutonen, Karle; Costa, Paulo; Kuts, Vladimir; Otto, Tauno; Sousa, Armando ; Marcelo R. Petry ;
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: 198-203
AUTHORS: Martins, Joao G. ; Nutonen, Karle; Costa, Paulo; Kuts, Vladimir; Otto, Tauno; Sousa, Armando ; Marcelo R. Petry ;
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: 198-203
51
TITLE: Are Sparse Autoencoders Useful for Java Function Bug Detection?
AUTHORS: Rui Melo; Cláudia Mamede; Andre Catarino; Rui Abreu; Henrique Lopes Cardoso ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2505.10375
AUTHORS: Rui Melo; Cláudia Mamede; Andre Catarino; Rui Abreu; Henrique Lopes Cardoso ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2505.10375
INDEXED IN: DBLP
DBLP52
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
53
TITLE: Assessment on the Effectiveness of GitHub Copilot as a Code Assistance Tool: An Empirical Study
AUTHORS: Carlos Adriano Gonçalves ; Célia Talma Gonçalves ;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence, EPIA 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14969 LNAI, PAGES: 27-38
AUTHORS: Carlos Adriano Gonçalves ; Célia Talma Gonçalves ;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence, EPIA 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14969 LNAI, PAGES: 27-38
INDEXED IN: Scopus CrossRef
Scopus CrossRef54
TITLE: ASV AeroCat: Improvements for Cooperation with Aerial Vehicles
AUTHORS: Silva, Joao Marcelo; Freitas Oliveira, Vitor Eduardo; Schettino, Virticius Barbosa; Marcelo R. Petry ; Mercorelli, Paolo; Neto, Accacio F. dos Santos;
PUBLISHED: 2025, SOURCE: 13th International Conference on Control Mechatronics and Automation-ICCMA-Annual in 2025 13TH INTERNATIONAL CONFERENCE ON CONTROL, MECHATRONICS AND AUTOMATION, ICCMA, PAGES: 48-53
AUTHORS: Silva, Joao Marcelo; Freitas Oliveira, Vitor Eduardo; Schettino, Virticius Barbosa; Marcelo R. Petry ; Mercorelli, Paolo; Neto, Accacio F. dos Santos;
PUBLISHED: 2025, SOURCE: 13th International Conference on Control Mechatronics and Automation-ICCMA-Annual in 2025 13TH INTERNATIONAL CONFERENCE ON CONTROL, MECHATRONICS AND AUTOMATION, ICCMA, PAGES: 48-53
INDEXED IN: WOS CrossRef
WOS CrossRef55
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
56
TITLE: Automating City Accessibility Constraints Mapping Through AI-Assisted Scanning of Street View Imagery
AUTHORS: Moreira, Rui S.; Moita, Sergio; Jose M Torres ; Gouveia, Feliz; Dinis, Maria Alzira Pimenta ; Ferreira, Diogo; Araujo, Madalena; Guerreiro, Maria Joao S. ;
PUBLISHED: 2025, SOURCE: IET SMART CITIES, VOLUME: 7, ISSUE: 1
AUTHORS: Moreira, Rui S.; Moita, Sergio; Jose M Torres ; Gouveia, Feliz; Dinis, Maria Alzira Pimenta ; Ferreira, Diogo; Araujo, Madalena; Guerreiro, Maria Joao S. ;
PUBLISHED: 2025, SOURCE: IET SMART CITIES, VOLUME: 7, ISSUE: 1
57
TITLE: Balancing Speed and Accuracy: A Comparative Analysis of Segment Anything-Based Models for Robotic Indoor Semantic Mapping
AUTHORS: Bruno Georgevich Ferreira; Armando Jorge Miranda de Sousa ; Luís Paulo Reis ;
PUBLISHED: 2025, SOURCE: 22nd International Conference on Informatics in Control, Automation and Robotics, ICINCO 2025 in ICINCO (1), VOLUME: 1, PAGES: 321-328
AUTHORS: Bruno Georgevich Ferreira; Armando Jorge Miranda de Sousa ; Luís Paulo Reis ;
PUBLISHED: 2025, SOURCE: 22nd International Conference on Informatics in Control, Automation and Robotics, ICINCO 2025 in ICINCO (1), VOLUME: 1, PAGES: 321-328
58
TITLE: Bi-LSTM Neural Networks for Traffic Flow Prediction: An Empirical Evaluation
AUTHORS: Alves, Bernardo Amorim; Fontes, Tania ; Rossetti, Rosaldo ;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT II, VOLUME: 14968, PAGES: 233-245
AUTHORS: Alves, Bernardo Amorim; Fontes, Tania ; Rossetti, Rosaldo ;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT II, VOLUME: 14968, PAGES: 233-245
59
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
60
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
Scopus