Vasco Manquinho

109 papers A* 8A 25B 5Misc 2Journal 51Unranked 14

Year	Rank	Type	Title / 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