Matthew Wilding

Publication Activity (10 Years)

Years Active: 1985-2008
Publications (10 Years): 0

Publications

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) (2008)
Matthew Wilding, David A. Greve, David S. Hardin
Efficient Simulation of Formal Processor Models. Formal Methods Syst. Des. 18 (3) (2001)
Matthew Wilding
A Machine-Checked Proof of the Optimality of a Real-Time Scheduling Policy. CAV (1998)
David S. Hardin, Matthew Wilding, David A. Greve
Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle. CAV (1998)
Matthew Wilding
A Mechanically Verified Application for a Mechanically Verified Environment. CAV (1993)
Matthew Wilding
Proving Matijasevich's Lemma with a Default Arithmetic Strategy. J. Autom. Reason. 7 (3) (1991)
J. Roach, Matthew Wilding
Improving Human-Ciomputer Interaction by Learning Model of User Preferences. CAIA (1985)