Вы здесь

Шилов Н. В.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Схемы недетерминированных программ и их применение к динамической логике 1983 Непомнящий В. А., Шилов Н. В. Применение методов математической логики: Тез.докл./III конф., Таллин 12.10.1993
СТ Недетерминированные схемы программ и динамические логики 1984 Непомнящий В. А., Шилов Н. В. ВЦ СО АН СССР Трансляция и преобразование программ 12.10.1993
СТ О пропозициональной динамической логике с зацикливанием 1986 Шилов Н. В. Новые методы конструирования программ 19.12.1992
А Программные логики и их применение к исследованию свойств процессов недетерминированных программ 1987 Шилов Н. В. 21025 21.09.1987
СТ Схемы недетерминированных программ и их отношение к динамической логике 1988 Непомнящий В. А., Шилов Н. В. Кибернетика 13.10.1993
СТ Тождества в системах алгоритмических алгебр и их отношение к динамической логике 1988 Непомнящий В. А., Шилов Н. В. Тез.докл. VIII Всесоюз. сем. "Параллельное программирование и высокопроизводительные структуры" 13.10.1993
СТ О схемном методе разрешения пропозициональных динамических логик 1988 Непомнящий В. А., Шилов Н. В. Тез.докл. II Всесоюз. конф. по прикладной логике 13.10.1993
СТ Доказательство завершаемости программ средствами динамической логики 1988 Шилов Н. В. Языки спецификаций и логическое программирование (Вычислительные системы) 12.12.1992
СТ Язык спецификации взаимодействую их процессов реального времени и их свойств 1989 Непомнящий В. А., Шилов Н. В. Архитектура, матобеспечение и средства интеллектуализации вычислительных систем 13.10.1993
СТ Язык спецификаций систем и свойств взаимодействую их процессов реального времени 1991 Непомнящий В. А., Шилов Н. В. Методы теоретического и системного программирования 27.10.1992
СТ Язык спецификаций систем и свойств взаимодействую их процессов реального времени 1991 Непомнящий В. А., Шилов Н. В. Методы теоретического и системного программирования 28.10.1992
СТ Реализация метода оценки формул пропозициональной динамической логики с неподвижными точками на конечных моделях 1993 Шилов Н. В., Шнайдер П. В. Проблемы теоретического и экспериментального программирования: Сборник научных трудов 10.05.1995
СТ Творческое наследие В.Э.Иткина 1993 Бульонков М. А., Городняя Л. В., Касьянов В. Н., Котляров В. П., Непомнящий В. А., Цейтлин Г. Е., Шилов Н. В. Кибернетика и системный анализ 19.08.1993
СТ REAL92: комбинированный язык спецификаций для систем и свойств взаимодействую их процессов реального времени 1993 Непомнящий В. А., Шилов Н. В. Программирование 21.03.1994
СТ Проблемно-ориентированная верификация спецификаций распределенных систем 1998 Козюра В. Е., Шилов Н. В. ИНПРИМ-98 27.06.1998
СТ Спецификация и верификация распределенных систем средствами языка Elementary_REAL 1999 Непомнящий В. А., Шилов Н. В., Бодин Е. В. Программирование 29.10.1999
СТ REAL: язык для спецификации и верификации систем реального времени 2000 Непомнящий В. А., Шилов Н. В., Бодин Е. В. Системная информатика 05.04.2001
СТ О программных логиках - просто 2002 Ии К., Шилов Н. В., Бодин Е. В. Системная информатика 22.03.2003
СТ Как найти монетку? 2004 Шилов Н. В., Шилова Е. К. ИСИ СО РАН Новосибирская школа программирования: перекличка времен 25.02.2005
П Проект верифицируюoего компилятора F@BOOL@. Часть 1: Об ее описание проекта F@BOOL@, его место в компонентном подходе к программированию. Язык Mini-Nil - прототип языка виртуальной машины проекта 2005 Бодин Е. В., Калинина Н. А., Шилов Н. В. ИСИ СО РАН 30.03.2006
П По какому предмету олимпиада? 2005 Бодин Е. В., Городняя Л. В., Шилов Н. В. ИСИ СО РАН 30.11.2005
П Проект верифицируюoего компилятора F@BOOL@: Часть II: Логические аннотации в языке MINI-NIL, их статическая семантика и семантика времени исполнения 2006 Бодин Е. В., Калинина Н. А., Шилов Н. В. ИСИ СО РАН 29.04.2007
СТ Верификация комбинированных логик знаний, действий и времени в моделях 2006 Гаранина Н. О., Шилов Н. В. Системная информатика Системная информатика 09.02.2007
СТ О генерации условий корректности для императивных программ 2008 Шилов Н. В., Ануреев И. С., Бодин Е. В. Программирование 26.01.2009
М Модели и методы построения информационных систем, основанных на формальных, логических и лингвстических подходах 2009 Ануреев И. С., Батура Т. В., Боровикова О. И., Загорулько Ю. А., Кононенко И. С., Марчук А. Г., Марчук П. А., Мурзин Ф. А., Сидорова Е. А., Шилов Н. В. Системная информатика
  1. Марчук А. Г.
СО РАН, ИСИ СО РАН 25.01.2011
СТ Пример верификации в проекте F@BOOL@, основанном на булевских решателях 2010 Шилов Н. В. Моделирование и анализ информационных систем 13.04.2011
СТ Пример верификации в проекте F@BOOL@ 2010 Шилов Н. В. Труды семинара 5-го международного симпозиума по компьютерным наукам в России 21.06.2010
СТ Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ 2011 Шилов Н. В. Моделирование и анализ информационных систем 14.02.2012
СТ Параллельное программирование среди других парадигм программирования 2011 Шилов Н. В., Городняя Л. В., Марчук А. Г. Прикладная информатика 29.03.2011
СТ Мультиагентная задача о роботах в пространстве: сложностной, информационный и криптографический аспекты 2013 Бернштейн А. Ю., Шилов Н. В. Моделирование и анализ информационных систем 22.04.2014
СТ Метод схем программ для пропозициональных программных логик за 30 лет 2016 Шилов Н. В., Шилова С. О., Бернштейн А. Ю. Программирование 08.10.2016

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри 1998 Непомнящий В. А., Алексеев Г. И., Быстров А. В., Куртов С. А., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г.
  1. Непомнящий В. А.
  2. Шилов Н. В.
ИСИ СО РАН 04.11.1998
СБ Программные семантики, спецификации и верификация: Тезисы докладов VIII Международного научно-исследовательского семинара, Москва, июнь 2017 2017
  1. Захаров В. А.
  2. Шилов Н. В.
МГУ 25.08.2017