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