Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 4482
56 Team MembersFilters -> Year: 2025
41
TÃTULO: Automated Social Media Feedback Analysis for Software Requirements Elicitation: A Case Study in the Streaming Industry
AUTORES: Melissa Silva; João Pascoal Faria ;
PUBLICAÇÃO: 2025, FONTE: Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2025, Porto, Portugal, April 4-6, 2025., PÁGINAS: 149-160
AUTORES: Melissa Silva; João Pascoal Faria ;
PUBLICAÇÃO: 2025, FONTE: Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2025, Porto, Portugal, April 4-6, 2025., PÁGINAS: 149-160
42
TÃTULO: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTORES: Faria, Joao Pascoal ; Trigo, Emanuel; Abreu, Rui ;
PUBLICAÇÃO: 2025, FONTE: 11th International Conference on Fundamentals of Software Engineering-FSEN in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2025, VOLUME: 15593, PÁGINAS: 138-154
AUTORES: Faria, Joao Pascoal ; Trigo, Emanuel; Abreu, Rui ;
PUBLICAÇÃO: 2025, FONTE: 11th International Conference on Fundamentals of Software Engineering-FSEN in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2025, VOLUME: 15593, PÁGINAS: 138-154
43
TÃTULO: Bi-LSTM Neural Networks for Traffic Flow Prediction: An Empirical Evaluation
AUTORES: Alves, Bernardo Amorim; Fontes, Tania ; Rossetti, Rosaldo ;
PUBLICAÇÃO: 2025, FONTE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT II, VOLUME: 14968, PÁGINAS: 233-245
AUTORES: Alves, Bernardo Amorim; Fontes, Tania ; Rossetti, Rosaldo ;
PUBLICAÇÃO: 2025, FONTE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT II, VOLUME: 14968, PÁGINAS: 233-245
44
TÃTULO: Can ChatGPT Suggest Patterns? An Exploratory Study About Answers Given by AI-Assisted Tools to Design Problems
AUTORES: Maranhao Junior, Joao Jose; Correia, Filipe F. ; Guerra, Eduardo Martins;
PUBLICAÇÃO: 2025, FONTE: 25th International Conference on Agile Software Development (XP) in AGILE PROCESSES IN SOFTWARE ENGINEERING AND EXTREME PROGRAMMING-WORKSHOPS, XP 2024 WORKSHOPS, VOLUME: 524, PÁGINAS: 130-138
AUTORES: Maranhao Junior, Joao Jose; Correia, Filipe F. ; Guerra, Eduardo Martins;
PUBLICAÇÃO: 2025, FONTE: 25th International Conference on Agile Software Development (XP) in AGILE PROCESSES IN SOFTWARE ENGINEERING AND EXTREME PROGRAMMING-WORKSHOPS, XP 2024 WORKSHOPS, VOLUME: 524, PÁGINAS: 130-138
45
TÃTULO: Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
AUTORES: Carolina Carreira; Álvaro F Silva; Alexandre Abreu; Alexandra Mendes ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2506.22370
AUTORES: Carolina Carreira; Álvaro F Silva; Alexandre Abreu; Alexandra Mendes ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2506.22370
46
TÃTULO: Can Llama 3 Accurately Assess Readability? A Comparative Study Using Lead Sections from Wikipedia
AUTORES: Rodrigues, Jose Frederico; Cardoso, Henrique Lopes; Lopes, Carla Teixeira ;
PUBLICAÇÃO: 2025, FONTE: 19th International Conference on Research Challenges in Information Science-RCIS-Annual in RESEARCH CHALLENGES IN INFORMATION SCIENCE, RCIS 2025, PT II, VOLUME: 548, PÁGINAS: 89-97
AUTORES: Rodrigues, Jose Frederico; Cardoso, Henrique Lopes; Lopes, Carla Teixeira ;
PUBLICAÇÃO: 2025, FONTE: 19th International Conference on Research Challenges in Information Science-RCIS-Annual in RESEARCH CHALLENGES IN INFORMATION SCIENCE, RCIS 2025, PT II, VOLUME: 548, PÁGINAS: 89-97
47
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 ; Luís F Teixeira ; João Neves;
PUBLICAÇÃO: 2025, FONTE: Comput. Biol. Medicine, VOLUME: 198, PÁGINAS: 111145
AUTORES: Cristiano Patrício; Isabel Rio Torto ; Jaime S Cardoso ; Luís F Teixeira ; João Neves;
PUBLICAÇÃO: 2025, FONTE: Comput. Biol. Medicine, VOLUME: 198, PÁGINAS: 111145
48
TÃTULO: Characterising Class Imbalance in Transportation Mode Detection: An Experimental Study
AUTORES: Muhammad, Akilu Rilwan; Aguiar, Ana ; Mendes Moreira, Joao ;
PUBLICAÇÃO: 2025, FONTE: 25th International Conference on Intelligent Data Engineering and Automated Learning in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2024, PT II, VOLUME: 15347, PÁGINAS: 58-70
AUTORES: Muhammad, Akilu Rilwan; Aguiar, Ana ; Mendes Moreira, Joao ;
PUBLICAÇÃO: 2025, FONTE: 25th International Conference on Intelligent Data Engineering and Automated Learning in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2024, PT II, VOLUME: 15347, PÁGINAS: 58-70
49
TÃTULO: ChatGPT as a catalyst for Critical and Creative Thinking; [ChatGPT como catalisador do Pensamento Crítico e Criativo]; [ChatGPT como catalizador del Pensamiento Crítico y Creativo]
AUTORES: Rosa Sandra Paiva; António Pedro Costa; Luís Paulo Reis ;
PUBLICAÇÃO: 2025, FONTE: Praxis Educativa, VOLUME: 20
AUTORES: Rosa Sandra Paiva; António Pedro Costa; Luís Paulo Reis ;
PUBLICAÇÃO: 2025, FONTE: Praxis Educativa, VOLUME: 20
50
TÃTULO: ChatGPT como catalisador do Pensamento Crítico e Criativo
AUTORES: Sandra Rosa Paiva; António Pedro Costa; Luís Paulo Reis ;
PUBLICAÇÃO: 2025, FONTE: Praxis Educativa, VOLUME: 20, NÚMERO: 2025, PÁGINAS: 1-23
AUTORES: Sandra Rosa Paiva; António Pedro Costa; Luís Paulo Reis ;
PUBLICAÇÃO: 2025, FONTE: Praxis Educativa, VOLUME: 20, NÚMERO: 2025, PÁGINAS: 1-23
51
TÃTULO: Cherry-Picking in Time Series Forecasting: How to Select Datasets to Make Your Model Shine
AUTORES: Roque, Luis; Cerqueira, Vitor ; Soares, Carlos; Torgo, Luis ;
PUBLICAÇÃO: 2025, FONTE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 19, VOLUME: 39, NÚMERO: 19, PÁGINAS: 20192-20199
AUTORES: Roque, Luis; Cerqueira, Vitor ; Soares, Carlos; Torgo, Luis ;
PUBLICAÇÃO: 2025, FONTE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 19, VOLUME: 39, NÚMERO: 19, PÁGINAS: 20192-20199
52
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
53
TÃTULO: Code change and smell techniques for regression test selection
AUTORES: Mori, Allan; Paiva, Ana C. R. ; Souza, Simone R. S.;
PUBLICAÇÃO: 2025, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, NÚMERO: 1, PÁGINAS: 11
AUTORES: Mori, Allan; Paiva, Ana C. R. ; Souza, Simone R. S.;
PUBLICAÇÃO: 2025, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, NÚMERO: 1, PÁGINAS: 11
54
TÃTULO: Coinfection of Herpes Simplex virus 2 and Mycobacterium chelonae in acute hydrops associated with keratoconus: A case report
AUTORES: Marques Couto, Pedro; Gama Castro, Ana; Carvalho, Teresa; Vilares Morgado, Rodrigo; Pinheiro Costa, Joao; Pinheiro, Dolores; Cunha, Ana Maria ;
PUBLICAÇÃO: 2025, FONTE: IDCASES, VOLUME: 39
AUTORES: Marques Couto, Pedro; Gama Castro, Ana; Carvalho, Teresa; Vilares Morgado, Rodrigo; Pinheiro Costa, Joao; Pinheiro, Dolores; Cunha, Ana Maria ;
PUBLICAÇÃO: 2025, FONTE: IDCASES, VOLUME: 39
55
TÃTULO: Collaborating with Algorithms: AI for Collaborative Supply Chain Management
AUTORES: Couto, Fábio ; Mariana Curado Malta ; António Lucas Soares ;
PUBLICAÇÃO: 2025, FONTE: IFIP advances in information and communication technology, PÁGINAS: 185-200
AUTORES: Couto, Fábio ; Mariana Curado Malta ; António Lucas Soares ;
PUBLICAÇÃO: 2025, FONTE: IFIP advances in information and communication technology, PÁGINAS: 185-200
56
TÃTULO: Community-based voting approach to enhance the spreading dynamics by identifying a group of influential spreaders in complex networks
AUTORES: Nandi, Suman; Malta, Mariana Curado ; Maji, Giridhar; Dutta, Animesh;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF COMPUTATIONAL SCIENCE, VOLUME: 86, PÁGINAS: 102540
AUTORES: Nandi, Suman; Malta, Mariana Curado ; Maji, Giridhar; Dutta, Animesh;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF COMPUTATIONAL SCIENCE, VOLUME: 86, PÁGINAS: 102540
57
TÃTULO: Comparative insights into semantic archival modelling: evaluating RiC-O and ArchOnto representation capabilities
AUTORES: Giagnolini, Lucia; Koch, Ines ; Tomasi, Francesca; Teixeira Lopes, Carla ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF DOCUMENTATION, VOLUME: 81, NÚMERO: 4, PÁGINAS: 1003-1031
AUTORES: Giagnolini, Lucia; Koch, Ines ; Tomasi, Francesca; Teixeira Lopes, Carla ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF DOCUMENTATION, VOLUME: 81, NÚMERO: 4, PÁGINAS: 1003-1031
58
TÃTULO: Comparative Study on Curiosity with Attention, Memory and Empowerment
AUTORES: Duarte, Fernando Fradique; Lau, Nuno; Pereira, Artur; Reis, Luis Paulo ;
PUBLICAÇÃO: 2025, FONTE: 2025 International Conference on Autonomous Robot Systems and Competitions-ICARSC-Annual in 2025 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS, ICARSC, NÚMERO: 2025, PÁGINAS: 92-97
AUTORES: Duarte, Fernando Fradique; Lau, Nuno; Pereira, Artur; Reis, Luis Paulo ;
PUBLICAÇÃO: 2025, FONTE: 2025 International Conference on Autonomous Robot Systems and Competitions-ICARSC-Annual in 2025 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS, ICARSC, NÚMERO: 2025, PÁGINAS: 92-97
59
TÃTULO: Comparing Aggregated and Separate Models for Crowd Density Forecasting
AUTORES: Sardinha, Iohan; Rocha, Ana Paula ; Rossetti, Rosaldo J. F. ;
PUBLICAÇÃO: 2025, FONTE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT I, VOLUME: 14967, PÁGINAS: 386-397
AUTORES: Sardinha, Iohan; Rocha, Ana Paula ; Rossetti, Rosaldo J. F. ;
PUBLICAÇÃO: 2025, FONTE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT I, VOLUME: 14967, PÁGINAS: 386-397
60
TÃTULO: Computational Phrase Segmentation of Iberian Folk Traditions: An Optimized LBDM Model
AUTORES: Amir Abbas Orouji; Nadia Carvalho; António Sá Pinto; Gilberto Bernardes ;
PUBLICAÇÃO: 2025
AUTORES: Amir Abbas Orouji; Nadia Carvalho; António Sá Pinto; Gilberto Bernardes ;
PUBLICAÇÃO: 2025
