1. Trapezoidal Generalization over Linear Constraints;Electronic Proceedings in Theoretical Computer Science;2018-10-29
2. Meta-extract: Using Existing Facts in Meta-reasoning;Electronic Proceedings in Theoretical Computer Science;2017-05-02
3. Modelling algebraic structures and morphisms in ACL2;Applicable Algebra in Engineering, Communication and Computing;2015-01-29
4. Information Security Modeling and Analysis;Design and Verification of Microprocessor Systems for High-Assurance Applications;2010
5. A Formalization of Powerlist Algebra in ACL2;Journal of Automated Reasoning;2009-07-01