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

86 Team Members
Filters -> Year: 2026
143
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
144
146
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
148
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
149
TITLE: Regular Typed Unification  Full Text
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
150
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
151
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
152
TITLE: Secure Visual Data Processing via Federated Learning
AUTHORS: Pedro Santos; Tânia Carvalho ; Filipe Magalhães; Luís Antunes ;
PUBLISHED: 2025, SOURCE: 11th International Conference on Information Systems Security and Privacy, ICISSP 2025 in Proceedings of the 11th International Conference on Information Systems Security and Privacy, ICISSP 2025 - Volume 2, Porto, Portugal, February 20-22, 2025., VOLUME: 2, PAGES: 534-541
INDEXED IN: Scopus DBLP CrossRef
153
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
154
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
155
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
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: 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
158
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
159
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
160
TITLE: SSA-COMET: Do LLMs Outperform Learned Metrics in Evaluating MT for Under-Resourced African Languages?
AUTHORS: Senyu Li; Jiayi Wang; Felermino D M A Ali; Colin Cherry; Daniel Deutsch; Eleftheria Briakou; Rui Sousa Silva; Henrique Lopes Cardoso ; Pontus Stenetorp; David Ifeoluwa Adelani;
PUBLISHED: 2025, SOURCE: EMNLP, PAGES: 12979-12998
INDEXED IN: DBLP CrossRef

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