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

AuthID: I-000-0K9


Publications Count: 4668

62 Team Members
Filters -> Year: 2026
61
62
63
TITLE: Agile Processes in Software Engineering and Extreme Programming - Workshops - XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers
AUTHORS: Lodovica Marchesi; Alfredo Goldman; Maria Ilaria Lunesu; Adam Przybylek; Ademar Aguiar ; Lorraine Morgan; Xiaofeng Wang; Andrea Pinna;
PUBLISHED: 2025, SOURCE: XP Workshops, VOLUME: 524
64
TITLE: AI-based models to predict decompensation on traumatic brain injury patients
AUTHORS: Ricardo Ribeiro; Inês Neves; Hélder P Oliveira ; Tânia Pereira ;
PUBLISHED: 2025, SOURCE: Comput. Biol. Medicine, VOLUME: 186, PAGES: 109634
65
TITLE: AI-powered learning analytics dashboards: a systematic review of applications, techniques, and research gaps
AUTHORS: Luís Cabral; Rui Pinto ; Gonçalves, GM;
PUBLISHED: 2025, SOURCE: Discover Education, VOLUME: 4, ISSUE: 1
66
TITLE: Algorithmic Composition Using Narrative Structure and Tension
AUTHORS: Braga, Francisco; Bernardes, Gilberto ; Dannenberg, Roger B.; Correia, Nuno;
PUBLISHED: 2025, SOURCE: 34th International Joint Conference on Artificial Intelligence-IJCAI in PROCEEDINGS OF THE THIRTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI 2025), PAGES: 10045-10053
67
TITLE: Aligning Frameworks: Identifying Compatible Pairs of Digital Transformation and Maturity Models
AUTHORS: Couto, Fábio ; Mariana Curado Malta ;
PUBLISHED: 2025, SOURCE: SN Computer Science, VOLUME: 6, ISSUE: 8
68
TITLE: Alloy Repair Hint Generation Based on Historical Data
AUTHORS: Barros, Ana; Neto, Henrique; Cunha, Alcino ; Macedo, Nuno ; Paiva, Ana C. R. ;
PUBLISHED: 2025, SOURCE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934, PAGES: 104-121
69
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
70
TITLE: An exploratory study on the usage of quantum programming languages
AUTHORS: Ferreira, Felipe; Campos, Jose ;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PAGES: 103217
71
TITLE: Applying a Prompt Pattern Sequence for Decision-Making in Microservices Architectures
AUTHORS: João José Maranhão Jr.; Jorge Melegati ; Eduardo Guerra;
PUBLISHED: 2025, SOURCE: ESOCC, PAGES: 18-32
72
TITLE: ArchHypo: Managing Software Architecture Uncertainty Using Hypotheses Engineering
AUTHORS: Kelson Silva; Jorge Melegati ; Fábio Fagundes Silveira; Xiaofeng Wang; Maurício Gonçalves Vieira Ferreira; Eduardo Guerra;
PUBLISHED: 2025, SOURCE: IEEE Trans. Software Eng., VOLUME: 51, ISSUE: 2, PAGES: 430-448
73
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
74
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
75
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
76
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
77
78
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
79
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
80
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

Results per Page: 20.
Page 4 of 234. Total results: 4668.