The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Joe Hurd: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Joe Hurd
    An LCF-Style Interface between HOL and First-Order Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:134-138 [Conf]
  2. 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]
  3. 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]
  4. Joe Hurd
    Predicate Subtyping with Predicate Sets. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:265-280 [Conf]
  5. Joe Hurd
    A Formal Approach to Probabilistic Termination. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2002, pp:230-245 [Conf]
  6. Joe Hurd
    Integrating Gandalf and HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:311-322 [Conf]
  7. Konrad Slind, Joe Hurd
    Applications of Polytypism in Theorem Proving. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2003, pp:103-119 [Conf]
  8. 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]
  9. Joe Hurd
    Congruence Classes with Logic Variables. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:1, pp:- [Journal]
  10. 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]
  11. 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]
  12. Joe Hurd
    Proof Pearl: The Termination Analysis of Terminator. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2007, pp:151-156 [Conf]

  13. Data Assurance in Opaque Computations. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002