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

В базах данных Math-Net.Ru
Публикаций: 18
Научных статей: 15

Статистика просмотров:
Эта страница:530
Страницы публикаций:2028
Полные тексты:643
Списки литературы:209
E-mail:

http://www.mathnet.ru/rus/person28065
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/238382

Публикации в базе данных Math-Net.Ru
1. О выразительных возможностях некоторых расширений линейной темпоральной логики
А. Р. Гнатенко, В. А. Захаров
Модел. и анализ информ. систем, 25:5 (2018),  506–524
2. On the verification of strictly deterministic behavior of timed finite state machines
E. M. Vinarskii, V. A. Zakharov
Труды ИСП РАН, 30:3 (2018),  325–340
3. On the model checking of finite state transducers over semigroups
A. R. Gnatenko, V. A. Zakharov
Труды ИСП РАН, 30:3 (2018),  303–324
4. О задаче минимизации последовательных программ
В. А. Захаров, Ш. Р. Жайлауова
Модел. и анализ информ. систем, 24:4 (2017),  415–433
5. О минимизации конечных автоматов-преобразователей над полугруппами
В. А. Захаров, Г. Г. Темербекова
Модел. и анализ информ. систем, 23:6 (2016),  741–753
6. VERMONT – средство верификации программно-конфигурируемых сетей
В. А. Захаров, В. С. Алтухов, В. В. Подымов, Е. В. Чемерицкий
Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2015, № 1(212),  74–87
7. Применение алгоритмов проверки эквивалентности для оптимизации программ
В. А. Захаров, В. В. Подымов
Труды ИСП РАН, 27:4 (2015),  145–174
8. Моделирование и анализ поведения последовательных реагирующих программ
В. А. Захаров
Труды ИСП РАН, 27:2 (2015),  221–250
9. О некоторых задачах реконфигурирования программно-конфигурируемых сетей
В. А. Захаров, Е. В. Чемерицкий
Модел. и анализ информ. систем, 21:6 (2014),  57–70
10. Формальная модель и задачи верификации программно-конфигурируемых сетей
В. А. Захаров, Р. Л. Смелянский, Е. В. Чемерицкий
Модел. и анализ информ. систем, 20:6 (2013),  36–51
11. Как разработать простое средство верификации систем реального времени
Д. Ю. Волканов, В. А. Захаров, Д. А. Зорин, И. В. Коннов, В. В. Подымов
Модел. и анализ информ. систем, 19:6 (2012),  45–56
12. Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени
И. В. Коннов, В. А. Захаров
Модел. и анализ информ. систем, 17:4 (2010),  78–87
13. Использование алгебраических моделей программ для обнаружения метаморфного вредоносного кода
Р. И. Подловченко, Н. Н. Кузюрин, В. С. Щербина, В. А. Захаров
Фундамент. и прикл. матем., 15:5 (2009),  181–198
14. О сложности задачи антиунификации
Е. В. Костылев, В. А. Захаров
Дискрет. матем., 20:1 (2008),  131–144
15. Аппроксимация абстрактных семантик формальными моделями программ
В. А. Захаров
Дискрет. матем., 10:4 (1998),  119–141

16. Даже простые процессы $\pi$-исчисления трудны для анализа
М. М. Аббас, В. А. Захаров
Модел. и анализ информ. систем, 25:6 (2018),  589–606
17. От редакторов специального выпуска
В. А. Захаров, Н. В. Шилов
Модел. и анализ информ. систем, 25:5 (2018),  463–464
18. От редактора специального выпуска
В. А. Захаров
Модел. и анализ информ. систем, 24:6 (2017),  675–676

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