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

AuthID: I-000-0K9


Publications Count: 4103

49 Team Members
Filters -> Year: 2025
21
22
TITLE: Does Every Computer Scientist Need to Know Formal Methods?
AUTHORS: Broy, Manfred; Brucker, Achim D.; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra ; Platzer, Andre; Ringert, Jan Oliver; Sullivan, Allison;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 1, PAGES: 6:1-6:17
23
TITLE: Evaluation of Lyrics Extraction from Folk Music Sheets Using Vision Language Models (VLMs)
AUTHORS: André Sales Mendes; Álvaro Lozano Murciego; Luís Augusto Silva; Diego Jiménez Bravo; María Navarro Cáceres; Gilberto Bernardes ;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence, EPIA 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14967 LNAI, PAGES: 91-102
24
TITLE: Exploring percolation features with polynomial algorithms for classifying Covid-19 in chest X-ray images
AUTHORS: Roberto, Guilherme F.; Pereira, Danilo C.; Martins, Alessandro S.; Tosta, Thaina A. A.; Soares, Carlos ; Lumini, Alessandra; Rozendo, Guilherme B.; Neves, Leandro A.; Nascimento, Marcelo Z.;
PUBLISHED: 2025, SOURCE: PATTERN RECOGNITION LETTERS, VOLUME: 189, PAGES: 248-255
25
TITLE: Exploring the Role of Sound Design in Serious Games: Impact on User Experience and Learning Outcomes
AUTHORS: Zijing Cao; António Sá Pinto; Gilberto Bernardes ;
PUBLISHED: 2025, SOURCE: 17th International Conference on Computer Supported Education, CSEDU 2025 in International Conference on Computer Supported Education, CSEDU - Proceedings, VOLUME: 1, PAGES: 692-700
26
TITLE: First Twenty Years of the International Symposium on Applied Reconfigurable Computing (ARC): A Selection of Papers
AUTHORS: João M P Cardoso ; Walid A Najjar;
PUBLISHED: 2025, SOURCE: 21st International Symposium on Applied Reconfigurable Computing, ARC 2025 in Applied Reconfigurable Computing. Architectures, Tools, and Applications - 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings, VOLUME: 15594, PAGES: 3-12
27
TITLE: Forecasting with Deep Learning: Beyond Average of Average of Average Performance
AUTHORS: Cerqueira, Vitor; Roque, Luis; Soares, Carlos ;
PUBLISHED: 2025, SOURCE: 27th International Conference on Discovery Science in DISCOVERY SCIENCE, DS 2024, PT I, VOLUME: 15243, PAGES: 135-149
28
TITLE: Frontiers of the Past in the Digital World: Multidisciplinary Collaboration in the 3D Reconstitution of Medieval Border Towns
AUTHORS: Demetrius Lacet; Fabian Cuesta Gómez; Sara Prata; Luísa Trindade; Gonçalo Melo Da Silva; Adelaide Costa; Maria Van Zeller; Leonel Morgado; António Coelho ; Tiago Alves; João Filipe;
PUBLISHED: 2025, SOURCE: Proceedings - 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2025, PAGES: 421-429
29
TITLE: GAMFLEW: serious game to teach white-box testing
AUTHORS: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra;
PUBLISHED: 2025, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, ISSUE: 1, PAGES: 5
30
TITLE: Generative Narrative-Driven Game Mechanics for Procedural Driving Simulators
AUTHORS: Nelson Bilber Rodrigues ; António Coelho ; Rosaldo J F Rossetti;
PUBLISHED: 2025, SOURCE: 20th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2025 in Proceedings of the 20th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2025 - Volume 1: GRAPP, HUCAPP and IVAPP, Porto, Portugal, February 26-28, 2025., VOLUME: 1, PAGES: 339-346
31
TITLE: Histopoly: A serious game for teaching histology to 1st year veterinary students
AUTHORS: Marcos, Ricardo; Gomes, Andre; Santos, Marta; Coelho, Antonio ;
PUBLISHED: 2025, SOURCE: ANATOMICAL SCIENCES EDUCATION, VOLUME: 18, ISSUE: 3, PAGES: 229-240
32
TITLE: Human-in-the-loop Multi-objective Bayesian Optimization for Directed Energy Deposition with in-situ monitoring
AUTHORS: Sousa, Joao; Sousa, A. ; Brueckner, Frank; Reis, Luis Paulo ; Reis, Ana ;
PUBLISHED: 2025, SOURCE: ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, VOLUME: 92, PAGES: 102892
33
TITLE: IC-SNI: measuring nodes' influential capability in complex networks through structural and neighboring information
AUTHORS: Nandi, Suman; Malta, Mariana Curado ; Maji, Giridhar; Dutta, Animesh;
PUBLISHED: 2025, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 67, ISSUE: 2, PAGES: 1309-1350
34
TITLE: Jema-Sindyc: End-to-End Control Using Joint Embedding Multimodal Alignment in Directed Energy Deposition
AUTHORS: João Paulo Sousa; Benedikt Brandau; Rico Hemschik; Roya Darabi; Armando Jorge Miranda de Sousa; Luis Reis ; Frank Brueckner; Ana Reis;
PUBLISHED: 2025
35
TITLE: KDBI special issue: Explainability feature selection framework application for LSTM multivariate time-series forecast self optimization
AUTHORS: Rodrigues, Eduardo M.; Baghoussi, Yassine; Mendes Moreira, Joao ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 2
36
TITLE: Latency and cost-aware consumer group autoscaling in message broker systems
AUTHORS: Diogo Landau; Nishant Saurabh; Xavier Andrade; Jorge G Barbosa ;
PUBLISHED: 2025, SOURCE: J. Parallel Distributed Comput., VOLUME: 201, PAGES: 105071
37
TITLE: Layer-based management of collaborative interior design in extended reality
AUTHORS: Pintani, Deborah; Caputo, Ariel; Mendes, Daniel ; Giachetti, Andrea;
PUBLISHED: 2025, SOURCE: BEHAVIOUR & INFORMATION TECHNOLOGY, PAGES: 1-17
38
TITLE: Learning Ordinality in Semantic Segmentation
AUTHORS: Cruz, Ricardo P. M. ; Cristino, Rafael; Cardoso, Jaime S. ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 28369-28380
39
TITLE: Leveraging Risk Models to Improve Productivity for Effective Code Un-Freeze at Scale
AUTHORS: Audris Mockus; Rui Abreu ; Peter C Rigby; David Amsallem; Parveen Bansal; Kaavya Chinniah; Brian Ellis; Peng Fan; Jun Ge; Bingjie He; Kelly Hirano; Sahil Kumar; Ajay Lingapuram; Andrew Loe; Megh Mehta; Venus Montes; Maher Saba; Gursharan Singh; Matt Steiner; Weiyan Sun; Siri Uppalapati; Nachiappan Nagappan; ...More
PUBLISHED: 2025, SOURCE: ACM Transactions on Software Engineering and Methodology
40
TITLE: Literature Review on Cloud-Based Service-Oriented Architecture for IEC 61499 Distributed Control Systems
AUTHORS: Tomás Torres; Gil Gonçalves ; Rui Pinto;
PUBLISHED: 2025, SOURCE: 15th International Conference on Cloud Computing and Services Science, CLOSER 2025 in Proceedings of the 15th International Conference on Cloud Computing and Services Science, CLOSER 2025, Porto, Portugal, April 1-3, 2025., PAGES: 174-181

Results per Page: 20.
Page 2 of 206. Total results: 4103.