Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 3918
48 Team MembersFilters -> 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
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
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
AUTHORS: Gil Gonçalves ;
PUBLISHED: 2024, SOURCE: INTED Proceedings - INTED2024 Proceedings
INDEXED IN: CrossRef
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
AUTHORS: Elizaveta Osipovskaya; António Coelho ; Péter Tasi;
PUBLISHED: 2024, SOURCE: EDULEARN Proceedings - EDULEARN24 Proceedings
INDEXED IN: CrossRef
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
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
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
INDEXED IN: DBLP CrossRef
107
TITLE: Machine Learning Data Market Based on Multiagent Systems Full Text
AUTHORS: Baghcheband, Hajar; Soares, Carlos ; Reis, Luis Paulo ;
PUBLISHED: 2024, SOURCE: IEEE INTERNET COMPUTING, VOLUME: 28, ISSUE: 4, PAGES: 7-13
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 Full Text
AUTHORS: Silva, Anibal; Mendes Moreira, Joao ; Ferreira, Carlos ; Costa, Nuno; Dias, Duarte ;
PUBLISHED: 2024, SOURCE: COMPUTERS AND ELECTRONICS IN AGRICULTURE, VOLUME: 216, PAGES: 108529
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
AUTHORS: Ana Filipa Rodrigues Nogueira; Hélder P Oliveira ; Luis F. Teixeira ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2407.03817
INDEXED IN: DBLP
110
TITLE: Melanoma prevention using an augmented reality-based serious game Full Text
AUTHORS: Ribeiro, Nuno; Tavares, Pedro; Ferreira, Catarina; Coelho, Antonio ;
PUBLISHED: 2024, SOURCE: PATIENT EDUCATION AND COUNSELING, VOLUME: 123, PAGES: 108226
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
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
INDEXED IN: Scopus
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
AUTHORS: Ricardo Inácio; Vítor Cerqueira; Marília Barandas; Carlos Soares ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2406.17008
INDEXED IN: DBLP
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
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
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
AUTHORS: Diogo Landau; Nishant Saurabh; Xavier Andrade; Jorge G Barbosa ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2402.06085
INDEXED IN: DBLP
116
TITLE: Multidimensional subgroup discovery on event logs Full Text
AUTHORS: Ribeiro, J. ; Fontes, T. ; Soares, C. ; Borges, J. L. ;
PUBLISHED: 2024, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 246, PAGES: 123205
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
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
AUTHORS: Filipa S. Barros ; João José Graça Lima; Rui F. Pinto; André Restivo ;
PUBLISHED: 2024
INDEXED IN: CrossRef Unpaywall
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
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: IEEE International Symposium on Biomedical Imaging, ISBI 2024, Athens, Greece, May 27-30, 2024, PAGES: 1-5
AUTHORS: Isabel Rio Torto ; Tiago Gonçalves ; Jaime S Cardoso ; Luis F. Teixeira ;
PUBLISHED: 2024, SOURCE: IEEE International Symposium on Biomedical Imaging, ISBI 2024, Athens, Greece, May 27-30, 2024, PAGES: 1-5