Showing 1 - 8 results of 8 for search 'N. V. Shilov', query time: 0.16s Refine Results
  1. 1
    F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers

    F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers by N. V. Shilov

    Published 2010-12-01
    Get full text
    Article
  2. 2
    Verification of Backtracking and Branch and Bound Design Templates

    Verification of Backtracking and Branch and Bound Design Templates by N. V. Shilov

    Published 2011-12-01
    Get full text
    Article
  3. 3
    Teaching Formal Models of Concurrency Specification and Analysis

    Teaching Formal Models of Concurrency Specification and Analysis by N. V. Shilov

    Published 2015-12-01
    Get full text
    Article
  4. 4
    “Robots in Space” Multiagent Problem: Complexity, Information and Cryptographic Aspects

    “Robots in Space” Multiagent Problem: Complexity, Information and Cryptographic Aspects by A. Yu. Bernstein, N. V. Shilov

    Published 2013-01-01
    Get full text
    Article
  5. 5
    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
  6. 6
    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
  7. 7
    “Robots in Space” Multiagent Problem: Complexity, Information and Cryptographic Aspects

    “Robots in Space” Multiagent Problem: Complexity, Information and Cryptographic Aspects by A. Yu. Bernstein, N. V. Shilov

    Published 2013-04-01
    Get full text
    Article
  8. 8
    Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem)

    Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem) by E. V. Bodin, N. O. Garanina, N. V. Shilov

    Published 2011-06-01
    Get full text
    Article

Search Tools: