David L. Cohrs
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1987–1989
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1989 | SIGCOMM | Specification and Verification of Network Managers for Large Internets. | David L. Cohrs, Barton P. Miller |
| 1988 | ICDCS | Distributed Upcalls: A Mechanism for Layering Asynchronous Abstractions. | David L. Cohrs, Barton P. Miller, Lisa A. Call |
| 1987 | OOPSLA | CLAM - an Open System for Graphical User Interfaces. | Lisa A. Call, David L. Cohrs, Barton P. Miller |