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

Universidade do Porto (UP) :: Faculdade de Engenharia (FEUP)

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

49 Team Members
Filters -> Year: 2025
1
TÍTULO: A Framework for Supporting the Reproducibility of Computational Experiments in Multiple Scientific Domains
AUTORES: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2503.07080
INDEXADO EM: DBLP
2
TÍTULO: A Pattern Language for Engineering Software for the Cloud
AUTORES: Tiago Boldt Sousa; Hugo Sereno Ferreira; Filipe Figueiredo Correia ;
PUBLICAÇÃO: 2025, FONTE: Lecture Notes in Computer Science, VOLUME: 14630 LNCS, PÁGINAS: 1-66
INDEXADO EM: Scopus CrossRef Unpaywall
3
TÍTULO: A two-step concept-based approach for enhanced interpretability and trust in skin lesion diagnosis
AUTORES: Patricio, Cristiano; Luis F. Teixeira ; Neves, Joao C.;
PUBLICAÇÃO: 2025, FONTE: COMPUTATIONAL AND STRUCTURAL BIOTECHNOLOGY JOURNAL, VOLUME: 28, PÁGINAS: 71-79
INDEXADO EM: Scopus WOS DBLP CrossRef
4
TÍTULO: Addressing imperfect symmetry: A novel symmetry-learning actor-critic extension  Full Text
AUTORES: Abreu, Miguel; Reis, Luis Paulo ; Lau, Nuno;
PUBLICAÇÃO: 2025, FONTE: NEUROCOMPUTING, VOLUME: 614, PÁGINAS: 128771
INDEXADO EM: Scopus WOS DBLP CrossRef
5
TÍTULO: Agile Processes in Software Engineering and Extreme Programming - Workshops - XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers
AUTORES: Lodovica Marchesi; Alfredo Goldman; Maria Ilaria Lunesu; Adam Przybylek; Ademar Aguiar ; Lorraine Morgan; Xiaofeng Wang; Andrea Pinna;
PUBLICAÇÃO: 2025, FONTE: XP Workshops, VOLUME: 524
INDEXADO EM: DBLP
6
TÍTULO: Alloy Repair Hint Generation Based on Historical Data
AUTORES: Barros, Ana; Neto, Henrique; Cunha, Alcino ; Macedo, Nuno ; Paiva, Ana C. R. ;
PUBLICAÇÃO: 2025, FONTE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934, PÁGINAS: 104-121
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
7
TÍTULO: An exploratory study on the usage of quantum programming languages  Full Text
AUTORES: Ferreira, Felipe; Campos, Jose ;
PUBLICAÇÃO: 2025, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PÁGINAS: 103217
INDEXADO EM: Scopus WOS CrossRef
8
TÍTULO: Artificial Intelligence for Control in Laser-Based Additive Manufacturing: A Systematic Review
AUTORES: Sousa, Joao; Brandau, Benedikt; Darabi, Roya; Sousa, A. ; Brueckner, Frank; Reis, Ana ; Reis, Luis Paulo ;
PUBLICAÇÃO: 2025, FONTE: IEEE ACCESS, VOLUME: 13, PÁGINAS: 30845-30860
INDEXADO EM: Scopus WOS DBLP CrossRef
9
TÍTULO: Augmented Reality in Information Design
AUTORES: Fadel, Luciane Maria; Coelho, Antonio ;
PUBLICAÇÃO: 2025, FONTE: 8th International Conference on Design and Digital Communication in ADVANCES IN DESIGN AND DIGITAL COMMUNICATION V, DIGICOM 2024, VOLUME: 51, PÁGINAS: 30-41
INDEXADO EM: Scopus WOS CrossRef
10
TÍTULO: Automated Social Media Feedback Analysis for Software Requirements Elicitation: A Case Study in the Streaming Industry
AUTORES: Melissa Silva; João Pascoal Faria ;
PUBLICAÇÃO: 2025, FONTE: Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2025, Porto, Portugal, April 4-6, 2025., PÁGINAS: 149-160
INDEXADO EM: DBLP
11
TÍTULO: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTORES: João Pascoal Faria ; Emanuel Trigo; Rui Abreu ;
PUBLICAÇÃO: 2025, FONTE: 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025 in Fundamentals of Software Engineering - 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings, VOLUME: 15593, PÁGINAS: 138-154
INDEXADO EM: Scopus DBLP CrossRef
12
TÍTULO: CBVLM: Training-free Explainable Concept-based Large Vision Language Models for Medical Image Classification
AUTORES: Cristiano Patrício; Isabel Rio Torto ; Jaime S Cardoso ; Luis F. Teixeira ; João C Neves;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2501.12266
INDEXADO EM: DBLP
13
TÍTULO: Characterising Class Imbalance in Transportation Mode Detection: An Experimental Study
AUTORES: Muhammad, Akilu Rilwan; Aguiar, Ana ; Mendes Moreira, Joao ;
PUBLICAÇÃO: 2025, FONTE: 25th International Conference on Intelligent Data Engineering and Automated Learning in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2024, PT II, VOLUME: 15347, PÁGINAS: 58-70
INDEXADO EM: Scopus WOS DBLP CrossRef
15
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
16
TÍTULO: CNN explanation methods for ordinal regression tasks  Full Text
AUTORES: Barbero Gomez, Javier; Cruz, Ricardo P. M. ; Cardoso, Jaime S. ; Gutierrez, Pedro A.; Hervas Martinez, Cesar;
PUBLICAÇÃO: 2025, FONTE: NEUROCOMPUTING, VOLUME: 615, PÁGINAS: 128878
INDEXADO EM: Scopus WOS DBLP CrossRef
17
TÍTULO: Contributions for the Development of Personae: Method for Creating Persona Templates (MCPT)
AUTORES: Couto, Fábio ; Mariana Curado Malta ;
PUBLICAÇÃO: 2025, FONTE: 26th International Conference on Human-Computer Interaction, HCII 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 15374 LNCS, PÁGINAS: 3-22
INDEXADO EM: Scopus CrossRef
18
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 CrossRef
19
TÍTULO: Does Every Computer Scientist Need to Know Formal Methods?  Full Text
AUTORES: Broy, Manfred; Brucker, Achim D.; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra ; Platzer, Andre; Ringert, Jan Oliver; Sullivan, Allison;
PUBLICAÇÃO: 2025, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, NÚMERO: 1, PÁGINAS: 6:1-6:17
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
20
TÍTULO: Evaluation of Lyrics Extraction from Folk Music Sheets Using Vision Language Models (VLMs)
AUTORES: André Sales Mendes; Álvaro Lozano Murciego; Luís Augusto Silva; Diego Jiménez Bravo; María Navarro Cáceres; Gilberto Bernardes ;
PUBLICAÇÃO: 2025, FONTE: 23rd EPIA Conference on Artificial Intelligence, EPIA 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14967 LNAI, PÁGINAS: 91-102
INDEXADO EM: Scopus CrossRef Unpaywall

Results per Page: 20.
Página 1 de 205. Total de resultados: 4094.