Joe Hurd

According to our database1, Joe Hurd
  • authored at least 20 papers between 1999 and 2012.
  • has a "Dijkstra number"2 of four.

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


  Loading...