Morgan G. Deters, Ph.D.
Affiliations: | 2007 | Washington University, Saint Louis, St. Louis, MO |
Area:
Computer ScienceGoogle:
"Morgan Deters"Parents
Sign in to add mentorRon 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 |