# Joe Hurd

According to our database

^{1}, Joe Hurd## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2012

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

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

Standalone Tactics Using OpenTheory.

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

2011

The OpenTheory Standard Theory Library.

Proceedings of the NASA Formal Methods, 2011

2010

Evaluation Opportunities in Mechanized Theories.

Proceedings of the Workshop on Evaluation Methods for Solvers, 2010

Composable Packages for Higher Order Logic Theories.

Proceedings of the 6th International Verification Workshop, 2010

2009

Computer Assisted Reasoning.

J. Autom. Reasoning, 2009

Data Assurance in Opaque Computations.

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

2007

Proof Pearl: The Termination Analysis of Terminator.

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

2005

Probabilistic guarded commands mechanized in

*HOL*.
Theor. Comput. Sci., 2005

Probabilistic Guarded Commands Mechanized in

*HOL*.
Electr. Notes Theor. Comput. Sci., 2005

Functional Correctness Proofs of Encryption Algorithms.

Proceedings of the Logic for Programming, 2005

2003

Verification of the Miller-Rabin probabilistic primality test.

J. Log. Algebr. Program., 2003

Applications of Polytypism in Theorem Proving.

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.

Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002

A Formal Approach to Probabilistic Termination.

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

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

Proceedings of the Automated Deduction, 2002

2001

Congruence Classes with Logic Variables.

Logic Journal of the IGPL, 2001

Predicate Subtyping with Predicate Sets.

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

2000

Congruence Classes with Logic Variables.

Proceedings of the Seventh Workshop on Automated Reasoning, 2000

1999

Integrating Gandalf and HOL.

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