Mark Hayden
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1995–1999
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | SOSP | Building reliable, high-performance communication systems from components. | Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Kenneth P. Birman, Robert L. Constable |
| 1998 | CADE | A Proof Environment for the Development of Group Communication Systems. | Christoph Kreitz, Mark Hayden, Jason Hickey |
| 1997 | HPDC | Optimizing Layered Communication Protocols. | Mark Hayden, Robbert van Renesse |
| 1995 | PODC | A Framework for Protocol Composition in Horus. | Robbert van Renesse, Kenneth P. Birman, Roy Friedman, Mark Hayden, David A. Karr |