VLDB 2026 Research / reviewers in the wild / expert
Vladimir A. Zakharov
dblp:84/5934
· DBLP profile ↗
12ranked-venue papers
6as first author
2since 2021 · last 2025
0000-0002-3794-9565ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 10 · 6 first-author · 2 since 2021Security and privacy · 2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | An Algebraic Approach to the Equivalence Checking of Deterministic Top-down Tree Transducers
Zhibo Deng, Tianxiang Tang, Vladimir A. Zakharov |
CIAA | 3 |
| 2024 | On the Complexity of Decision Problems for Parameterized Finite State Synchronous Transducers
Tianxiang Tang, Vladimir A. Zakharov |
CIAA | 2 |
| 2019 | Equivalence Checking of Prefix-Free Transducers and Deterministic Two-Tape Automata
Vladimir A. Zakharov |
LATA | 1 |
| 2010 | An invariant-based approach to the verification of asynchronous parameterized networks
Igor Konnov 0001, Vladimir A. Zakharov |
J. Symb. Comput. | 2 |
| 2007 | On the Concept of Software Obfuscation in Computer Security
Nikolay Kuzurin, Alexander V. Shokurov, Nikolay P. Varnovsky, Vladimir A. Zakharov |
ISC | 4 |
| 2005 | On the Equivalence Problem for Programs with Mode Switching
Rimma I. Podlovchenko, Dmitry M. Rusakov, Vladimir A. Zakharov |
CIAA | 3 |
| 2004 | On the Equivalence-Checking Problem for a Model of Programs Related with Multi-tape Automata
Vladimir A. Zakharov, Ivan Zakharyaschev |
CIAA | 1 |
| 2001 | An Approach to the Obfuscation of Control-Flow of Sequential Computer Programs
Stanley Chow, Yuan Xiang Gu, Harold Johnson, Vladimir A. Zakharov |
ISC | 4 |
| 2001 | The Equivalence Problem for Computational Models: Decidable and Undecidable Cases
Vladimir A. Zakharov |
MCU | 1 |
| 2001 | Book Review: "Model Checking" by E. Clarke, O. Grumberg and D. A. Peledabstract1Moscow State University, Russia Model Checking E. Clarke O. Grumberg D. A. Peled The MIT Press 2000 £33.50 0‐262‐03270‐8 Vladimir A. Zakharov |
J. Log. Comput. | 1 |
| 1998 | An Efficient and Unified Approach to the Decidability of Equivalence of Propositional Programs
Vladimir A. Zakharov |
ICALP | 1 |
| 1987 | To the Functional Equivalence of Turing Machines
Vladimir A. Zakharov |
FCT | 1 |