Vladimir A. Zakharov

38 papers A* 1B 2C 8Misc 1Journal 20Unranked 6
YearRankTypeTitle / Venue / Authors
2025 C conf
An Algebraic Approach to the Equivalence Checking of Deterministic Top-down Tree Transducers.
CIAA
Zhibo Deng, Tianxiang Tang, Vladimir A. Zakharov
2025 J jnl
On the Equivalence Checking Problem for Deterministic Top-Down Tree Automata.
CoRR
Zhibo Deng, Vladimir A. Zakharov
2024 C conf
On the Complexity of Decision Problems for Parameterized Finite State Synchronous Transducers.
CIAA
Tianxiang Tang, Vladimir A. Zakharov
2022 J jnl
Satisfiability and Model Checking for One Parameterized Extension of Linear Temporal Logic.
Autom. Control. Comput. Sci.
Anton R. Gnatenko, Vladimir A. Zakharov
2021 J jnl
Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines.
Autom. Control. Comput. Sci.
Vladimir A. Zakharov
2021 J jnl
On the Model Checking Problem for Some Extension of CTL.
Autom. Control. Comput. Sci.
Anton R. Gnatenko, Vladimir A. Zakharov
2021 J jnl
On the Modeling of Sequential Reactive Systems by Means of Real Time Automata.
Autom. Control. Comput. Sci.
Evgenii M. Vinarskii, Vladimir A. Zakharov
2020 J jnl
On the Possibility of Secure Program Obfuscation in Some Model of Cloud Computing.
Program. Comput. Softw.
Alexander V. Shokurov, I. V. Abramova, Nikolay P. Varnovsky, Vladimir A. Zakharov
2019 C conf
Equivalence Checking of Prefix-Free Transducers and Deterministic Two-Tape Automata.
LATA
Vladimir A. Zakharov
2019 J jnl
Even Simple π-Calculus Processes Are Difficult to Analyze.
Autom. Control. Comput. Sci.
M. M. Abbas, Vladimir A. Zakharov
2019 J jnl
On the Expressive Power of Some Extensions of Linear Temporal Logic.
Autom. Control. Comput. Sci.
Anton R. Gnatenko, Vladimir A. Zakharov
2017 J jnl
On the Minimization Problem for Sequential Programs.
Autom. Control. Comput. Sci.
Vladimir A. Zakharov, S. R. Jaylauova
2017 J jnl
On the Minimization of Finite State Transducers over Semigroups.
Autom. Control. Comput. Sci.
Vladimir A. Zakharov, G. G. Temerbekova
2015 J jnl
A combined toolset for the verification of real-time distributed systems.
Program. Comput. Softw.
Dmitry Yu. Volkanov, Vladimir A. Zakharov, Daniil A. Zorin, Vladislav V. Podymov, Igor V. Konnov
2015 — conf
Equivalence Checking Problem for Finite State Transducers over Semigroups.
CAI
Vladimir A. Zakharov
2015 J jnl
On network update problems for software defined networks.
Autom. Control. Comput. Sci.
Evgeny V. Chemeritskiy, Vladimir A. Zakharov
2015 J jnl
The current state of art in program obfuscations: definitions of obfuscation security.
Program. Comput. Softw.
Nikolay P. Varnovskiy, Vladimir A. Zakharov, Nikolay N. Kuzyurin, Alexander V. Shokurov
2014 J jnl
A formal model and verification problems for software defined networks.
Autom. Control. Comput. Sci.
Vladimir A. Zakharov, R. L. Smelyansky, Eugene V. Chemeritsky
2014 J jnl
How to make a simple tool for verification of real-time systems.
Autom. Control. Comput. Sci.
Igor V. Konnov, Vladislav V. Podymov, Dmitry Yu. Volkanov, Vladimir A. Zakharov, Daniil A. Zorin
2014 — conf
Two-sided unification is NP-complete.
UNIF
Tatyana A. Novikova, Vladimir A. Zakharov
2013 — conf
Is it possible to unify sequential programs?
UNIF@RTA/TLCA
Tatyana A. Novikova, Vladimir A. Zakharov
2010 J jnl
An invariant-based approach to the verification of asynchronous parameterized networks.
J. Symb. Comput.
Igor V. Konnov, Vladimir A. Zakharov
2009 — conf
Anti-unification Algorithms and Their Applications in Program Analysis.
Ershov Memorial Conference
Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Zakharov
2007 C conf
On the Concept of Software Obfuscation in Computer Security.
ISC
Nikolay Kuzurin, Alexander V. Shokurov, Nikolay P. Varnovsky, Vladimir A. Zakharov
2006 — conf
Encoding Mobile Ambients into the
Ershov Memorial Conference
Gabriel Ciobanu, Vladimir A. Zakharov
2005 J jnl
An Approach to the Verification of Symmetric Parameterized Distributed Systems.
Program. Comput. Softw.
Igor V. Konnov, Vladimir A. Zakharov
2005 C conf
On the Equivalence Problem for Programs with Mode Switching.
CIAA
Rimma I. Podlovchenko, Dmitry M. Rusakov, Vladimir A. Zakharov
2004 C conf
On the Equivalence-Checking Problem for a Model of Programs Related with Multi-tape Automata.
CIAA
Vladimir A. Zakharov, Ivan Zakharyaschev
2003 — conf
On the Possibility of Provably Secure Obfuscating Programs.
Ershov Memorial Conference
Nikolay P. Varnovsky, Vladimir A. Zakharov
2001 C conf
An Approach to the Obfuscation of Control-Flow of Sequential Computer Programs.
ISC
Stanley Chow, Yuan Xiang Gu, Harold Johnson, Vladimir A. Zakharov
2001 J jnl
Book Review: "Model Checking" by E. Clarke, O. Grumberg and D. A. Peled.
J. Log. Comput.
Vladimir A. Zakharov
2001 C conf
The Equivalence Problem for Computational Models: Decidable and Undecidable Cases.
MCU
Vladimir A. Zakharov
2000 J jnl
On the Decidability of the Equivalence Problem for Monadic Recursive Programs.
RAIRO Theor. Informatics Appl.
Vladimir A. Zakharov
1999 J jnl
On the Decidability of the Equivalence Problem for Orthogonal Sequential Programs.
Grammars
Vladimir A. Zakharov
1998 A* conf
An Efficient and Unified Approach to the Decidability of Equivalence of Propositional Programs.
ICALP
Vladimir A. Zakharov
1997 Misc conf
Verification of PLTL Formulae by Means of Monotone Disjunctive Normal Forms.
LFCS
Vladimir A. Zakharov
1996 B conf
On the Relationship between Models of Parallel Computations.
Advances in Modal Logic
Vladimir V. Spanopulo, Vladimir A. Zakharov
1987 B conf
To the Functional Equivalence of Turing Machines.
FCT
Vladimir A. Zakharov