James Reynolds

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

4EEJames Reynolds: Automatically Translating Type and Function Definitions from HOL to ACL2. TPHOLs 2007: 262-277
3EEMichael J. C. Gordon, Warren A. Hunt Jr., Matt Kaufmann, James Reynolds: An embedding of the ACL2 logic in HOL. ACL2 2006: 40-46
2EEMichael J. C. Gordon, James Reynolds, Warren A. Hunt Jr., Matt Kaufmann: An Integration of HOL and ACL2. FMCAD 2006: 153-160
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

Coauthor Index

1Richard L. Gimarc [1]
2Michael J. C. Gordon [2] [3]
3Warren A. Hunt Jr. [2] [3]
4Matt Kaufmann [2] [3]
5Amy C. Spellmann [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)