|
Search the dblp DataBase
Thomas Räuchle:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Kenneth P. Birman, Thomas A. Joseph, Thomas Räuchle, Amr El Abbadi
Implementing Fault-Tolerant Distributed Objects. [Citation Graph (3, 0)][DBLP] IEEE Trans. Software Eng., 1985, v:11, n:6, pp:502-508 [Journal]
- Thomas Räuchle, Sam Toueg
Exposure to Deadlock for Communicating Processes is Hard to Detect. [Citation Graph (1, 0)][DBLP] Inf. Process. Lett., 1985, v:21, n:2, pp:63-68 [Journal]
- Thomas Räuchle
Using Data Flow Analysis to Reduce the Cost of Enforcing Consistency. [Citation Graph (0, 0)][DBLP] ICDCS, 1987, pp:216-223 [Conf]
- Kenneth P. Birman, Thomas A. Joseph, Thomas Räuchle
Extending resilient objets efficiently. [Citation Graph (0, 0)][DBLP] Fehlertolerierende Rechensysteme, 1984, pp:40-51 [Conf]
- Amr El Abbadi, Thomas Räuchle
A resilient communication structure for local area netowrks. [Citation Graph (0, 0)][DBLP] SIGCOMM, 1985, pp:140-145 [Conf]
- Kenneth P. Birman, Thomas A. Joseph, Thomas Räuchle, Amr El Abbadi
Implementing Fault-Tolerant Distributed Objects. [Citation Graph (0, 0)][DBLP] Symposium on Reliability in Distributed Software and Database Systems, 1984, pp:124-133 [Conf]
- Thomas A. Joseph, Thomas Räuchle, Sam Toueg
State Machines and Assertions: An Integrated Approach to Modeling and Verification of Distributed Systems. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1986, v:7, n:1, pp:1-22 [Journal]
Search in 0.001secs, Finished in 0.001secs
|