|
Search the dblp DataBase
Joe Hurd:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Joe Hurd
An LCF-Style Interface between HOL and First-Order Logic. [Citation Graph (0, 0)][DBLP] CADE, 2002, pp:134-138 [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:200-215 [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:519-533 [Conf]
- Joe Hurd
Predicate Subtyping with Predicate Sets. [Citation Graph (0, 0)][DBLP] TPHOLs, 2001, pp:265-280 [Conf]
- Joe Hurd
A Formal Approach to Probabilistic Termination. [Citation Graph (0, 0)][DBLP] TPHOLs, 2002, pp:230-245 [Conf]
- Joe Hurd
Integrating Gandalf and HOL. [Citation Graph (0, 0)][DBLP] TPHOLs, 1999, pp:311-322 [Conf]
- Konrad Slind, Joe Hurd
Applications of Polytypism in Theorem Proving. [Citation Graph (0, 0)][DBLP] TPHOLs, 2003, pp:103-119 [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:95-111 [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 Miller-Rabin probabilistic primality test. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2003, v:56, n:1-2, pp:3-21 [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:96-112 [Journal]
- Joe Hurd
Proof Pearl: The Termination Analysis of Terminator. [Citation Graph (0, 0)][DBLP] TPHOLs, 2007, pp:151-156 [Conf]
Data Assurance in Opaque Computations. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|