Joe Hurd

Publication Activity (10 Years)

Years Active: 1999-2012
Publications (10 Years): 0

Top Topics

Social Interaction

Nearest Neighbor

Top Venues

Publications

Ramana Kumar, Joe Hurd
Standalone Tactics Using OpenTheory. ITP (2012)
Iago Abal, Alcino Cunha, Joe Hurd, Jorge Sousa Pinto
Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation). SAT (2012)
Joe Hurd
The OpenTheory Standard Theory Library. NASA Formal Methods (2011)
Joe Hurd
Composable Packages for Higher Order Logic Theories. VERIFY@IJCAR (2010)
Joe Hurd
Evaluation Opportunities in Mechanized Theories. EMSQMS@IJCAR (2010)
Richard J. Boulton, Joe Hurd, Konrad Slind
Computer Assisted Reasoning. J. Autom. Reason. 43 (3) (2009)
Joe Hurd, Guy Haworth
Data Assurance in Opaque Computations. ACG (2009)
Joe Hurd
Proof Pearl: The Termination Analysis of Terminator. TPHOLs (2007)
Joe Hurd, Annabelle McIver, Carroll Morgan
. Theor. Comput. Sci. 346 (1) (2005)
Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, Junxing Zhang
Functional Correctness Proofs of Encryption Algorithms. LPAR (2005)
Joe Hurd, Annabelle McIver, Carroll Morgan
. Electron. Notes Theor. Comput. Sci. 112 (2005)
Michael J. C. Gordon, Joe Hurd, Konrad Slind
Executing the Formal Semantics of the Accellera Property Specification Language by Mechanised Theorem Proving. CHARME (2003)
Joe Hurd
Verification of the Miller-Rabin probabilistic primality test. J. Log. Algebraic Methods Program. 56 (1-2) (2003)
Konrad Slind, Joe Hurd
Applications of Polytypism in Theorem Proving. TPHOLs (2003)
Joe Hurd
An LCF-Style Interface between HOL and First-Order Logic. CADE (2002)
Joe Hurd
A Formal Approach to Probabilistic Termination. TPHOLs (2002)
Joe Hurd
Congruence Classes with Logic Variables. Log. J. IGPL 9 (1) (2001)
Joe Hurd
Predicate Subtyping with Predicate Sets. TPHOLs (2001)
Joe Hurd
Congruence Classes with Logic Variables. ARW (2000)
Joe Hurd
Integrating Gandalf and HOL. TPHOLs (1999)