Skip to content

Thomas W. Doeppner Jr.

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

4

Venues

4

Active years

1976–2000

Best venue rank

A*

Where they publish

Papers

4 indexed papers, newest first.

YearVenueTitleAuthors
2000CCSUsing router stamping to identify the source of IP packets.Thomas W. Doeppner Jr., Philip N. Klein, Andrew Koyfman
1983PODCA Formal Description of the UNIX Operating System.Thomas W. Doeppner Jr., Alessandro Giacalone
1977POPLParallel Program Correctness Through Refinement.Thomas W. Doeppner Jr.
1976STOCOn Abstractions of Parallel ProgramsThomas W. Doeppner Jr.