СТ |
Схемы недетерминированных программ и их применение к динамической логике |
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 |
Ануреев И. С., Батура Т. В., Боровикова О. И., Загорулько Ю. А., Кононенко И. С., Марчук А. Г., Марчук П. А., Мурзин Ф. А., Сидорова Е. А., Шилов Н. В. |
Системная информатика |
- Марчук А. Г.
|
СО РАН, ИСИ СО РАН |
|
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 |