Vasco Manquinho - Publications, H-index & Citations

Vasco Manquinho

inesc-id

17H指数

123论文数

1.3K被引数

收录论文 8

发表时间

Unsatisfiability-based Algorithms for Multi-Objective Combinatorial Optimization 基于不可满足性的多目标组合优化算法

Journal of Automated Reasoning

IF0.8

2026-02-16

OAAI

Cortes, Joao; Lynce, Ines; Manquinho, Vasco

Computation of Immediate Neighbours of Monotone Boolean Functions 单调布尔函数的邻近节点计算

COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, CMSB 2025

IF0

2026-01-01

PREAI

Cury, Jose E. R.; Roxo, Patricia Tenera; Manquinho, Vasco; Chaouiya, Claudine; Monteiro, Pedro T.

MENTOR: Fixing Introductory Programming Assignments With Formula-Based Fault Localization and LLM-Driven Program Repair 导师：使用基于公式的故障定位和LLM驱动的程序修复来修复入门编程作业

Journal of Systems and Software

IF4.1

2025-11-10

OAAI

Pedro Orvalho; Mikoláš Janota; Vasco Manquinho

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments InvAASTCluster：关于将基于不变量的程序聚类应用于入门编程作业

Journal of Systems and Software

IF4.1

2025-06-27

OAAI

Pedro Orvalho; Mikoláš Janota; Vasco Manquinho

BatFix: Repairing Language Model-based Transpilation

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2024-06-27

OAAI

Ramos, Daniel; Lynce, Ines; Manquinho, Vasco; Martins, Ruben; Le Goues, Claire

DeepData: Machine learning in the marine ecosystems

EXPERT SYSTEMS WITH APPLICATIONS

IF7.5

2022-11-01

OAAI

Oliveira e Silva, Leonor; Resende, Magda; Galhardas, Helena; Manquinho, Vasco; Lynce, Ines

Constraint-based electoral districting using a new compactness measure: Anapplication to Portugal

COMPUTERS & OPERATIONS RESEARCH

IF4.3

2022-10-01

OAAI

Almeida, Tiago; Manquinho, Vasco

Exact hypervolume subset selection through incremental computations

COMPUTERS & OPERATIONS RESEARCH

IF4.3

2021-12-01

OAAI

Guerreiro, Andreia P.; Manquinho, Vasco; Figueira, Jose Rui

研究方向