Search the dblp DataBase

Publications of Author

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