Шилов Николай Вячеславович

Публикации в базе данных Math-Net.Ru

1. Алгоритмы для BDI-агентов, основанные на знаниях
   
   Модел. и анализ информ. систем, 27:4 (2020),  442–453
2. Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня
   
   Модел. и анализ информ. систем, 25:6 (2018),  637–666
3. Etude on recursion elimination
   
   Модел. и анализ информ. систем, 25:5 (2018),  549–560
4. Teaching formal models of concurrency specification and analysis
   
   Модел. и анализ информ. систем, 22:6 (2015),  783–794
5. Мультиагентная задача о роботах в пространстве: сложностно́й, информационный и криптографический аспекты
   
   Модел. и анализ информ. систем, 20:2 (2013),  34–53
6. Мультиагентная задача о роботах в пространстве: информационный и криптографический аспекты
   
   ПДМ. Приложение, 2012, № 5,  61–63
7. Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ
   
   Модел. и анализ информ. систем, 18:4 (2011),  168–180
8. Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры)
   
   Модел. и анализ информ. систем, 18:2 (2011),  113–128
9. Пример верификации в проекте F@BOOL@, основанном на булевских решателях
   
   Модел. и анализ информ. систем, 17:4 (2010),  111–124


10. Борис Абрамович Трахтенброт (к столетию со дня рождения)
    
    УМН, 77:1(463) (2022),  191–195
11. От редакторов выпуска
    
    Модел. и анализ информ. систем, 28:4 (2021),  322–324
12. От редакторов выпуска
    
    Модел. и анализ информ. систем, 27:4 (2020),  372–374
13. От редакторов выпуска
    
    Модел. и анализ информ. систем, 26:4 (2019),  473–474
14. От редакторов специального выпуска
    
    Модел. и анализ информ. систем, 25:5 (2018),  463–464