Xiaoming Liu

According to our database, Xiaoming Liu authored at least 5 papers between 1999 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Building High Performance Adaptive Communication Systems for Components.

Xiaoming Liu

PhD thesis, 2001

Proving Hybrid Protocols Correct.

Mark Bickford, Christoph Kreitz, Robbert van Renesse, Xiaoming Liu

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

Protocol Switching: Exploiting Meta-Properties.

Xiaoming Liu, Robbert van Renesse, Mark Bickford, Christoph Kreitz, Robert L. Constable

Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001

2000

Fast protocol transition in a distributed environment (brief announcement).

Xiaoming Liu, Robbert van Renesse

Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

1999

Building reliable, high-performance communication systems from components.

Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Kenneth P. Birman, Robert L. Constable

Proceedings of the 17th ACM Symposium on Operating System Principles, 1999