| Formal verification of probabilistic algorithms J Hurd University of Cambridge, Computer Laboratory, 2003 | 186 | 2003 |
| First-order proof tactics in higher-order logic theorem provers J Hurd Design and Application of Strategies/Tactics in Higher Order Logics, number …, 2003 | 183 | 2003 |
| Probabilistic guarded commands mechanized in HOL J Hurd, A McIver, C Morgan Theoretical Computer Science 346 (1), 96-112, 2005 | 110 | 2005 |
| The OpenTheory standard theory library J Hurd NASA Formal Methods Symposium, 177-191, 2011 | 88 | 2011 |
| Integrating Gandalf and HOL J Hurd Theorem Proving in Higher Order Logics, 839-839, 1999 | 86 | 1999 |
| Verification of the Miller–Rabin probabilistic primality test J Hurd The Journal of Logic and Algebraic Programming 56 (1-2), 3-21, 2003 | 65 | 2003 |
| An LCF-style interface between HOL and first-order logic J Hurd International Conference on Automated Deduction, 134-138, 2002 | 59 | 2002 |
| Executing the formal semantics of the Accellera property specification language by mechanised theorem proving M Gordon, J Hurd, K Slind Advanced Research Working Conference on Correct Hardware Design and …, 2003 | 48 | 2003 |
| A formal approach to probabilistic termination J Hurd International Conference on Theorem Proving in Higher Order Logics, 230-245, 2002 | 31 | 2002 |
| Functional correctness proofs of encryption algorithms J Duan, J Hurd, G Li, S Owens, K Slind, J Zhang International Conference on Logic for Programming Artificial Intelligence …, 2005 | 29 | 2005 |
| OpenTheory: Package management for higher order logic theories J Hurd PLMMS 9, 31-37, 2009 | 22 | 2009 |
| Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings J Hurd, T Melham Springer, 2005 | 21 | 2005 |
| Applications of polytypism in theorem proving K Slind, J Hurd International Conference on Theorem Proving in Higher Order Logics, 103-119, 2003 | 16 | 2003 |
| Predicate subtyping with predicate sets J Hurd International Conference on Theorem Proving in Higher Order Logics, 265-280, 2001 | 16 | 2001 |
| System description: The Metis proof tactic J Hurd Empirically Successful Automated Reasoning in Higher-Order Logic (ESHOL …, 2005 | 15 | 2005 |
| Formal verification of chess endgame databases J Hurd Theorem Proving in Higher Order Logics: Emerging Trends Proceedings, 85, 2005 | 15 | 2005 |
| Formalized elliptic curve cryptography J Hurd, M Gordon, A Fox High confidence software and systems: HCSS, 2006 | 13 | 2006 |
| Standalone tactics using OpenTheory R Kumar, J Hurd International Conference on Interactive Theorem Proving, 405-411, 2012 | 10 | 2012 |
| Lobster: A domain specific language for selinux policies J Hurd, M Carlsson, B Letner, P White Galois Internal Report, 2008 | 9 | 2008 |
| Composable Packages for Higher Order Logic Theories. J Hurd VERIFY@ IJCAR, 79-93, 2010 | 8 | 2010 |
Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
