The SCEAS System
| |||||||

## Search the dblp DataBase
Vladimir A. Zakharov:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Nikolay P. Varnovsky, Vladimir A. Zakharov
**On the Possibility of Provably Secure Obfuscating Programs.**[Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 2003, pp:91-102 [Conf] - Vladimir A. Zakharov
**To the Functional Equivalence of Turing Machines.**[Citation Graph (0, 0)][DBLP] FCT, 1987, pp:488-491 [Conf] - Vladimir A. Zakharov
**An Efficient and Unified Approach to the Decidability of Equivalence of Propositional Programs.**[Citation Graph (0, 0)][DBLP] ICALP, 1998, pp:247-258 [Conf] - Stanley Chow, Yuan Gu, Harold Johnson, Vladimir A. Zakharov
**An Approach to the Obfuscation of Control-Flow of Sequential Computer Programs.**[Citation Graph (0, 0)][DBLP] ISC, 2001, pp:144-155 [Conf] - Vladimir A. Zakharov
**Verification of PLTL Formulae by Means of Monotone Disjunctive Normal Forms.**[Citation Graph (0, 0)][DBLP] LFCS, 1997, pp:419-429 [Conf] - Vladimir A. Zakharov
**The Equivalence Problem for Computational Models: Decidable and Undecidable Cases.**[Citation Graph (0, 0)][DBLP] MCU, 2001, pp:133-152 [Conf] - Rimma I. Podlovchenko, Dmitry M. Rusakov, Vladimir A. Zakharov
**On the Equivalence Problem for Programs with Mode Switching.**[Citation Graph (0, 0)][DBLP] CIAA, 2005, pp:351-352 [Conf] - Vladimir A. Zakharov, Ivan Zakharyaschev
**On the Equivalence-Checking Problem for a Model of Programs Related with Multi-tape Automata.**[Citation Graph (0, 0)][DBLP] CIAA, 2004, pp:293-305 [Conf] - Vladimir A. Zakharov
**On the Decidability of the Equivalence Problem for Orthogonal Sequential Programs.**[Citation Graph (0, 0)][DBLP] Grammars, 1999, v:2, n:3, pp:271-281 [Journal] - Vladimir A. Zakharov
**On the Decidability of the Equivalence Problem for Monadic Recursive Programs.**[Citation Graph (0, 0)][DBLP] ITA, 2000, v:34, n:2, pp:157-172 [Journal] - Vladimir A. Zakharov
**Book Review: "Model Checking" by E. Clarke, O. Grumberg and D. A. Peled.**[Citation Graph (0, 0)][DBLP] J. Log. Comput., 2001, v:11, n:6, pp:962-964 [Journal] - I. V. Konnov, Vladimir A. Zakharov
**An Approach to the Verification of Symmetric Parameterized Distributed Systems.**[Citation Graph (0, 0)][DBLP] Programming and Computer Software, 2005, v:31, n:5, pp:225-236 [Journal] - Gabriel Ciobanu, Vladimir A. Zakharov
**Encoding Mobile Ambients into the**[Citation Graph (0, 0)][DBLP]*pi*-Calculus. Ershov Memorial Conference, 2006, pp:148-165 [Conf] - Nikolay Kuzurin, Alexander Shokurov, Nikolay P. Varnovsky, Vladimir A. Zakharov
**On the Concept of Software Obfuscation in Computer Security.**[Citation Graph (0, 0)][DBLP] ISC, 2007, pp:281-298 [Conf] **Anti-unification Algorithms and Their Applications in Program Analysis.**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |