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
The effects of modalities in separation logics (extended abstract)	2018-04-23	Paper
Expressive completeness of separation logic with two variables and no separating conjunction	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

This page was built for person: Morgan Deters