Joe Hurd

According to our database, Joe Hurd authored at least 18 papers between 1999 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2012

Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation).

Iago Abal, Alcino Cunha, Joe Hurd, Jorge Sousa Pinto

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Standalone Tactics Using OpenTheory.

Ramana Kumar, Joe Hurd

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

2011

The OpenTheory Standard Theory Library.

Joe Hurd

Proceedings of the NASA Formal Methods, 2011

2010

Evaluation Opportunities in Mechanized Theories.

Joe Hurd

Proceedings of the Workshop on Evaluation Methods for Solvers, 2010

Composable Packages for Higher Order Logic Theories.

Joe Hurd

Proceedings of the 6th International Verification Workshop, 2010

2009

Computer Assisted Reasoning.

Richard J. Boulton, Joe Hurd, Konrad Slind

J. Autom. Reason., 2009

Data Assurance in Opaque Computations.

Joe Hurd, Guy Haworth

Proceedings of the Advances in Computer Games, 12th International Conference, 2009

2007

Proof Pearl: The Termination Analysis of Terminator.

Joe Hurd

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

2005

Functional Correctness Proofs of Encryption Algorithms.

Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, Junxing Zhang

Proceedings of the Logic for Programming, 2005

2004

Probabilistic Guarded Commands Mechanized in <i>HOL</i>.

Joe Hurd, Annabelle McIver, Carroll Morgan

Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

2003

Verification of the Miller-Rabin probabilistic primality test.

Joe Hurd

J. Log. Algebraic Methods Program., 2003

Applications of Polytypism in Theorem Proving.

Konrad Slind, Joe Hurd

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

Executing the Formal Semantics of the Accellera Property Specification Language by Mechanised Theorem Proving.

Michael J. C. Gordon, Joe Hurd, Konrad Slind

Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002

A Formal Approach to Probabilistic Termination.

Joe Hurd

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

An LCF-Style Interface between HOL and First-Order Logic.

Joe Hurd

Proceedings of the Automated Deduction, 2002

2001

Congruence Classes with Logic Variables.

Joe Hurd

Log. J. IGPL, 2001

Predicate Subtyping with Predicate Sets.

Joe Hurd

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

1999

Integrating Gandalf and HOL.

Joe Hurd

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999