A Framework for Protocol Composition in Horus. - Robbert van Renesse; Kenneth P. Birman; Roy Friedman; Mark Hayden; David A. Karr (PODC, 1995)

Speeding up Lisp-based symbolic mathematics. - Richard J. Fateman; Mark Hayden (SIGSAM Bull., 1996)

Optimizing Layered Communication Protocols. - Mark Hayden; Robbert van Renesse (HPDC, 1997)

A Proof Environment for the Development of Group Communication Systems. - Christoph Kreitz; Mark Hayden; Jason Hickey (CADE, 1998)

Building Adaptive Systems Using Ensemble. - Robbert van Renesse; Kenneth P. Birman; Mark Hayden; Alexey Vaysburd; David A. Karr (Softw. Pract. Exp., 1998)

The Ensemble System. - Mark Hayden (1998)

Building reliable, high-performance communication systems from components. - Xiaoming Liu 003; Christoph Kreitz; Robbert van Renesse; Jason Hickey; Mark Hayden; Kenneth P. Birman; Robert L. Constable (SOSP, 1999)

Middleware support for distributed multimedia and collaborative computing. - Kenneth P. Birman; Roy Friedman; Mark Hayden; Injong Rhee (Softw. Pract. Exp., 1999)

Bimodal Multicast. - Kenneth P. Birman; Mark Hayden; Öznur Özkasap; Zhen Xiao; Mihai Budiu; Yaron Minsky (ACM Trans. Comput. Syst., 1999)

Distributed communication in ML. - Mark Hayden (J. Funct. Program., 2000)