Dmitri Chkliaev
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2000–2003
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | TACAS | Verification and Improvement of the Sliding Window Protocol. | Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink |
| 2000 | ICFEM | Mechanical Verification of Transaction Processing Systems. | Dmitri Chkliaev, Jozef Hooman, Peter van der Stok |
| 2000 | ICPADS | Formal Modeling and Analysis of Atomic Commitment Protocols. | Dmitri Chkliaev, Jozef Hooman, Peter van der Stok |