Miguel Terra-Neves

Orcid: 0000-0003-4089-7206

Affiliations:
  • Universidade de Lisboa, Portugal


According to our database1, Miguel Terra-Neves authored at least 19 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
SAT-Based Algorithms for Regular Graph Pattern Matching.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
On Repairing Natural Language to SQL Queries.
CoRR, 2023

2022
CUBES: A Parallel Synthesizer for SQL Using Examples.
CoRR, 2022

2021
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Duplicated code pattern mining in visual programming languages.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Automated Refactoring of Unbounded Queries in Software Automation Platforms.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

2020
SQUARES : A SQL Synthesizer Using Query Reverse Engineering.
Proc. VLDB Endow., 2020

2019
Virtual machine consolidation using constraint-based multi-objective optimization.
J. Heuristics, 2019

Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Encodings for Enumeration-Based Program Synthesis.
Proceedings of the Principles and Practice of Constraint Programming, 2019

Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving.
Proceedings of the Principles and Practice of Constraint Programming, 2019

Concurrency Debugging with MaxSMT.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Multi-Objective Optimization Through Pareto Minimal Correction Subsets.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Stratification for Constraint-Based Multi-Objective Combinatorial Optimization.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Enhancing Constraint-Based Multi-Objective Combinatorial Optimization.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Introducing Pareto Minimal Correction Subsets.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

2016
Non-Portfolio Approaches for Distributed Maximum Satisfiability.
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

2015
DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability.
CoRR, 2015

Exploiting Resolution-Based Representations for MaxSAT Solving.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015


  Loading...