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: 4707
62 Team MembersFilters -> 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
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
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
AUTHORS: Gil Gonçalves ;
PUBLISHED: 2024, SOURCE: INTED Proceedings - INTED2024 Proceedings
INDEXED IN:
CrossRef
CrossRef484
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
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
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
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
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
INDEXED IN:
CrossRef
CrossRef488
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
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
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
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 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
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
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
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
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
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
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
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 Nunes ; Rui Sousa Silva;
PUBLISHED: 2024, SOURCE: PROPOR (2), PAGES: 55-63
AUTHORS: Felermino Dário Mário António Ali; Gabriel de Jesus; Henrique Lopes Cardoso ; Sérgio Nunes ; Rui Sousa Silva;
PUBLISHED: 2024, SOURCE: PROPOR (2), PAGES: 55-63
INDEXED IN:
DBLP
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
AUTHORS: Filipa S. Barros ; João José Graça Lima; Rui F. Pinto; André Restivo ;
PUBLISHED: 2024
INDEXED IN:
CrossRef
Unpaywall
CrossRef
Unpaywall499
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
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
AUTHORS: Sadhu, Srestha; Namtirtha, Amrita; Malta, Mariana Curado ; Dutta, Animesh;
PUBLISHED: 2024, SOURCE: SOCIAL NETWORK ANALYSIS AND MINING, VOLUME: 14, ISSUE: 1