Joe Hurd

	2011
16		Joe Hurd: The OpenTheory Standard Theory Library. NASA Formal Methods 2011: 177-191
	2009
15		Joe Hurd, Guy Haworth: Data Assurance in Opaque Computations. ACG 2009: 221-231
14		Richard J. Boulton, Joe Hurd, Konrad Slind: Computer Assisted Reasoning. J. Autom. Reasoning 43(3): 237-242 (2009)
	2007
13		Joe Hurd: Proof Pearl: The Termination Analysis of Terminator. TPHOLs 2007: 151-156
	2005
12		Joe Hurd, Thomas F. Melham: Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings Springer 2005
11		Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, Junxing Zhang: Functional Correctness Proofs of Encryption Algorithms. LPAR 2005: 519-533
10		Joe Hurd, Annabelle McIver, Carroll Morgan: Probabilistic Guarded Commands Mechanized in HOL. Electr. Notes Theor. Comput. Sci. 112: 95-111 (2005)
9		Joe Hurd, Annabelle McIver, Carroll Morgan: Probabilistic guarded commands mechanized in HOL. Theor. Comput. Sci. 346(1): 96-112 (2005)
	2003
8		Michael J. C. Gordon, Joe Hurd, Konrad Slind: Executing the Formal Semantics of the Accellera Property Specification Language by Mechanised Theorem Proving. CHARME 2003: 200-215
7		Konrad Slind, Joe Hurd: Applications of Polytypism in Theorem Proving. TPHOLs 2003: 103-119
6		Joe Hurd: Verification of the Miller-Rabin probabilistic primality test. J. Log. Algebr. Program. 56(1-2): 3-21 (2003)
	2002
5		Joe Hurd: An LCF-Style Interface between HOL and First-Order Logic. CADE 2002: 134-138
4		Joe Hurd: A Formal Approach to Probabilistic Termination. TPHOLs 2002: 230-245
	2001
3		Joe Hurd: Predicate Subtyping with Predicate Sets. TPHOLs 2001: 265-280
2		Joe Hurd: Congruence Classes with Logic Variables. Logic Journal of the IGPL 9(1): 53-69 (2001)
	1999
1		Joe Hurd: Integrating Gandalf and HOL. TPHOLs 1999: 311-322

Coauthor Index

1	Richard J. Boulton	[14]
2	Jianjun Duan	[11]
3	Michael J. C. Gordon	[8]
4	Guy Haworth (G. McC. Haworth, Guy McCrossan Haworth)	[15]
5	Guodong Li	[11]
6	Annabelle McIver (A. K. McIver)	[9] [10]
7	Thomas F. Melham (Tom Melham)	[12]
8	Carroll Morgan (Carroll C. Morgan)	[9] [10]
9	Scott Owens	[11]
10	Konrad Slind	[7] [8] [11] [14]
11	Junxing Zhang	[11]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page