×

zbMATH — the first resource for mathematics

Zakharov, Vladimir A.

Compute Distance To:
Author ID: zakharov.vladimir-a Recent zbMATH articles by "Zakharov, Vladimir A."
Published as: Zakharov, V. A.; Zakharov, Vladimir; Zakharov, Vladimir A.
External Links: MGP · Wikidata
Documents Indexed: 40 Publications since 1986

Publications by Year

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.
5
2010
Encoding mobile ambients into the \(\pi \)-calculus. Zbl 1185.68439
Ciobanu, Gabriel; Zakharov, Vladimir A.
5
2007
On the equivalence problem for programs with mode switching. Zbl 1172.68424
Podlovchenko, Rimma I.; Rusakov, Dmitry M.; Zakharov, Vladimir A.
5
2006
On the existence of provably secure cloud computing systems. Zbl 1369.68199
Varnovsky, N. P.; Zakharov, V. A.; Shokurov, A. V.
4
2016
A polynomial-time algorithm that recognizes the commutative equivalence of program schemata. Zbl 0959.68507
Podlovchenko, R. I.; Zakharov, V. A.
4
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.
2
2017
On the equivalence-checking problem for a model of programs related with multi-tape automata. Zbl 1115.68379
Zakharov, Vladimir; Zakharyaschev, Ivan
2
2005
The equivalence problem for computational models: Decidable and undecidable cases. Zbl 0984.68075
Zakharov, Vladimir A.
2
2001
On the decidability of the equivalence problem for monadic recursive programs. Zbl 0962.68091
Zakharov, Vladimir A.
2
2000
On the effective solvability of the problem of the equivalence of linear unary recursive programs. Zbl 1201.68071
Zakharov, V. A.
2
1999
Fast algorithms for deciding the equivalence of operator programs on balanced scales. Zbl 1201.68054
Zakharov, V. A.
2
1998
Equivalence checking problem for finite state transducers over semigroups. Zbl 06484062
Zakharov, Vladimir A.
1
2015
An invariant-based approach to the verification of asynchronous parameterized networks. Zbl 1208.68148
Konnov, Igor V.; Zakharov, Vladimir A.
1
2010
Efficient algorithms for checking the equivalence of programs in interrupt handling models. Zbl 1151.68054
Shcherbina, V. L.; Zakharov, V. A.
1
2008
An approach to the verification of symmetric parameterized distributed systems. Zbl 1103.68025
Konnov, I. V.; Zakharov, V. A.
1
2005
On the possibility of provably secure obfuscating programs. Zbl 1254.68089
Varnovsky, Nikolay P.; Zakharov, Vladimir A.
1
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.
1
2001
Fast algorithms for deciding the equivalence of propositional operator programs on ordered semigroup scales. Zbl 0976.68079
Zakharov, V. A.
1
1999
On the decidability of the equivalence problem for orthogonal sequential programs. Zbl 0968.68099
Zakharov, Vladimir A.
1
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.
1
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.
2
2017
On the existence of provably secure cloud computing systems. Zbl 1369.68199
Varnovsky, N. P.; Zakharov, V. A.; Shokurov, A. V.
4
2016
Equivalence checking problem for finite state transducers over semigroups. Zbl 06484062
Zakharov, Vladimir A.
1
2015
Anti-unification algorithms and their applications in program analysis. Zbl 1274.68066
Bulychev, Peter E.; Kostylev, Egor V.; Zakharov, Vladimir A.
5
2010
An invariant-based approach to the verification of asynchronous parameterized networks. Zbl 1208.68148
Konnov, Igor V.; Zakharov, Vladimir A.
1
2010
Efficient algorithms for checking the equivalence of programs in interrupt handling models. Zbl 1151.68054
Shcherbina, V. L.; Zakharov, V. A.
1
2008
Encoding mobile ambients into the \(\pi \)-calculus. Zbl 1185.68439
Ciobanu, Gabriel; Zakharov, Vladimir A.
5
2007
On the equivalence problem for programs with mode switching. Zbl 1172.68424
Podlovchenko, Rimma I.; Rusakov, Dmitry M.; Zakharov, Vladimir A.
5
2006
On the equivalence-checking problem for a model of programs related with multi-tape automata. Zbl 1115.68379
Zakharov, Vladimir; Zakharyaschev, Ivan
2
2005
An approach to the verification of symmetric parameterized distributed systems. Zbl 1103.68025
Konnov, I. V.; Zakharov, V. A.
1
2005
On the possibility of provably secure obfuscating programs. Zbl 1254.68089
Varnovsky, Nikolay P.; Zakharov, Vladimir A.
1
2003
The equivalence problem for computational models: Decidable and undecidable cases. Zbl 0984.68075
Zakharov, Vladimir A.
2
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.
1
2001
On the decidability of the equivalence problem for monadic recursive programs. Zbl 0962.68091
Zakharov, Vladimir A.
2
2000
On the effective solvability of the problem of the equivalence of linear unary recursive programs. Zbl 1201.68071
Zakharov, V. A.
2
1999
Fast algorithms for deciding the equivalence of propositional operator programs on ordered semigroup scales. Zbl 0976.68079
Zakharov, V. A.
1
1999
On the decidability of the equivalence problem for orthogonal sequential programs. Zbl 0968.68099
Zakharov, Vladimir A.
1
1999
A polynomial-time algorithm that recognizes the commutative equivalence of program schemata. Zbl 0959.68507
Podlovchenko, R. I.; Zakharov, V. A.
4
1998
Fast algorithms for deciding the equivalence of operator programs on balanced scales. Zbl 1201.68054
Zakharov, V. A.
2
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.
1
1998

Citations by Year

Wikidata Timeline

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