|
Search the dblp DataBase
James Reynolds:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Richard L. Gimarc, Amy C. Spellmann, James Reynolds
Moving Beyond Test and Guess - Using Modeling with Load Testing to Improve Web Application Readiness. [Citation Graph (0, 0)][DBLP] Int. CMG Conference, 2004, pp:429-440 [Conf]
- Michael J. C. Gordon, James Reynolds, Warren A. Hunt Jr., Matt Kaufmann
An Integration of HOL and ACL2. [Citation Graph (0, 0)][DBLP] FMCAD, 2006, pp:153-160 [Conf]
- Michael J. C. Gordon, Warren A. Hunt Jr., Matt Kaufmann, James Reynolds
An embedding of the ACL2 logic in HOL. [Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:40-46 [Conf]
- James Reynolds
Automatically Translating Type and Function Definitions from HOL to ACL2. [Citation Graph (0, 0)][DBLP] TPHOLs, 2007, pp:262-277 [Conf]
Search in 0.001secs, Finished in 0.001secs
|