Edit Profile (opens in new tab) Klimov, Andrei V. Co-Author Distance Author ID: klimov.andrei-v Published as: Klimov, Andrei V.; Klimov, A. V. Documents Indexed: 4 Publications since 1995 Co-Authors: 2 Co-Authors with 1 Joint Publication Co-Authors 2 single-authored 1 Glück, Robert 1 Kolbasyuk, S. A. 1 Neiman, V. I. Serials 1 Information Processing Letters 1 Problems of Information Transmission Fields 3 Computer science (68-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year Citations contained in zbMATH Open 2 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ A regeneration scheme for generating extensions. Zbl 1337.68071 Glück, Robert; Klimov, Andrei 1 1997 Solving coverability problem for monotonic counter systems by supercompilation. Zbl 1336.68036 Klimov, Andrei V. 1 2012 Solving coverability problem for monotonic counter systems by supercompilation. Zbl 1336.68036 Klimov, Andrei V. 1 2012 A regeneration scheme for generating extensions. Zbl 1337.68071 Glück, Robert; Klimov, Andrei 1 1997 Cited by 1 Author 1 Nepeivoda, Antonina N. Cited in 1 Serial 1 Journal of Logical and Algebraic Methods in Programming Cited in 1 Field 1 Computer science (68-XX) Citations by Year