Serializability Preserving Extensions of Concurrency Control Protocols. - Dmitri Chkliaev; Jozef Hooman; Peter van der Stok (Ershov Memorial Conference, 1999)

Mechanicak verification of a Nin-Blocking Atomic Commitment Protocol. - Dmitri Chkliaev; Peter van der Stok; Jozef Hooman (ICDCS Workshop on Distributed System Validation and Verification, 2000)

Mechanical Verification of Transaction Processing Systems. - Dmitri Chkliaev; Jozef Hooman; Peter van der Stok (ICFEM, 2000)

Formal Modeling and Analysis of Atomic Commitment Protocols. - Dmitri Chkliaev; Jozef Hooman; Peter van der Stok (ICPADS, 2000)

Verification and Improvement of the Sliding Window Protocol. - Dmitri Chkliaev; Jozef Hooman; Erik P. de Vink (TACAS, 2003)