| 2000 |
|---|
| 8 | | Mark Hayden:
Distributed communication in ML.
J. Funct. Program. 10(1): 91-120 (2000) |
| 1999 |
|---|
| 7 | EE | Xiaoming Liu,
Christoph Kreitz,
Robbert van Renesse,
Jason Hickey,
Mark Hayden,
Kenneth P. Birman,
Robert L. Constable:
Building reliable, high-performance communication systems from components.
SOSP 1999: 80-92 |
| 6 | EE | Kenneth P. Birman,
Mark Hayden,
Öznur Özkasap,
Zhen Xiao,
Mihai Budiu,
Yaron Minsky:
Bimodal Multicast.
ACM Trans. Comput. Syst. 17(2): 41-88 (1999) |
| 5 | | Kenneth P. Birman,
Roy Friedman,
Mark Hayden,
Injong Rhee:
Middleware support for distributed multimedia and collaborative computing.
Softw., Pract. Exper. 29(14): 1285-1312 (1999) |
| 1998 |
|---|
| 4 | EE | Christoph Kreitz,
Mark Hayden,
Jason Hickey:
A Proof Environment for the Development of Group Communication Systems.
CADE 1998: 317-332 |
| 3 | | Robbert van Renesse,
Kenneth P. Birman,
Mark Hayden,
Alexey Vaysburd,
David A. Karr:
Building Adaptive Systems Using Ensemble.
Softw., Pract. Exper. 28(9): 963-979 (1998) |
| 1997 |
|---|
| 2 | EE | Mark Hayden,
Robbert van Renesse:
Optimizing Layered Communication Protocols.
HPDC 1997: 169- |
| 1995 |
|---|
| 1 | | Robbert van Renesse,
Kenneth P. Birman,
Roy Friedman,
Mark Hayden,
David A. Karr:
A Framework for Protocol Composition in Horus.
PODC 1995: 80-89 |
