
Search the dblp DataBase
Joe Hurd:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Joe Hurd
An LCFStyle Interface between HOL and FirstOrder Logic. [Citation Graph (0, 0)][DBLP] CADE, 2002, pp:134138 [Conf]
 Michael J. C. Gordon, Joe Hurd, Konrad Slind
Executing the Formal Semantics of the Accellera Property Specification Language by Mechanised Theorem Proving. [Citation Graph (0, 0)][DBLP] CHARME, 2003, pp:200215 [Conf]
 Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, Junxing Zhang
Functional Correctness Proofs of Encryption Algorithms. [Citation Graph (0, 0)][DBLP] LPAR, 2005, pp:519533 [Conf]
 Joe Hurd
Predicate Subtyping with Predicate Sets. [Citation Graph (0, 0)][DBLP] TPHOLs, 2001, pp:265280 [Conf]
 Joe Hurd
A Formal Approach to Probabilistic Termination. [Citation Graph (0, 0)][DBLP] TPHOLs, 2002, pp:230245 [Conf]
 Joe Hurd
Integrating Gandalf and HOL. [Citation Graph (0, 0)][DBLP] TPHOLs, 1999, pp:311322 [Conf]
 Konrad Slind, Joe Hurd
Applications of Polytypism in Theorem Proving. [Citation Graph (0, 0)][DBLP] TPHOLs, 2003, pp:103119 [Conf]
 Joe Hurd, Annabelle McIver, Carroll Morgan
Probabilistic Guarded Commands Mechanized in HOL. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:95111 [Journal]
 Joe Hurd
Congruence Classes with Logic Variables. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2001, v:9, n:1, pp: [Journal]
 Joe Hurd
Verification of the MillerRabin probabilistic primality test. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2003, v:56, n:12, pp:321 [Journal]
 Joe Hurd, Annabelle McIver, Carroll Morgan
Probabilistic guarded commands mechanized in HOL. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:346, n:1, pp:96112 [Journal]
 Joe Hurd
Proof Pearl: The Termination Analysis of Terminator. [Citation Graph (0, 0)][DBLP] TPHOLs, 2007, pp:151156 [Conf]
Data Assurance in Opaque Computations. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs
