 | 2008 |
|---|
| 8 |       | 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) |
| 2006 |
|---|
| 7 |  | Panagiotis Manolios,
Matthew Wilding:
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006
ACM 2006 |
| 2001 |
|---|
| 6 | | Matthew Wilding,
David A. Greve,
David Hardin:
Efficient Simulation of Formal Processor Models.
Formal Methods in System Design 18(3): 233-248 (2001) |
| 1998 |
|---|
| 5 | | Matthew Wilding:
A Machine-Checked Proof of the Optimality of a Real-Time Scheduling Policy.
CAV 1998: 369-378 |
| 4 | | 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 |
| 1993 |
|---|
| 3 | | Matthew Wilding:
A Mechanically Verified Application for a Mechanically Verified Environment.
CAV 1993: 268-279 |
| 1991 |
|---|
| 2 | | Matthew Wilding:
Proving Matijasevich's Lemma with a Default Arithmetic Strategy.
J. Autom. Reasoning 7(3): 439-446 (1991) |
| 1985 |
|---|
| 1 | | J. Roach,
Matthew Wilding:
Improving Human-Ciomputer Interaction by Learning Model of User Preferences.
CAIA 1985: 364-371 |
