| |
| 2007 | ||
|---|---|---|
| 4 | EE | James Reynolds: Automatically Translating Type and Function Definitions from HOL to ACL2. TPHOLs 2007: 262-277 |
| 2006 | ||
| 3 | EE | Michael J. C. Gordon, Warren A. Hunt Jr., Matt Kaufmann, James Reynolds: An embedding of the ACL2 logic in HOL. ACL2 2006: 40-46 |
| 2 | EE | Michael J. C. Gordon, James Reynolds, Warren A. Hunt Jr., Matt Kaufmann: An Integration of HOL and ACL2. FMCAD 2006: 153-160 |
| 2004 | ||
| 1 | Richard L. Gimarc, Amy C. Spellmann, James Reynolds: Moving Beyond Test and Guess - Using Modeling with Load Testing to Improve Web Application Readiness. Int. CMG Conference 2004: 429-440 | |
| 1 | Richard L. Gimarc | [1] |
| 2 | Michael J. C. Gordon | [2] [3] |
| 3 | Warren A. Hunt Jr. | [2] [3] |
| 4 | Matt Kaufmann | [2] [3] |
| 5 | Amy C. Spellmann | [1] |