Matthew Wilding (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

6 Matthew Wilding, David A. Greve, David Hardin: Efficient Simulation of Formal Processor Models. Formal Methods in System Design 18(3): 233-248 (2001)

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

Selection of 3 from 8 records - Matthew Wilding has 10 coauthors

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)
6		Matthew Wilding, David A. Greve, David Hardin: Efficient Simulation of Formal Processor Models. Formal Methods in System Design 18(3): 233-248 (2001)
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