Concepedia

Joe Hurd

JH

6

Publications

296

Citations

6

H-Index

2003

Active since

Affiliations

Macquarie University(Current)

University of Oxford

Joe Hurd is an author at Macquarie University specializing in formal methods, formal verification, and engineering.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationAutomationAutomated ReasoningSystems EngineeringProbabilitySemantic Web

Publications per year

2003–2021

6

Publications

6

Formal verification of probabilistic algorithms

Joe Hurd · 2021 · 139 citations · Full text

Probabilistic guarded commands mechanized in HOL

Joe Hurd, Annabelle McIver, Carroll Morgan · Theoretical Computer Science · 2005 · 71 citations · Full text

Engineering, Command And Control, Probabilistic Verification +7

Verification of the Miller–Rabin probabilistic primality test

Joe Hurd · The Journal of Logic and Algebraic Programming · 2003 · 41 citations

Probability Theory, Property Testing

OpenTheory: Package Management for Higher Order Logic Theories

Joe Hurd · 2009 · 18 citations

Software Maintenance, Engineering, Opentheory Article Format +17

Probabilistic Guarded Commands Mechanized in HOL

Joe Hurd, Annabelle McIver, Carroll Morgan · Electronic Notes in Theoretical Computer Science · 2005 · 17 citations · Full text

Quantitative Logic, Engineering, Quantitative Generalization +14

Rows per page

1–5 of 6