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

AuthID: I-000-0K9


Publications Count: 3963

49 Team Members
Filters -> Year: 2025
1
TITLE: A two-step concept-based approach for enhanced interpretability and trust in skin lesion diagnosis
AUTHORS: Patricio, Cristiano; Luis F. Teixeira ; Neves, Joao C.;
PUBLISHED: 2025, SOURCE: COMPUTATIONAL AND STRUCTURAL BIOTECHNOLOGY JOURNAL, VOLUME: 28, PAGES: 71-79
2
TITLE: Addressing imperfect symmetry: A novel symmetry-learning actor-critic extension
AUTHORS: Miguel Abreu; Luís Paulo Reis ; Nuno Lau;
PUBLISHED: 2025, SOURCE: Neurocomputing, VOLUME: 614, PAGES: 128771
3
TITLE: Addressing imperfect symmetry: A novel symmetry-learning actor-critic extension
AUTHORS: Abreu, Miguel; Reis, Luis Paulo ; Lau, Nuno;
PUBLISHED: 2025, SOURCE: NEUROCOMPUTING, VOLUME: 614, PAGES: 128771
4
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
5
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
6
TITLE: Augmented Reality in Information Design
AUTHORS: Luciane Maria Fadel; António Coelho ;
PUBLISHED: 2025, SOURCE: Springer Series in Design and Innovation, VOLUME: 51, PAGES: 30-41
7
TITLE: CNN explanation methods for ordinal regression tasks
AUTHORS: Barbero Gomez, Javier; Cruz, Ricardo P. M. ; Cardoso, Jaime S. ; Gutierrez, Pedro A.; Hervas Martinez, Cesar;
PUBLISHED: 2025, SOURCE: NEUROCOMPUTING, VOLUME: 615, PAGES: 128878
8
TITLE: Contributions for the Development of Personae: Method for Creating Persona Templates (MCPT)
AUTHORS: Fábio Couto ; Mariana Curado Malta ;
PUBLISHED: 2025, SOURCE: 26th International Conference on Human-Computer Interaction, HCII 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 15374 LNCS, PAGES: 3-22
9
TITLE: Does Every Computer Scientist Need to Know Formal Methods?
AUTHORS: Manfred Broy; Achim D Brucker; Alessandro Fantechi; Mario Gleirscher; Klaus Havelund; Markus Alexander Kuppe; Alexandra Mendes ; André Platzer; Jan Oliver Ringert; Allison Sullivan;
PUBLISHED: 2025, SOURCE: Formal Aspects Comput., VOLUME: 37, ISSUE: 1, PAGES: 6:1-6:17
10
TITLE: Estimating Completeness of Consensus Models: Geometrical and Distributional Approaches
AUTHORS: Pedro Strecht ; João Mendes-Moreira; Carlos Soares;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science - Machine Learning, Optimization, and Data Science, PAGES: 464-478
11
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
12
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
13
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
14
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
15
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
16
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
17
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
18
TITLE: Markerless multi-view 3D human pose estimation: A survey
AUTHORS: Nogueira, Ana Filipa Rodrigues; Oliveira, Helder P. ; Luis F. Teixeira ;
PUBLISHED: 2025, SOURCE: IMAGE AND VISION COMPUTING, VOLUME: 155, PAGES: 105437
19
TITLE: METFORD - Mutation tEsTing Framework fOR anDroid
AUTHORS: Vincenzi, Auri M. R.; Kuroishi, Pedro H.; Bispo, Joao ; da Veiga, Ana R. C.; da Mata, David R. C.; Azevedo, Francisco B.; Paiva, Ana C. R.;
PUBLISHED: 2025, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 222, PAGES: 112332
20
TITLE: Multilanguage Detection of Design Pattern Instances
AUTHORS: Andrade, Hugo; Bispo, Joao ; Correia, Filipe F. ;
PUBLISHED: 2025, SOURCE: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, VOLUME: 37, ISSUE: 2

Results per Page: 20.
Page 1 of 199. Total results: 3963.