logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
V

Vasco Manquinho

inesc-id

17H-index
123Paper Count
1.3KCitation Count
Published Papers 8
Publication Date
logo
Unsatisfiability-based Algorithms for Multi-Objective Combinatorial Optimization
errJournal of Automated Reasoning
IF0.8
err2026-02-16
err0
errOAAI
errCortes, Joao; Lynce, Ines; Manquinho, Vasco
errShare
errSave
Computation of Immediate Neighbours of Monotone Boolean Functions
errCOMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, CMSB 2025
IF0
err2026-01-01
err0
PREAI
errCury, Jose E. R.; Roxo, Patricia Tenera; Manquinho, Vasco; Chaouiya, Claudine; Monteiro, Pedro T.
errShare
errSave
MENTOR: Fixing Introductory Programming Assignments With Formula-Based Fault Localization and LLM-Driven Program Repair
errJournal of Systems and Software
IF4.1
err2025-11-10
err0
errOAAI
errPedro Orvalho; Mikoláš Janota; Vasco Manquinho
errShare
errSave
InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
errJournal of Systems and Software
IF4.1
err2025-06-27
err0
errOAAI
errPedro Orvalho; Mikoláš Janota; Vasco Manquinho
errShare
errSave
BatFix: Repairing Language Model-based Transpilation
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2024-06-27
err0
errOAAI
errRamos, Daniel; Lynce, Ines; Manquinho, Vasco; Martins, Ruben; Le Goues, Claire
errShare
errSave
DeepData: Machine learning in the marine ecosystems
errEXPERT SYSTEMS WITH APPLICATIONS
IF7.5
err2022-11-01
err4
errOAAI
errOliveira e Silva, Leonor; Resende, Magda; Galhardas, Helena; Manquinho, Vasco; Lynce, Ines
errShare
errSave
Constraint-based electoral districting using a new compactness measure: Anapplication to Portugal
errCOMPUTERS & OPERATIONS RESEARCH
IF4.3
err2022-10-01
err3
errOAAI
errAlmeida, Tiago; Manquinho, Vasco
errShare
errSave
Exact hypervolume subset selection through incremental computations
errCOMPUTERS & OPERATIONS RESEARCH
IF4.3
err2021-12-01
err6
errOAAI
errGuerreiro, Andreia P.; Manquinho, Vasco; Figueira, Jose Rui
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
J
José Rui Figueira
H-index: 50 · Papers: 294
C
Claudine Chaouiya
H-index: 37 · Papers: 147
C
Claire Le Goues
H-index: 36 · Papers: 178
I
Inês Lynce
H-index: 27 · Papers: 158
M
Mikoláš Janota
H-index: 25 · Papers: 174
View more