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: 3700
86 Team MembersFilters -> Year: 2026
41
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
CrossRef42
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
43
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
44
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
45
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 DBLP46
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
47
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
48
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
Scopus49
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
CrossRef50
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
51
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
52
TITLE: Comparing Aggregated and Separate Models for Crowd Density Forecasting
AUTHORS: Sardinha, Iohan; Rocha, Ana Paula ; Rossetti, Rosaldo J. F. ;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT I, VOLUME: 14967, PAGES: 386-397
AUTHORS: Sardinha, Iohan; Rocha, Ana Paula ; Rossetti, Rosaldo J. F. ;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT I, VOLUME: 14967, PAGES: 386-397
53
TITLE: CoMPSeT: A Framework for Comparing Multiparty Session Types Full Text
AUTHORS: Ribeiro, Telmo; Proenca, Jose ; Florido, Mario ;
PUBLISHED: 2025, SOURCE: 32nd International Workshop on Expressiveness in Concurrency (EXPRESS) / 22nd Workshop on Structural Operational Semantics (SOS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2510.24205, ISSUE: 433, PAGES: 46-64
AUTHORS: Ribeiro, Telmo; Proenca, Jose ; Florido, Mario ;
PUBLISHED: 2025, SOURCE: 32nd International Workshop on Expressiveness in Concurrency (EXPRESS) / 22nd Workshop on Structural Operational Semantics (SOS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2510.24205, ISSUE: 433, PAGES: 46-64
54
TITLE: Container Orchestration Patterns for Optimizing Resource Use PDF
AUTHORS: Diogo Maia; Filipe Correia; André Restivo ; Paulo G G Queiroz;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.00197
AUTHORS: Diogo Maia; Filipe Correia; André Restivo ; Paulo G G Queiroz;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.00197
INDEXED IN: DBLP 
arXiv 
DataCite
DBLP arXiv DataCite55
TITLE: Cross-genre argument mining: Can language models automatically fill in missing discourse markers?
AUTHORS: Gil Rocha ; Cardoso, Henrique Lopes ; Belouadi, Jonas; Eger, Steffen;
PUBLISHED: 2025, SOURCE: ARGUMENT & COMPUTATION, VOLUME: 16, ISSUE: 1, PAGES: 3-35
AUTHORS: Gil Rocha ; Cardoso, Henrique Lopes ; Belouadi, Jonas; Eger, Steffen;
PUBLISHED: 2025, SOURCE: ARGUMENT & COMPUTATION, VOLUME: 16, ISSUE: 1, PAGES: 3-35
56
TITLE: Current Challenges and Future Perspectives in Testing IoT Systems: A Comprehensive Review
AUTHORS: Bruno Lima ; Rui Pinto ;
PUBLISHED: 2025, SOURCE: IEEE Sensors Reviews, PAGES: 1-27
AUTHORS: Bruno Lima ; Rui Pinto ;
PUBLISHED: 2025, SOURCE: IEEE Sensors Reviews, PAGES: 1-27
INDEXED IN: CrossRef 
Unpaywall
CrossRef Unpaywall57
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
58
TITLE: Deep learning models for improving Parkinson's disease management regarding disease stage, motor disability and quality of life
AUTHORS: Helena Gonçalves; Pedro Pinheiro; Cristiana Pinheiro; Luís Martins; Ana Margarida Rodrigues; Cristina Santos ;
PUBLISHED: 2025, SOURCE: Computers in Biology and Medicine, VOLUME: 189, PAGES: 109961
AUTHORS: Helena Gonçalves; Pedro Pinheiro; Cristiana Pinheiro; Luís Martins; Ana Margarida Rodrigues; Cristina Santos ;
PUBLISHED: 2025, SOURCE: Computers in Biology and Medicine, VOLUME: 189, PAGES: 109961
INDEXED IN: Scopus CrossRef
Scopus CrossRef59
TITLE: Defining quality in peer review reports: a scoping review Full Text
AUTHORS: Sizo, Amanda; Lino, Adriano; Rocha, Alvaro ; Reis, Luis Paulo ;
PUBLISHED: 2025, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 67, ISSUE: 8, PAGES: 6413-6460
AUTHORS: Sizo, Amanda; Lino, Adriano; Rocha, Alvaro ; Reis, Luis Paulo ;
PUBLISHED: 2025, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 67, ISSUE: 8, PAGES: 6413-6460
60
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
