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

AuthID: I-000-0K9


Publications Count: 4710

62 Team Members
Filters -> Year: 2026
481
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
482
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: ESANN, PAGES: 425-430
483
TITLE: LINKING GREAT PARTNERS FOR ENTREPRENEURSHIP EDUCATION
AUTHORS: Gil Gonçalves ;
PUBLISHED: 2024, SOURCE: INTED Proceedings - INTED2024 Proceedings
484
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
485
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
486
TITLE: Logging design patterns for cloud-native applications
AUTHORS: Carlos Albuquerque; Filipe Figueiredo Correia ;
PUBLISHED: 2024, SOURCE: EuroPLoP, PAGES: 17:1-17:11
487
TITLE: LPC: A Local Path-Based Centrality Method for Identifying Influential Nodes in Temporal Networks
AUTHORS: Srestha Sadhu; Deepanwita Mallick; Amrita Namtirtha; Mariana Curado Malta ; Animesh Dutta;
PUBLISHED: 2024, SOURCE: Proceedings of the 8th International Conference on Data Science and Management of Data (12th ACM IKDD CODS and 30th COMAD), PAGES: 133-141
488
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
489
TITLE: MADE-WIC: Multiple Annotated Datasets for Exploring Weaknesses In Code
AUTHORS: Moritz Mock; Jorge Melegati ; Max Kretschmann; Nicolás E Díaz Ferreyra; Barbara Russo;
PUBLISHED: 2024, SOURCE: ASE, PAGES: 2346-2349
490
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
491
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
492
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
493
TITLE: Meta-TadGAN: Time Series Anomaly Detection Using TadGAN with Meta-features
AUTHORS: Inês Oliveira e Silva; Carlos Soares ; vitor cerqueira ; Arlete Rodrigues; Pedro Bastardo;
PUBLISHED: 2024, SOURCE: EPIA (3), VOLUME: 14969 LNAI, PAGES: 347-358
494
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
495
TITLE: Multi-Agent Reinforcement Learning for Side-by-Side Navigation of Autonomous Wheelchairs
AUTHORS: Fonseca, Tiago; Leao, Goncalo ; Ferreira, Luis Lino ; Sousa, Armando ; 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
496
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
497
TITLE: Network-based Approach for Stopwords Detection
AUTHORS: Felermino Dário Mário António Ali; Gabriel de Jesus; Henrique Lopes Cardoso ; Sérgio Sobral Nunes ; Rui Sousa Silva;
PUBLISHED: 2024, SOURCE: Proceedings of the 16th International Conference on Computational Processing of Portuguese, PROPOR 2024, Santiago de Compostela, Galicia/Spain, March 12-15, 2024, Volume 2, PAGES: 55-63
498
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
499
TITLE: Next Location Prediction with Time-Evolving Markov Models over Data Streams
AUTHORS: Thiago Andrade ; João Gama ;
PUBLISHED: 2024, SOURCE: EPIA (3), VOLUME: 14969 LNAI, PAGES: 115-126
500
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

Results per Page: 20.
Page 25 of 236. Total results: 4710.