Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática

AuthID: I-000-0K9


Publications Count: 4619

61 Team Members
Filters -> Year: 2026
61
TITLE: Are Users More Willing to Use Formally Verified Password Managers?
AUTHORS: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2025, SOURCE: SEFM, VOLUME: 16192 LNCS, PAGES: 185-202
62
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
63
TITLE: Augmented Reality in Information Design
AUTHORS: Fadel, Luciane Maria; Coelho, Antonio ;
PUBLISHED: 2025, SOURCE: 8th International Conference on Design and Digital Communication in ADVANCES IN DESIGN AND DIGITAL COMMUNICATION V, DIGICOM 2024, VOLUME: 51, PAGES: 30-41
64
TITLE: Automated Generation of End-to-End Web Test Cases via a Generic AI Agent: A Comparative Study of DeepSeek V3 and Claude Sonnet 5
AUTHORS: Caio E O Monteiro; Lucca R Guerino; Guilherme F Fernandes; Marcos H Pereira; Juliana de d Souza-Zinader; Renata D Braga; Viviane C B Pocivi; VINCENZI, AURI M. R. ;
PUBLISHED: 2025, SOURCE: Proceedings of the 31st Brazilian Symposium on Multimedia and the Web (WebMedia 2025), PAGES: 57-66
65
66
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
67
TITLE: Benchmarking Time Series Feature Extraction for Algorithm Selection
AUTHORS: Moisés Rocha dos Santos; Vítor Cerqueira; Carlos Soares ;
PUBLISHED: 2025, SOURCE: EPIA (1), VOLUME: 16121 LNAI, PAGES: 269-281
68
TITLE: Beyond Accuracy: The Role of Calibration in Computational Pathology
AUTHORS: João D Nunes ; Diana Montezuma; Domingos Oliveira; Tânia Pereira ; Inti Zlobec; Jaime S Cardoso ;
PUBLISHED: 2025, SOURCE: 2025 International Joint Conference on Neural Networks, IJCNN 2025 in IJCNN, PAGES: 1-7
69
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
70
TITLE: Bridging Domain Gaps in Computational Pathology: A Comparative Study of Adaptation Strategies
AUTHORS: Nunes, Joao D. ; Montezuma, Diana; Oliveira, Domingos; Pereira, Tania ; Zlobec, Inti; Pinto, Isabel Macedo; Cardoso, Jaime S. ;
PUBLISHED: 2025, SOURCE: SENSORS, VOLUME: 25, ISSUE: 9, PAGES: 2856
71
TITLE: Budget-Constrained Collaborative Renewable Energy Forecasting Market
AUTHORS: Goncalves, Carla ; Bessa, Ricardo J. ; Teixeira, Tiago; Vinagre, Joao ;
PUBLISHED: 2025, SOURCE: IEEE TRANSACTIONS ON SUSTAINABLE ENERGY, VOLUME: 16, ISSUE: 2, PAGES: 1440-1452
72
TITLE: Can ChatGPT Suggest Patterns? An Exploratory Study About Answers Given by AI-Assisted Tools to Design Problems
AUTHORS: Maranhao Junior, Joao Jose; Correia, Filipe F. ; Guerra, Eduardo Martins;
PUBLISHED: 2025, SOURCE: 25th International Conference on Agile Software Development (XP) in AGILE PROCESSES IN SOFTWARE ENGINEERING AND EXTREME PROGRAMMING-WORKSHOPS, XP 2024 WORKSHOPS, VOLUME: 524, PAGES: 130-138
73
TITLE: Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
AUTHORS: Carolina Carreira; Álvaro F Silva; Alexandre Abreu; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: SEFM, VOLUME: 16192 LNCS, PAGES: 203-220
74
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
75
TITLE: Causal representation learning through higher-level information extraction
AUTHORS: Silva, Francisco ; Oliveira, helder P. ; Pereira, Tania ;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2, PAGES: 43:1-43:37
76
77
TITLE: Characterising Class Imbalance in Transportation Mode Detection: An Experimental Study
AUTHORS: Muhammad, Akilu Rilwan; Aguiar, Ana ; Mendes Moreira, Joao ;
PUBLISHED: 2025, SOURCE: 25th International Conference on Intelligent Data Engineering and Automated Learning in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2024, PT II, VOLUME: 15347, PAGES: 58-70
78
79
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
80
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

Results per Page: 20.
Page 4 of 231. Total results: 4619.