Вы здесь

Гаранина Н. О.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Дедуктивная верификация Reflex-программ 2020 Ануреев И. С., Гаранина Н. О., Лях Т.В., Розов А.С., Зюбин В. Е., Горлач С.П. Программирование 17.08.2020
СТ Моделирование аргументации в научно-популярном дискурсе с использованием онтологий 2019 Загорулько Ю. А., Гаранина Н. О., Боровикова О. И., Доманов О.А. Онтология проектирования 17.01.2020
СТ Мульти-агентный подход к разрешению кореференции на основе многофакторного сходства при пополнении онтологий 2018 Гаранина Н. О., Сидорова Е. А., Серый Е. С. Программирование 28.04.2018
СТ Разрешение конфликтов в мультиагентной системе с типизированными связями для пополнения онтологий 2016 Гаранина Н. О., Сидорова Е. А., Ануреев И. С. Программирование 06.10.2016
СТ Пополнение онтологий на основе алгебраического формализма информационных систем и мультиагентных алгоритмов анализа текста 2015 Гаранина Н. О., Сидорова Е. А. Программирование 22.07.2015
СТ Верификация алгоритмов мультиагентного анализа данных с помо ью системы проверки моделей SPIN 2014 Гаранина Н. О., Бодин Е. В., Сидорова Е. А. Моделирование и анализ информационных систем 23.05.2015
СТ Об ие знания в хорошо структурированных системах с абсолютной памятью 2013 Гаранина Н. О. Моделирование и анализ информационных систем 23.04.2014
СТ Экспоненциальное улучшение временной сложности проверки моделей для мультиагентных систем с абсолютной памятью 2012 Гаранина Н. О. Программирование 11.01.2013
СТ Экспоненциальное улучшение временной сложности проверки моделей для мультиагентных систем с абсолютной памятью 2012 Гаранина Н. О. Программирование 10.01.2013
СТ Оптимизационные процедуры в аффинной проверке моделей 2011 Гаранина Н. О. Моделирование и анализ информационных систем 13.02.2012
СТ Проверка моделей распределенных систем с помо ью афинного представления данных 2010 Гаранина Н. О. Труды семинара 5-го международного симпозиума по компьютерным наукам в России 21.06.2010
СТ Верификация комбинированных логик знаний, действий и времени в моделях 2006 Гаранина Н. О., Шилов Н. В. Системная информатика Системная информатика 09.02.2007
СТ Алгоритмы проверки мультиагентных моделей, основанные на теории хорошо структурированных систем 2006 Гаранина Н. О. Технологии Microsoft в теории и практике программирования 01.04.2006
А Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий 2004 Гаранина Н. О. 26.11.2004
П Аффинное представление данных для проверки моделей программ 2004 Гаранина Н. О. 16.07.2004
СТ Аффинная проверка моделей программ 2004 Гаранина Н. О. Тезисы докладов конференции-конкурса "Технологии Microsoft в информатике и программировании" 02.03.2004