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

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

Статистика просмотров:
Эта страница:541
Страницы публикаций:2101
Полные тексты:662
Списки литературы:213
E-mail:

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

Публикации в базе данных Math-Net.Ru
2018
1. А. Р. Гнатенко, В. А. Захаров, “О выразительных возможностях некоторых расширений линейной темпоральной логики”, Модел. и анализ информ. систем, 25:5 (2018),  506–524  mathnet
2. E. M. Vinarskii, V. A. Zakharov, “On the verification of strictly deterministic behavior of timed finite state machines”, Труды ИСП РАН, 30:3 (2018),  325–340  mathnet
3. A. R. Gnatenko, V. A. Zakharov, “On the model checking of finite state transducers over semigroups”, Труды ИСП РАН, 30:3 (2018),  303–324  mathnet
2017
4. В. А. Захаров, Ш. Р. Жайлауова, “О задаче минимизации последовательных программ”, Модел. и анализ информ. систем, 24:4 (2017),  415–433  mathnet  elib
2016
5. В. А. Захаров, Г. Г. Темербекова, “О минимизации конечных автоматов-преобразователей над полугруппами”, Модел. и анализ информ. систем, 23:6 (2016),  741–753  mathnet  mathscinet  elib
2015
6. В. А. Захаров, В. С. Алтухов, В. В. Подымов, Е. В. Чемерицкий, “VERMONT – средство верификации программно-конфигурируемых сетей”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2015, 1(212),  74–87  mathnet
7. В. А. Захаров, В. В. Подымов, “Применение алгоритмов проверки эквивалентности для оптимизации программ”, Труды ИСП РАН, 27:4 (2015),  145–174  mathnet  elib
8. В. А. Захаров, “Моделирование и анализ поведения последовательных реагирующих программ”, Труды ИСП РАН, 27:2 (2015),  221–250  mathnet  elib
2014
9. В. А. Захаров, Е. В. Чемерицкий, “О некоторых задачах реконфигурирования программно-конфигурируемых сетей”, Модел. и анализ информ. систем, 21:6 (2014),  57–70  mathnet
2013
10. В. А. Захаров, Р. Л. Смелянский, Е. В. Чемерицкий, “Формальная модель и задачи верификации программно-конфигурируемых сетей”, Модел. и анализ информ. систем, 20:6 (2013),  36–51  mathnet
2012
11. Д. Ю. Волканов, В. А. Захаров, Д. А. Зорин, И. В. Коннов, В. В. Подымов, “Как разработать простое средство верификации систем реального времени”, Модел. и анализ информ. систем, 19:6 (2012),  45–56  mathnet
2010
12. И. В. Коннов, В. А. Захаров, “Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени”, Модел. и анализ информ. систем, 17:4 (2010),  78–87  mathnet
2009
13. Р. И. Подловченко, Н. Н. Кузюрин, В. С. Щербина, В. А. Захаров, “Использование алгебраических моделей программ для обнаружения метаморфного вредоносного кода”, Фундамент. и прикл. матем., 15:5 (2009),  181–198  mathnet  mathscinet; R. I. Podlovchenko, N. N. Kuzyurin, V. S. Shcherbina, V. A. Zakharov, “Using algebraic models of programs for detecting metamorphic malwares”, J. Math. Sci., 172:5 (2011), 740–750  scopus
2008
14. Е. В. Костылев, В. А. Захаров, “О сложности задачи антиунификации”, Дискрет. матем., 20:1 (2008),  131–144  mathnet  mathscinet  zmath  elib; E. V. Kostylev, V. A. Zakharov, “On complexity of the anti-unification problem”, Discrete Math. Appl., 18:1 (2008), 85–98  scopus
1998
15. В. А. Захаров, “Аппроксимация абстрактных семантик формальными моделями программ”, Дискрет. матем., 10:4 (1998),  119–141  mathnet  mathscinet  zmath; V. A. Zakharov, “Approximation of abstract semantics by formal models of programs”, Discrete Math. Appl., 8:6 (1998), 611–635

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

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