Joe Hurd - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2012

Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)Iago Abal, Alcino Cunha, Joe Hurd, Jorge Sousa Pinto. sat 2012: 493-495 [doi]

Standalone Tactics Using OpenTheoryRamana Kumar, Joe Hurd. itp 2012: 405-411 [doi]

2011

The OpenTheory Standard Theory LibraryJoe Hurd. NFM 2011: 177-191 [doi]

2010

Composable Packages for Higher Order Logic TheoriesJoe Hurd. cade 2012: 79-93 [doi]

Evaluation Opportunities in Mechanized TheoriesJoe Hurd. cade 2012: 1-4 [doi]

2009

Computer Assisted ReasoningRichard J. Boulton, Joe Hurd, Konrad Slind. JAR, 43(3):237-242, 2009. [doi]

Data Assurance in Opaque ComputationsJoe Hurd, Guy Haworth. acg 2010: 221-231 [doi]

2007

Proof Pearl: The Termination Analysis of TerminatorJoe Hurd. tphol 2007: 151-156 [doi]

2005

2003

Executing the Formal Semantics of the Accellera Property Specification Language by Mechanised Theorem ProvingMichael J. C. Gordon, Joe Hurd, Konrad Slind. charme 2003: 200-215 [doi]

Verification of the Miller-Rabin probabilistic primality testJoe Hurd. jlp, 56(1-2):3-21, 2003. [doi]

Applications of Polytypism in Theorem ProvingKonrad Slind, Joe Hurd. tphol 2003: 103-119 [doi]

2002

A Formal Approach to Probabilistic TerminationJoe Hurd. tphol 2002: 230-245 [doi]

An LCF-Style Interface between HOL and First-Order LogicJoe Hurd. cade 2002: 134-138 [doi]

2001

Predicate Subtyping with Predicate SetsJoe Hurd. tphol 2001: 265-280 [doi]

Congruence Classes with Logic VariablesJoe Hurd. igpl, 9(1):53-69, 2001. [doi]

2000

Congruence Classes with Logic VariablesJoe Hurd. arw 2000: [doi]

1999

Integrating Gandalf and HOLJoe Hurd. tphol 1999: 311-322 [doi]

Sign in or sign up to see more results.

runs on WebDSL