Dmitri Chkliaev (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink: Verification and Improvement of the Sliding Window Protocol. TACAS 2003: 113-127

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

3 Dmitri Chkliaev, Jozef Hooman, Peter van der Stok: Mechanical Verification of Transaction Processing Systems. ICFEM 2000: 89-

2 Dmitri Chkliaev, Jozef Hooman, Peter van der Stok: Formal Modeling and Analysis of Atomic Commitment Protocols. ICPADS 2000: 151-158

1 Dmitri Chkliaev, Jozef Hooman, Peter van der Stok: Serializability Preserving Extensions of Concurrency Control Protocols. Ershov Memorial Conference 1999: 180-193

Selection of 5 from 5 records - Dmitri Chkliaev has 3 coauthors

5		Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink: Verification and Improvement of the Sliding Window Protocol. TACAS 2003: 113-127
4		Dmitri Chkliaev, Peter van der Stok, Jozef Hooman: Mechanicak verification of a Nin-Blocking Atomic Commitment Protocol. ICDCS Workshop on Distributed System Validation and Verification 2000: E96-E103
3		Dmitri Chkliaev, Jozef Hooman, Peter van der Stok: Mechanical Verification of Transaction Processing Systems. ICFEM 2000: 89-
2		Dmitri Chkliaev, Jozef Hooman, Peter van der Stok: Formal Modeling and Analysis of Atomic Commitment Protocols. ICPADS 2000: 151-158
1		Dmitri Chkliaev, Jozef Hooman, Peter van der Stok: Serializability Preserving Extensions of Concurrency Control Protocols. Ershov Memorial Conference 1999: 180-193