K. D. Jones

mural: A Formal Development Support System

Peter A. Lindsay, Cliff B. Jones, Richard C. Moore, 1991, Springer London.

The automatic generation of functional test vectors for Rambus designs

K. D. Jones, J. P. Privitera, 1996, DAC '96.

The application of a formal development method to a parallel machine environment

K. D. Jones, 1985 .

Feasibility of an integrated manufacturing system for kiln-drying hardwood lumber

J. P. Armstrong, K. D. Jones, G. W. Zinn, 1989 .

Bailouts, Monitoring, and Penalties: An Integrated Framework of Government Policies to Manage the Too‐Big‐To‐Fail Problem

K. D. Jones, Ning Gong, 2013 .