Joe Hurd
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2002–2012
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ITP | Standalone Tactics Using OpenTheory. | Ramana Kumar, Joe Hurd |
| 2012 | SAT | Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation). | Iago Abal, Alcino Cunha, Joe Hurd, Jorge Sousa Pinto |
| 2010 | CADE | Composable Packages for Higher Order Logic Theories. | Joe Hurd |
| 2010 | CADE | Evaluation Opportunities in Mechanized Theories. | Joe Hurd |
| 2005 | LPAR | Functional Correctness Proofs of Encryption Algorithms. | Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, Junxing Zhang |
| 2002 | CADE | An LCF-Style Interface between HOL and First-Order Logic. | Joe Hurd |