Matthew Wilding

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2008
j3		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)
	2006
e1		Panagiotis Manolios, Matthew Wilding (Eds.): 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, isbn 0-9788493-0-2
	2001
j2		Matthew Wilding, David A. Greve, David Hardin: Efficient Simulation of Formal Processor Models. Formal Methods in System Design 18(3): 233-248 (2001)
	1998
c4		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
c3		Matthew Wilding: A Machine-Checked Proof of the Optimality of a Real-Time Scheduling Policy. CAV 1998: 369-378
	1993
c2		Matthew Wilding: A Mechanically Verified Application for a Mechanically Verified Environment. CAV 1993: 268-279
	1991
j1		Matthew Wilding: Proving Matijasevich's Lemma with a Default Arithmetic Strategy. J. Autom. Reasoning 7(3): 439-446 (1991)
	1985
c1		J. Roach, Matthew Wilding: Improving Human-Ciomputer Interaction by Learning Model of User Preferences. CAIA 1985: 364-371

Coauthor Index

1	David A. Greve	[j3] [j2] [c4]
2	David Hardin	[j2] [c4]
3	Matt Kaufmann	[j3]
4	Panagiotis Manolios (Pete Manolios)	[j3] [e1]
5	J. Strother Moore	[j3]
6	Sandip Ray	[j3]
7	J. Roach	[c1]
8	José-Luis Ruiz-Reina	[j3]
9	Robert W. Sumners (Rob Sumners)	[j3]
10	Daron Vroon	[j3]

Last update Fri May 24 05:08:09 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page