Search the dblp DataBase
Matthew Wilding :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
J. Roach , Matthew Wilding Improving Human-Ciomputer Interaction by Learning Model of User Preferences. [Citation Graph (0, 0)][DBLP ] CAIA, 1985, pp:364-371 [Conf ] David Hardin , Matthew Wilding , David A. Greve Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle. [Citation Graph (0, 0)][DBLP ] CAV, 1998, pp:39-44 [Conf ] Matthew Wilding A Mechanically Verified Application for a Mechanically Verified Environment. [Citation Graph (0, 0)][DBLP ] CAV, 1993, pp:268-279 [Conf ] Matthew Wilding A Machine-Checked Proof of the Optimality of a Real-Time Scheduling Policy. [Citation Graph (0, 0)][DBLP ] CAV, 1998, pp:369-378 [Conf ] Matthew Wilding , David A. Greve , David Hardin Efficient Simulation of Formal Processor Models. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2001, v:18, n:3, pp:233-248 [Journal ] Matthew Wilding Proving Matijasevich's Lemma with a Default Arithmetic Strategy. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1991, v:7, n:3, pp:439-446 [Journal ] Search in 0.001secs, Finished in 0.001secs