William M. Farmer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
5
Active years
1990–2018
Best venue rank
A
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ITP | HOL Light QE. | Jacques Carette, William M. Farmer, Patrick Laskowski |
| 2016 | IRI | A Formal Language for Writing Contracts. | William M. Farmer, Qian Hu |
| 2008 | AISC | High-Level Theories. | Jacques Carette, William M. Farmer |
| 2004 | CADE | Formalizing Undefinedness Arising in Calculus. | William M. Farmer |
| 2000 | CADE | An Infrastructure for Intertheory Reasoning. | William M. Farmer |
| 1996 | CADE | IMPS: An Updated System Description. | William M. Farmer, Joshua D. Guttman, F. Javier Thayer |
| 1996 | ESORICS | Security for Mobile Agents: Authentication and State Appraisal. | William M. Farmer, Joshua D. Guttman, Vipin Swarup |
| 1994 | CADE | Proof Script Pragmatics in IMPS. | William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer |
| 1992 | CADE | Little Theories. | William M. Farmer, Joshua D. Guttman, F. Javier Thayer |
| 1992 | CADE | IMPS: System Description. | William M. Farmer, Joshua D. Guttman, F. Javier Thayer |
| 1990 | CADE | IMPS: An Interactive Mathematical Proof System. | William M. Farmer, Joshua D. Guttman, F. Javier Thayer |