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

AuthID: I-000-0K9


Publications Count: 4709

62 Team Members
Filters -> Year: 2026
81
TÍTULO: Aligning Frameworks: Identifying Compatible Pairs of Digital Transformation and Maturity Models
AUTORES: Couto, Fábio ; Mariana Curado Malta ;
PUBLICAÇÃO: 2025, FONTE: SN Computer Science, VOLUME: 6, NÚMERO: 8
82
TÍTULO: Alloy Repair Hint Generation Based on Historical Data
AUTORES: Barros, Ana; Neto, Henrique; Cunha, Alcino ; Macedo, Nuno ; Paiva, Ana C. R. ;
PUBLICAÇÃO: 2025, FONTE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934, PÁGINAS: 104-121
83
TÍTULO: An Exploratory Study of ML Sketches and Visual Code Assistants
AUTORES: Gomes, Luis F.; Hellendoorn, Vincent J.; Aldrich, Jonathan; Abreu, Rui ;
PUBLICAÇÃO: 2025, FONTE: 47th International Conference on Software Engineering-ICSE in 2025 IEEE/ACM 47TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, VOLUME: abs/2412.13386, PÁGINAS: 1653-1664
84
TÍTULO: An exploratory study on the usage of quantum programming languages
AUTORES: Ferreira, Felipe; Campos, Jose ;
PUBLICAÇÃO: 2025, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PÁGINAS: 103217
85
TÍTULO: Applying a Prompt Pattern Sequence for Decision-Making in Microservices Architectures
AUTORES: João José Maranhão Jr.; Jorge Melegati ; Eduardo Guerra;
PUBLICAÇÃO: 2025, FONTE: ESOCC, PÁGINAS: 18-32
86
TÍTULO: ArchHypo: Managing Software Architecture Uncertainty Using Hypotheses Engineering
AUTORES: Kelson Silva; Jorge Melegati ; Fábio Fagundes Silveira; Xiaofeng Wang; Maurício Gonçalves Vieira Ferreira; Eduardo Guerra;
PUBLICAÇÃO: 2025, FONTE: IEEE Trans. Software Eng., VOLUME: 51, NÚMERO: 2, PÁGINAS: 430-448
87
TÍTULO: Are Sparse Autoencoders Useful for Java Function Bug Detection?
AUTORES: Rui Melo; Cláudia Mamede; Andre Catarino; Rui Abreu; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2505.10375
88
TÍTULO: Are Users More Willing to Use Formally Verified Password Managers?
AUTORES: Carolina Carreira; João F Ferreira ; Alexandra Mendes ; Nicolas Christin;
PUBLICAÇÃO: 2025, FONTE: SEFM, VOLUME: 16192 LNCS, PÁGINAS: 185-202
89
TÍTULO: Artificial Intelligence for Control in Laser-Based Additive Manufacturing: A Systematic Review
AUTORES: Sousa, Joao; Brandau, Benedikt; Darabi, Roya; Sousa, Armando ; Brueckner, Frank; Reis, Ana ; Reis, Luis Paulo ;
PUBLICAÇÃO: 2025, FONTE: IEEE ACCESS, VOLUME: 13, PÁGINAS: 30845-30860
90
TÍTULO: Augmented Reality in Information Design
AUTORES: Fadel, Luciane Maria; Coelho, Antonio ;
PUBLICAÇÃO: 2025, FONTE: 8th International Conference on Design and Digital Communication in ADVANCES IN DESIGN AND DIGITAL COMMUNICATION V, DIGICOM 2024, VOLUME: 51, PÁGINAS: 30-41
91
TÍTULO: Automated Generation of End-to-End Web Test Cases via a Generic AI Agent: A Comparative Study of DeepSeek V3 and Claude Sonnet 5
AUTORES: 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. ;
PUBLICAÇÃO: 2025, FONTE: Proceedings of the 31st Brazilian Symposium on Multimedia and the Web (WebMedia 2025), PÁGINAS: 57-66
92
93
TÍTULO: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTORES: Faria, Joao Pascoal ; Trigo, Emanuel; Abreu, Rui ;
PUBLICAÇÃO: 2025, FONTE: 11th International Conference on Fundamentals of Software Engineering-FSEN in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2025, VOLUME: 15593, PÁGINAS: 138-154
94
TÍTULO: Balancing Speed and Accuracy: A Comparative Analysis of Segment Anything-Based Models for Robotic Indoor Semantic Mapping
AUTORES: Bruno Georgevich Ferreira; Armando Jorge Miranda de Sousa ; Luís Paulo Reis ;
PUBLICAÇÃO: 2025, FONTE: 22nd International Conference on Informatics in Control, Automation and Robotics, ICINCO 2025 in ICINCO (1), VOLUME: 1, PÁGINAS: 321-328
95
TÍTULO: Benchmarking Time Series Feature Extraction for Algorithm Selection
AUTORES: Moisés Rocha dos Santos; vitor cerqueira; Carlos Soares ;
PUBLICAÇÃO: 2025, FONTE: EPIA (1), VOLUME: 16121 LNAI, PÁGINAS: 269-281
96
TÍTULO: Beyond Accuracy: The Role of Calibration in Computational Pathology
AUTORES: Nunes, Joao D. ; Montezuma, Diana; Oliveira, Domingos; Pereira, Tania ; Zlobec, Inti; Cardoso, Jaime S. ;
PUBLICAÇÃO: 2025, FONTE: 2025 International Joint Conference on Neural Networks-IJCNN in 2025 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, IJCNN, PÁGINAS: 1-7
97
TÍTULO: Bi-LSTM Neural Networks for Traffic Flow Prediction: An Empirical Evaluation
AUTORES: Alves, Bernardo Amorim; Fontes, Tania ; Rossetti, Rosaldo ;
PUBLICAÇÃO: 2025, FONTE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT II, VOLUME: 14968, PÁGINAS: 233-245
98
TÍTULO: Bridging Domain Gaps in Computational Pathology: A Comparative Study of Adaptation Strategies
AUTORES: Nunes, Joao D. ; Montezuma, Diana; Oliveira, Domingos; Pereira, Tania ; Zlobec, Inti; Pinto, Isabel Macedo; Cardoso, Jaime S. ;
PUBLICAÇÃO: 2025, FONTE: SENSORS, VOLUME: 25, NÚMERO: 9, PÁGINAS: 2856
99
TÍTULO: Budget-Constrained Collaborative Renewable Energy Forecasting Market
AUTORES: Goncalves, Carla ; Bessa, Ricardo J. ; Teixeira, Tiago; Vinagre, Joao ;
PUBLICAÇÃO: 2025, FONTE: IEEE TRANSACTIONS ON SUSTAINABLE ENERGY, VOLUME: 16, NÚMERO: 2, PÁGINAS: 1440-1452
100
TÍTULO: Can ChatGPT Suggest Patterns? An Exploratory Study About Answers Given by AI-Assisted Tools to Design Problems
AUTORES: Maranhao Junior, Joao Jose; Correia, Filipe F. ; Guerra, Eduardo Martins;
PUBLICAÇÃO: 2025, FONTE: 25th International Conference on Agile Software Development (XP) in AGILE PROCESSES IN SOFTWARE ENGINEERING AND EXTREME PROGRAMMING-WORKSHOPS, XP 2024 WORKSHOPS, VOLUME: 524, PÁGINAS: 130-138

Results per Page: 20.
Página 5 de 236. Total de resultados: 4709.