|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2020 |
1. |
Н. В. Шилов, Н. О. Гаранина, “Алгоритмы для BDI-агентов, основанные на знаниях”, Модел. и анализ информ. систем, 27:4 (2020), 442–453 |
|
2018 |
2. |
Н. В. Шилов, Д. А. Кондратьев, И. С. Ануреев, Е. В. Бодин, А. В. Промский, “Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня”, Модел. и анализ информ. систем, 25:6 (2018), 637–666 |
2
|
3. |
N. V. Shilov, “Etude on recursion elimination”, Модел. и анализ информ. систем, 25:5 (2018), 549–560 |
|
2015 |
4. |
N. V. Shilov, “Teaching formal models of concurrency specification and analysis”, Модел. и анализ информ. систем, 22:6 (2015), 783–794 |
|
2013 |
5. |
А. Ю. Бернштейн, Н. В. Шилов, “Мультиагентная задача о роботах в пространстве: сложностно́й, информационный и криптографический аспекты”, Модел. и анализ информ. систем, 20:2 (2013), 34–53 |
|
2012 |
6. |
А. Ю. Бернштейн, Н. В. Шилов, “Мультиагентная задача о роботах в пространстве: информационный и криптографический аспекты”, ПДМ. Приложение, 2012, № 5, 61–63 |
|
2011 |
7. |
Н. В. Шилов, “Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ”, Модел. и анализ информ. систем, 18:4 (2011), 168–180 |
8. |
Е. В. Бодин, Н. О. Гаранина, Н. В. Шилов, “Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры)”, Модел. и анализ информ. систем, 18:2 (2011), 113–128 |
2
|
|
2010 |
9. |
Н. В. Шилов, “Пример верификации в проекте F@BOOL@, основанном на булевских решателях”, Модел. и анализ информ. систем, 17:4 (2010), 111–124 |
|
|
|
2022 |
10. |
С. Н. Артемов, Я. М. Барздинь, Л. А. Бокуть, Ю. Ш. Гуревич, А. М. Дехтярь, Л. А. Левин, И. А. Ломазова, Ю. В. Матиясевич, В. А. Непомнящий, С. П. Новиков, А. Рабинович, В. Ю. Сазонов, А. О. Слисенко, В. А. Соколов, М. Б. Трахтенброт, Н. В. Шилов, “Борис Абрамович Трахтенброт (к столетию со дня рождения)”, УМН, 77:1(463) (2022), 191–195 ; S. N. Artemov, J. M. Barzdiņš, L. A. Bokut', Yu. Gurevich, A. M. Dekhtyar', L. A. Levin, I. A. Lomazova, Yu. V. Matiyasevich, V. A. Nepomnyashchii, S. P. Novikov, A. Rabinovich, V. Yu. Sazonov, A. O. Slisenko, V. A. Sokolov, M. B. Trakhtenbrot, N. V. Shilov, “Boris Abramovich Trakhtenbrot (on the centenary of his birth)”, Russian Math. Surveys, 77:1 (2022), 183–188 |
|
2021 |
11. |
В. А. Захаров, Н. В. Шилов, “От редакторов выпуска”, Модел. и анализ информ. систем, 28:4 (2021), 322–324 |
|
2020 |
12. |
В. А. Захаров, Н. В. Шилов, “От редакторов выпуска”, Модел. и анализ информ. систем, 27:4 (2020), 372–374 |
|
2019 |
13. |
В. А. Захаров, Н. В. Шилов, “От редакторов выпуска”, Модел. и анализ информ. систем, 26:4 (2019), 473–474 |
|
2018 |
14. |
В. А. Захаров, Н. В. Шилов, “От редакторов специального выпуска”, Модел. и анализ информ. систем, 25:5 (2018), 463–464 |
|