Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 3990
49 Team MembersFilters -> Year: 2025
1
TÃTULO: A Pattern Language for Engineering Software for the Cloud
AUTORES: Tiago Boldt Sousa; Hugo Sereno Ferreira; Filipe Figueiredo Correia ;
PUBLICAÇÃO: 2025, FONTE: Transactions on Pattern Languages of Programming V, PÁGINAS: 1-66
AUTORES: Tiago Boldt Sousa; Hugo Sereno Ferreira; Filipe Figueiredo Correia ;
PUBLICAÇÃO: 2025, FONTE: Transactions on Pattern Languages of Programming V, PÁGINAS: 1-66
2
TÃTULO: A two-step concept-based approach for enhanced interpretability and trust in skin lesion diagnosis
AUTORES: Patricio, Cristiano; Luis F. Teixeira ; Neves, Joao C.;
PUBLICAÇÃO: 2025, FONTE: COMPUTATIONAL AND STRUCTURAL BIOTECHNOLOGY JOURNAL, VOLUME: 28, PÁGINAS: 71-79
AUTORES: Patricio, Cristiano; Luis F. Teixeira ; Neves, Joao C.;
PUBLICAÇÃO: 2025, FONTE: COMPUTATIONAL AND STRUCTURAL BIOTECHNOLOGY JOURNAL, VOLUME: 28, PÁGINAS: 71-79
3
TÃTULO: Addressing imperfect symmetry: A novel symmetry-learning actor-critic extension
AUTORES: Miguel Abreu; Luís Paulo Reis ; Nuno Lau;
PUBLICAÇÃO: 2025, FONTE: Neurocomputing, VOLUME: 614, PÁGINAS: 128771
AUTORES: Miguel Abreu; Luís Paulo Reis ; Nuno Lau;
PUBLICAÇÃO: 2025, FONTE: Neurocomputing, VOLUME: 614, PÁGINAS: 128771
4
TÃTULO: Addressing imperfect symmetry: A novel symmetry-learning actor-critic extension
AUTORES: Abreu, Miguel; Reis, Luis Paulo ; Lau, Nuno;
PUBLICAÇÃO: 2025, FONTE: NEUROCOMPUTING, VOLUME: 614, PÁGINAS: 128771
AUTORES: Abreu, Miguel; Reis, Luis Paulo ; Lau, Nuno;
PUBLICAÇÃO: 2025, FONTE: NEUROCOMPUTING, VOLUME: 614, PÁGINAS: 128771
5
TÃTULO: Agile Processes in Software Engineering and Extreme Programming - Workshops - XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers
AUTORES: Lodovica Marchesi; Alfredo Goldman; Maria Ilaria Lunesu; Adam Przybylek; Ademar Aguiar ; Lorraine Morgan; Xiaofeng Wang; Andrea Pinna;
PUBLICAÇÃO: 2025, FONTE: XP Workshops, VOLUME: 524
AUTORES: Lodovica Marchesi; Alfredo Goldman; Maria Ilaria Lunesu; Adam Przybylek; Ademar Aguiar ; Lorraine Morgan; Xiaofeng Wang; Andrea Pinna;
PUBLICAÇÃO: 2025, FONTE: XP Workshops, VOLUME: 524
6
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
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
7
TÃTULO: Augmented Reality in Information Design
AUTORES: Luciane Maria Fadel; António Coelho ;
PUBLICAÇÃO: 2025, FONTE: Springer Series in Design and Innovation, VOLUME: 51, PÁGINAS: 30-41
AUTORES: Luciane Maria Fadel; António Coelho ;
PUBLICAÇÃO: 2025, FONTE: Springer Series in Design and Innovation, VOLUME: 51, PÁGINAS: 30-41
8
TÃTULO: CBVLM: Training-free Explainable Concept-based Large Vision Language Models for Medical Image Classification
AUTORES: Cristiano Patrício; Isabel Rio Torto ; Jaime S Cardoso ; Luis F. Teixeira ; João C Neves;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2501.12266
AUTORES: Cristiano Patrício; Isabel Rio Torto ; Jaime S Cardoso ; Luis F. Teixeira ; João C Neves;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2501.12266
9
TÃTULO: CNN explanation methods for ordinal regression tasks
AUTORES: Barbero Gomez, Javier; Cruz, Ricardo P. M. ; Cardoso, Jaime S. ; Gutierrez, Pedro A.; Hervas Martinez, Cesar;
PUBLICAÇÃO: 2025, FONTE: NEUROCOMPUTING, VOLUME: 615, PÁGINAS: 128878
AUTORES: Barbero Gomez, Javier; Cruz, Ricardo P. M. ; Cardoso, Jaime S. ; Gutierrez, Pedro A.; Hervas Martinez, Cesar;
PUBLICAÇÃO: 2025, FONTE: NEUROCOMPUTING, VOLUME: 615, PÁGINAS: 128878
10
TÃTULO: Contributions for the Development of Personae: Method for Creating Persona Templates (MCPT)
AUTORES: Fábio Couto ; Mariana Curado Malta ;
PUBLICAÇÃO: 2025, FONTE: 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, PÁGINAS: 3-22
AUTORES: Fábio Couto ; Mariana Curado Malta ;
PUBLICAÇÃO: 2025, FONTE: 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, PÁGINAS: 3-22
11
TÃTULO: Does Every Computer Scientist Need to Know Formal Methods?
AUTORES: Manfred Broy; Achim D Brucker; Alessandro Fantechi; Mario Gleirscher; Klaus Havelund; Markus Alexander Kuppe; Alexandra Mendes ; André Platzer; Jan Oliver Ringert; Allison Sullivan;
PUBLICAÇÃO: 2025, FONTE: Formal Aspects Comput., VOLUME: 37, NÚMERO: 1, PÁGINAS: 6:1-6:17
AUTORES: Manfred Broy; Achim D Brucker; Alessandro Fantechi; Mario Gleirscher; Klaus Havelund; Markus Alexander Kuppe; Alexandra Mendes ; André Platzer; Jan Oliver Ringert; Allison Sullivan;
PUBLICAÇÃO: 2025, FONTE: Formal Aspects Comput., VOLUME: 37, NÚMERO: 1, PÁGINAS: 6:1-6:17
12
TÃTULO: Estimating Completeness of Consensus Models: Geometrical and Distributional Approaches
AUTORES: Pedro Strecht ; João Mendes-Moreira ; Carlos Soares ;
PUBLICAÇÃO: 2025, FONTE: Lecture Notes in Computer Science - Machine Learning, Optimization, and Data Science, PÁGINAS: 464-478
AUTORES: Pedro Strecht ; João Mendes-Moreira ; Carlos Soares ;
PUBLICAÇÃO: 2025, FONTE: Lecture Notes in Computer Science - Machine Learning, Optimization, and Data Science, PÁGINAS: 464-478
13
TÃTULO: Evaluation of Lyrics Extraction from Folk Music Sheets Using Vision Language Models (VLMs)
AUTORES: André Sales Mendes; Álvaro Lozano Murciego; Luís Augusto Silva; Diego Jiménez Bravo; María Navarro Cáceres; Gilberto Bernardes ;
PUBLICAÇÃO: 2025, FONTE: 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, PÁGINAS: 91-102
AUTORES: André Sales Mendes; Álvaro Lozano Murciego; Luís Augusto Silva; Diego Jiménez Bravo; María Navarro Cáceres; Gilberto Bernardes ;
PUBLICAÇÃO: 2025, FONTE: 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, PÁGINAS: 91-102
14
TÃTULO: GAMFLEW: serious game to teach white-box testing
AUTORES: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra;
PUBLICAÇÃO: 2025, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, NÚMERO: 1, PÁGINAS: 5
AUTORES: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra;
PUBLICAÇÃO: 2025, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, NÚMERO: 1, PÁGINAS: 5
15
TÃTULO: Histopoly: A serious game for teaching histology to 1st year veterinary students
AUTORES: Marcos, Ricardo; Gomes, Andre; Santos, Marta; Coelho, Antonio ;
PUBLICAÇÃO: 2025, FONTE: ANATOMICAL SCIENCES EDUCATION
AUTORES: Marcos, Ricardo; Gomes, Andre; Santos, Marta; Coelho, Antonio ;
PUBLICAÇÃO: 2025, FONTE: ANATOMICAL SCIENCES EDUCATION
16
TÃTULO: Human-in-the-loop Multi-objective Bayesian Optimization for Directed Energy Deposition with in-situ monitoring
AUTORES: Sousa, Joao; Sousa, A. ; Brueckner, Frank; Reis, Luis Paulo ; Reis, Ana;
PUBLICAÇÃO: 2025, FONTE: ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, VOLUME: 92, PÁGINAS: 102892
AUTORES: Sousa, Joao; Sousa, A. ; Brueckner, Frank; Reis, Luis Paulo ; Reis, Ana;
PUBLICAÇÃO: 2025, FONTE: ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, VOLUME: 92, PÁGINAS: 102892
17
TÃTULO: IC-SNI: measuring nodes' influential capability in complex networks through structural and neighboring information
AUTORES: Nandi, Suman; Malta, Mariana Curado ; Maji, Giridhar; Dutta, Animesh;
PUBLICAÇÃO: 2025, FONTE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 67, NÚMERO: 2, PÁGINAS: 1309-1350
AUTORES: Nandi, Suman; Malta, Mariana Curado ; Maji, Giridhar; Dutta, Animesh;
PUBLICAÇÃO: 2025, FONTE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 67, NÚMERO: 2, PÁGINAS: 1309-1350
18
TÃTULO: Layer-based management of collaborative interior design in extended reality
AUTORES: Pintani, Deborah; Caputo, Ariel; Mendes, Daniel ; Giachetti, Andrea;
PUBLICAÇÃO: 2025, FONTE: BEHAVIOUR & INFORMATION TECHNOLOGY, PÁGINAS: 1-17
AUTORES: Pintani, Deborah; Caputo, Ariel; Mendes, Daniel ; Giachetti, Andrea;
PUBLICAÇÃO: 2025, FONTE: BEHAVIOUR & INFORMATION TECHNOLOGY, PÁGINAS: 1-17
19
TÃTULO: Learning Ordinality in Semantic Segmentation
AUTORES: Cruz, Ricardo P. M. ; Cristino, Rafael; Cardoso, Jaime S. ;
PUBLICAÇÃO: 2025, FONTE: IEEE ACCESS, VOLUME: 13, PÁGINAS: 28369-28380
AUTORES: Cruz, Ricardo P. M. ; Cristino, Rafael; Cardoso, Jaime S. ;
PUBLICAÇÃO: 2025, FONTE: IEEE ACCESS, VOLUME: 13, PÁGINAS: 28369-28380
20
TÃTULO: Markerless multi-view 3D human pose estimation: A survey
AUTORES: Nogueira, Ana Filipa Rodrigues; Oliveira, Helder P. ; Luis F. Teixeira ;
PUBLICAÇÃO: 2025, FONTE: IMAGE AND VISION COMPUTING, VOLUME: 155, PÁGINAS: 105437
AUTORES: Nogueira, Ana Filipa Rodrigues; Oliveira, Helder P. ; Luis F. Teixeira ;
PUBLICAÇÃO: 2025, FONTE: IMAGE AND VISION COMPUTING, VOLUME: 155, PÁGINAS: 105437