System Validation by Three-Level Modeling Synthesis. - Keith A. Duke; H. Daniel Schnurmann; Terry Ira Wilson (IBM J. Res. Dev., 1971)

A Simple Self-Testing Decoder Checking Circuit. - William C. Carter; Keith A. Duke; Donald C. Jessep (IEEE Trans. Computers, 1971)

Lookaside Techniques for Minimum Circuit Memory Translators. - William C. Carter; Keith A. Duke; Donald C. Jessep Jr. (IEEE Trans. Computers, 1973)

B 74-26 Discrete Mathematical Structures and Their Applications. - Keith A. Duke (IEEE Trans. Computers, 1974)

Alex: A conversational, hierarchical logic design system. - Keith A. Duke; Klim Maling (DAC, 1980)

A Professional Graphics Controller. - Keith A. Duke; W. Alan Wall (IBM Syst. J., 1985)