| 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 |
