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

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

Статистика просмотров:
Эта страница:720
Страницы публикаций:3174
Полные тексты:1205
Списки литературы:283
E-mail:

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

Публикации в базе данных Math-Net.Ru
2019
1. А. В. Шокуров, И. В. Абрамова, Н. П. Варновский, В. А. Захаров, “О возможности стойкой обфускации программ в одной модели облачных вычислений”, Труды ИСП РАН, 31:6 (2019),  145–162  mathnet
2018
2. А. Р. Гнатенко, В. А. Захаров, “О выразительных возможностях некоторых расширений линейной темпоральной логики”, Модел. и анализ информ. систем, 25:5 (2018),  506–524  mathnet
3. E. M. Vinarskii, V. A. Zakharov, “On the verification of strictly deterministic behavior of timed finite state machines”, Труды ИСП РАН, 30:3 (2018),  325–340  mathnet  elib
4. A. R. Gnatenko, V. A. Zakharov, “On the model checking of finite state transducers over semigroups”, Труды ИСП РАН, 30:3 (2018),  303–324  mathnet  elib
2017
5. В. А. Захаров, Ш. Р. Жайлауова, “О задаче минимизации последовательных программ”, Модел. и анализ информ. систем, 24:4 (2017),  415–433  mathnet  elib
2016
6. В. А. Захаров, Г. Г. Темербекова, “О минимизации конечных автоматов-преобразователей над полугруппами”, Модел. и анализ информ. систем, 23:6 (2016),  741–753  mathnet  mathscinet  elib
2015
7. В. А. Захаров, В. С. Алтухов, В. В. Подымов, Е. В. Чемерицкий, “VERMONT – средство верификации программно-конфигурируемых сетей”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2015, 1(212),  74–87  mathnet
8. В. А. Захаров, В. В. Подымов, “Применение алгоритмов проверки эквивалентности для оптимизации программ”, Труды ИСП РАН, 27:4 (2015),  145–174  mathnet  elib
9. В. А. Захаров, “Моделирование и анализ поведения последовательных реагирующих программ”, Труды ИСП РАН, 27:2 (2015),  221–250  mathnet  elib
2014
10. В. А. Захаров, Е. В. Чемерицкий, “О некоторых задачах реконфигурирования программно-конфигурируемых сетей”, Модел. и анализ информ. систем, 21:6 (2014),  57–70  mathnet
2013
11. В. А. Захаров, Р. Л. Смелянский, Е. В. Чемерицкий, “Формальная модель и задачи верификации программно-конфигурируемых сетей”, Модел. и анализ информ. систем, 20:6 (2013),  36–51  mathnet
2012
12. Д. Ю. Волканов, В. А. Захаров, Д. А. Зорин, И. В. Коннов, В. В. Подымов, “Как разработать простое средство верификации систем реального времени”, Модел. и анализ информ. систем, 19:6 (2012),  45–56  mathnet
2010
13. И. В. Коннов, В. А. Захаров, “Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени”, Модел. и анализ информ. систем, 17:4 (2010),  78–87  mathnet
2009
14. Р. И. Подловченко, Н. Н. Кузюрин, В. С. Щербина, В. А. Захаров, “Использование алгебраических моделей программ для обнаружения метаморфного вредоносного кода”, Фундамент. и прикл. матем., 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
15. Е. В. Костылев, В. А. Захаров, “О сложности задачи антиунификации”, Дискрет. матем., 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
16. В. А. Захаров, “Аппроксимация абстрактных семантик формальными моделями программ”, Дискрет. матем., 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
1989
17. В. А. Захаров, “Автоматные модели программ”, Докл. АН СССР, 309:1 (1989),  24–27  mathnet  mathscinet  zmath; V. A. Zakharov, “Automata models of programs”, Dokl. Math., 40:3 (1990), 462–465
1986
18. В. А. Захаров, “Автоматные модели машин Тьюринга”, Докл. АН СССР, 291:2 (1986),  280–284  mathnet  mathscinet  zmath

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

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