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

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

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


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