Главные вкладки
Н.В. Шилов
1. Бернштейн А.Ю., Шилов Н.В. Мультиагентная задача о роботах в пространстве: сложностной, информационный и криптографический аспекты. Модел. и анализ информ. Систем, 2013, т.20(2), стр.34-53. Ресурс доступен на http://mais-journal.ru/jour/article/view/204/214. (РИНЦ, ВАК)
2. Shilov N.V., Satykbayeva A. Some Results on Multiagent Algorithms in Social Computing/Software Context. Information (ISSN 1343-4500), v.17(1), 2014, p.229-240. Черновик доступен на http://persons.iis.nsk.su/files/persons/pages/satekbarvashilovfin.pdf, аннотация – на http://search.proquest.com/openview/a1993fc9dea2c398c1078f1e43bc1417/1?pq-origsite=gscholar. (SCOPUS)
3. Shilov N.V. Teaching Formal Models of Concurrency Specification and Analysis. Модел. и анализ информ. систем, 2015, v.22(6), p.783-794. Ресурс доступен на http://mais-journal.ru/jour/article/view/295/298. (РИНЦ, ВАК)
4. Шилов Н.В., Шилова С.О., Бернштейн А.Ю. Метод схем программ для пропозициональных программных логик за 30 лет. Программирование, 2016, т.42(4), стр.69-92. (Есть английский перевод: Shilov N.V., Shilova S.O., Bernshtein A.Yu. Program Schemata Technique for Propositional Program Logics: A 30-Year History. Programming and Computer Software, v.42(4), 2016, p. 239–256. Ресурс доступен на http://link.springer.com/article/10.1134/S036176881604006X.) (Web of Science, SCOPUS)
Теория программирования, прикладная математическая логика.
