Artificial Intelligence and Computer Science Laboratory (LIACC)
Laboratório de Inteligência Artificial e Ciência de Computadores

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: 3719

86 Team Members
Filters -> Year: 2026
144
TITLE: Program Synthesis Using Inductive Logic Programming for the Abstraction and Reasoning Corpus
AUTHORS: Rocha, Filipe Marinho; Dutra, Ines; Costa, Vitor Santos; Reis, Luis Paulo ;
PUBLISHED: 2025, SOURCE: 3rd International Workshop on Hybrid Models for Coupling Deductive and Inductive Reasoning-HYDRA in HYBRID MODELS FOR COUPLING DEDUCTIVE AND INDUCTIVE REASONING, HYDRA 2024, VOLUME: 2492, ISSUE: 2 Special Issue: Featuring Extended Papers from HYDRA 2024, PAGES: 52-68
INDEXED IN: Scopus WOS
146
147
TITLE: Promoting Cognitive and Psychosocial Rehabilitation with a Co-Designed Multiplayer Serious Game
AUTHORS: Figueira, Carolina; Reis, Simao; Reis, Luis Paulo ; Parreira, Marta; Ramos, Ana; Silva, Eliana ;
PUBLISHED: 2025, SOURCE: 13th International Conference on Games and Learning Alliance-GALA-Annual in GAMES AND LEARNING ALLIANCE, GALA 2024, VOLUME: 15348, PAGES: 407-413
INDEXED IN: Scopus WOS DBLP CrossRef: 1
149
TITLE: Reducing algorithm configuration spaces for efficient search
AUTHORS: Freitas, Fernando; Brazdil, Pavel ; Soares, Carlos ;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS, VOLUME: 20, ISSUE: 5, PAGES: 4973-4993
INDEXED IN: Scopus WOS DBLP CrossRef
150
TITLE: Regular Typed Unification
AUTHORS: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLISHED: 2025, SOURCE: 40th International Conference on Logic Programming (ICLP) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 416, ISSUE: 416, PAGES: 236-252
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
151
TITLE: RunPBA - Runtime attestation for microcontrollers with PACBTI
AUTHORS: André Cirne; Patrícia R Sousa; João S Resende; Luís Antunes ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2512.12729
INDEXED IN: DBLP
152
TITLE: SAPG: Semantically-Aware Paraphrase Generation with AMR Graphs
AUTHORS: Afonso Sousa; Henrique Lopes Cardoso ;
PUBLISHED: 2025, SOURCE: 17th International Conference on Agents and Artificial Intelligence, ICAART 2025 in ICAART (2), VOLUME: 2, PAGES: 861-871
INDEXED IN: Scopus DBLP CrossRef
153
TITLE: Secure Visual Data Processing via Federated Learning
AUTHORS: Pedro Santos; Tânia Carvalho ; Filipe Magalhães; Luís Antunes ;
PUBLISHED: 2025, SOURCE: ICISSP (2), VOLUME: 2, PAGES: 534-541
INDEXED IN: Scopus DBLP CrossRef
154
TITLE: Semantic Mapping for Robotics: Survey, Trends and Challenges
AUTHORS: Bruno Georgevich Ferreira; Armando Jorge Miranda de Sousa; Luis Reis ;
PUBLISHED: 2025
INDEXED IN: CrossRef
155
TITLE: Serious Games for Emotion Regulation in Children: A Systematic Review
AUTHORS: Carvalho, Barbara; Silva, Eliana ; Reis, Luis Paulo ;
PUBLISHED: 2025, SOURCE: 13th International Conference on Serious Games and Applications for Health-SEGAH-Annual in 2025 IEEE CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH, SEGAH, PAGES: 1-8
INDEXED IN: Scopus WOS DBLP CrossRef
156
TITLE: Shapley value-based data valuation for machine learning data markets
AUTHORS: Hajar Baghcheband; Carlos Soares; Luis Paulo Reis ;
PUBLISHED: 2025, SOURCE: Discover Applied Sciences, VOLUME: 7, ISSUE: 12
INDEXED IN: CrossRef: 2
157
TITLE: Shapley value-based data valuation for machine learning data markets
AUTHORS: Baghcheband, Hajar; Soares, Carlos; Reis, Luis Paulo ;
PUBLISHED: 2025, SOURCE: DISCOVER APPLIED SCIENCES, VOLUME: 7, ISSUE: 12
INDEXED IN: Scopus WOS CrossRef
158
TITLE: Simulating Biases for Interpretable Fairness in Offline and Online Classifiers PDF
AUTHORS: Ricardo Inácio ; Zafeiris Kokkinogenis; vitor cerqueira ; Carlos Soares ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.10154
INDEXED IN: DBLP arXiv DataCite
159
TITLE: SPATA: Systematic Pattern Analysis for Detailed and Transparent Data Cards
AUTHORS: João Vitorino; Eva Maia; Isabel Praça; Carlos Soares ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2509.26640
INDEXED IN: DBLP
160
TITLE: Spray Quality Assessment on Water-Sensitive Paper Comparing AI and Classical Computer Vision Methods
AUTHORS: Simoes, Ines; Sousa, Armando Jorge ; Baltazar, Andre ; Santos, Filipe ;
PUBLISHED: 2025, SOURCE: AGRICULTURE-BASEL, VOLUME: 15, ISSUE: 3, PAGES: 261
INDEXED IN: Scopus WOS CrossRef: 3

Results per Page: 20.
Page 8 of 186. Total results: 3719.