Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 4649
62 Team MembersFilters -> Year: 2026
261
TITLE: Spatio-Temporal Predictive Modeling Techniques for Different Domains: a Survey
AUTHORS: Kumar, Rahul; Bhanu, Manish; Mendes moreira, Joao ; Chandra, Joydeep;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2
AUTHORS: Kumar, Rahul; Bhanu, Manish; Mendes moreira, Joao ; Chandra, Joydeep;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2
262
TITLE: Specification-Guided Repair of Arithmetic Errors in Dafny Programs Using LLMs
AUTHORS: Valentina Wu; Alexandra Mendes ; Alexandre Abreu;
PUBLISHED: 2025, SOURCE: SEFM, VOLUME: 16192 LNCS, PAGES: 261-278
AUTHORS: Valentina Wu; Alexandra Mendes ; Alexandre Abreu;
PUBLISHED: 2025, SOURCE: SEFM, VOLUME: 16192 LNCS, PAGES: 261-278
263
TITLE: Stress-Testing of Multimodal Models in Medical Image-Based Report Generation
AUTHORS: Carvalhido, Flavia; Cardoso, Henrique Lopes ; Cerqueira, Vitor ;
PUBLISHED: 2025, SOURCE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 28, VOLUME: 39, ISSUE: 28, PAGES: 29251-29252
AUTHORS: Carvalhido, Flavia; Cardoso, Henrique Lopes ; Cerqueira, Vitor ;
PUBLISHED: 2025, SOURCE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 28, VOLUME: 39, ISSUE: 28, PAGES: 29251-29252
264
TITLE: Subgroup Discovery Using Model Uncertainty: A Feasibility Study
AUTHORS: Ana Cravidão Pereira; Duarte Folgado; Marília Barandas; Carlos Soares ; André V Carreiro;
PUBLISHED: 2025, SOURCE: EPIA (1), VOLUME: 16121 LNAI, PAGES: 505-517
AUTHORS: Ana Cravidão Pereira; Duarte Folgado; Marília Barandas; Carlos Soares ; André V Carreiro;
PUBLISHED: 2025, SOURCE: EPIA (1), VOLUME: 16121 LNAI, PAGES: 505-517
265
TITLE: Survey about Teachers' Perspective on Software Testing Education
AUTHORS: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva ; Alexandra Mendes ; Tanja E J Vos; Felix Cammaerts; Monique Snoeck; Mehrdad Saadatmand; Anna Rita Fasolino;
PUBLISHED: 2025
AUTHORS: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva ; Alexandra Mendes ; Tanja E J Vos; Felix Cammaerts; Monique Snoeck; Mehrdad Saadatmand; Anna Rita Fasolino;
PUBLISHED: 2025
266
TITLE: Survey on machine learning applied to CNC milling processes
AUTHORS: Pasandidehpoor, Mohammad; Nogueira, Ana Rita ; Mendes Moreira, Joao ; Sousa, Ricardo;
PUBLISHED: 2025, SOURCE: ADVANCES IN MANUFACTURING
AUTHORS: Pasandidehpoor, Mohammad; Nogueira, Ana Rita ; Mendes Moreira, Joao ; Sousa, Ricardo;
PUBLISHED: 2025, SOURCE: ADVANCES IN MANUFACTURING
267
TITLE: Survival Analysis-Based System for Predictive Maintenance Optimization
AUTHORS: Beatriz Coutinho; Margarida Moreira; Eliseu Moura Pereira; Gil Gonçalves ;
PUBLISHED: 2025, SOURCE: SN Comput. Sci., VOLUME: 6, ISSUE: 7, PAGES: 766
AUTHORS: Beatriz Coutinho; Margarida Moreira; Eliseu Moura Pereira; Gil Gonçalves ;
PUBLISHED: 2025, SOURCE: SN Comput. Sci., VOLUME: 6, ISSUE: 7, PAGES: 766
268
TITLE: Swin Transformer Applied to Breast MRI Super-Resolution in a Cross-Cohort Dataset
AUTHORS: Sousa, Pedro ; Sousa, Henrique; Pereira, Tania ; Batista, Eva; Gouveia, Pedro; Oliveira, Helder P. ;
PUBLISHED: 2025, SOURCE: 38th International Symposium on Computer Based Medical Systems-CBMS-Annual in 2025 IEEE 38TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, CBMS, PAGES: 127-132
AUTHORS: Sousa, Pedro ; Sousa, Henrique; Pereira, Tania ; Batista, Eva; Gouveia, Pedro; Oliveira, Helder P. ;
PUBLISHED: 2025, SOURCE: 38th International Symposium on Computer Based Medical Systems-CBMS-Annual in 2025 IEEE 38TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, CBMS, PAGES: 127-132
269
TITLE: Testing infrastructures to support mobile application testing: A systematic mapping study
AUTHORS: Kuroishi, Pedro Henrique; Paiva, Ana Cristina Ramada ; Maldonado, Jose Carlos; VINCENZI, AURI M. R. ;
PUBLISHED: 2025, SOURCE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 177, PAGES: 107573
AUTHORS: Kuroishi, Pedro Henrique; Paiva, Ana Cristina Ramada ; Maldonado, Jose Carlos; VINCENZI, AURI M. R. ;
PUBLISHED: 2025, SOURCE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 177, PAGES: 107573
270
TITLE: TGNN-Bet: Approximation of Temporal Betweenness Centrality using Temporal Graph Neural Network
AUTHORS: Srestha Sadhu; Kusum Kumari; Amrita Namtirtha; Mariana Curado Malta ; Animesh Dutta;
PUBLISHED: 2025, SOURCE: 17th International Conference on COMmunication Systems and NETworkS, COMSNETS 2025 in International Conference on Communication Systems and Networks, COMSNETS, ISSUE: 2025, PAGES: 911-915
AUTHORS: Srestha Sadhu; Kusum Kumari; Amrita Namtirtha; Mariana Curado Malta ; Animesh Dutta;
PUBLISHED: 2025, SOURCE: 17th International Conference on COMmunication Systems and NETworkS, COMSNETS 2025 in International Conference on Communication Systems and Networks, COMSNETS, ISSUE: 2025, PAGES: 911-915
271
TITLE: The Co-Design process behind <i>CogniSpace</i>: A Serious Game for Cognitive and Psychosocial Rehabiliation
AUTHORS: Silva, Eliana; Figueira, Carolina; Reis, Luis Paulo ; Parreira, Marta; Ramos, Ana; Fernandes, Catarina; Reis, Marta; Silva, Sara Araujo;
PUBLISHED: 2025, SOURCE: 2025 Conference on Games-COG-Annual in 2025 IEEE CONFERENCE ON GAMES, COG, PAGES: 1-4
AUTHORS: Silva, Eliana; Figueira, Carolina; Reis, Luis Paulo ; Parreira, Marta; Ramos, Ana; Fernandes, Catarina; Reis, Marta; Silva, Sara Araujo;
PUBLISHED: 2025, SOURCE: 2025 Conference on Games-COG-Annual in 2025 IEEE CONFERENCE ON GAMES, COG, PAGES: 1-4
272
TITLE: The vividness of mental imagery in virtual reality: A study on multisensory experiences in virtual tourism☆
AUTHORS: Magalhaes, Mariana ; Melo, Miguel ; Coelho, Antonio ; Bessa, Maximino ;
PUBLISHED: 2025, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 133, PAGES: 104443
AUTHORS: Magalhaes, Mariana ; Melo, Miguel ; Coelho, Antonio ; Bessa, Maximino ;
PUBLISHED: 2025, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 133, PAGES: 104443
273
TITLE: Time Series Data Augmentation as an Imbalanced Learning Problem
AUTHORS: Cerqueira, Vitor ; Moniz, Nuno ; Inacio, Ricardo; Soares, Carlos ;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT III, VOLUME: 14969, PAGES: 335-346
AUTHORS: Cerqueira, Vitor ; Moniz, Nuno ; Inacio, Ricardo; Soares, Carlos ;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT III, VOLUME: 14969, PAGES: 335-346
274
TITLE: Toward Musicologically-Informed Retrieval: Enhancing MEI with Computational Metadata
AUTHORS: Nádia Carvalho ; Gilberto Bernardes ;
PUBLISHED: 2025
AUTHORS: Nádia Carvalho ; Gilberto Bernardes ;
PUBLISHED: 2025
275
TITLE: Towards Utilizing Robust Radiance Fields for 3D Reconstruction of Breast Aesthetics
AUTHORS: Gonçalo Pinto; Mohammad Hossein Zolfagharnasab ; Luís F Teixeira ; Helena Cruz; Maria João Cardoso; Jaime S Cardoso ;
PUBLISHED: 2025, SOURCE: Deep-Breath@MICCAI, VOLUME: 16142 LNCS, PAGES: 279-288
AUTHORS: Gonçalo Pinto; Mohammad Hossein Zolfagharnasab ; Luís F Teixeira ; Helena Cruz; Maria João Cardoso; Jaime S Cardoso ;
PUBLISHED: 2025, SOURCE: Deep-Breath@MICCAI, VOLUME: 16142 LNCS, PAGES: 279-288
276
TITLE: TranspileJS, an Intelligent Framework for Transpiling JavaScript to WebAssembly
AUTHORS: Ferreira, Jose Pedro; Bispo, Joao ; Lima, Susana;
PUBLISHED: 2025, SOURCE: 18th International Conference on Software Language Engineering-SLE-Annual in PROCEEDINGS OF SLE 2025 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2025, PAGES: 71-83
AUTHORS: Ferreira, Jose Pedro; Bispo, Joao ; Lima, Susana;
PUBLISHED: 2025, SOURCE: 18th International Conference on Software Language Engineering-SLE-Annual in PROCEEDINGS OF SLE 2025 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2025, PAGES: 71-83
277
TITLE: tsMIST: Model Sensitivity Analysis with Time Series Morphing
AUTHORS: Antónia Brito; Moisés Santos; Duarte Folgado; Carlos Soares ;
PUBLISHED: 2025, SOURCE: DS, VOLUME: 16090 LNCS, PAGES: 270-285
AUTHORS: Antónia Brito; Moisés Santos; Duarte Folgado; Carlos Soares ;
PUBLISHED: 2025, SOURCE: DS, VOLUME: 16090 LNCS, PAGES: 270-285
278
TITLE: Unimodal Distributions for Ordinal Regression
AUTHORS: Jaime S Cardoso ; Ricardo P M Cruz ; Tomé Albuquerque ;
PUBLISHED: 2025, SOURCE: IEEE Trans. Artif. Intell., VOLUME: 6, ISSUE: 9, PAGES: 2498-2509
AUTHORS: Jaime S Cardoso ; Ricardo P M Cruz ; Tomé Albuquerque ;
PUBLISHED: 2025, SOURCE: IEEE Trans. Artif. Intell., VOLUME: 6, ISSUE: 9, PAGES: 2498-2509
279
TITLE: User Behavior in Sports Search: Entity-Centric Query and Click Log Analysis
AUTHORS: João Damas; Sérgio Nunes ;
PUBLISHED: 2025, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in EPIA (2), VOLUME: 16122 LNAI, PAGES: 276-288
AUTHORS: João Damas; Sérgio Nunes ;
PUBLISHED: 2025, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in EPIA (2), VOLUME: 16122 LNAI, PAGES: 276-288
280
TITLE: ViConEx-Med: Visual Concept Explainability via Multi-Concept Token Transformer for Medical Image Analysis
AUTHORS: Cristiano Patrício ; Luís F Teixeira ; João Neves;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.10174
AUTHORS: Cristiano Patrício ; Luís F Teixeira ; João Neves;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.10174
