Cover Model: A Framework for Design and Execution of Distributed Applications. - V. P. Ivannikov; K. V. Dyshlevoi; V. E. Kamensky; A. V. Klimov; S. G. Manzheley; Vitaly A. Omelchenko; L. B. Solovskaya; A. A. Vinokurov (ISPAN, 1997)

A simple algorithm for solving the coverability problem for monotonic counter systems. - A. V. Klimov (Autom. Control. Comput. Sci., 2012)

Research of asynchronous algorithm for molecular dynamics task on the PDCS "Buran" models. - L. S. Khodosh; A. V. Klimov; N. N. Levchenko; A. S. Okunev; D. N. Zmejev (EWDTS, 2016)

The PDCS "Buran" operating efficiency improvement ways. - A. V. Klimov; N. N. Levchenko; A. S. Okunev; Alexander L. Stempkovsky; D. N. Zmejev (EWDTS, 2016)