Joe Hurd

Ramana Kumar, Joe Hurd: Standalone Tactics Using OpenTheory. ITP 2012: 405-411

Iago Abal, Alcino Cunha, Joe Hurd, Jorge Sousa Pinto: Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation). SAT 2012: 493-495

Joe Hurd: The OpenTheory Standard Theory Library. NASA Formal Methods 2011: 177-191

Richard J. Boulton, Joe Hurd, Konrad Slind: Computer Assisted Reasoning. J. Autom. Reasoning 43(3): 237-242 (2009)

Joe Hurd, Guy Haworth: Data Assurance in Opaque Computations. ACG 2009: 221-231

Joe Hurd: Proof Pearl: The Termination Analysis of Terminator. TPHOLs 2007: 151-156

Joe Hurd, Annabelle McIver, Carroll Morgan: Probabilistic Guarded Commands Mechanized in HOL. Electr. Notes Theor. Comput. Sci. 112: 95-111 (2005)

Joe Hurd, Annabelle McIver, Carroll Morgan: Probabilistic guarded commands mechanized in HOL. Theor. Comput. Sci. 346(1): 96-112 (2005)

Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, Junxing Zhang: Functional Correctness Proofs of Encryption Algorithms. LPAR 2005: 519-533

Joe Hurd, Thomas F. Melham (Eds.): Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings. Lecture Notes in Computer Science 3603, Springer 2005, isbn 3-540-28372-2

Joe Hurd: Verification of the Miller-Rabin probabilistic primality test. J. Log. Algebr. Program. 56(1-2): 3-21 (2003)

Michael J. C. Gordon, Joe Hurd, Konrad Slind: Executing the Formal Semantics of the Accellera Property Specification Language by Mechanised Theorem Proving. CHARME 2003: 200-215

Konrad Slind, Joe Hurd: Applications of Polytypism in Theorem Proving. TPHOLs 2003: 103-119

Joe Hurd: An LCF-Style Interface between HOL and First-Order Logic. CADE 2002: 134-138

Joe Hurd: A Formal Approach to Probabilistic Termination. TPHOLs 2002: 230-245

Joe Hurd: Congruence Classes with Logic Variables. Logic Journal of the IGPL 9(1): 53-69 (2001)

Joe Hurd: Predicate Subtyping with Predicate Sets. TPHOLs 2001: 265-280

Joe Hurd: Integrating Gandalf and HOL. TPHOLs 1999: 311-322