Joe Hurd

21 papers A 2B 2Journal 4Unranked 12
YearRankTypeTitle / Venue / Authors
2012 B conf
Standalone Tactics Using OpenTheory.
ITP
Ramana Kumar, Joe Hurd
2012 A conf
Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation).
SAT
Iago Abal, Alcino Cunha, Joe Hurd, Jorge Sousa Pinto
2011 — conf
The OpenTheory Standard Theory Library.
NASA Formal Methods
Joe Hurd
2010 — conf
Composable Packages for Higher Order Logic Theories.
VERIFY@IJCAR
Joe Hurd
2010 — conf
Evaluation Opportunities in Mechanized Theories.
EMSQMS@IJCAR
Joe Hurd
2009 J jnl
Computer Assisted Reasoning.
J. Autom. Reason.
Richard J. Boulton, Joe Hurd, Konrad Slind
2009 — conf
Data Assurance in Opaque Computations.
ACG
Joe Hurd, Guy Haworth
2007 — conf
Proof Pearl: The Termination Analysis of Terminator.
TPHOLs
Joe Hurd
2005 B conf
Functional Correctness Proofs of Encryption Algorithms.
LPAR
Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, Junxing Zhang
2005 J jnl
Probabilistic guarded commands mechanized in
Theor. Comput. Sci.
Joe Hurd, Annabelle McIver, Carroll Morgan
2005 — ed.
Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
TPHOLs
Joe Hurd, Thomas F. Melham
2004 — conf
Probabilistic Guarded Commands Mechanized in
QAPL
Joe Hurd, Annabelle McIver, Carroll Morgan
2003 — conf
Applications of Polytypism in Theorem Proving.
TPHOLs
Konrad Slind, Joe Hurd
2003 — conf
Executing the Formal Semantics of the Accellera Property Specification Language by Mechanised Theorem Proving.
CHARME
Michael J. C. Gordon, Joe Hurd, Konrad Slind
2003 J jnl
Verification of the Miller-Rabin probabilistic primality test.
J. Log. Algebraic Methods Program.
Joe Hurd
2002 — conf
A Formal Approach to Probabilistic Termination.
TPHOLs
Joe Hurd
2002 A conf
An LCF-Style Interface between HOL and First-Order Logic.
CADE
Joe Hurd
2001 J jnl
Congruence Classes with Logic Variables.
Log. J. IGPL
Joe Hurd
2001 — conf
Predicate Subtyping with Predicate Sets.
TPHOLs
Joe Hurd
2000 — conf
Congruence Classes with Logic Variables.
ARW
Joe Hurd
1999 — conf
Integrating Gandalf and HOL.
TPHOLs
Joe Hurd