D.H. Thompson

The Spallation Neutron Source accelerator system design

Stuart Henderson, W. Abraham, A. Aleksandrov et al. · Nuclear Instruments and Methods in Physics Research Section A Accelerators Spectrometers Detectors and Associated Equipment · 2014 · 138 citations

Engineering, Nuclear Engineering, Physics +10

An Overview of AFFIRM: A Specification and Verification System.

Susan L. Gerhart, David R. Musser, D.H. Thompson et al. · IFIP Congress · 1980 · 83 citations

Computing, Computer Science, Formal Methods +8

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

Carl A. Sunshine, D.H. Thompson, Roddy W. Erickson et al. · IEEE Transactions on Software Engineering · 1982 · 54 citations

Computing, Computer Science, Computer Systems +17

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

C.R. Weisbin, B.L. Burks, J. R. Einstein et al. · Robotica · 1990 · 27 citations

Engineering, Autonomous Systems, Robotics Engineering +17

Remote excavation using the telerobotic small emplacement excavator

B.L. Burks, S.M. Killough, D.H. Thompson · Transactions of the American Nuclear Society · 1992 · 25 citations

Engineering, Civil Engineering, Robotics Engineering +14