Morgan Deters
Orcid: 0000-0001-6218-8107
According to our database1,
Morgan Deters
authored at least 28 papers
between 2001 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
2016
Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction.
ACM Trans. Comput. Log., 2016
Proceedings of the Symposium and Bootcamp on the Science of Security, 2016
2015
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
Proceedings of the Formal Methods in Computer-Aided Design, 2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
Proceedings of the Advances in Modal Logic 10, 2014
2013
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013
Proceedings of the Frontiers of Combining Systems, 2013
Proceedings of the Automated Deduction - CADE-24, 2013
2012
Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012
2011
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
Proceedings of the Workshop on Evaluation Methods for Solvers, 2010
2009
Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009
2008
Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-Comp 2007).
Int. J. Artif. Intell. Tools, 2008
2007
Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2007
2005
Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, 2005
2004
Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004
2002
Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002
2001
Proceedings of the Embedded Software, First International Workshop, 2001