James Reynolds

	2007
4		James Reynolds: Automatically Translating Type and Function Definitions from HOL to ACL2. TPHOLs 2007: 262-277
	2006
3		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		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

Coauthor Index

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]

Colors in the list of coauthors