List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Refutation-based synthesis in SMT Formal Methods in System Design | 2019-12-18 | Paper |
| Separation logics and modalities: a survey Journal of Applied Non-Classical Logics | 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 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
| Counterexample-guided quantifier instantiation for synthesis in SMT (available as arXiv preprint) | 2018-03-01 | Paper |
| Expressive completeness of separation logic with two variables and no separating conjunction ACM Transactions on Computational Logic | 2017-07-12 | Paper |
| An efficient SMT solver for string constraints Formal Methods in System Design | 2017-03-28 | Paper |
| Two-Variable Separation Logic and Its Inner Circle ACM Transactions on Computational Logic | 2017-01-27 | Paper |
| Temporal logics on strings with prefix relation Journal of Logic and Computation | 2016-10-07 | Paper |
| Fine grained SMT proofs for the theory of fixed-width bit-vectors Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
| Witness Runs for Counter Machines Lecture Notes in Computer Science | 2013-10-04 | Paper |
| Witness runs for counter machines Frontiers of Combining Systems | 2013-09-20 | Paper |
| Quantifier instantiation techniques for finite model finding in SMT Automated Deduction – CADE-24 | 2013-06-14 | Paper |
| Reducing chaos in SAT-like search: finding solutions close to a given one Theory and Applications of Satisfiability Testing - SAT 2011 | 2011-06-17 | Paper |
| scientific article; zbMATH DE number 2080756 (Why is no real title available?) | 2004-08-04 | Paper |
Research outcomes over time
This page was built for person: Morgan Deters
