Improving Human-Ciomputer Interaction by Learning Model of User Preferences. - J. Roach; Matthew Wilding (CAIA, 1985)

Proving Matijasevich's Lemma with a Default Arithmetic Strategy. - Matthew Wilding (J. Autom. Reason., 1991)

A Mechanically Verified Application for a Mechanically Verified Environment. - Matthew Wilding (CAV, 1993)

Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle. - David S. Hardin; Matthew Wilding; David A. Greve (CAV, 1998)

A Machine-Checked Proof of the Optimality of a Real-Time Scheduling Policy. - Matthew Wilding (CAV, 1998)

Efficient Simulation of Formal Processor Models. - Matthew Wilding; David A. Greve; David S. Hardin (Formal Methods Syst. Des., 2001)

Efficient execution in an automated reasoning environment. - David A. Greve; Matt Kaufmann; Panagiotis Manolios; J Strother Moore; Sandip Ray; José-Luis Ruiz-Reina; Rob Sumners; Daron Vroon 001; Matthew Wilding (J. Funct. Program., 2008)

Formal Verification of Partition Management for the AAMP7G Microprocessor. - Matthew Wilding; David A. Greve; Raymond J. Richards; David S. Hardin (Design and Verification of Microprocessor Systems for High-Assurance Applications, 2010)