Morgan G. Deters, Ph.D.
Affiliations: | 2007 | Washington University, Saint Louis, St. Louis, MO |
Area:
Computer ScienceGoogle:
"Morgan Deters"Parents
Sign in to add mentor| Ron K. Cytron | grad student | 2007 | Washington University | |
| (Unwoven aspect analysis.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Demri S, Deters M. (2016) Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction Acm Transactions On Computational Logic. 17: 12 |
| Demri S, Deters M. (2016) Temporal logics on strings with prefix relation Journal of Logic and Computation. 26: 989-1017 |
| Demri S, Deters M. (2015) Two-Variable Separation Logic and Its Inner Circle Acm Transactions On Computational Logic. 16: 15 |
| Demri S, Deters M. (2015) Separation logics and modalities: a survey Journal of Applied Non-Classical Logics. 25: 50-99 |
| Barrett C, Deters M, Oliveras A, et al. (2008) Design and results of the 3rd annual Satisfiability Modulo Theories Competition (SMT-COMP 2007) International Journal On Artificial Intelligence Tools. 17: 569-606 |
| Zeller M, Stump A, Deters M. (2008) Signature Compilation for the Edinburgh Logical Framework Electronic Notes in Theoretical Computer Science. 196: 129-135 |