| 2008 |
|---|
| 4 | EE | Jared 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 |
| 2006 |
|---|
| 3 | EE | Jared Davis:
Reasoning about ACL2 file input.
ACL2 2006: 117-126 |
| 2 | EE | Jared Davis:
Memories: array-like records for ACL2.
ACL2 2006: 57-60 |
| 2004 |
|---|
| 1 | EE | Gregory 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 |
