Н.В. Шилов

Аватар пользователя Н.В. Шилов
Николай
Вячеславович
Шилов
Место работы, город: 
Иннополис Университет, г. Иннополис
Степень: 
к.ф.-м.н.
Должность, звание: 
с.н.с., с.н.с.
Публикации: 

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)

Область экспертизы: 

Теория программирования, прикладная математическая логика.

Дополнительные сведения: 
SCOPUS Author ID: 8403015400    
ORCID Author ID: 0000-0001-7515-9647 
ResearcherID: F-9116-2012