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

56 Team Members
Filters -> Year: 2025
21
TÍTULO: Addressing the Agony of Recruitment for Human-centric Computing Studies
AUTORES: Kashumi Madampe; John Grundy; Judith Good; Dulaji Hidellaarachchi; Jácome Cunha ; Chris Brown; Peng Kuang; Reham Al Tamime; Ariful Islam Anik; Advait Sarkar; Wei Zhou; Shawal Khalid; Tommaso Turchi; Shavindra Wickramathilaka; Yue Jiang;
PUBLICAÇÃO: 2025, FONTE: ACM SIGSOFT Softw. Eng. Notes, VOLUME: 50, NÚMERO: 2, PÁGINAS: 23-26
INDEXADO EM: DBLP
22
TÍTULO: Agile Processes in Software Engineering and Extreme Programming - 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings
AUTORES: Sibylle Peter; Martin Kropp; Ademar Aguiar ; Craig Anslow; Maria Ilaria Lunesu; Andrea Pinna;
PUBLICAÇÃO: 2025, FONTE: XP, VOLUME: 545
INDEXADO EM: DBLP
23
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
24
TÍTULO: Algorithmic Composition Using Narrative Structure and Tension
AUTORES: Francisco Braga; Gilberto Bernardes ; Roger B Dannenberg; Nuno Correia;
PUBLICAÇÃO: 2025, FONTE: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, PÁGINAS: 10045-10053
INDEXADO EM: CrossRef
25
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
26
TÍTULO: An Exploratory Study of ML Sketches and Visual Code Assistants
AUTORES: Gomes, Luis F.; Hellendoorn, Vincent J.; Aldrich, Jonathan; Abreu, Rui ;
PUBLICAÇÃO: 2025, FONTE: 47th International Conference on Software Engineering-ICSE in 2025 IEEE/ACM 47TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, VOLUME: abs/2412.13386, PÁGINAS: 1653-1664
INDEXADO EM: Scopus WOS DBLP
27
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
28
TÍTULO: Applying a Prompt Pattern Sequence for Decision-Making in Microservices Architectures
AUTORES: João José Maranhão Jr.; Jorge Melegati ; Eduardo Guerra;
PUBLICAÇÃO: 2025, FONTE: Service-Oriented and Cloud Computing - 11th IFIP WG 6.12 European Conference, ESOCC 2025, Bolzano, Italy, February 20-21, 2025, Proceedings, VOLUME: 15547, PÁGINAS: 18-32
INDEXADO EM: DBLP CrossRef
29
TÍTULO: ArchHypo: Managing Software Architecture Uncertainty Using Hypotheses Engineering  Full Text
AUTORES: Kelson Silva; Jorge Melegati ; Fábio Fagundes Silveira; Xiaofeng Wang; Maurício Gonçalves Vieira Ferreira; Eduardo Guerra;
PUBLICAÇÃO: 2025, FONTE: IEEE Trans. Software Eng., VOLUME: 51, NÚMERO: 2, PÁGINAS: 430-448
INDEXADO EM: DBLP CrossRef: 2
30
TÍTULO: Are Users More Willing to Use Formally Verified Password Managers?
AUTORES: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.02124
INDEXADO EM: DBLP
31
TÍTULO: Artificial Intelligence for Control in Laser-Based Additive Manufacturing: A Systematic Review
AUTORES: Sousa, Joao; Brandau, Benedikt; Darabi, Roya; Sousa, Armando ; 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: 4
32
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
33
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
34
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
35
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
36
TÍTULO: Can ChatGPT Suggest Patterns? An Exploratory Study About Answers Given by AI-Assisted Tools to Design Problems
AUTORES: Maranhao Junior, Joao Jose; Correia, Filipe F. ; Guerra, Eduardo Martins;
PUBLICAÇÃO: 2025, FONTE: 25th International Conference on Agile Software Development (XP) in AGILE PROCESSES IN SOFTWARE ENGINEERING AND EXTREME PROGRAMMING-WORKSHOPS, XP 2024 WORKSHOPS, VOLUME: 524, PÁGINAS: 130-138
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Unpaywall
37
TÍTULO: Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
AUTORES: Carolina Carreira; Álvaro F Silva; Alexandre Abreu; Alexandra Mendes ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2506.22370
INDEXADO EM: DBLP
38
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
39
TÍTULO: CBVLM: Training-free Explainable Concept-based Large Vision Language Models for Medical Image Classification  Full Text
AUTORES: Cristiano Patrício; Isabel Rio Torto ; Jaime S Cardoso ; Luís F Teixeira ; João C Neves;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2501.12266, PÁGINAS: 111145
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
40
TÍTULO: Challenging Beat Tracking: Tackling Polyrhythm, Polymetre, and Polytempo with Human-in-the-Loop Adaptation
AUTORES: António Sá Pinto; Gilberto Bernardes ; Matthew E P Davies;
PUBLICAÇÃO: 2025, FONTE: Lecture notes in computer science, PÁGINAS: 461-479
INDEXADO EM: CrossRef Unpaywall

Results per Page: 20.
Página 2 de 223. Total de resultados: 4457.