1. Implementing HOL in an Higher Order Logic Programming Language;Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice;2016-06-23
2. A Higher Order Approach to Ontology Evolution in Physics;Journal on Data Semantics;2012-11-28
3. Reconstruction of Z3’s Bit-Vector Proofs in HOL4 and Isabelle/HOL;Certified Programs and Proofs;2011
4. Validating QBF Validity in HOL4;Interactive Theorem Proving;2011
5. A Compositional Model Checking Procedure;Scalable Techniques for Formal Verification;2010