Extending resilient objets efficiently. - Kenneth P. Birman; Thomas A. Joseph; Thomas Räuchle (Fehlertolerierende Rechensysteme, 1984)

Implementing Fault-Tolerant Distributed Objects. - Kenneth P. Birman; Thomas A. Joseph; Thomas Räuchle; Amr El Abbadi (IEEE Trans. Software Eng., 1985)

Communication Support for Reliable Distributed Computing. - Kenneth P. Birman; Thomas A. Joseph (Fault-Tolerant Distributed Computing, 1986)

State Machines and Assertions: An Integrated Approach to Modeling and Verification of Distributed Systems. - Thomas A. Joseph; Thomas Räuchle; Sam Toueg (Sci. Comput. Program., 1986)

Low Cost Management of Replicated Data in Fault-Tolerant Distributed Systems. - Thomas A. Joseph; Kenneth P. Birman (ACM Trans. Comput. Syst., 1986)

Low Cost Management of Replicated Data. - Thomas A. Joseph (1986)

On communication support for fault tolerant process groups. - Kenneth P. Birman; Thomas A. Joseph (RFC, 1986)

Exploiting Virtual Synchrony in Distributed Systems. - Kenneth P. Birman; Thomas A. Joseph (SOSP, 1987)

Reliable Communication in the Presence of Failures. - Kenneth P. Birman; Thomas A. Joseph (ACM Trans. Comput. Syst., 1987)