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: 3720
86 Team MembersFilters -> Year: 2026
41
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
42
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
DBLP43
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
DBLP44
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
45
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
46
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 DBLP47
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
48
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
DBLP49
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
50
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 CrossRef51
TITLE: ASV AeroCat: Improvements for Cooperation with Aerial Vehicles
AUTHORS: João Marcelo Silva; Vitor Eduardo Freitas Oliveira; Vinícius Barbosa Schettino; Marcelo R. Petry ; Paolo Mercorelli; Accacio F dos Santos Neto;
PUBLISHED: 2025, SOURCE: 2025 13th International Conference on Control, Mechatronics and Automation (ICCMA), PAGES: 48-53
AUTHORS: João Marcelo Silva; Vitor Eduardo Freitas Oliveira; Vinícius Barbosa Schettino; Marcelo R. Petry ; Paolo Mercorelli; Accacio F dos Santos Neto;
PUBLISHED: 2025, SOURCE: 2025 13th International Conference on Control, Mechatronics and Automation (ICCMA), PAGES: 48-53
INDEXED IN: CrossRef
CrossRef52
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
53
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
54
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
55
TITLE: Benchmarking Time Series Feature Extraction for Algorithm Selection
AUTHORS: Moisés Rocha dos Santos; vitor cerqueira; Carlos Soares ;
PUBLISHED: 2025, SOURCE: EPIA (1), VOLUME: 16121 LNAI, PAGES: 269-281
AUTHORS: Moisés Rocha dos Santos; vitor cerqueira; Carlos Soares ;
PUBLISHED: 2025, SOURCE: EPIA (1), VOLUME: 16121 LNAI, PAGES: 269-281
INDEXED IN: Scopus DBLP
Scopus DBLP56
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
57
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
58
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
Scopus59
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
CrossRef60
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
