PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Deters, Morgan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4.

, , , , und . CoRR, (2015)

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.

Samuel Morgan University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions., , , , und . CAV, Volume 8559 von Lecture Notes in Computer Science, Seite 646-662. Springer, (2014)Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors., , , , und . LPAR, Volume 9450 von Lecture Notes in Computer Science, Seite 340-355. Springer, (2015)Witness Runs for Counter Machines., , und . FroCos, Volume 8152 von Lecture Notes in Computer Science, Seite 120-150. Springer, (2013)Automated Reference-Counted Object Recycling for Real-Time Jav., , , , und . IEEE Real-Time and Embedded Technology and Applications Symposium, Seite 424-433. IEEE Computer Society, (2004)6 Years of SMT-COMP., , , , und . J. Autom. Reasoning, 50 (3): 243-277 (2013)CVC4., , , , , , , und . CAV, Volume 6806 von Lecture Notes in Computer Science, Seite 171-177. Springer, (2011)Quantifier Instantiation Techniques for Finite Model Finding in SMT., , , , , und . CADE, Volume 7898 von Lecture Notes in Computer Science, Seite 377-391. Springer, (2013)The SMT Execution Service: Features, Fairness, and the Future.. EMSQMS@IJCAR, Volume 6 von EPiC Series in Computing, Seite 41. EasyChair, (2010)Temporal logics on strings with prefix relation., und . J. Log. Comput., 26 (3): 989-1017 (2016)Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction., und . ACM Trans. Comput. Log., 17 (2): 12:1-12:44 (2016)