|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2021 |
| 1. |
А. Р. Гнатенко, В. А. Захаров, “О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени”, Модел. и анализ информ. систем, 28:4 (2021), 356–371  |
|
2020 |
| 2. |
А. Р. Гнатенко, В. А. Захаров, “О задаче верификации моделей программ для одного расширения логики CTL*”, Модел. и анализ информ. систем, 27:4 (2020), 428–441 |
1
|
| 3. |
Е. М. Винарский, В. А. Захаров, “О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени”, Модел. и анализ информ. систем, 27:4 (2020), 396–411 |
| 4. |
В. А. Захаров, “Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов”, Модел. и анализ информ. систем, 27:3 (2020), 260–303 |
|
2019 |
| 5. |
А. В. Шокуров, И. В. Абрамова, Н. П. Варновский, В. А. Захаров, “О возможности стойкой обфускации программ в одной модели облачных вычислений”, Труды ИСП РАН, 31:6 (2019), 145–162 |
|
2018 |
| 6. |
А. Р. Гнатенко, В. А. Захаров, “О выразительных возможностях некоторых расширений линейной темпоральной логики”, Модел. и анализ информ. систем, 25:5 (2018), 506–524 |
1
|
| 7. |
E. M. Vinarskii, V. A. Zakharov, “On the verification of strictly deterministic behavior of timed finite state machines”, Труды ИСП РАН, 30:3 (2018), 325–340  |
5
|
| 8. |
A. R. Gnatenko, V. A. Zakharov, “On the model checking of finite state transducers over semigroups”, Труды ИСП РАН, 30:3 (2018), 303–324 |
6
|
|
2017 |
| 9. |
В. А. Захаров, Ш. Р. Жайлауова, “О задаче минимизации последовательных программ”, Модел. и анализ информ. систем, 24:4 (2017), 415–433 |
3
|
|
2016 |
| 10. |
В. А. Захаров, Г. Г. Темербекова, “О минимизации конечных автоматов-преобразователей над полугруппами”, Модел. и анализ информ. систем, 23:6 (2016), 741–753  |
3
|
|
2015 |
| 11. |
В. А. Захаров, В. С. Алтухов, В. В. Подымов, Е. В. Чемерицкий, “VERMONT – средство верификации программно-конфигурируемых сетей”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2015, № 1(212), 74–87 |
| 12. |
В. А. Захаров, В. В. Подымов, “Применение алгоритмов проверки эквивалентности для оптимизации программ”, Труды ИСП РАН, 27:4 (2015), 145–174 |
2
|
| 13. |
В. А. Захаров, “Моделирование и анализ поведения последовательных реагирующих программ”, Труды ИСП РАН, 27:2 (2015), 221–250 |
2
|
|
2014 |
| 14. |
В. А. Захаров, Е. В. Чемерицкий, “О некоторых задачах реконфигурирования программно-конфигурируемых сетей”, Модел. и анализ информ. систем, 21:6 (2014), 57–70 |
|
2013 |
| 15. |
В. А. Захаров, Р. Л. Смелянский, Е. В. Чемерицкий, “Формальная модель и задачи верификации программно-конфигурируемых сетей”, Модел. и анализ информ. систем, 20:6 (2013), 36–51 |
2
|
|
2012 |
| 16. |
Д. Ю. Волканов, В. А. Захаров, Д. А. Зорин, И. В. Коннов, В. В. Подымов, “Как разработать простое средство верификации систем реального времени”, Модел. и анализ информ. систем, 19:6 (2012), 45–56 |
|
2010 |
| 17. |
И. В. Коннов, В. А. Захаров, “Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени”, Модел. и анализ информ. систем, 17:4 (2010), 78–87 |
|
2009 |
| 18. |
Р. И. Подловченко, Н. Н. Кузюрин, В. С. Щербина, В. А. Захаров, “Использование алгебраических моделей программ для обнаружения метаморфного вредоносного кода”, Фундамент. и прикл. матем., 15:5 (2009), 181–198 ; 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  |
|
2008 |
| 19. |
Е. В. Костылев, В. А. Захаров, “О сложности задачи антиунификации”, Дискрет. матем., 20:1 (2008), 131–144  ; E. V. Kostylev, V. A. Zakharov, “On complexity of the anti-unification problem”, Discrete Math. Appl., 18:1 (2008), 85–98 |
4
|
|
1998 |
| 20. |
В. А. Захаров, “Аппроксимация абстрактных семантик формальными моделями программ”, Дискрет. матем., 10:4 (1998), 119–141 ; V. A. Zakharov, “Approximation of abstract semantics by formal models of programs”, Discrete Math. Appl., 8:6 (1998), 611–635 |
|
1989 |
| 21. |
В. А. Захаров, “Автоматные модели программ”, Докл. АН СССР, 309:1 (1989), 24–27 ; V. A. Zakharov, “Automata models of programs”, Dokl. Math., 40:3 (1990), 462–465 |
1
|
|
1986 |
| 22. |
В. А. Захаров, “Автоматные модели машин Тьюринга”, Докл. АН СССР, 291:2 (1986), 280–284 |
|
|
|
2021 |
| 23. |
В. А. Захаров, Н. В. Шилов, “От редакторов выпуска”, Модел. и анализ информ. систем, 28:4 (2021), 322–324 |
|
2020 |
| 24. |
В. А. Захаров, Н. В. Шилов, “От редакторов выпуска”, Модел. и анализ информ. систем, 27:4 (2020), 372–374 |
|
2019 |
| 25. |
В. А. Захаров, Н. В. Шилов, “От редакторов выпуска”, Модел. и анализ информ. систем, 26:4 (2019), 473–474 |
|
2018 |
| 26. |
М. М. Аббас, В. А. Захаров, “Даже простые процессы $\pi$-исчисления трудны для анализа”, Модел. и анализ информ. систем, 25:6 (2018), 589–606 |
| 27. |
В. А. Захаров, Н. В. Шилов, “От редакторов специального выпуска”, Модел. и анализ информ. систем, 25:5 (2018), 463–464 |
|
2017 |
| 28. |
В. А. Захаров, “От редактора специального выпуска”, Модел. и анализ информ. систем, 24:6 (2017), 675–676 |
|
Обратная связь: