CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 10663
639 Team MembersFilters -> Year: 2026
21
TITLE: Auto-active verification of distributed systems and specification refinements with Why3-do Full Text
AUTHORS: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLISHED: 2026, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 247, PAGES: 103352
AUTHORS: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLISHED: 2026, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 247, PAGES: 103352
22
TITLE: Automated privacy-preserving techniques via meta-learning Full Text
AUTHORS: Carvalho, Tania ; Moniz, Nuno ; Antunes, Luis ;
PUBLISHED: 2026, SOURCE: INFORMATION FUSION, VOLUME: 127, PAGES: 103893
AUTHORS: Carvalho, Tania ; Moniz, Nuno ; Antunes, Luis ;
PUBLISHED: 2026, SOURCE: INFORMATION FUSION, VOLUME: 127, PAGES: 103893
23
TITLE: Before the Interface. Designing User Research Instruments and Methods to Enable Digital Health Innovation for ALS Patients With Partial Locked-In Syndrome
AUTHORS: Bruno Giesteira ; Eliana Santiago; Andreia Sousa; Pedro Amado; Filipe Gonçalves;
PUBLISHED: 2026, SOURCE: Reshaping Health Promotion and Disease Prevention Through Digital Innovation, PAGES: 381-412
AUTHORS: Bruno Giesteira ; Eliana Santiago; Andreia Sousa; Pedro Amado; Filipe Gonçalves;
PUBLISHED: 2026, SOURCE: Reshaping Health Promotion and Disease Prevention Through Digital Innovation, PAGES: 381-412
INDEXED IN: 
CrossRef
CrossRef24
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
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
Scopus WOS DBLP25
TITLE: Beyond the Hands: Evaluating the Usability of Hands-Free Methods and Controllers for Menu Selection During an Immersive VR Experience
AUTHORS: Monteiro, Pedro ; Peixoto, Bruno ; Goncalves, Guilherme ; Coelho, Hugo; Barbosa, Luis ; Melo, Miguel ; Bessa, Maximino ;
PUBLISHED: 2026, SOURCE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION, VOLUME: 42, ISSUE: 8, PAGES: 6380-6417
AUTHORS: Monteiro, Pedro ; Peixoto, Bruno ; Goncalves, Guilherme ; Coelho, Hugo; Barbosa, Luis ; Melo, Miguel ; Bessa, Maximino ;
PUBLISHED: 2026, SOURCE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION, VOLUME: 42, ISSUE: 8, PAGES: 6380-6417
26
TITLE: Building of transformer-based RUL predictors supported by explainability techniques: Application on real industrial datasets
AUTHORS: Dinten, Ricardo; Zorrilla, Marta; Veloso, Bruno ; Gama, Joao ;
PUBLISHED: 2026, SOURCE: INFORMATION FUSION, VOLUME: 127, PAGES: 103892
AUTHORS: Dinten, Ricardo; Zorrilla, Marta; Veloso, Bruno ; Gama, Joao ;
PUBLISHED: 2026, SOURCE: INFORMATION FUSION, VOLUME: 127, PAGES: 103892
27
TITLE: Can an LLM Detect Instances of Microservice Infrastructure Patterns?
AUTHORS: Carlos Eduardo Duarte; Neil B Harrison; Filipe Figueiredo Correia ; Ademar Aguiar ; Pavlína Gonçalves;
PUBLISHED: 2026, SOURCE: CoRR, VOLUME: abs/2603.23073
AUTHORS: Carlos Eduardo Duarte; Neil B Harrison; Filipe Figueiredo Correia ; Ademar Aguiar ; Pavlína Gonçalves;
PUBLISHED: 2026, SOURCE: CoRR, VOLUME: abs/2603.23073
INDEXED IN: DBLP
DBLP28
TITLE: Can intelligent Renewable Energy Communities deliver on equity for a just energy transition? A policy oriented demonstrator analysis
AUTHORS: Fonseca, T.; Sousa, C.; Ferreira, L.; Rodrigues, P.; Paiva, P.; Venancio, R.; Severino, R. ; Matos, L.;
PUBLISHED: 2026, SOURCE: ENERGY RESEARCH & SOCIAL SCIENCE, VOLUME: 133, PAGES: 104584
AUTHORS: Fonseca, T.; Sousa, C.; Ferreira, L.; Rodrigues, P.; Paiva, P.; Venancio, R.; Severino, R. ; Matos, L.;
PUBLISHED: 2026, SOURCE: ENERGY RESEARCH & SOCIAL SCIENCE, VOLUME: 133, PAGES: 104584
29
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
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
30
TITLE: Can LLMs Reliably Label YouTube Videos? A Committee-Based Evaluation
AUTHORS: Mourthe, Adrian; Mello, Carlos Eduardo; Jorge, Alipio ;
PUBLISHED: 2026, SOURCE: 17th International Conference on Advances Social Networks Analysis and Mining-ASONAM in SOCIAL NETWORKS ANALYSIS AND MINING, ASONAM 2025, PT I, VOLUME: 16322, PAGES: 275-282
AUTHORS: Mourthe, Adrian; Mello, Carlos Eduardo; Jorge, Alipio ;
PUBLISHED: 2026, SOURCE: 17th International Conference on Advances Social Networks Analysis and Mining-ASONAM in SOCIAL NETWORKS ANALYSIS AND MINING, ASONAM 2025, PT I, VOLUME: 16322, PAGES: 275-282
31
TITLE: CARTGen-IR: Synthetic Tabular Data Generation for Imbalanced Regression
AUTHORS: António Pedro Pinheiro; Rita P Ribeiro ;
PUBLISHED: 2026, SOURCE: 24th International Symposium on Intelligent Data Analysis, IDA 2026 in IDA, VOLUME: 16513 LNCS, PAGES: 312-326
AUTHORS: António Pedro Pinheiro; Rita P Ribeiro ;
PUBLISHED: 2026, SOURCE: 24th International Symposium on Intelligent Data Analysis, IDA 2026 in IDA, VOLUME: 16513 LNCS, PAGES: 312-326
32
TITLE: Challenges and Opportunities for Designing Digital Communication Interfaces for Persons with Partial Locked-In Syndrome
AUTHORS: Amado, Pedro; Penedos Santiago, Eliana; Lima, Claudia; Simoes, Silvia; Giesteira, Bruno ; Pecaibes, Viviane;
PUBLISHED: 2026, SOURCE: 13th International Conference on Arts and Technologies Interactivity and Game Creation-ARTSIT in ARTSIT, INTERACTIVITY AND GAME CREATION, ARTSIT 2024, PT II, VOLUME: 651, PAGES: 132-147
AUTHORS: Amado, Pedro; Penedos Santiago, Eliana; Lima, Claudia; Simoes, Silvia; Giesteira, Bruno ; Pecaibes, Viviane;
PUBLISHED: 2026, SOURCE: 13th International Conference on Arts and Technologies Interactivity and Game Creation-ARTSIT in ARTSIT, INTERACTIVITY AND GAME CREATION, ARTSIT 2024, PT II, VOLUME: 651, PAGES: 132-147
33
TITLE: ChatBot for student service based on RASA framework Full Text
AUTHORS: Rodrigues, Fatima ; Fonseca, Joao;
PUBLISHED: 2026, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 68, ISSUE: 1
AUTHORS: Rodrigues, Fatima ; Fonseca, Joao;
PUBLISHED: 2026, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 68, ISSUE: 1
INDEXED IN: Scopus WOS
Scopus WOS34
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: ECIR (4), VOLUME: 16486 LNCS, PAGES: 511-527
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: ECIR (4), VOLUME: 16486 LNCS, PAGES: 511-527
35
TITLE: CitiLink-Summ: A Dataset of Discussion Subjects Summaries in European Portuguese Municipal Meeting Minutes
AUTHORS: Miguel Marques; Ana Luísa Fernandes; Ana Filipa Pacheco; Rute Rebouças; Inês Cantante; José Isidro; Luís Filipe Cunha; Alípio Jorge; Nuno Guimarães; Sérgio Nunes ; António Leal; Purificação Silvano; Ricardo Campos;
PUBLISHED: 2026, SOURCE: WWW, PAGES: 8705-8708
AUTHORS: Miguel Marques; Ana Luísa Fernandes; Ana Filipa Pacheco; Rute Rebouças; Inês Cantante; José Isidro; Luís Filipe Cunha; Alípio Jorge; Nuno Guimarães; Sérgio Nunes ; António Leal; Purificação Silvano; Ricardo Campos;
PUBLISHED: 2026, SOURCE: WWW, PAGES: 8705-8708
INDEXED IN: DBLP CrossRef
DBLP CrossRef36
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
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
37
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
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
38
TITLE: Classification of Phonetic Syllables Using Stacked Autoencoder and Characterization via Centroid
AUTHORS: Francisco dos Santos Viana; Carlos Eduardo Nascimento Cajado; Samuel Magalhes Pereira; Alexandre César Muniz de Oliveira; Carlos Soares ; Areolino de Almeida Neto;
PUBLISHED: 2026, SOURCE: ICAIIC, PAGES: 744-749
AUTHORS: Francisco dos Santos Viana; Carlos Eduardo Nascimento Cajado; Samuel Magalhes Pereira; Alexandre César Muniz de Oliveira; Carlos Soares ; Areolino de Almeida Neto;
PUBLISHED: 2026, SOURCE: ICAIIC, PAGES: 744-749
INDEXED IN: DBLP
DBLP39
TITLE: Co-Design de um Jogo Sério para Tratamento da Percepção de Tempo em Distúrbios Neurobiológicos Full Text
AUTHORS: Leinylson Fontinele Pereira; Daniel Lima Sousa; José Everton da Silva Fontenele; António Fernando Vasconcelos Cunha Castro Coelho ; Silmar Silva Teixeira;
PUBLISHED: 2026, SOURCE: Journal of Health Informatics, VOLUME: 18, PAGES: 1564
AUTHORS: Leinylson Fontinele Pereira; Daniel Lima Sousa; José Everton da Silva Fontenele; António Fernando Vasconcelos Cunha Castro Coelho ; Silmar Silva Teixeira;
PUBLISHED: 2026, SOURCE: Journal of Health Informatics, VOLUME: 18, PAGES: 1564
INDEXED IN: CrossRef 
Unpaywall
CrossRef Unpaywall40
TITLE: Collaborating with Algorithms: AI for Collaborative Supply Chain Management
AUTHORS: Couto, Fabio ; 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
AUTHORS: Couto, Fabio ; 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
