| 2001 |
|---|
| 4 | EE | Xiaoming Liu,
Robbert van Renesse,
Mark Bickford,
Christoph Kreitz,
Robert L. Constable:
Protocol Switching: Exploiting Meta-Properties.
ICDCS Workshops 2001: 37-42 |
| 3 | EE | Mark Bickford,
Christoph Kreitz,
Robbert van Renesse,
Xiaoming Liu:
Proving Hybrid Protocols Correct.
TPHOLs 2001: 105-120 |
| 2000 |
|---|
| 2 | EE | Xiaoming Liu,
Robbert van Renesse:
Fast protocol transition in a distributed environment (brief announcement).
PODC 2000: 341 |
| 1999 |
|---|
| 1 | EE | Xiaoming Liu,
Christoph Kreitz,
Robbert van Renesse,
Jason Hickey,
Mark Hayden,
Kenneth P. Birman,
Robert L. Constable:
Building reliable, high-performance communication systems from components.
SOSP 1999: 80-92 |
