David H. Thompson

Euclid and Modula

W. David Elliott, David T. Barnard, David H. Thompson, 1978, SIGP.

An Overview of AFFIRM: A Specification and Verification System

David R. Musser, David S. Wile, D. A. Baker, 1980, IFIP Congress.

PERFORMANCE CHARACTERISTICS OF AN ELECTROMAGNETIC PUMP

R. W. Fisher, David H. Thompson, Ray W. Fisher, 1960 .

Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models

Daniel Schwabe, Carl A. Sunshine, David H. Thompson, 1982, IEEE Transactions on Software Engineering.

Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models"

Daniel Schwabe, Carl A. Sunshine, David H. Thompson, 1983, IEEE Trans. Software Eng..

Mock Trial: How Human Factors Experts Contribute to Civil Litigation

Michael S. Wogalter, Kenneth R. Laughery, Alison G. Vredenburgh, 1997 .

Hermies-III: A step toward autonomous mobility, manipulation and perception

Barry L. Burks, David H. Thompson, Charles R. Weisbin, 1990, Robotica.

Liquid metal particle popping: Macroscale to nanoscale

David H. Thompson, Edward L. White, Rebecca K. Kramer, 2017 .

Piezoelectric-based high performance spray solvent delivery system for desorption electrospray ionization mass spectrometry: Systematic design and case studies for high throughput screening of N-alkylation reactions

Zoltan K. Nagy, David H. Thompson, Botond Szilagyi, 2019, Chemical Engineering Science.