Miguel Terra-Neves

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 21

Top Topics

Multiobjective Optimization

Visual Programming

Top Venues

Publications

Miguel Terra-Neves, José Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, António Alegria
SAT-Based Algorithms for Regular Graph Pattern Matching. AAAI (2024)
Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco M. Manquinho, Ruben Martins
Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation. FASE (2024)
Aidan Z. H. Yang, Ricardo Brancas, Pedro Esteves, Sofia Aparicio, João Pedro Nadkarni, Miguel Terra-Neves, Vasco M. Manquinho, Ruben Martins
On Repairing Natural Language to SQL Queries. CoRR (2023)
Miguel Terra-Neves, José Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, António Alegria
SAT-Based Algorithms for Regular Graph Pattern Matching. CoRR (2023)
Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco M. Manquinho, Ruben Martins
CUBES: A Parallel Synthesizer for SQL Using Examples. CoRR (2022)
Miguel Terra-Neves, João Nadkarni, Miguel Ventura, Pedro Resende, Hugo Veiga, António Alegria
Duplicated Code Pattern Mining in Visual Programming Languages. CoRR (2021)
Inês Pina Fernandes, Miguel Terra-Neves, João Costa Seco
Automated Refactoring of Unbounded Queries in Software Automation Platforms. MoDELS (Companion) (2021)
Miguel Terra-Neves, João Nadkarni, Miguel Ventura, Pedro Resende, Hugo Veiga, António Alegria
Duplicated code pattern mining in visual programming languages. ESEC/SIGSOFT FSE (2021)
Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, Ruben Martins
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions. TACAS (1) (2021)
Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco M. Manquinho
SQUARES : A SQL Synthesizer Using Query Reverse Engineering. Proc. VLDB Endow. 13 (12) (2020)
Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, Ruben Martins
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions. CoRR (2020)
Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho
Virtual machine consolidation using constraint-based multi-objective optimization. J. Heuristics 25 (3) (2019)
Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco M. Manquinho
Encodings for Enumeration-Based Program Synthesis. CP (2019)
Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho
Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms. IJCAI (2019)
Andreia P. Guerreiro, Miguel Terra-Neves, Inês Lynce, José Rui Figueira, Vasco M. Manquinho
Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving. CP (2019)
Miguel Terra-Neves, Nuno Machado, Inês Lynce, Vasco M. Manquinho
Concurrency Debugging with MaxSMT. AAAI (2019)
Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho
Stratification for Constraint-Based Multi-Objective Combinatorial Optimization. IJCAI (2018)
Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho
Enhancing Constraint-Based Multi-Objective Combinatorial Optimization. AAAI (2018)
Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho
Multi-Objective Optimization Through Pareto Minimal Correction Subsets. IJCAI (2018)
Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho
Introducing Pareto Minimal Correction Subsets. SAT (2017)
Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho
Non-Portfolio Approaches for Distributed Maximum Satisfiability. ICTAI (2016)