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

University of Porto (UP) :: Faculty of Engineering (FEUP)

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 4710

62 Team Members
Filters -> Year: 2026
1
TITLE: A Co-designed Serious Game to Promote Parental Emotion Regulation: Development and Pilot Usability Study
AUTHORS: Silva, Eliana ; Pereira, Monica; Reis, Luis Paulo ;
PUBLISHED: 2026, SOURCE: 11th Joint International Conference on Serious Games-JCSG in SERIOUS GAMES, JCSG 2025, VOLUME: 16243, PAGES: 327-332
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
2
TITLE: A framework for supporting the reproducibility of computational experiments in multiple scientific domains
AUTHORS: Lázaro Costa ; Susana Barbosa ; Jácome Cunha ;
PUBLISHED: 2026, SOURCE: Future Gener. Comput. Syst., VOLUME: 174, PAGES: 107924
INDEXED IN: Scopus DBLP CrossRef: 4
3
TITLE: A Human-Centric Agent Architecture for Hybrid Industrial Collaboration in Industry 5.0
AUTHORS: Sousa, Jose; Oliveira, Filipe; Carneiro, Davide; Soares, Antonio ; Silva, Bruno;
PUBLISHED: 2026, SOURCE: 26th Conference on Virtual Enterprises-PRO-VE-Annual in HYBRID HUMAN-AI COLLABORATIVE NETWORKS, PRO-VE 2025, PT II, VOLUME: 771, PAGES: 69-84
INDEXED IN: WOS CrossRef
4
TITLE: A New Proposal of Layer Insertion in Stacked Autoencoder Neural Networks
AUTHORS: Viana, Francisco dos Santos; Lopes Pereira, Bianca Valeria; Santos, Moises; Soares, Carlos ; Neto, Areolino de Almeida;
PUBLISHED: 2026, SOURCE: 24th EPIA Conference on Progress in Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2025, PT I, VOLUME: 16121, PAGES: 464-476
INDEXED IN: Scopus WOS DBLP CrossRef
5
TITLE: A Scalable Approach for Unified Large Events Models in Soccer
AUTHORS: Mendes Neves, Tiago; Meireles, Luis; Mendes Moreira, Joao ;
PUBLISHED: 2026, SOURCE: 2025 European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases-ECML PKDD-Annual in MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES. APPLIED DATA SCIENCE TRACK AND DEMO TRACK, ECML PKDD 2025, PT X, VOLUME: 16022, PAGES: 354-371
INDEXED IN: Scopus WOS CrossRef Unpaywall
6
TITLE: Abnormal Human Behaviour Detection Using Normalising Flows and Attention Mechanisms
AUTHORS: Rodrigues Nogueira, Ana Filipa ; Oliveira, Helder P. ; Teixeira, Luis F. ;
PUBLISHED: 2026, SOURCE: 12th Iberian Conference on Pattern Recognition and Image Analysis-IbPRIA in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2025, PT I, VOLUME: 15937, PAGES: 175-186
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
8
TITLE: Are Users More Willing to Use Formally Verified Password Managers?
AUTHORS: Carreira, Carolina; Ferreira, Joao F. ; Mendes, Alexandra ; Christin, Nicolas;
PUBLISHED: 2026, SOURCE: 23rd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025, VOLUME: 16192, PAGES: 185-202
INDEXED IN: Scopus WOS DBLP CrossRef
9
TITLE: Benchmarking Time Series Feature Extraction for Algorithm Selection
AUTHORS: Santos, Moises; Cerqueira, Vitor; Soares, Carlos ;
PUBLISHED: 2026, SOURCE: 24th EPIA Conference on Progress in Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2025, PT I, VOLUME: 16121, PAGES: 269-281
INDEXED IN: Scopus WOS DBLP
10
TITLE: Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
AUTHORS: Carreira, Carolina; Silva, Alvaro; Abreu, Alexandre; Mendes, Alexandra ;
PUBLISHED: 2026, SOURCE: 23rd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025, VOLUME: 16192, PAGES: 203-220
INDEXED IN: Scopus WOS DBLP CrossRef: 1
11
TITLE: Challenging Beat Tracking: Tackling Polyrhythm, Polymetre, and Polytempo with Human-in-the-Loop Adaptation
AUTHORS: Pinto, Antonio Sa ; Bernardes, Gilberto ; Davies, Matthew E. P.;
PUBLISHED: 2026, SOURCE: 16th International Symposium on Computer Music Multidisciplinary Research-CMMR in MUSIC AND SOUND GENERATION IN THE AI ERA, CMMR 2023, VOLUME: 15236, PAGES: 461-479
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
12
TITLE: CitiLink-Minutes: A Multilayer Annotated Dataset of Municipal Meeting Minutes
AUTHORS: Ricardo Campos; Ana Filipa Pacheco; Ana Luísa Fernandes; Inês Cantante; Rute Rebouças; Luís Filipe Cunha; José Isidro; José Pedro Evans; Miguel Marques; Rodrigo Batista; Evelin Amorim; Alípio Jorge; Nuno Guimarães; Sérgio Nunes ; Antonio Leal; Purificação Silvano;
PUBLISHED: 2026, SOURCE: 48th European Conference on Information Retrieval, ECIR 2026 in ECIR (4), VOLUME: 16486 LNCS, PAGES: 511-527
INDEXED IN: Scopus DBLP CrossRef
13
TITLE: CitiLink: Enhancing Municipal Transparency and Citizen Engagement Through Searchable Meeting Minutes
AUTHORS: Rodrigo Silva; José Pedro Evans; José Isidro; Miguel Marques; Afonso Fonseca; Ricardo Morais; João Canavilhas; Arian Pasquali; Purificação Silvano ; Alípio Jorge; Nuno Guimarães; Sérgio Nunes ; Ricardo Campos ;
PUBLISHED: 2026, SOURCE: 48th European Conference on Information Retrieval, ECIR 2026 in ECIR (4), VOLUME: 16486 LNCS, PAGES: 193-199
INDEXED IN: Scopus DBLP CrossRef
14
TITLE: ClaimPT: A Portuguese Dataset of Annotated Claims in News Articles
AUTHORS: Ricardo Campos ; Raquel Sequeira; Sara Nerea; Inês Cantante; Diogo Folques; Luís Filipe Cunha; João Canavilhas; António Branco; Alípio Jorge; Sérgio Nunes ; Nuno Guimarães; Purificação Silvano;
PUBLISHED: 2026, SOURCE: ECIR (4), VOLUME: 16486 LNCS, PAGES: 544-560
INDEXED IN: Scopus DBLP CrossRef
16
TITLE: Collaborating with Algorithms: AI for Collaborative Supply Chain Management
AUTHORS: Couto, Fábio ; Malta, Mariana Curado ; Soares, Antonio Lucas ;
PUBLISHED: 2026, SOURCE: 26th Conference on Virtual Enterprises-PRO-VE-Annual in HYBRID HUMAN-AI COLLABORATIVE NETWORKS, PRO-VE 2025, PT I, VOLUME: 770, PAGES: 185-200
INDEXED IN: WOS CrossRef Unpaywall
17
TITLE: Cross-Lingual Information Retrieval in Tetun for Ad-Hoc Search
AUTHORS: Araujo, Altedio; de Jesus, Gabriel ; Nunes, Sergio ;
PUBLISHED: 2026, SOURCE: 24th EPIA Conference on Progress in Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2025, PT II, VOLUME: 16122, PAGES: 262-275
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
18
TITLE: Data Spaces as Enablers of Digital Twin Ecosystems: Challenges and Requirements
AUTHORS: Chaves, Ana Carolina ; Alonso, Ana Nunes ; Soares, Antonio Lucas ;
PUBLISHED: 2026, SOURCE: 44th International Conference on Advances in Production Management Systems-APMS-Annual in ADVANCES IN PRODUCTION MANAGEMENT SYSTEMS. CYBER-PHYSICAL-HUMAN PRODUCTION SYSTEMS: HUMAN-AI COLLABORATION AND BEYOND, APMS 2025, PT V, VOLUME: 768, PAGES: 340-354
INDEXED IN: Scopus WOS CrossRef
19
TITLE: Designing Blockchain-Based Systems with Clean Architecture
AUTHORS: Fernando S D Ricardo; Fredy J Valente; Valter V de Camargo; VINCENZI, AURI M. R. ;
PUBLISHED: 2026, SOURCE: Lecture Notes in Networks and Systems - Proceedings of 20th Iberian Conference on Information Systems and Technologies (CISTI 2025), PAGES: 40-51
INDEXED IN: CrossRef
20
TITLE: Enhancing Knowledge Access in Online Health Communities: A Chatbot Prototype for Cannabis Treatment Support
AUTHORS: Teixeira, Alice Rangel; Lopes, Carla Teixeira ;
PUBLISHED: 2026, SOURCE: 13th World Conference on Information Systems and Technologies-WORLDCIST-Annual in EMERGING TRENDS IN INFORMATION SYSTEMS AND TECHNOLOGIES, WORLDCIST 2025, VOL 2, VOLUME: 1582, PAGES: 127-139
INDEXED IN: Scopus WOS CrossRef Unpaywall

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