| 2026 | FASE | Don't go MAD with Anomalies! Design-time Microservice Anomaly Detection in Migration to Microservices. | Valentim Romo, Joo Rafael Pinto Soares, Lus E. T. Rodrigues, Vasco Manquinho |
| 2025 | ICST | Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs. | Ricardo Brancas, Vasco Manquinho, Ruben Martins |
| 2024 | CP | Slide&Drill, a New Approach for Multi-Objective Combinatorial Optimization. | Joo Cortes, Ins Lynce, Vasco Manquinho |
| 2024 | FASE | Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation. | Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins |
| 2024 | ICST | BugOut: Automated Test Generation and Bug Detection for Low-Code. | Joana Coutinho, Alexandre Lemos, Miguel Terra-Neves, Andr Ribeiro, Vasco Manquinho, Rui Quintino, Bartlomiej Matejczyk |
| 2024 | SIGCSE | GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education. | Pedro Orvalho, Mikols Janota, Vasco Manquinho |
| 2023 | ECAI | Graph Neural Networks for Mapping Variables Between Programs. | Pedro Orvalho, Jelle Piepenbrock, Mikols Janota, Vasco Manquinho |
| 2023 | SAT | UpMax: User Partitioning for MaxSAT. | Pedro Orvalho, Vasco Manquinho, Ruben Martins |
| 2023 | TACAS | New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization. | Joo Cortes, Ins Lynce, Vasco Manquinho |
| 2022 | EDBT | Consolidation of Massive Medical Emergency Events With Heterogeneous Situational Context Data Sources. | Thomas James Z. Tiam-Lee, Rui Henriques, Jos Costa, Vasco Manquinho, Helena Galhardas |
| 2022 | SAT | SAT-Based Leximax Optimisation Algorithms. | Miguel Cabral, Mikols Janota, Vasco Manquinho |
| 2021 | CP | The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets. | Mikols Janota, Antnio Morgado, Jos Fragoso Santos, Vasco Manquinho |
| 2021 | ICSE | SOAR: A Synthesis Approach for Data Science API Refactoring. | Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Ins Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues |
| 2021 | ICSE | Replication of SOAR: A Synthesis Approach for Data Science API Refactoring. | Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Ins Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues |
| 2021 | SDM | UNIANO: robust and efficient anomaly consensus in time series sensitive to cross-correlated anomaly profiles. | Leonor Silva, Helena Galhardas, Vasco Manquinho, Rui Henriques |
| 2019 | AAAI | Concurrency Debugging with MaxSMT. | Miguel Terra-Neves, Nuno Machado, Ins Lynce, Vasco Manquinho |
| 2019 | CP | Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving. | Andreia P. Guerreiro, Miguel Terra-Neves, Ins Lynce, Jos Rui Figueira, Vasco Manquinho |
| 2019 | CP | Encodings for Enumeration-Based Program Synthesis. | Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho |
| 2019 | IJCAI | Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms. | Miguel Terra-Neves, Ins Lynce, Vasco Manquinho |
| 2018 | AAAI | Enhancing Constraint-Based Multi-Objective Combinatorial Optimization. | Miguel Terra-Neves, Ins Lynce, Vasco Manquinho |
| 2018 | IJCAI | Stratification for Constraint-Based Multi-Objective Combinatorial Optimization. | Miguel Terra-Neves, Ins Lynce, Vasco Manquinho |
| 2018 | IJCAI | Multi-Objective Optimization Through Pareto Minimal Correction Subsets. | Miguel Terra-Neves, Ins Lynce, Vasco Manquinho |
| 2017 | EPIA | Logic-Based Encodings for Ricochet Robots. | Filipe Gouveia, Pedro T. Monteiro, Vasco Manquinho, Ins Lynce |
| 2017 | SAT | Introducing Pareto Minimal Correction Subsets. | Miguel Terra-Neves, Ins Lynce, Vasco Manquinho |
| 2016 | CP | On Incremental Core-Guided MaxSAT Solving. | Xujie Si, Xin Zhang, Vasco Manquinho, Mikols Janota, Alexey Ignatiev, Mayur Naik |
| 2016 | ICTAI | Non-Portfolio Approaches for Distributed Maximum Satisfiability. | Miguel Terra-Neves, Ins Lynce, Vasco Manquinho |
| 2015 | CP | Generalized Totalizer Encoding for Pseudo-Boolean Constraints. | Saurabh Joshi, Ruben Martins, Vasco Manquinho |
| 2015 | SAT | Exploiting Resolution-Based Representations for MaxSAT Solving. | Miguel Neves, Ruben Martins, Mikols Janota, Ins Lynce, Vasco Manquinho |
| 2014 | CP | Incremental Cardinality Constraints for MaxSAT. | Ruben Martins, Saurabh Joshi, Vasco Manquinho, Ins Lynce |
| 2014 | ECAI | Progression in Maximum Satisfiability. | Alexey Ignatiev, Antnio Morgado, Vasco Manquinho, Ins Lynce, Joo Marques-Silva |
| 2014 | ECAI | Efficient Autarkies. | Joo Marques-Silva, Alexey Ignatiev, Antnio Morgado, Vasco Manquinho, Ins Lynce |
| 2014 | SAT | Open-WBO: A Modular MaxSAT Solver, . | Ruben Martins, Vasco Manquinho, Ins Lynce |
| 2013 | SAT | Community-Based Partitioning for MaxSAT Solving. | Ruben Martins, Vasco Manquinho, Ins Lynce |
| 2012 | ECAI | On Partitioning for Maximum Satisfiability. | Ruben Martins, Vasco Manquinho, Ins Lynce |
| 2011 | ICTAI | Exploiting Cardinality Encodings in Parallel Maximum Satisfiability. | Ruben Martins, Vasco Manquinho, Ins Lynce |
| 2010 | ICTAI | Improving Search Space Splitting for Parallel SAT Solving. | Ruben Martins, Vasco Manquinho, Ins Lynce |
| 2010 | SAT | Improving Unsatisfiability-Based Algorithms for Boolean Optimization. | Vasco Manquinho, Ruben Martins, Ins Lynce |
| 2009 | RECOMB | Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization. | Joo Delgado, Ins Lynce, Vasco Manquinho |
| 2009 | SAT | Algorithms for Weighted Boolean Optimization. | Vasco Manquinho, Joo Marques-Silva, Jordi Planes |
| 2008 | FlAIRS | On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization. | Federico Heras, Vasco Manquinho, Joo Marques-Silva |
| 2008 | LPAR | Symmetry Breaking for Maximum Satisfiability. | Joo Marques-Silva, Ins Lynce, Vasco Manquinho |
| 2008 | LPAR | Learning Techniques for Pseudo-Boolean Solving. | Jos Faustino Fragoso Femenin dos Santos, Vasco Manquinho |
| 2008 | SAT | Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms. | Joo Marques-Silva, Vasco Manquinho |
| 2006 | SAT | Counting Models in Integer Domains. | Antnio Morgado, Paulo J. Matos, Vasco Manquinho, Joo Marques-Silva |
| 2005 | SAT | On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization. | Vasco Manquinho, Joo Marques-Silva |