Dmitri Chkliaev

According to our database, Dmitri Chkliaev authored at least 5 papers between 1999 and 2003.

Collaborative distances:

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

2003

Verification and Improvement of the Sliding Window Protocol.

Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2000

Formal Modeling and Analysis of Atomic Commitment Protocols.

Dmitri Chkliaev, Jozef Hooman, Peter van der Stok

Proceedings of the Seventh International Conference on Parallel and Distributed Systems, 2000

Mechanical Verification of Transaction Processing Systems.

Dmitri Chkliaev, Jozef Hooman, Peter van der Stok

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

Mechanicak verification of a Nin-Blocking Atomic Commitment Protocol.

Dmitri Chkliaev, Peter van der Stok, Jozef Hooman

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

1999

Serializability Preserving Extensions of Concurrency Control Protocols.

Dmitri Chkliaev, Jozef Hooman, Peter van der Stok

Proceedings of the Perspectives of System Informatics, 1999