default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMiguel Terra-Neves
Person information
- affiliation: Universidade de Lisboa, Portugal
Other persons with the same name
- Miguel Neves 0002 — DLR, Germany
- Miguel Neves 0003 — University of Aveiro, Portugal
- Miguel Neves 0004
![[0000-0002-6792-0042]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0002-6792-0042")
— University of Coimbra, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c16]Miguel Terra-Neves, José Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, António Alegria:
SAT-Based Algorithms for Regular Graph Pattern Matching. AAAI 2024: 8136-8145- [c15]Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins:
Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation. FASE 2024: 232-254 - [c14]Joana Coutinho, Alexandre Lemos, Miguel Terra-Neves, André Ribeiro, Vasco Manquinho, Rui Quintino, Bartlomiej Matejczyk:
BugOut: Automated Test Generation and Bug Detection for Low-Code. ICST 2024: 373-382 - 2023
- [i7]Aidan Z. H. Yang, Ricardo Brancas, Pedro Esteves, Sofia Aparicio, João Pedro Nadkarni, Miguel Terra-Neves, Vasco Manquinho, Ruben Martins:
On Repairing Natural Language to SQL Queries. CoRR abs/2310.03866 (2023) - [i6]Miguel Terra-Neves, José Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, António Alegria:
SAT-Based Algorithms for Regular Graph Pattern Matching. CoRR abs/2312.09995 (2023) - 2022
- [i5]Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins:
CUBES: A Parallel Synthesizer for SQL Using Examples. CoRR abs/2203.04995 (2022) - 2021
- [c13]Inês Pina Fernandes, Miguel Terra-Neves, João Costa Seco:
Automated Refactoring of Unbounded Queries in Software Automation Platforms. MoDELS (Companion) 2021: 417-426 - [c12]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: 1348-1359 - [c11]Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, Ruben Martins:
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions. TACAS (1) 2021: 152-169 - [i4]Miguel Terra-Neves, João Nadkarni, Miguel Ventura, Pedro Resende, Hugo Veiga, António Alegria:
Duplicated Code Pattern Mining in Visual Programming Languages. CoRR abs/2107.07212 (2021) - 2020
- [j2]Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho:
SQUARES : A SQL Synthesizer Using Query Reverse Engineering. Proc. VLDB Endow. 13(12): 2853-2856 (2020) - [i3]Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, Ruben Martins:
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions. CoRR abs/2012.14235 (2020)
2010 – 2019
- 2019
- [j1]Miguel Terra-Neves, Inês Lynce, Vasco Manquinho:
Virtual machine consolidation using constraint-based multi-objective optimization. J. Heuristics 25(3): 339-375 (2019) - [c10]Miguel Terra-Neves, Nuno Machado, Inês Lynce, Vasco Manquinho:
Concurrency Debugging with MaxSMT. AAAI 2019: 1608-1616 - [c9]Andreia P. Guerreiro, Miguel Terra-Neves, Inês Lynce, José Rui Figueira, Vasco Manquinho:
Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving. CP 2019: 232-250 - [c8]Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho:
Encodings for Enumeration-Based Program Synthesis. CP 2019: 583-599 - [c7]Miguel Terra-Neves, Inês Lynce, Vasco Manquinho:
Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms. IJCAI 2019: 1184-1190 - 2018
- [c6]Miguel Terra-Neves, Inês Lynce, Vasco Manquinho:
Enhancing Constraint-Based Multi-Objective Combinatorial Optimization. AAAI 2018: 6649-6656 - [c5]Miguel Terra-Neves, Inês Lynce, Vasco Manquinho:
Stratification for Constraint-Based Multi-Objective Combinatorial Optimization. IJCAI 2018: 1376-1382 - [c4]Miguel Terra-Neves, Inês Lynce, Vasco Manquinho:
Multi-Objective Optimization Through Pareto Minimal Correction Subsets. IJCAI 2018: 5379-5383 - 2017
- [c3]Miguel Terra-Neves, Inês Lynce, Vasco Manquinho:
Introducing Pareto Minimal Correction Subsets. SAT 2017: 195-211 - 2016
- [c2]Miguel Terra-Neves, Inês Lynce, Vasco Manquinho:
Non-Portfolio Approaches for Distributed Maximum Satisfiability. ICTAI 2016: 436-443 - 2015
- [c1]Miguel Neves, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco Manquinho:
Exploiting Resolution-Based Representations for MaxSAT Solving. SAT 2015: 272-286 - [i2]Miguel Neves, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco Manquinho:
Exploiting Resolution-based Representations for MaxSAT Solving. CoRR abs/1505.02405 (2015) - [i1]Miguel Neves, Inês Lynce, Vasco Manquinho:
DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability. CoRR abs/1505.02408 (2015)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
