RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Шилов Николай Вячеславович

В базах данных Math-Net.Ru
Публикаций: 9
Научных статей: 8

Статистика просмотров:
Эта страница:194
Страницы публикаций:1105
Полные тексты:383
Списки литературы:128
доцент
кандидат физико-математических наук
E-mail:

http://www.mathnet.ru/rus/person63696
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
http://orcid.org/0000-0001-7515-9647

Публикации в базе данных Math-Net.Ru
2018
1. Н. В. Шилов, Д. А. Кондратьев, И. С. Ануреев, Е. В. Бодин, А. В. Промский, “Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня”, Модел. и анализ информ. систем, 25:6 (2018),  637–666  mathnet
2. N. V. Shilov, “Etude on recursion elimination”, Модел. и анализ информ. систем, 25:5 (2018),  549–560  mathnet
2015
3. N. V. Shilov, “Teaching formal models of concurrency specification and analysis”, Модел. и анализ информ. систем, 22:6 (2015),  783–794  mathnet  mathscinet  elib
2013
4. А. Ю. Бернштейн, Н. В. Шилов, “Мультиагентная задача о роботах в пространстве: сложностно́й, информационный и криптографический аспекты”, Модел. и анализ информ. систем, 20:2 (2013),  34–53  mathnet
2012
5. А. Ю. Бернштейн, Н. В. Шилов, “Мультиагентная задача о роботах в пространстве: информационный и криптографический аспекты”, ПДМ. Приложение, 2012, 5,  61–63  mathnet
2011
6. Н. В. Шилов, “Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ”, Модел. и анализ информ. систем, 18:4 (2011),  168–180  mathnet
7. Е. В. Бодин, Н. О. Гаранина, Н. В. Шилов, “Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры)”, Модел. и анализ информ. систем, 18:2 (2011),  113–128  mathnet
2010
8. Н. В. Шилов, “Пример верификации в проекте F@BOOL@, основанном на булевских решателях”, Модел. и анализ информ. систем, 17:4 (2010),  111–124  mathnet

2018
9. В. А. Захаров, Н. В. Шилов, “От редакторов специального выпуска”, Модел. и анализ информ. систем, 25:5 (2018),  463–464  mathnet

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019