Miguel Terra-Neves
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
9
Active years
2016–2024
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AAAI | SAT-Based Algorithms for Regular Graph Pattern Matching. | Miguel Terra-Neves, Jos Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, Antnio Alegria |
| 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 |
| 2021 | MODELS | Automated Refactoring of Unbounded Queries in Software Automation Platforms. | Ins Pina Fernandes, Miguel Terra-Neves, Joo Costa Seco |
| 2021 | TACAS | FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions. | Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Ins Lynce, Ruben Martins |
| 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 | SAT | Introducing Pareto Minimal Correction Subsets. | Miguel Terra-Neves, Ins Lynce, Vasco Manquinho |
| 2016 | ICTAI | Non-Portfolio Approaches for Distributed Maximum Satisfiability. | Miguel Terra-Neves, Ins Lynce, Vasco Manquinho |