| Scaling Out Acid Applications with Operation Partitioning. | 0 | 0.34 | 2018 |
| On Barriers and the Gap between Active and Passive Replication (Full Version). | 1 | 0.36 | 2013 |
| Efficient Verification of Distributed Protocols Using Stateful Model Checking | 4 | 0.40 | 2013 |
| Effiziente Fehlertoleranz für Web-Basierte Systeme. | 0 | 0.34 | 2010 |
| HP: Hybrid Paxos for WANs | 7 | 0.56 | 2010 |
| Fault Characterization and Diagnosis in Distributed Systems | 0 | 0.34 | 2010 |
| Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation | 2 | 0.40 | 2007 |
