Jared Davis

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

4EEJared Davis, Barbara Fordyce, James Cicala, Matthew Cooper, Omer Tsimhoni: Who's your Tiger? Using simulation to optimize the lineup of the Detroit Tigers offense. Winter Simulation Conference 2008: 2835-2843
3EEJared Davis: Reasoning about ACL2 file input. ACL2 2006: 117-126
2EEJared Davis: Memories: array-like records for ACL2. ACL2 2006: 57-60
1EEGregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter: The SSP: An Example of High-Assurance Systems Engineering. HASE 2004: 167-177

Coauthor Index

1James Cicala [4]
2Matthew Cooper [4]
3Barbara Fordyce [4]
4Steven E. Morrison [1]
5Steve Roach [1]
6Omer Tsimhoni [4]
7Gregory L. Wickstrom [1]
8Victor L. Winter [1]

Colors in the list of coauthors

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