RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Захаров Владимир Анатольевич

В базах данных Math-Net.Ru
Публикаций: 11
Научных статей: 11
Цитированных статей: 3
Ссылок в Math-Net.Ru: 4

Статистика просмотров:
Эта страница:400
Страницы публикаций:1339
Полные тексты:458
Списки литературы:107
E-mail:

http://www.mathnet.ru/rus/person28065
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
http://www.ams.org/mathscinet/search/author.html?return=viewitems&mrauthid=238382

Публикации в базе данных Math-Net.Ru
1. О задаче минимизации последовательных программ
В. А. Захаров, Ш. Р. Жайлауова
Модел. и анализ информ. систем, 24:4 (2017),  415–433
2. О минимизации конечных автоматов-преобразователей над полугруппами
В. А. Захаров, Г. Г. Темербекова
Модел. и анализ информ. систем, 23:6 (2016),  741–753
3. VERMONT – средство верификации программно-конфигурируемых сетей
В. А. Захаров, В. С. Алтухов, В. В. Подымов, Е. В. Чемерицкий
Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2015, № 1(212),  74–87
4. Применение алгоритмов проверки эквивалентности для оптимизации программ
В. А. Захаров, В. В. Подымов
Труды ИСП РАН, 27:4 (2015),  145–174
5. Моделирование и анализ поведения последовательных реагирующих программ
В. А. Захаров
Труды ИСП РАН, 27:2 (2015),  221–250
6. О некоторых задачах реконфигурирования программно-конфигурируемых сетей
В. А. Захаров, Е. В. Чемерицкий
Модел. и анализ информ. систем, 21:6 (2014),  57–70
7. Формальная модель и задачи верификации программно-конфигурируемых сетей
В. А. Захаров, Р. Л. Смелянский, Е. В. Чемерицкий
Модел. и анализ информ. систем, 20:6 (2013),  36–51
8. Как разработать простое средство верификации систем реального времени
Д. Ю. Волканов, В. А. Захаров, Д. А. Зорин, И. В. Коннов, В. В. Подымов
Модел. и анализ информ. систем, 19:6 (2012),  45–56
9. Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени
И. В. Коннов, В. А. Захаров
Модел. и анализ информ. систем, 17:4 (2010),  78–87
10. Использование алгебраических моделей программ для обнаружения метаморфного вредоносного кода
Р. И. Подловченко, Н. Н. Кузюрин, В. С. Щербина, В. А. Захаров
Фундамент. и прикл. матем., 15:5 (2009),  181–198
11. О сложности задачи антиунификации
Е. В. Костылев, В. А. Захаров
Дискрет. матем., 20:1 (2008),  131–144
12. Аппроксимация абстрактных семантик формальными моделями программ
В. А. Захаров
Дискрет. матем., 10:4 (1998),  119–141

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017