On Abstractions of Parallel Programs - Thomas W. Doeppner Jr. (STOC, 1976)

Parallel Program Correctness Through Refinement. - Thomas W. Doeppner Jr. (POPL, 1977)

Toward a Formally Based Programming Environment. - Alessandro Giacalone; Thomas W. Doeppner Jr.; Michael J. Braca (ECICS, 1982)

A Formal Description of the UNIX Operating System. - Thomas W. Doeppner Jr.; Alessandro Giacalone (PODC, 1983)

IDEOSY: An Ideographic and Interactive Program Description System. - Alessandro Giacalone; Martin C. Rinard; Thomas W. Doeppner Jr. (Software Development Environments (SDE), 1984)

Distributed File Systems and Distributed Memory. - Thomas W. Doeppner Jr. (ACM Comput. Surv., 1996)

Distributed File Systems and Distributed Memory. - Thomas W. Doeppner Jr. (The Computer Science and Engineering Handbook, 1997)

ThreadMon: A Tool for Monitoring Multithreaded Program Performance. - Bryan Cantrill; Thomas W. Doeppner Jr. (HICSS (1), 1997)

Using router stamping to identify the source of IP packets. - Thomas W. Doeppner Jr.; Philip N. Klein; Andrew Koyfman (CCS, 2000)

Distributed File Systems. - Thomas W. Doeppner Jr. (Computing Handbook, 3rd ed. (1), 2014)