Shilov Nikolai Vyacheslavovich

Publications in Math-Net.Ru

1. Knowledge-based algorithms for BDI-agents
   
   Model. Anal. Inform. Sist., 27:4 (2020),  442–453
2. Platform-independent specification and verification of the standard mathematical square root function
   
   Model. Anal. Inform. Sist., 25:6 (2018),  637–666
3. Etude on recursion elimination
   
   Model. Anal. Inform. Sist., 25:5 (2018),  549–560
4. Teaching formal models of concurrency specification and analysis
   
   Model. Anal. Inform. Sist., 22:6 (2015),  783–794
5. “Robots in Space” Multiagent Problem: Complexity, Information and Cryptographic Aspects
   
   Model. Anal. Inform. Sist., 20:2 (2013),  34–53
6. “Robots in Space” multiagent problem: information and cryptographic aspects
   
   Prikl. Diskr. Mat. Suppl., 2012, no. 5,  61–63
7. Verification of backtracking and branch and bound design templates
   
   Model. Anal. Inform. Sist., 18:4 (2011),  168–180
8. Mars robot puzzle (a multiagent approach to the Dijkstra problem)
   
   Model. Anal. Inform. Sist., 18:2 (2011),  113–128
9. F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers
   
   Model. Anal. Inform. Sist., 17:4 (2010),  111–124


10. Boris Abramovich Trakhtenbrot (on the centenary of his birth)
    
    Uspekhi Mat. Nauk, 77:1(463) (2022),  191–195
11. From the editors of the issue
    
    Model. Anal. Inform. Sist., 28:4 (2021),  322–324
12. From the editors of the issue
    
    Model. Anal. Inform. Sist., 27:4 (2020),  372–374
13. From the editors of the issue
    
    Model. Anal. Inform. Sist., 26:4 (2019),  473–474
14. From the editors of the special issue
    
    Model. Anal. Inform. Sist., 25:5 (2018),  463–464