| 2007 |
|---|
| 14 | EE | Nikolay Kuzurin,
Alexander Shokurov,
Nikolay P. Varnovsky,
Vladimir A. Zakharov:
On the Concept of Software Obfuscation in Computer Security.
ISC 2007: 281-298 |
| 2006 |
|---|
| 13 | EE | Gabriel Ciobanu,
Vladimir A. Zakharov:
Encoding Mobile Ambients into the pi -Calculus.
Ershov Memorial Conference 2006: 148-165 |
| 2005 |
|---|
| 12 | EE | Rimma I. Podlovchenko,
Dmitry M. Rusakov,
Vladimir A. Zakharov:
On the Equivalence Problem for Programs with Mode Switching.
CIAA 2005: 351-352 |
| 11 | EE | I. V. Konnov,
Vladimir A. Zakharov:
An Approach to the Verification of Symmetric Parameterized Distributed Systems.
Programming and Computer Software 31(5): 225-236 (2005) |
| 2004 |
|---|
| 10 | EE | Vladimir A. Zakharov,
Ivan Zakharyaschev:
On the Equivalence-Checking Problem for a Model of Programs Related with Multi-tape Automata.
CIAA 2004: 293-305 |
| 2003 |
|---|
| 9 | EE | Nikolay P. Varnovsky,
Vladimir A. Zakharov:
On the Possibility of Provably Secure Obfuscating Programs.
Ershov Memorial Conference 2003: 91-102 |
| 2001 |
|---|
| 8 | EE | Stanley Chow,
Yuan Xiang Gu,
Harold Johnson,
Vladimir A. Zakharov:
An Approach to the Obfuscation of Control-Flow of Sequential Computer Programs.
ISC 2001: 144-155 |
| 7 | EE | Vladimir A. Zakharov:
The Equivalence Problem for Computational Models: Decidable and Undecidable Cases.
MCU 2001: 133-152 |
| 6 | EE | Vladimir A. Zakharov:
Book Review: "Model Checking" by E. Clarke, O. Grumberg and D. A. Peled.
J. Log. Comput. 11(6): 962-964 (2001) |
| 2000 |
|---|
| 5 | | Vladimir A. Zakharov:
On the Decidability of the Equivalence Problem for Monadic Recursive Programs.
ITA 34(2): 157-172 (2000) |
| 1999 |
|---|
| 4 | | Vladimir A. Zakharov:
On the Decidability of the Equivalence Problem for Orthogonal Sequential Programs.
Grammars 2(3): 271-281 (1999) |
| 1998 |
|---|
| 3 | EE | Vladimir A. Zakharov:
An Efficient and Unified Approach to the Decidability of Equivalence of Propositional Programs.
ICALP 1998: 247-258 |
| 1997 |
|---|
| 2 | | Vladimir A. Zakharov:
Verification of PLTL Formulae by Means of Monotone Disjunctive Normal Forms.
LFCS 1997: 419-429 |
| 1987 |
|---|
| 1 | | Vladimir A. Zakharov:
To the Functional Equivalence of Turing Machines.
FCT 1987: 488-491 |
