Joe Hurd

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Probabilistic guarded commands mechanized in HOL	2013-09-20	Paper
Standalone Tactics Using OpenTheory Interactive Theorem Proving	2012-09-20	Paper
Applications of polytypism in theorem proving Lecture Notes in Computer Science	2010-05-07	Paper
Executing the formal semantics of the Accellera property specification language by mechanised theorem proving Lecture Notes in Computer Science	2010-02-05	Paper
Computer assisted reasoning. A Festschrift for Michael J. C. Gordon Journal of Automated Reasoning	2010-01-25	Paper
Proof Pearl: The Termination Analysis of Terminator Lecture Notes in Computer Science	2008-09-02	Paper
Functional Correctness Proofs of Encryption Algorithms Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-27	Paper
Probabilistic guarded commands mechanized in HOL Theoretical Computer Science	2005-12-29	Paper
scientific article; zbMATH DE number 2090293 (Why is no real title available?)	2004-08-12	Paper
Verification of the Miller-Rabin probabilistic primality test. The Journal of Logic and Algebraic Programming	2003-08-13	Paper
scientific article; zbMATH DE number 1927425 (Why is no real title available?)	2003-06-12	Paper
scientific article; zbMATH DE number 1863390 (Why is no real title available?)	2003-02-04	Paper
Congruence classes with logic variables Logic Journal of the IGPL	2001-04-17	Paper

Research outcomes over time

This page was built for person: Joe Hurd