Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 4482
56 Team MembersFilters -> Year: 2025
161
TÃTULO: Spatio-Temporal Predictive Modeling Techniques for Different Domains: a Survey
AUTORES: Kumar, Rahul; Bhanu, Manish; Mendes moreira, Joao ; Chandra, Joydeep;
PUBLICAÇÃO: 2025, FONTE: ACM COMPUTING SURVEYS, VOLUME: 57, NÚMERO: 2
AUTORES: Kumar, Rahul; Bhanu, Manish; Mendes moreira, Joao ; Chandra, Joydeep;
PUBLICAÇÃO: 2025, FONTE: ACM COMPUTING SURVEYS, VOLUME: 57, NÚMERO: 2
162
TÃTULO: Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
AUTORES: Valentina Wu; Alexandra Mendes ; Alexandre Abreu;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2507.03659
AUTORES: Valentina Wu; Alexandra Mendes ; Alexandre Abreu;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2507.03659
163
TÃTULO: Stress-Testing of Multimodal Models in Medical Image-Based Report Generation
AUTORES: Carvalhido, Flavia; Cardoso, Henrique Lopes ; Cerqueira, Vitor ;
PUBLICAÇÃO: 2025, FONTE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 28, VOLUME: 39, NÚMERO: 28, PÁGINAS: 29251-29252
AUTORES: Carvalhido, Flavia; Cardoso, Henrique Lopes ; Cerqueira, Vitor ;
PUBLICAÇÃO: 2025, FONTE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 28, VOLUME: 39, NÚMERO: 28, PÁGINAS: 29251-29252
164
TÃTULO: Subgroup Discovery Using Model Uncertainty: A Feasibility Study
AUTORES: Ana Cravidão Pereira; Duarte Folgado; Marília Barandas; Carlos Soares ; André V Carreiro;
PUBLICAÇÃO: 2025, FONTE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part I, VOLUME: 16121, PÁGINAS: 505-517
AUTORES: Ana Cravidão Pereira; Duarte Folgado; Marília Barandas; Carlos Soares ; André V Carreiro;
PUBLICAÇÃO: 2025, FONTE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part I, VOLUME: 16121, PÁGINAS: 505-517
165
TÃTULO: Survey about Teachers' Perspective on Software Testing Education
AUTORES: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva ; Alexandra Mendes ; Tanja E J Vos; Felix Cammaerts; Monique Snoeck; Mehrdad Saadatmand; Anna Rita Fasolino;
PUBLICAÇÃO: 2025
AUTORES: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva ; Alexandra Mendes ; Tanja E J Vos; Felix Cammaerts; Monique Snoeck; Mehrdad Saadatmand; Anna Rita Fasolino;
PUBLICAÇÃO: 2025
166
TÃTULO: Survey on machine learning applied to CNC milling processes
AUTORES: Pasandidehpoor, Mohammad; Nogueira, Ana Rita ; Mendes Moreira, Joao ; Sousa, Ricardo;
PUBLICAÇÃO: 2025, FONTE: ADVANCES IN MANUFACTURING
AUTORES: Pasandidehpoor, Mohammad; Nogueira, Ana Rita ; Mendes Moreira, Joao ; Sousa, Ricardo;
PUBLICAÇÃO: 2025, FONTE: ADVANCES IN MANUFACTURING
167
TÃTULO: Survival Analysis-Based System for Predictive Maintenance Optimization
AUTORES: Beatriz Coutinho; Margarida Moreira; Eliseu Moura Pereira; Gil Gonçalves ;
PUBLICAÇÃO: 2025, FONTE: SN Comput. Sci., VOLUME: 6, NÚMERO: 7, PÁGINAS: 766
AUTORES: Beatriz Coutinho; Margarida Moreira; Eliseu Moura Pereira; Gil Gonçalves ;
PUBLICAÇÃO: 2025, FONTE: SN Comput. Sci., VOLUME: 6, NÚMERO: 7, PÁGINAS: 766
168
TÃTULO: Testing infrastructures to support mobile application testing: A systematic mapping study
AUTORES: Kuroishi, Pedro Henrique; Paiva, Ana Cristina Ramada ; Maldonado, Jose Carlos; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2025, FONTE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 177, PÁGINAS: 107573
AUTORES: Kuroishi, Pedro Henrique; Paiva, Ana Cristina Ramada ; Maldonado, Jose Carlos; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2025, FONTE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 177, PÁGINAS: 107573
169
TÃTULO: The Co-Design Process Behind CogniSpace: A Serious Game for Cognitive and Psychosocial Rehabiliation
AUTORES: Eliana Silva; Carolina Figueira; Luís Paulo Reis ; Marta Parreira; Ana Ramos; Catarina Fernandes; Marta Reis; Sara Araújo Silva;
PUBLICAÇÃO: 2025, FONTE: 2025 IEEE Conference on Games, CoG 2025 in IEEE Conference on Games, CoG 2025, Lisbon, Portugal, August 26-29, 2025, PÁGINAS: 1-4
AUTORES: Eliana Silva; Carolina Figueira; Luís Paulo Reis ; Marta Parreira; Ana Ramos; Catarina Fernandes; Marta Reis; Sara Araújo Silva;
PUBLICAÇÃO: 2025, FONTE: 2025 IEEE Conference on Games, CoG 2025 in IEEE Conference on Games, CoG 2025, Lisbon, Portugal, August 26-29, 2025, PÁGINAS: 1-4
170
TÃTULO: The vividness of mental imagery in virtual reality: A study on multisensory experiences in virtual tourism☆
AUTORES: Magalhaes, Mariana ; Melo, Miguel ; Coelho, Antonio ; Bessa, Maximino ;
PUBLICAÇÃO: 2025, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 133, PÁGINAS: 104443
AUTORES: Magalhaes, Mariana ; Melo, Miguel ; Coelho, Antonio ; Bessa, Maximino ;
PUBLICAÇÃO: 2025, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 133, PÁGINAS: 104443
171
TÃTULO: Time Series Data Augmentation as an Imbalanced Learning Problem
AUTORES: Cerqueira, Vitor ; Moniz, Nuno; Inacio, Ricardo; Soares, Carlos ;
PUBLICAÇÃO: 2025, FONTE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT II, VOLUME: 14968, PÁGINAS: 335-346
AUTORES: Cerqueira, Vitor ; Moniz, Nuno; Inacio, Ricardo; Soares, Carlos ;
PUBLICAÇÃO: 2025, FONTE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT II, VOLUME: 14968, PÁGINAS: 335-346
172
TÃTULO: Toward Musicologically-Informed Retrieval: Enhancing MEI with Computational Metadata
AUTORES: Nádia Carvalho; Gilberto Bernardes ;
PUBLICAÇÃO: 2025
AUTORES: Nádia Carvalho; Gilberto Bernardes ;
PUBLICAÇÃO: 2025
173
TÃTULO: Towards Utilizing Robust Radiance Fields for 3D Reconstruction of Breast Aesthetics
AUTORES: Gonçalo Pinto; Mohammad Hossein Zolfagharnasab; Luís F Teixeira ; Helena Cruz; Maria João Cardoso; Jaime S Cardoso ;
PUBLICAÇÃO: 2025, FONTE: 2nd Deep Breast Workshop on Artificial Intelligence and Imaging for Diagnostic and Treatment Challenges in Breast Care, Deep-Breath 2025, held in conjunction with the 28th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2025 in Artificial Intelligence and Imaging for Diagnostic and Treatment Challenges in Breast Care - Second Deep Breast Workshop, Deep-Breath 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings, VOLUME: 16142, PÁGINAS: 279-288
AUTORES: Gonçalo Pinto; Mohammad Hossein Zolfagharnasab; Luís F Teixeira ; Helena Cruz; Maria João Cardoso; Jaime S Cardoso ;
PUBLICAÇÃO: 2025, FONTE: 2nd Deep Breast Workshop on Artificial Intelligence and Imaging for Diagnostic and Treatment Challenges in Breast Care, Deep-Breath 2025, held in conjunction with the 28th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2025 in Artificial Intelligence and Imaging for Diagnostic and Treatment Challenges in Breast Care - Second Deep Breast Workshop, Deep-Breath 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings, VOLUME: 16142, PÁGINAS: 279-288
174
TÃTULO: TranspileJS, an Intelligent Framework for Transpiling JavaScript to WebAssembly
AUTORES: Ferreira, Jose Pedro; Bispo, Joao ; Lima, Susana;
PUBLICAÇÃO: 2025, FONTE: 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, PÁGINAS: 71-83
AUTORES: Ferreira, Jose Pedro; Bispo, Joao ; Lima, Susana;
PUBLICAÇÃO: 2025, FONTE: 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, PÁGINAS: 71-83
175
TÃTULO: Unimodal Distributions for Ordinal Regression
AUTORES: Jaime S Cardoso ; Ricardo P M Cruz ; Tomé Albuquerque ;
PUBLICAÇÃO: 2025, FONTE: IEEE Trans. Artif. Intell., VOLUME: 6, NÚMERO: 9, PÁGINAS: 2498-2509
AUTORES: Jaime S Cardoso ; Ricardo P M Cruz ; Tomé Albuquerque ;
PUBLICAÇÃO: 2025, FONTE: IEEE Trans. Artif. Intell., VOLUME: 6, NÚMERO: 9, PÁGINAS: 2498-2509
176
TÃTULO: User Behavior in Sports Search: Entity-Centric Query and Click Log Analysis
AUTORES: João Damas; Sérgio Nunes ;
PUBLICAÇÃO: 2025, FONTE: Lecture Notes in Computer Science - Progress in Artificial Intelligence, PÁGINAS: 276-288
AUTORES: João Damas; Sérgio Nunes ;
PUBLICAÇÃO: 2025, FONTE: Lecture Notes in Computer Science - Progress in Artificial Intelligence, PÁGINAS: 276-288
177
TÃTULO: What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
AUTORES: Francisco Oliveira; Alexandra Mendes ; Carolina Carreira;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2506.23696
AUTORES: Francisco Oliveira; Alexandra Mendes ; Carolina Carreira;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2506.23696
178
TÃTULO: Zero-Shot and Hybrid Strategies for Tetun Ad-Hoc Text Retrieval
AUTORES: Gabriel de Jesus; Siddharth K Singh; Sérgio Nunes ; Andrew Yates;
PUBLICAÇÃO: 2025, FONTE: 15th International Conference on Innovative Concepts and Theories in Information Retrieval, ICTIR 2025 in Proceedings of the 2025 International ACM SIGIR Conference on Innovative Concepts and Theories in Information Retrieval (ICTIR), PÁGINAS: 264-274
AUTORES: Gabriel de Jesus; Siddharth K Singh; Sérgio Nunes ; Andrew Yates;
PUBLICAÇÃO: 2025, FONTE: 15th International Conference on Innovative Concepts and Theories in Information Retrieval, ICTIR 2025 in Proceedings of the 2025 International ACM SIGIR Conference on Innovative Concepts and Theories in Information Retrieval (ICTIR), PÁGINAS: 264-274
179
TÃTULO: 0-DMF: A Decision-Support Framework for Zero Defects Manufacturing
AUTORES: Beatriz Coutinho; Eliseu Moura Pereira ; Gil Gonçalves ;
PUBLICAÇÃO: 2024, FONTE: 21st International Conference on Informatics in Control, Automation and Robotics, ICINCO 2024 in Proceedings of the 21st International Conference on Informatics in Control, Automation and Robotics, ICINCO 2024, Porto, Portugal, November 18-20, 2024, Volume 1., VOLUME: 1, PÁGINAS: 253-260
AUTORES: Beatriz Coutinho; Eliseu Moura Pereira ; Gil Gonçalves ;
PUBLICAÇÃO: 2024, FONTE: 21st International Conference on Informatics in Control, Automation and Robotics, ICINCO 2024 in Proceedings of the 21st International Conference on Informatics in Control, Automation and Robotics, ICINCO 2024, Porto, Portugal, November 18-20, 2024, Volume 1., VOLUME: 1, PÁGINAS: 253-260
180
TÃTULO: 15th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 13th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2024, January 18, 2024, Munich, Germany
AUTORES: João Bispo ; Sotirios Xydis; Serena Curzel; Luís Miguel Sousa;
PUBLICAÇÃO: 2024, FONTE: PARMA-DITAM, VOLUME: 116
AUTORES: João Bispo ; Sotirios Xydis; Serena Curzel; Luís Miguel Sousa;
PUBLICAÇÃO: 2024, FONTE: PARMA-DITAM, VOLUME: 116
