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

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 2964

85 Team Members
Filters -> Year: 2025
21
TÍTULO: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTORES: Faria, Joao Pascoal ; Trigo, Emanuel; Abreu, Rui ;
PUBLICAÇÃO: 2025, FONTE: 11th International Conference on Fundamentals of Software Engineering-FSEN in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2025, VOLUME: 15593, PÁGINAS: 138-154
INDEXADO EM: Scopus WOS DBLP CrossRef
22
TÍTULO: Bi-LSTM Neural Networks for Traffic Flow Prediction: An Empirical Evaluation
AUTORES: Alves, Bernardo Amorim; Fontes, Tania ; Rossetti, Rosaldo ;
PUBLICAÇÃO: 2025, FONTE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT II, VOLUME: 14968, PÁGINAS: 233-245
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
23
TÍTULO: Can Llama 3 Accurately Assess Readability? A Comparative Study Using Lead Sections from Wikipedia
AUTORES: Rodrigues, Jose Frederico; Cardoso, Henrique Lopes; Lopes, Carla Teixeira ;
PUBLICAÇÃO: 2025, FONTE: 19th International Conference on Research Challenges in Information Science-RCIS-Annual in RESEARCH CHALLENGES IN INFORMATION SCIENCE, RCIS 2025, PT II, VOLUME: 548, PÁGINAS: 89-97
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
25
TÍTULO: ChatGPT como catalisador do Pensamento Crítico e Criativo  Full Text
AUTORES: Sandra Rosa Paiva; António Pedro Costa; Luís Paulo Reis ;
PUBLICAÇÃO: 2025, FONTE: Praxis Educativa, VOLUME: 20, NÚMERO: 2025, PÁGINAS: 1-23
INDEXADO EM: CrossRef
26
TÍTULO: Cherry-Picking in Time Series Forecasting: How to Select Datasets to Make Your Model Shine
AUTORES: Roque, Luis; Cerqueira, Vitor ; Soares, Carlos; Torgo, Luis ;
PUBLICAÇÃO: 2025, FONTE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 19, VOLUME: 39, NÚMERO: 19, PÁGINAS: 20192-20199
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
27
TÍTULO: Coinfection of Herpes Simplex virus 2 and Mycobacterium chelonae in acute hydrops associated with keratoconus: A case report
AUTORES: Marques Couto, Pedro; Gama Castro, Ana; Carvalho, Teresa; Vilares Morgado, Rodrigo; Pinheiro Costa, Joao; Pinheiro, Dolores; Cunha, Ana Maria ;
PUBLICAÇÃO: 2025, FONTE: IDCASES, VOLUME: 39
INDEXADO EM: Scopus WOS
28
TÍTULO: Comparative Study on Curiosity with Attention, Memory and Empowerment
AUTORES: Duarte, Fernando Fradique; Lau, Nuno; Pereira, Artur; Reis, Luis Paulo ;
PUBLICAÇÃO: 2025, FONTE: 2025 International Conference on Autonomous Robot Systems and Competitions-ICARSC-Annual in 2025 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS, ICARSC, NÚMERO: 2025, PÁGINAS: 92-97
INDEXADO EM: Scopus WOS DBLP CrossRef
29
TÍTULO: Comparing Aggregated and Separate Models for Crowd Density Forecasting
AUTORES: Sardinha, Iohan; Rocha, Ana Paula ; Rossetti, Rosaldo J. F. ;
PUBLICAÇÃO: 2025, FONTE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT I, VOLUME: 14967, PÁGINAS: 386-397
INDEXADO EM: Scopus WOS DBLP CrossRef
30
TÍTULO: Container Orchestration Patterns for Optimizing Resource Use
AUTORES: Diogo Maia; Filipe Correia; André Restivo ; Paulo G G Queiroz;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2510.00197
INDEXADO EM: DBLP
31
TÍTULO: Cross-genre argument mining: Can language models automatically fill in missing discourse markers?
AUTORES: Rocha, Gil; Cardoso, Henrique Lopes ; Belouadi, Jonas; Eger, Steffen;
PUBLICAÇÃO: 2025, FONTE: ARGUMENT & COMPUTATION, VOLUME: 16, NÚMERO: 1, PÁGINAS: 3-35
INDEXADO EM: WOS DBLP CrossRef Unpaywall
32
TÍTULO: Current Challenges and Future Perspectives in Testing IoT Systems: A Comprehensive Review
AUTORES: Bruno Lima ; Rui Pinto;
PUBLICAÇÃO: 2025, FONTE: IEEE Sensors Reviews, PÁGINAS: 1-27
INDEXADO EM: CrossRef Unpaywall
33
TÍTULO: Decoding Mental States in Social Cognition: Insights from Explainable Artificial Intelligence on HCP fMRI Data
AUTORES: dos Santos, Jose Diogo Marques; Reis, Luis Paulo ; Marques dos Santos, José Paulo ;
PUBLICAÇÃO: 2025, FONTE: MACHINE LEARNING AND KNOWLEDGE EXTRACTION, VOLUME: 7, NÚMERO: 1, PÁGINAS: 17
INDEXADO EM: Scopus WOS DBLP CrossRef
34
TÍTULO: Defining quality in peer review reports: a scoping review  Full Text
AUTORES: Sizo, Amanda; Lino, Adriano; Rocha, Alvaro; Reis, Luis Paulo ;
PUBLICAÇÃO: 2025, FONTE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 67, NÚMERO: 8, PÁGINAS: 6413-6460
INDEXADO EM: Scopus WOS DBLP CrossRef
35
TÍTULO: Designing a skilled soccer team for RoboCup: exploring skill-set-primitives through reinforcement learning
AUTORES: Miguel Abreu; Luís Paulo Reis ; Nuno Lau;
PUBLICAÇÃO: 2025, FONTE: Neural Comput. Appl., VOLUME: 37, NÚMERO: 18, PÁGINAS: 12699-12734
INDEXADO EM: Scopus DBLP CrossRef
36
TÍTULO: Differentially-private data synthetisation for efficient re-identification risk control  Full Text
AUTORES: Carvalho, Tania; Moniz, Nuno; Antunes, Luis ; Chawla, Nitesh;
PUBLICAÇÃO: 2025, FONTE: MACHINE LEARNING, VOLUME: 114, NÚMERO: 7, PÁGINAS: 164
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
37
TÍTULO: Emotion Odyssey: Promoting Emotion Regulation Skills in Families Through a Serious Game
AUTORES: Eliana Silva; João Pedro Silva; Luís Paulo Reis ; Sara Araújo Silva;
PUBLICAÇÃO: 2025, FONTE: 2025 IEEE Conference on Games, CoG 2025 in IEEE Conference on Games, CoG 2025, Lisbon, Portugal, August 26-29, 2025, PÁGINAS: 1-4
INDEXADO EM: Scopus DBLP
38
TÍTULO: Emotion Regulation Through Play: A Serious Game for Preschool Children
AUTORES: Catarina Gonçalves; Eliana Silva; Luís Paulo Reis ;
PUBLICAÇÃO: 2025, FONTE: IEEE Conference on Games, CoG 2025, Lisbon, Portugal, August 26-29, 2025, PÁGINAS: 1-4
INDEXADO EM: DBLP
39
TÍTULO: Empowering open data sharing for social good: a privacy-aware approach
AUTORES: Carvalho, Tania; Antunes, Luis ; Costa Santos, Cristina ; Moniz, Nuno;
PUBLICAÇÃO: 2025, FONTE: SCIENTIFIC DATA, VOLUME: 12, NÚMERO: 1, PÁGINAS: 248-
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Unpaywall
40
TÍTULO: Estimating Completeness of Consensus Models: Geometrical and Distributional Approaches
AUTORES: Strecht, Pedro ; Mendes Moreira, Joao ; Soares, Carlos ;
PUBLICAÇÃO: 2025, FONTE: 10th Conference on Machine Learning Optimization and Data Science-LOD-Annual in MACHINE LEARNING, OPTIMIZATION, AND DATA SCIENCE, LOD 2024, PT I, VOLUME: 15508, PÁGINAS: 464-478
INDEXADO EM: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 2 de 149. Total de resultados: 2964.