# zbMATH — the first resource for mathematics

Compute Distance To:
 Documents Indexed: 40 Publications since 1986
all top 5

#### Co-Authors

 18 single-authored 5 Varnovsky, Nikolay P. 3 Kostylev, Egor V. 3 Podlovchenko, Rimma Ivanovna 3 Shokurov, A. V. 2 Konnov, Igor V. 2 Spanopulo, Vladimir V. 1 Abbas, Mostafa M. 1 Bulychev, Peter E. 1 Chow, Stanley 1 Ciobanu, Gabriel 1 Dang Van Hung 1 Gu, Yuan 1 Johnson, Harold H. 1 Kuzurin, Nikolay 1 Kuzyurin, Nikolaĭ Nikolaevich 1 Manevich, S. I. 1 Rusakov, Dmitry M. 1 Shcherbina, V. L. 1 Shcherbina, V. S. 1 Shokurov, Alexander 1 Thuang, N. N. 1 Tsarkov, D. V. 1 van Ban, D. 1 Zakharyaschev, Ivan
all top 5

#### Serials

 7 Moscow University Computational Mathematics and Cybernetics 6 Programming and Computer Software 3 Matematicheskie Voprosy Kibernetiki 2 Soviet Mathematics. Doklady 2 Discrete Mathematics and Applications 1 Journal of Symbolic Computation 1 Vestnik Moskovskogo Universiteta. Seriya 15 1 Cybernetics and Systems Analysis 1 Journal of Mathematical Sciences (New York) 1 Doklady Mathematics 1 Grammars 1 RAIRO. Theoretical Informatics and Applications

#### Fields

 39 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 3 Information and communication theory, circuits (94-XX)

#### Citations contained in zbMATH Open

