David H. Thompson

According to our database, David H. Thompson authored at least 5 papers between 1978 and 1990.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1990

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

Charles R. Weisbin, Barry L. Burks, J. Ralph Einstein, R. R. Feezell, Wayne W. Manges, David H. Thompson

Robotica, 1990

1983

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

Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe

IEEE Trans. Software Eng., 1983

1982

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

Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe

IEEE Trans. Software Eng., 1982

1980

An Overview of AFFIRM: A Specification and Verification System.

Susan L. Gerhart, David R. Musser, David H. Thompson, D. A. Baker, R. L. Bates, Roddy W. Erickson, Ralph L. London, D. G. Taylor, David S. Wile

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1978

Euclid and Modula.

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

ACM SIGPLAN Notices, 1978