| * | 2008 |
|---|
| 4 | EE | David A. Greve,
Matt Kaufmann,
Panagiotis Manolios,
J. Strother Moore,
Sandip Ray,
José-Luis Ruiz-Reina,
Rob Sumners,
Daron Vroon,
Matthew Wilding:
Efficient execution in an automated reasoning environment.
J. Funct. Program. 18(1): 15-46 (2008) |
| 2001 |
|---|
| 3 | | Matthew Wilding,
David A. Greve,
David Hardin:
Efficient Simulation of Formal Processor Models.
Formal Methods in System Design 18(3): 233-248 (2001) |
| 1998 |
|---|
| 2 | EE | David Hardin,
Matthew Wilding,
David A. Greve:
Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle.
CAV 1998: 39-44 |
| 1 | EE | David A. Greve:
Symbolic Simulation of the JEM1 Microprocessor.
FMCAD 1998: 321-333 |
