| 1987 |
|---|
| 7 | | Thomas Räuchle:
Using Data Flow Analysis to Reduce the Cost of Enforcing Consistency.
ICDCS 1987: 216-223 |
| 1986 |
|---|
| 6 | | Thomas A. Joseph,
Thomas Räuchle,
Sam Toueg:
State Machines and Assertions: An Integrated Approach to Modeling and Verification of Distributed Systems.
Sci. Comput. Program. 7(1): 1-22 (1986) |
| 1985 |
|---|
| 5 | EE | Amr El Abbadi,
Thomas Räuchle:
A resilient communication structure for local area netowrks.
SIGCOMM 1985: 140-145 |
| 4 | | Kenneth P. Birman,
Thomas A. Joseph,
Thomas Räuchle,
Amr El Abbadi:
Implementing Fault-Tolerant Distributed Objects.
IEEE Trans. Software Eng. 11(6): 502-508 (1985) |
| 3 | | Thomas Räuchle,
Sam Toueg:
Exposure to Deadlock for Communicating Processes is Hard to Detect.
Inf. Process. Lett. 21(2): 63-68 (1985) |
| 1984 |
|---|
| 2 | | Kenneth P. Birman,
Thomas A. Joseph,
Thomas Räuchle:
Extending resilient objets efficiently.
Fehlertolerierende Rechensysteme 1984: 40-51 |
| 1 | | Kenneth P. Birman,
Thomas A. Joseph,
Thomas Räuchle,
Amr El Abbadi:
Implementing Fault-Tolerant Distributed Objects.
Symposium on Reliability in Distributed Software and Database Systems 1984: 124-133 |
