Dmitri Chkliaev

	2003
5		Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink: Verification and Improvement of the Sliding Window Protocol. TACAS 2003: 113-127
	2000
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
	1999
1		Dmitri Chkliaev, Jozef Hooman, Peter van der Stok: Serializability Preserving Extensions of Concurrency Control Protocols. Ershov Memorial Conference 1999: 180-193

Coauthor Index

1	Jozef Hooman	[1] [2] [3] [4] [5]
2	Peter van der Stok (P. D. V. van der Stok)	[1] [2] [3] [4]
3	Erik P. de Vink	[5]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page