( en | de | ru )

 

Disambiguation of "Deters, Morgan"

Author of the publication

copydeleteadd this publication to your clipboard
An efficient SMT solver for string constraints.

, , , , , and . Formal Methods Syst. Des., 48 (3): 206-234 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Morgan Chopin

Klaus Deters

Michael Deters

Dirk Deters

Morgan Brassel

 

Other publications of authors with the same name

Witness Runs for Counter Machines., , and . FroCos, volume 8152 of Lecture Notes in Computer Science, page 120-150. Springer, (2013)Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors., , , , and . LPAR, volume 9450 of Lecture Notes in Computer Science, page 340-355. Springer, (2015)A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions., , , , and . CAV, volume 8559 of Lecture Notes in Computer Science, page 646-662. Springer, (2014)Signature Compilation for the Edinburgh Logical Framework., , and . LFMTP@CADE, volume 196 of Electronic Notes in Theoretical Computer Science, page 129-135. Elsevier, (2007)Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction., and . ACM Trans. Comput. Log., 17 (2): 12 (2016)Witness Runs for Counter Machines - (Abstract)., , and . TABLEAUX, volume 8123 of Lecture Notes in Computer Science, page 1-4. Springer, (2013)Storage Allocation for Real-Time, Embedded Systems., , , , , and . EMSOFT, volume 2211 of Lecture Notes in Computer Science, page 131-147. Springer, (2001)Refutation-based synthesis in SMT., , , , and . Formal Methods Syst. Des., 55 (2): 73-102 (2019)Temporal logics on strings with prefix relation., and . J. Log. Comput., 26 (3): 989-1017 (2016)6 Years of SMT-COMP., , , , and . J. Autom. Reason., 50 (3): 243-277 (2013)