Morgan Deters

Available identifiers

Publication	Date of Publication	Type
Refutation-based synthesis in SMT	2019-12-18	Paper
Separation logics and modalities: a survey	2018-09-12	Paper
Expressive completeness of separation logic with two variables and no separating conjunction	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4636289	2018-04-23	Paper
Counterexample-guided quantifier instantiation for synthesis in SMT	2018-03-01	Paper
Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction	2017-07-12	Paper
An efficient SMT solver for string constraints	2017-03-28	Paper
Two-Variable Separation Logic and Its Inner Circle	2017-01-27	Paper
Temporal logics on strings with prefix relation	2016-10-07	Paper
Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors	2016-01-12	Paper
Witness Runs for Counter Machines	2013-10-04	Paper
Witness Runs for Counter Machines	2013-09-20	Paper
Quantifier Instantiation Techniques for Finite Model Finding in SMT	2013-06-14	Paper
Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One	2011-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4473718	2004-08-04	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Morgan Deters