( en | de | ru )

 

Disambiguierung von "Terra-Neves, Miguel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions.

, , , , und . TACAS (1), Volume 12651 von Lecture Notes in Computer Science, Seite 152-169. Springer, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Fabio Schittler Neves

Osama Terra

Domingos Terra

Jaroslav Neveselý

Sérgio Ricardo Neves Miranda

 

Weitere Publikationen von Autoren mit dem selben Namen

Concurrency Debugging with MaxSMT., , , und . AAAI, Seite 1608-1616. AAAI Press, (2019)Encodings for Enumeration-Based Program Synthesis., , , , und . CP, Volume 11802 von Lecture Notes in Computer Science, Seite 583-599. Springer, (2019)Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving., , , , und . CP, Volume 11802 von Lecture Notes in Computer Science, Seite 232-250. Springer, (2019)Multi-Objective Optimization Through Pareto Minimal Correction Subsets., , und . IJCAI, Seite 5379-5383. ijcai.org, (2018)On Repairing Natural Language to SQL Queries., , , , , , , und . CoRR, (2023)Enhancing Constraint-Based Multi-Objective Combinatorial Optimization., , und . AAAI, Seite 6649-6656. AAAI Press, (2018)Non-Portfolio Approaches for Distributed Maximum Satisfiability., , und . ICTAI, Seite 436-443. IEEE Computer Society, (2016)CUBES: A Parallel Synthesizer for SQL Using Examples., , , , und . CoRR, (2022)SQUARES : A SQL Synthesizer Using Query Reverse Engineering., , , , und . Proc. VLDB Endow., 13 (12): 2853-2856 (2020)Introducing Pareto Minimal Correction Subsets., , und . SAT, Volume 10491 von Lecture Notes in Computer Science, Seite 195-211. Springer, (2017)