20 Publications have been cited 44 times in 27 Documents Cited by Year
Anti-unification algorithms and their applications in program analysis. Zbl 1274.68066
Bulychev, Peter E.; Kostylev, Egor V.; Zakharov, Vladimir A.
2010
Encoding mobile ambients into the $$\pi$$-calculus. Zbl 1185.68439
2007
On the equivalence problem for programs with mode switching. Zbl 1172.68424
Podlovchenko, Rimma I.; Rusakov, Dmitry M.; Zakharov, Vladimir A.
2006
On the existence of provably secure cloud computing systems. Zbl 1369.68199
Varnovsky, N. P.; Zakharov, V. A.; Shokurov, A. V.
2016
A polynomial-time algorithm that recognizes the commutative equivalence of program schemata. Zbl 0959.68507
Podlovchenko, R. I.; Zakharov, V. A.
1998
On the deductive security of queries to confidential databases in cloud computing systems. Zbl 1369.68200
Varnovsky, N. P.; Zakharov, V. A.; Shokurov, A. V.
2017
On the equivalence-checking problem for a model of programs related with multi-tape automata. Zbl 1115.68379
2005
The equivalence problem for computational models: Decidable and undecidable cases. Zbl 0984.68075
2001
On the decidability of the equivalence problem for monadic recursive programs. Zbl 0962.68091
2000
On the effective solvability of the problem of the equivalence of linear unary recursive programs. Zbl 1201.68071
Zakharov, V. A.
1999
Fast algorithms for deciding the equivalence of operator programs on balanced scales. Zbl 1201.68054
Zakharov, V. A.
1998
Equivalence checking problem for finite state transducers over semigroups. Zbl 06484062
2015
An invariant-based approach to the verification of asynchronous parameterized networks. Zbl 1208.68148
Konnov, Igor V.; Zakharov, Vladimir A.
2010
Efficient algorithms for checking the equivalence of programs in interrupt handling models. Zbl 1151.68054
Shcherbina, V. L.; Zakharov, V. A.
2008
An approach to the verification of symmetric parameterized distributed systems. Zbl 1103.68025
Konnov, I. V.; Zakharov, V. A.
2005
On the possibility of provably secure obfuscating programs. Zbl 1254.68089
Varnovsky, Nikolay P.; Zakharov, Vladimir A.
2003
An approach to the obfuscation of control-flow of sequential computer programs. Zbl 1042.68563
Chow, Stanley; Gu, Yuan; Johnson, Harold; Zakharov, Vladimir A.
2001
Fast algorithms for deciding the equivalence of propositional operator programs on ordered semigroup scales. Zbl 0976.68079
Zakharov, V. A.
1999
On the decidability of the equivalence problem for orthogonal sequential programs. Zbl 0968.68099
1999
Efficient model checking algorithms for computation tree logic and their application to the verification of parallel programs. Zbl 0977.68059
Zakharov, V. A.; Tsarkov, D. V.
1998
On the deductive security of queries to confidential databases in cloud computing systems. Zbl 1369.68200
Varnovsky, N. P.; Zakharov, V. A.; Shokurov, A. V.
2017
On the existence of provably secure cloud computing systems. Zbl 1369.68199
Varnovsky, N. P.; Zakharov, V. A.; Shokurov, A. V.
2016
Equivalence checking problem for finite state transducers over semigroups. Zbl 06484062
2015
Anti-unification algorithms and their applications in program analysis. Zbl 1274.68066
Bulychev, Peter E.; Kostylev, Egor V.; Zakharov, Vladimir A.
2010
An invariant-based approach to the verification of asynchronous parameterized networks. Zbl 1208.68148
Konnov, Igor V.; Zakharov, Vladimir A.
2010
Efficient algorithms for checking the equivalence of programs in interrupt handling models. Zbl 1151.68054
Shcherbina, V. L.; Zakharov, V. A.
2008
Encoding mobile ambients into the $$\pi$$-calculus. Zbl 1185.68439
2007
On the equivalence problem for programs with mode switching. Zbl 1172.68424
Podlovchenko, Rimma I.; Rusakov, Dmitry M.; Zakharov, Vladimir A.
2006
On the equivalence-checking problem for a model of programs related with multi-tape automata. Zbl 1115.68379
2005
An approach to the verification of symmetric parameterized distributed systems. Zbl 1103.68025
Konnov, I. V.; Zakharov, V. A.
2005
On the possibility of provably secure obfuscating programs. Zbl 1254.68089
Varnovsky, Nikolay P.; Zakharov, Vladimir A.
2003
The equivalence problem for computational models: Decidable and undecidable cases. Zbl 0984.68075
2001
An approach to the obfuscation of control-flow of sequential computer programs. Zbl 1042.68563
Chow, Stanley; Gu, Yuan; Johnson, Harold; Zakharov, Vladimir A.
2001
On the decidability of the equivalence problem for monadic recursive programs. Zbl 0962.68091
2000
On the effective solvability of the problem of the equivalence of linear unary recursive programs. Zbl 1201.68071
Zakharov, V. A.
1999
Fast algorithms for deciding the equivalence of propositional operator programs on ordered semigroup scales. Zbl 0976.68079
Zakharov, V. A.
1999
On the decidability of the equivalence problem for orthogonal sequential programs. Zbl 0968.68099
1999
A polynomial-time algorithm that recognizes the commutative equivalence of program schemata. Zbl 0959.68507
Podlovchenko, R. I.; Zakharov, V. A.
1998
Fast algorithms for deciding the equivalence of operator programs on balanced scales. Zbl 1201.68054
Zakharov, V. A.
1998
Efficient model checking algorithms for computation tree logic and their application to the verification of parallel programs. Zbl 0977.68059
Zakharov, V. A.; Tsarkov, D. V.
1998
all top 5

#### Cited by 31 Authors

 6 Zakharov, Vladimir A. 5 Podlovchenko, Rimma Ivanovna 4 Shokurov, A. V. 3 Brodo, Linda 3 Kutsia, Temur 3 Varnovsky, Nikolay P. 2 Baumgartner, Alexander 2 Ciobanu, Gabriel 2 Levy, Jordi 2 Rusakov, Dmitry M. 2 Villaret, Mateu 1 Abbas, Mostafa M. 1 Alpuente, María 1 Aman, Bogdan 1 Bodei, Chiara 1 Bogdan, Aman 1 Bozapalidou, Marianthi 1 Bruni, Roberto 1 Bulychev, Peter E. 1 Escobar, Santiago 1 Espert, Javier 1 Khrapchenko, M. V. 1 Konnov, Igor V. 1 Kuzyurin, Nikolaĭ Nikolaevich 1 Martishin, S. A. 1 Meseguer Guaita, José 1 Podymov, V. V. 1 Shcherbina, V. L. 1 Shcherbina, V. S. 1 Smelyanskij, R. L. 1 Zhozhikashvili, A. V
all top 5

#### Cited in 9 Serials

 10 Programming and Computer Software 4 Moscow University Computational Mathematics and Cybernetics 3 Information and Computation 2 Journal of Automated Reasoning 1 Journal of Symbolic Computation 1 MSCS. Mathematical Structures in Computer Science 1 Cybernetics and Systems Analysis 1 Journal of Mathematical Sciences (New York) 1 Journal of Mathematics and Music
all top 5

#### Cited in 7 Fields

 26 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 Commutative algebra (13-XX) 1 Category theory; homological algebra (18-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

#### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.