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

A resilient communication structure for local area netowrks. - Amr El Abbadi; Thomas Räuchle (SIGCOMM, 1985)

Exposure to Deadlock for Communicating Processes is Hard to Detect. - Thomas Räuchle; Sam Toueg (Inf. Process. Lett., 1985)

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

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)

Using Data Flow Analysis to Reduce the Cost of Enforcing Consistency. - Thomas Räuchle (ICDCS, 1987)

Efficient Concurrency Control for Libraries of Typed Objects. - Thomas Räuchle (1987)