Vasco Manquinho

109 papers A* 8A 25B 5Misc 2Journal 51Unranked 14
YearRankTypeTitle / Venue / Authors
2026 B conf
Don't go MAD with Anomalies! Design-time Microservice Anomaly Detection in Migration to Microservices.
FASE
Valentim Romão, João Rafael Pinto Soares, Luís E. T. Rodrigues, Vasco Manquinho
2026 J jnl
MENTOR: Fixing introductory programming assignments with formula-based fault localization and LLM-driven program repair.
J. Syst. Softw.
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
2026 J jnl
SPELL: Synthesis of Programmatic Edits using LLMs.
CoRR
Daniel Ramos, Catarina Gamboa, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues
2026 J jnl
Unsatisfiability-based Algorithms for Multi-Objective Combinatorial Optimization.
J. Autom. Reason.
João Cortes, Inês Lynce, Vasco Manquinho
2025 J jnl
Automatic Design-Time Detection of Anomalies in Migrating Monolithic Applications to Microservices.
CoRR
Valentim Romão, Rafael Soares, Luís Rodrigues, Vasco Manquinho
2025 J jnl
Can Automated Feedback Turn Students into Happy Prologians?
CoRR
Ricardo Brancas, Pedro Orvalho, Carolina Carreira, Vasco Manquinho, Ruben Martins
2025 A conf
Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs.
ICST
Ricardo Brancas, Vasco Manquinho, Ruben Martins
2025 — conf
Computation of Immediate Neighbours of Monotone Boolean Functions.
CMSB
José E. R. Cury, Patrícia Tenera Roxo, Vasco Manquinho, Claudine Chaouiya, Pedro T. Monteiro
2025 J jnl
Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization.
CoRR
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
2025 J jnl
InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments.
J. Syst. Softw.
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
2025 J jnl
Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits.
CoRR
Pedro Orvalho, Marta Kwiatkowska, Mikolás Janota, Vasco Manquinho
2024 J jnl
BatFix: Repairing language model-based transpilation.
ACM Trans. Softw. Eng. Methodol.
Daniel Ramos, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues
2024 A conf
BugOut: Automated Test Generation and Bug Detection for Low-Code.
ICST
Joana Coutinho, Alexandre Lemos, Miguel Terra-Neves, André Ribeiro, Vasco Manquinho, Rui Quintino, Bartlomiej Matejczyk
2024 — conf
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments.
APR
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
2024 J jnl
CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases.
CoRR
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
2024 J jnl
Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs.
CoRR
Ricardo Brancas, Vasco Manquinho, Ruben Martins
2024 — conf
GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education.
SIGCSE Virtual (1)
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
2024 J jnl
GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education.
CoRR
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
2024 J jnl
Immediate Neighbours of Monotone Boolean Functions.
CoRR
José E. R. Cury, Patrícia Tenera Roxo, Vasco Manquinho, Claudine Chaouiya, Pedro T. Monteiro
2024 J jnl
Multiple-input neural networks for time series forecasting incorporating historical and prospective context.
Data Min. Knowl. Discov.
João Palet, Vasco Manquinho, Rui Henriques
2024 A conf
Slide&Drill, a New Approach for Multi-Objective Combinatorial Optimization.
CP
João Cortes, Inês Lynce, Vasco Manquinho
2024 B conf
Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation.
FASE
Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins
2023 J jnl
Exact and approximate determination of the Pareto front using Minimal Correction Subsets.
Comput. Oper. Res.
Andreia P. Guerreiro, João Cortes, Daniel Vanderpooten, Cristina Bazgan, Inês Lynce, Vasco Manquinho, José Rui Figueira
2023 J jnl
Graph Neural Networks For Mapping Variables Between Programs - Extended Version.
CoRR
Pedro Orvalho, Jelle Piepenbrock, Mikolás Janota, Vasco Manquinho
2023 A conf
Graph Neural Networks for Mapping Variables Between Programs.
ECAI
Pedro Orvalho, Jelle Piepenbrock, Mikolás Janota, Vasco Manquinho
2023 A* conf
MELT: Mining Effective Lightweight Transformations from Pull Requests.
ASE
Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues
2023 J jnl
MELT: Mining Effective Lightweight Transformations from Pull Requests.
CoRR
Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues
2023 — conf
New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization.
TACAS (2)
João Cortes, Inês Lynce, Vasco Manquinho
2023 J jnl
On Repairing Natural Language to SQL Queries.
CoRR
Aidan Z. H. Yang, Ricardo Brancas, Pedro Esteves, Sofia Aparicio, João Pedro Nadkarni, Miguel Terra-Neves, Vasco Manquinho, Ruben Martins
2023 A conf
UpMax: User Partitioning for MaxSAT.
SAT
Pedro Orvalho, Vasco Manquinho, Ruben Martins
2023 J jnl
UpMax: User partitioning for MaxSAT.
CoRR
Pedro Orvalho, Vasco Manquinho, Ruben Martins
2022 J jnl
Associative Analysis of Inefficiencies and Station Activity Levels in Emergency Response.
ISPRS Int. J. Geo Inf.
Thomas James Z. Tiam-Lee, Rui Henriques, Vasco Manquinho
2022 J jnl
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments.
CoRR
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
2022 J jnl
CUBES: A Parallel Synthesizer for SQL Using Examples.
CoRR
Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins
2022 — conf
Consolidation of Massive Medical Emergency Events With Heterogeneous Situational Context Data Sources.
EDBT/ICDT Workshops
Thomas James Z. Tiam-Lee, Rui Henriques, José Costa, Vasco Manquinho, Helena Galhardas
2022 J jnl
Constraint-based electoral districting using a new compactness measure: An application to Portugal.
Comput. Oper. Res.
Tiago Almeida, Vasco Manquinho
2022 J jnl
DeepData: Machine learning in the marine ecosystems.
Expert Syst. Appl.
Leonor Silva, Magda Resende, Helena Galhardas, Vasco Manquinho, Inês Lynce
2022 J jnl
Exact and approximate determination of the Pareto set using minimal correction subsets.
CoRR
Andreia P. Guerreiro, João Cortes, Daniel Vanderpooten, Cristina Bazgan, Inês Lynce, Vasco Manquinho, José Rui Figueira
2022 J jnl
InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments.
CoRR
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
2022 — conf
MultIPAs: applying program transformations to introductory programming assignments for data augmentation.
ESEC/SIGSOFT FSE
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
2022 J jnl
New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization.
CoRR
João Cortes, Inês Lynce, Vasco Manquinho
2022 A conf
SAT-Based Leximax Optimisation Algorithms.
SAT
Miguel Cabral, Mikolás Janota, Vasco Manquinho
2021 — conf
AlloyMax: bringing maximum satisfaction to relational specifications.
ESEC/SIGSOFT FSE
Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco Manquinho, Ruben Martins, Eunsuk Kang
2021 J jnl
Exact hypervolume subset selection through incremental computations.
Comput. Oper. Res.
Andreia P. Guerreiro, Vasco Manquinho, José Rui Figueira
2021 — ch.
Pseudo-Boolean and Cardinality Constraints.
Handbook of Satisfiability
Olivier Roussel, Vasco Manquinho
2021 — conf
Replication of SOAR: A Synthesis Approach for Data Science API Refactoring.
ICSE (Companion Volume)
Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues
2021 A* conf
SOAR: A Synthesis Approach for Data Science API Refactoring.
ICSE
Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues
2021 J jnl
SOAR: A Synthesis Approach for Data Science API Refactoring.
CoRR
Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues
2021 A conf
The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets.
CP
Mikolás Janota, António Morgado, José Fragoso Santos, Vasco Manquinho
2021 A conf
UNIANO: robust and efficient anomaly consensus in time series sensitive to cross-correlated anomaly profiles.
SDM
Leonor Silva, Helena Galhardas, Vasco Manquinho, Rui Henriques
2020 J jnl
SQUARES : A SQL Synthesizer Using Query Reverse Engineering.
Proc. VLDB Endow.
Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho
2020 A* conf
UNCHARTIT: An Interactive Framework for Program Recovery from Charts.
ASE
Daniel Ramos, Jorge Pereira, Inês Lynce, Vasco Manquinho, Ruben Martins
2019 A* conf
Concurrency Debugging with MaxSMT.
AAAI
Miguel Terra-Neves, Nuno Machado, Inês Lynce, Vasco Manquinho
2019 A conf
Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving.
CP
Andreia P. Guerreiro, Miguel Terra-Neves, Inês Lynce, José Rui Figueira, Vasco Manquinho
2019 A conf
Encodings for Enumeration-Based Program Synthesis.
CP
Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho
2019 A* conf
Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms.
IJCAI
Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
2019 J jnl
Reflections on "Incremental Cardinality Constraints for MaxSAT".
CoRR
Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce
2019 J jnl
Virtual machine consolidation using constraint-based multi-objective optimization.
J. Heuristics
Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
2018 A* conf
Enhancing Constraint-Based Multi-Objective Combinatorial Optimization.
AAAI
Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
2018 A* conf
Multi-Objective Optimization Through Pareto Minimal Correction Subsets.
IJCAI
Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
2018 — ch.
Parallel Maximum Satisfiability.
Handbook of Parallel Constraint Reasoning
Inês Lynce, Vasco Manquinho, Ruben Martins
2018 — conf
Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids.
SASB
Pedro L. Varela, Inês Lynce, Vasco Manquinho, Claudine Chaouiya, Pedro T. Monteiro
2018 A* conf
Stratification for Constraint-Based Multi-Objective Combinatorial Optimization.
IJCAI
Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
2017 A conf
Introducing Pareto Minimal Correction Subsets.
SAT
Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
2017 Misc conf
Logic-Based Encodings for Ricochet Robots.
EPIA
Filipe Gouveia, Pedro T. Monteiro, Vasco Manquinho, Inês Lynce
2017 — conf
On the Quest for an Acyclic Graph.
RCRA@AI*IA
Mikolás Janota, Radu Grigore, Vasco Manquinho
2017 J jnl
On the Quest for an Acyclic Graph.
CoRR
Mikolas Janota, Radu Grigore, Vasco Manquinho
2016 B conf
Non-Portfolio Approaches for Distributed Maximum Satisfiability.
ICTAI
Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
2016 A conf
On Incremental Core-Guided MaxSAT Solving.
CP
Xujie Si, Xin Zhang, Vasco Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik
2015 J jnl
Deterministic Parallel MaxSAT Solving.
Int. J. Artif. Intell. Tools
Ruben Martins, Vasco Manquinho, Inês Lynce
2015 J jnl
DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability.
CoRR
Miguel Neves, Inês Lynce, Vasco Manquinho
2015 A conf
Exploiting Resolution-Based Representations for MaxSAT Solving.
SAT
Miguel Neves, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco Manquinho
2015 J jnl
Exploiting Resolution-based Representations for MaxSAT Solving.
CoRR
Miguel Neves, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco Manquinho
2015 A conf
Generalized Totalizer Encoding for Pseudo-Boolean Constraints.
CP
Saurabh Joshi, Ruben Martins, Vasco Manquinho
2015 J jnl
Generalized Totalizer Encoding for Pseudo-Boolean Constraints.
CoRR
Saurabh Joshi, Ruben Martins, Vasco Manquinho
2015 J jnl
Improving linear search algorithms with model-based approaches for MaxSAT solving.
J. Exp. Theor. Artif. Intell.
Ruben Martins, Vasco Manquinho, Inês Lynce
2014 A conf
Efficient Autarkies.
ECAI
João Marques-Silva, Alexey Ignatiev, António Morgado, Vasco Manquinho, Inês Lynce
2014 A conf
Incremental Cardinality Constraints for MaxSAT.
CP
Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce
2014 J jnl
Incremental Cardinality Constraints for MaxSAT.
CoRR
Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce
2014 J jnl
Inferring phylogenetic trees using pseudo-Boolean optimization.
AI Commun.
Miguel Miranda, Inês Lynce, Vasco Manquinho
2014 J jnl
On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving.
J. Satisf. Boolean Model. Comput.
Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce
2014 A conf
Open-WBO: A Modular MaxSAT Solver, .
SAT
Ruben Martins, Vasco Manquinho, Inês Lynce
2014 A conf
Progression in Maximum Satisfiability.
ECAI
Alexey Ignatiev, António Morgado, Vasco Manquinho, Inês Lynce, João Marques-Silva
2013 A conf
Community-Based Partitioning for MaxSAT Solving.
SAT
Ruben Martins, Vasco Manquinho, Inês Lynce
2012 J jnl
An overview of parallel SAT solving.
Constraints An Int. J.
Ruben Martins, Vasco Manquinho, Inês Lynce
2012 — conf
Clause Sharing in Parallel MaxSAT.
LION
Ruben Martins, Vasco Manquinho, Inês Lynce
2012 A conf
On Partitioning for Maximum Satisfiability.
ECAI
Ruben Martins, Vasco Manquinho, Inês Lynce
2012 J jnl
On When and How to use SAT to Mine Frequent Itemsets
CoRR
Rui Henriques, Inês Lynce, Vasco Manquinho
2012 J jnl
PackUp: Tools for Package Upgradability Solving.
J. Satisf. Boolean Model. Comput.
Mikolás Janota, Inês Lynce, Vasco Manquinho, João Marques-Silva
2012 J jnl
Parallel search for maximum satisfiability.
AI Commun.
Ruben Martins, Vasco Manquinho, Inês Lynce
2011 B conf
Exploiting Cardinality Encodings in Parallel Maximum Satisfiability.
ICTAI
Ruben Martins, Vasco Manquinho, Inês Lynce
2010 J jnl
Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes.
J. Comput. Biol.
João Delgado, Inês Lynce, Vasco Manquinho
2010 J jnl
DFT and Minimum Leakage Pattern Generation for Static Power Reduction During Test and Burn-In.
IEEE Trans. Very Large Scale Integr. Syst.
Wei-Chung Kao, Wei-Shun Chuang, Shiu-Ting Lin, Chien-Mo James Li, Vasco Manquinho
2010 — conf
Improving Search Space Splitting for Parallel SAT Solving.
ICTAI (1)
Ruben Martins, Vasco Manquinho, Inês Lynce
2010 A conf
Improving Unsatisfiability-Based Algorithms for Boolean Optimization.
SAT
Vasco Manquinho, Ruben Martins, Inês Lynce
2010 J jnl
Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability
CoRR
Nuno P. Lopes, Levent Aksoy, Vasco Manquinho, José Monteiro
2009 J jnl
Algorithms for Weighted Boolean Optimization
CoRR
Vasco Manquinho, João Marques-Silva, Jordi Planes
2009 A conf
Algorithms for Weighted Boolean Optimization.
SAT
Vasco Manquinho, João Marques-Silva, Jordi Planes
2009 — conf
Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization.
RECOMB-CG
João Delgado, Inês Lynce, Vasco Manquinho
2009 — ch.
Pseudo-Boolean and Cardinality Constraints.
Handbook of Satisfiability
Olivier Roussel, Vasco Manquinho
2008 — ch.
Backtracking.
Wiley Encyclopedia of Computer Science and Engineering
Inês Lynce, Vasco Manquinho, João Marques-Silva
2008 J jnl
Guest Editors Conclusion.
J. Satisf. Boolean Model. Comput.
Ewald Speckenmeyer, Armando Tacchella, Vasco Manquinho, Chu Min Li
2008 — conf
Learning Techniques for Pseudo-Boolean Solving.
LPAR Workshops
José Faustino Fragoso Femenin dos Santos, Vasco Manquinho
2008 Misc conf
On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization.
FLAIRS
Federico Heras, Vasco Manquinho, João Marques-Silva
2008 J jnl
Symmetry Breaking for Maximum Satisfiability
CoRR
João Marques-Silva, Inês Lynce, Vasco Manquinho
2008 B conf
Symmetry Breaking for Maximum Satisfiability.
LPAR
João Marques-Silva, Inês Lynce, Vasco Manquinho
2008 A conf
Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms.
SAT
João Marques-Silva, Vasco Manquinho
2006 A conf
Counting Models in Integer Domains.
SAT
António Morgado, Paulo J. Matos, Vasco Manquinho, João Marques-Silva
2005 A conf
On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization.
SAT
Vasco Manquinho, João Marques-Silva