Artificial Intelligence and Computer Science Laboratory (LIACC)
Laboratório de Inteligência Artificial e Ciência de Computadores

AuthID: I-000-18J

External   Internal

Publications Count: 3696

86 Team Members
Filters -> Year: 2026
41
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
42
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
43
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
44
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
45
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
46
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
47
48
TITLE: ChatGPT como catalisador do Pensamento Crítico e Criativo
AUTHORS: Sandra Rosa Paiva; António Pedro Costa ; Luís Paulo Reis ;
PUBLISHED: 2025, SOURCE: Praxis Educativa, VOLUME: 20, ISSUE: 2025, PAGES: 1-23
49
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
50
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
51
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
52
TITLE: CoMPSeT: A Framework for Comparing Multiparty Session Types
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
53
TITLE: Container Orchestration Patterns for Optimizing Resource Use
AUTHORS: Diogo Maia; Filipe Correia; André Restivo ; Paulo G G Queiroz;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.00197
54
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
55
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
56
57
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
58
TITLE: Defining quality in peer review reports: a scoping review
AUTHORS: Sizo, Amanda; Lino, Adriano; Rocha, Alvaro ; Reis, Luis Paulo ;
PUBLISHED: 2025, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 67, ISSUE: 8, PAGES: 6413-6460
59
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
60
TITLE: Designing Serious Games to Support Teachers' Emotion Regulation: A Systematic Review
AUTHORS: Fang, David; Silva, Eliana; Reis, Luis Paulo ;
PUBLISHED: 2025, SOURCE: 13th International Conference on Serious Games and Applications for Health-SEGAH-Annual in 2025 IEEE CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH, SEGAH, PAGES: 1-6

Results per Page: 20.
Page 3 of 185. Total results: 3696.