| |
| * | 2008 | |
|---|---|---|
| 3 | EE | Warren A. Hunt Jr., Robert Bellarmine Krug, Sandip Ray, William D. Young: Mechanized Information Flow Analysis through Inductive Assertions. FMCAD 2008: 1-4 |
| 2005 | ||
| 2 | EE | Warren A. Hunt Jr., Matt Kaufmann, Robert Bellarmine Krug, J. Strother Moore, Eric Whitman Smith: Meta Reasoning in ACL2. TPHOLs 2005: 163-178 |
| 2003 | ||
| 1 | EE | Warren A. Hunt Jr., Robert Bellarmine Krug, J. Strother Moore: Linear and Nonlinear Arithmetic in ACL2. CHARME 2003: 319-333 |
| 1 | Warren A. Hunt Jr. | [1] [2] [3] |
| 2 | Matt Kaufmann | [2] |
| 3 | J. Strother Moore | [1] [2] |
| 4 | Sandip Ray | [3] |
| 5 | Eric Whitman Smith | [2] |
| 6 | William D. Young | [3] |