Statistics
Publications
4
Citations
139
H-Index
4
Active since
1977
Affiliations
Thomas W. Doeppner is an author at John Brown University specializing in program analysis, computer science, and software analysis.
Publications per year
1977–2002
4
4
Parallel program correctness through refinement
Thomas W. Doeppner · 1977 · 37 citations · Full text
Engineering, Asynchronous Parallel Programs, Verification +19
A formal description of the UNIX operating system
Thomas W. Doeppner, Alessandro Glacalone · 1983 · 11 citations
1–4 of 4