Showing 1 - 20 results of 24 for search 'V.A. Zakharov', query time: 0.07s Refine Results
  1. 1
    Modeling and analysis of the behavior of successive reactive programs

    Modeling and analysis of the behavior of successive reactive programs by V. A. Zakharov

    Published 2018-10-01
    Get full text
    Article
  2. 2
    On the application of substitution algebra to program unification

    On the application of substitution algebra to program unification by V. A. Zakharov, T. A. Novikova

    Published 2018-10-01
    Get full text
    Article
  3. 3
    Program obfuscation as obstruction of program static analysis.

    Program obfuscation as obstruction of program static analysis. by K.S. Ivanov, V.A. Zakharov

    Published 2004-01-01
    Get full text
    Article
  4. 4
    Polynomial time algorithm for checking strong equivalence of program

    Polynomial time algorithm for checking strong equivalence of program by T. A. Novikova, V. A. Zakharov

    Published 2018-10-01
    Get full text
    Article
  5. 5
    Polynomial time algorithm for checking strong equivalence of program

    Polynomial time algorithm for checking strong equivalence of program by V. A. Zakharov, T. A. Novikova

    Published 2018-10-01
    Get full text
    Article
  6. 6
    The application of adaptive symmetry reduction for LTL model checking

    The application of adaptive symmetry reduction for LTL model checking by I. V. Konnov, V. A. Zakharov

    Published 2010-12-01
    Get full text
    Article
  7. 7
    On the verification of strictly deterministic behavior of Timed Finite State Machines

    On the verification of strictly deterministic behavior of Timed Finite State Machines by E. M. Vinarskii, V. A. Zakharov

    Published 2018-10-01
    Get full text
    Article
  8. 8
    Numerical calculation of heat transfer coefficient in cooled crescent gap of self-lubricating bearing

    Numerical calculation of heat transfer coefficient in cooled crescent gap of self-lubricating bearing by N. A. Raykovskiy, V. A. Zakharov

    Published 2019-11-01
    Get full text
    Article
  9. 9
    On the equivalence-checking problem for polysemantic models of sequential programs.

    On the equivalence-checking problem for polysemantic models of sequential programs. by I.M. Zakharyaschev, V.A. Zakharov

    Published 2004-01-01
    Get full text
    Article
  10. 10
    On the application of equivalence checking algorithms for program minimization

    On the application of equivalence checking algorithms for program minimization by V. A. Zakharov, V. V. Podymov

    Published 2018-10-01
    Get full text
    Article
  11. 11
    From the Editors of the Issue

    From the Editors of the Issue by V. A. Zakharov, N. V. Shilov

    Published 2021-12-01
    Get full text
    Article
  12. 12
    From the Editors of the Issue

    From the Editors of the Issue by V. A. Zakharov, N. V. Shilov

    Published 2020-12-01
    Get full text
    Article
  13. 13
    On the verification of asynchronous parameterized networks of communicating processes by model checking.

    On the verification of asynchronous parameterized networks of communicating processes by model checking. by I.V. Konnov, V.A. Zakharov

    Published 2007-01-01
    Get full text
    Article
  14. 14
    On the Minimization of Finite State Trans- ducers over Semigroups

    On the Minimization of Finite State Trans- ducers over Semigroups by V. A. Zakharov, G. G. Temerbekova

    Published 2016-12-01
    Get full text
    Article
  15. 15
    A polynomial algorithm for checking the equivalence in models of programs with commutation and vast operators

    A polynomial algorithm for checking the equivalence in models of programs with commutation and vast operators by V. V. Podymov, V. A. Zakharov

    Published 2018-10-01
    Get full text
    Article
  16. 16
    On the Update Problems for Software Defined Networks

    On the Update Problems for Software Defined Networks by V. A. Zakharov, E. V. Chemeritsky

    Published 2014-12-01
    Get full text
    Article
  17. 17
    A Formal Model and Verification Problems for Software Defined Networks

    A Formal Model and Verification Problems for Software Defined Networks by V. A. Zakharov, R. L. Smelyansky, E. V. Chemeritsky

    Published 2013-12-01
    Get full text
    Article
  18. 18
    A Formal Model and Verification Problems for Software Defined Networks

    A Formal Model and Verification Problems for Software Defined Networks by V. A. Zakharov, R. L. Smelyansky, E. V. Chemeritsky

    Published 2013-01-01
    Get full text
    Article
  19. 19
    Using algebraic models of programs for detecting metamorphic malwares

    Using algebraic models of programs for detecting metamorphic malwares by N.N. Kuzjurin, R.I. Podlovchenko, V.S. Scherbina, V.A. Zakharov

    Published 2007-01-01
    Get full text
    Article
  20. 20
    Neutron flux variations near the Earth’s crust. A possible tectonic activity detection

    Neutron flux variations near the Earth’s crust. A possible tectonic activity detection by B. M. Kuzhevskij, O. Yu. Nechaev, E. A. Sigaeva, V. A. Zakharov

    Published 2003-01-01
    Get full text
    Article

Search Tools: