Seguir
Miguel Terra-Neves
Miguel Terra-Neves
Research Scientist, OutSystems
Dirección de correo verificada de outsystems.com
Título
Citado por
Citado por
Año
SQUARES: a SQL synthesizer using query reverse engineering
P Orvalho, M Terra-Neves, M Ventura, R Martins, V Manquinho
Proceedings of the VLDB Endowment 13 (12), 2853-2856, 2020
282020
Exploiting resolution-based representations for MaxSAT solving
M Neves, R Martins, M Janota, I Lynce, V Manquinho
Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015
262015
Introducing Pareto minimal correction subsets
M Terra-Neves, I Lynce, V Manquinho
Theory and Applications of Satisfiability Testing–SAT 2017: 20th …, 2017
202017
Encodings for enumeration-based program synthesis
P Orvalho, M Terra-Neves, M Ventura, R Martins, V Manquinho
Principles and Practice of Constraint Programming: 25th International …, 2019
182019
Virtual machine consolidation using constraint-based multi-objective optimization
M Terra-Neves, I Lynce, V Manquinho
Journal of Heuristics 25, 339-375, 2019
132019
FOREST: an interactive multi-tree synthesizer for regular expressions
M Ferreira, M Terra-Neves, M Ventura, I Lynce, R Martins
International Conference on Tools and Algorithms for the Construction and …, 2021
112021
Stratification for Constraint-Based Multi-Objective Combinatorial Optimization.
M Terra-Neves, I Lynce, VM Manquinho
IJCAI, 1376-1382, 2018
102018
Constraint-based techniques in stochastic local search MaxSAT solving
AP Guerreiro, M Terra-Neves, I Lynce, JR Figueira, V Manquinho
Principles and Practice of Constraint Programming: 25th International …, 2019
92019
Enhancing constraint-based multi-objective combinatorial optimization
M Terra-Neves, I Lynce, V Manquinho
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
92018
Open-wbo@ maxsat evaluation 2020
R Martins, N Manthey, M Terra-Neves, V Manquinho, I Lynce
MaxSAT Evaluation 2020, 24, 2021
72021
Multi-Objective Optimization Through Pareto Minimal Correction Subsets.
M Terra-Neves, I Lynce, VM Manquinho
IJCAI, 5379-5383, 2018
72018
Concurrency debugging with MaxSMT
M Terra-Neves, N Machado, I Lynce, V Manquinho
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 1608-1616, 2019
62019
CUBES: a parallel synthesizer for SQL using examples
R Brancas, M Terra-Neves, M Ventura, V Manquinho, R Martins
arXiv preprint arXiv:2203.04995, 2022
42022
Automated Refactoring of Unbounded Queries in Software Automation Platforms
IP Fernandes, M Terra-Neves, JC Seco
2021 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2021
32021
Duplicated code pattern mining in visual programming languages
M Terra-Neves, J Nadkarni, M Ventura, P Resende, H Veiga, A Alegria
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
32021
Open-wbo in maxsat evaluation 2017
R Martins, M Terra-Neves, S Joshi, M Janota, V Manquinho, I Lynce
MaxSAT Evaluation 2017, 17, 2017
32017
Non-Portfolio Approaches for Distributed Maximum Satisfiability
M Terra-Neves, I Lynce, V Manquinho
2016 IEEE 28th International Conference on Tools with Artificial …, 2016
3*2016
sls-mcs and sls-lsu: Description
AP Guerreiro, M Terra-Neves, I Lynce, JR Figueira, V Manquinho
MaxSAT Evaluation 2020, 28, 2020
22020
Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms.
M Terra-Neves, I Lynce, VM Manquinho
IJCAI, 1184-1190, 2019
12019
Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation
R Brancas, M Terra-Neves, M Ventura, V Manquinho, R Martins
International Conference on Fundamental Approaches to Software Engineering …, 2024
2024
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20