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

AuthID: I-000-0K9


Publications Count: 3918

48 Team Members
Filters -> Year: 2025
101
TITLE: Leveraging Large Language Models to Boost Dafny's Developers Productivity
AUTHORS: Silva, Alvaro; Mendes, Alexandra ; Ferreira, Joao F.;
PUBLISHED: 2024, SOURCE: IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) in PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE 2024, PAGES: 138-142
102
TITLE: Leveraging Physics-Informed Neural Networks as Solar Wind Forecasting Models
AUTHORS: Nuno Costa; Filipa S Barros; João J G Lima ; Rui F Pinto; André Restivo ;
PUBLISHED: 2024, SOURCE: 32nd European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, ESANN 2024, Bruges, Belgium, October 9-11, 2024, PAGES: 425-430
103
TITLE: LINKING GREAT PARTNERS FOR ENTREPRENEURSHIP EDUCATION
AUTHORS: Gil Gonçalves ;
PUBLISHED: 2024, SOURCE: INTED Proceedings - INTED2024 Proceedings
104
TITLE: LITERATURE REVIEW ON THE APPLICATION OF ENTRECOMP FRAMEWORK IN UNIVERSITY SETTINGS
AUTHORS: Elizaveta Osipovskaya; António Coelho ; Péter Tasi;
PUBLISHED: 2024, SOURCE: EDULEARN Proceedings - EDULEARN24 Proceedings
105
TITLE: Live software documentation of design pattern instances
AUTHORS: Lemos, Filipe; Correia, Filipe F. ; Aguiar, Ademar ; Queiroz, Paulo G. G. ;
PUBLISHED: 2024, SOURCE: PEERJ COMPUTER SCIENCE, VOLUME: 10
106
TITLE: Logging design patterns for cloud-native applications
AUTHORS: Carlos Albuquerque; Filipe Figueiredo Correia ;
PUBLISHED: 2024, SOURCE: Proceedings of the 29th European Conference on Pattern Languages of Programs, People, and Practices, EuroPLoP 2024, Irsee, Germany, July 3-7, 2024, PAGES: 17:1-17:11
107
TITLE: Machine Learning Data Market Based on Multiagent Systems
AUTHORS: Baghcheband, Hajar; Soares, Carlos ; Reis, Luis Paulo ;
PUBLISHED: 2024, SOURCE: IEEE INTERNET COMPUTING, VOLUME: 28, ISSUE: 4, PAGES: 7-13
108
TITLE: Map-matching methods in agriculture
AUTHORS: Silva, Anibal; Mendes Moreira, Joao ; Ferreira, Carlos ; Costa, Nuno; Dias, Duarte ;
PUBLISHED: 2024, SOURCE: COMPUTERS AND ELECTRONICS IN AGRICULTURE, VOLUME: 216, PAGES: 108529
109
TITLE: Markerless Multi-view 3D Human Pose Estimation: a survey
AUTHORS: Ana Filipa Rodrigues Nogueira; Hélder P Oliveira ; Luis F. Teixeira ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2407.03817
110
TITLE: Melanoma prevention using an augmented reality-based serious game
AUTHORS: Ribeiro, Nuno; Tavares, Pedro; Ferreira, Catarina; Coelho, Antonio ;
PUBLISHED: 2024, SOURCE: PATIENT EDUCATION AND COUNSELING, VOLUME: 123, PAGES: 108226
111
TITLE: Message from the General Co-Chairs: International Conference on Software Engineering (ICSE) 2024
AUTHORS: Ana R Paiva ; Rui Abreu;
PUBLISHED: 2024, SOURCE: 46th International Conference on Software Engineering: Companion, ICSE-Companion 2024 in Proceedings - International Conference on Software Engineering
112
TITLE: Meta-learning and Data Augmentation for Stress Testing Forecasting Models
AUTHORS: Ricardo Inácio; Vítor Cerqueira; Marília Barandas; Carlos Soares ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2406.17008
113
TITLE: Modal Pitch Space: A Computational Model of Melodic Pitch Attraction in Folk Music
AUTHORS: Bernardes, Gilberto ; Carvalho, Nadia;
PUBLISHED: 2024, SOURCE: 9th International Conference on Mathematics and Computation in Music (MCM) in MATHEMATICS AND COMPUTATION IN MUSIC, MCM 2024, VOLUME: 14639, PAGES: 183-194
114
TITLE: Multi-Agent Reinforcement Learning for Side-by-Side Navigation of Autonomous Wheelchairs
AUTHORS: Fonseca, Tiago; Leao, Goncalo; Ferreira, Luis Lino; Sousa, A. ; Severino, Ricardo; Reis, Luis Paulo ;
PUBLISHED: 2024, SOURCE: International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2024 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS, ICARSC, PAGES: 138-143
115
TITLE: Multi-Objective Optimization of Consumer Group Autoscaling in Message Broker Systems
AUTHORS: Diogo Landau; Nishant Saurabh; Xavier Andrade; Jorge G Barbosa ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2402.06085
116
TITLE: Multidimensional subgroup discovery on event logs
AUTHORS: Ribeiro, J. ; Fontes, T. ; Soares, C. ; Borges, J. L. ;
PUBLISHED: 2024, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 246, PAGES: 123205
117
TITLE: Multimodal PointPillars for Efficient Object Detection in Autonomous Vehicles
AUTHORS: Margarida Oliveira; Ricardo Cerqueira; Joao Ribeiro Pinto ; Joaquim Fonseca; Luis F. Teixeira ;
PUBLISHED: 2024, SOURCE: IEEE Transactions on Intelligent Vehicles, PAGES: 1-11
118
TITLE: Neural Networks for Surrogate Models of the Corona and Solar Wind
AUTHORS: Filipa S. Barros ; João José Graça Lima; Rui F. Pinto; André Restivo ;
PUBLISHED: 2024
119
TITLE: Normalized strength-degree centrality: identifying influential spreaders for weighted network
AUTHORS: Sadhu, Srestha; Namtirtha, Amrita; Malta, Mariana Curado ; Dutta, Animesh;
PUBLISHED: 2024, SOURCE: SOCIAL NETWORK ANALYSIS AND MINING, VOLUME: 14, ISSUE: 1
120
TITLE: On the Suitability of B-cos Networks for the Medical Domain
AUTHORS: Isabel Rio Torto ; Tiago Gonçalves ; Jaime S Cardoso ; Luis F. Teixeira ;
PUBLISHED: 2024, SOURCE: 21st IEEE International Symposium on Biomedical Imaging, ISBI 2024 in IEEE International Symposium on Biomedical Imaging, ISBI 2024, Athens, Greece, May 27-30, 2024, PAGES: 1-5

Results per Page: 20.
Page 6 of 196. Total results: 3918.