Захаров В.А.
(C) 2001

Захаров
Владимир Анатольевич

доцент

почтовый адрес: 141090, Моск.обл., г.Дубна, ул. Понтекорво 2, 54
электронный адрес: zakh@cs.msu.su
телефон (раб.): (095) 939 5392
факс: (095) 939 2596

области научных интересов

  • модели программ

    Рассматриваются модели последовательных, рекурсивных и параллельных программ. Исследуются проблемы эквивалентности и эквивалентных преобразований программ.

  • темпоральные логики

    Рассматриваются темпоральные логики линейного и ветвящегося времени. Проектируются алгоритмы и программы, разрешающие проблему выполнимости в этих логиках. Исследуются возможности применения темпоральных логик для спецификации и верификации параллельных и распределенных программных систем.

  • логическое программирование

    Разрабатываются и исследуются методы анализа логических программ

  • сети Петри

    Решаются задачи анализа сетей Петри. Исследуются возможности применения сетей Петри для моделирования параллельных и распределенных программных систем.

  • алгебры процессов

    Рассматриваются задачи, связанные с применением различных алгебр процессов для спецификации параллельных и распределенных программных систем.

лекционные курсы

PHOTO FOR IRINA MARTIN

избранные публикации

  1. Формальные модели программ и свободные схемы

    Программирование, 1992, N 2, с.10-24

  2. Об одном критерии сравнимости операторных формальных моделей программ

    Программирование, 1993, N 4, с.12-25

  3. О свободных схемах в формальных моделях программ

    Математические вопросы кибернетики, 1994, вып. 5, с.208-239

  4. Условия сглаживаемости операторных формальных моделей программ

    Программирование, 1994, N 5, с.23-40

  5. О преобразованиях операторных процедур в логические программы

    Программирование, 1994, N 6, с.23-39 (совм. с С.И.Маневичем)

  6. Об отношении аппроксимируемости семантик операторных программ

    Вестник Московского университета, сер. 15, Вычислительная математика и кибернетика, 1994, N 4, с.54-60

  7. О взаимосвязи двух семантик параллельных вычислений (ps)

    Программирование, 1997, N 6, с.36-48 (совм. с В.В.Спанопуло)

  8. To the Relationship between the Interleaving and Causal Models of Parallel Computations (ps)

    Advances in Modal Logic'96, CSLI Publications,1997, p.221-232 (совм. с В.В.Спанопуло)

  9. On the verification of PLTL formulae by means of monotone disjunctive normal forms (ps)

    Lecture Notes in Computer Science, Springer-Verlag, 1997, v.1234, p.419-429

  10. Полиномиальный алгоритм разрешения проблемы эквивалентности унарных линейных рекурсивных схем программ (ps)

    Сборник трудов II Международной конференции "Дискретные модели в теории управляющих систем", Красновидово-97, с.26-29

  11. О проблеме эквивалентности операторных схем на упорядоченных полугрупповых моделях (ps)

    Сборник трудов III Международной конференции "Дискретные модели в теории управляющих систем", Красновидово-98, с.36-40

  12. О моделях систем взаимодействующих операторных программ моделях (ps)

    Сборник трудов III Международной конференции "Дискретные модели в теории управляющих систем", Красновидово-98, с.36-40 (совм. с И.К.Незнановым)

  13. О восстановлении процесса по последовательности срабатывания переходов сети Петри (ps)

    Вестник Московского университета, сер. 15, Вычислительная математика и кибернетика, 1998, N 4, с.31-34

  14. Полиномиальный по сложности алгоритм, распознающий коммутативную эквивалентность схем программ (ps)

    Доклады РАН, 1998, т. 362, N 6 (совм. с Р.И.Подловченко)

  15. Эффективные алгоритмы проверки выполнимости формул темпоральной логики CTL и их применение для верификации параллельных программ (ps)

    Программирование, 1998, N 4 (совм. с Д.В.Царьковым)

  16. An Efficient and Unified Approac to the Decidability of Equivalence of Propositional Program Schemes (ps)

    Lecture Notes in Computer Science, Springer-Verlag, 1998, v.1443, p.247-259.

  17. Быстрые алгоритмы разрешения эквивалентности операторных программ на упорядоченных шкалах (ps)

    Математические вопросы кибернетики, 1998, вып. 7, с.303-324

  18. Аппроксимация абстрактных семантик формальными моделями программ

    Дискретная математика, 1998, том 10, вып. 4, с.119-141

  19. Об эффективной разрешимости проблемы эквивалентности линейных унарных рекурсивных программ (ps)

    Математические вопросы кибернетики, 1999, вып. 8, с.255-273

  20. On the refinement of logic programs by means of anti-unification (ps)

    Proceedings of the 2nd Panhellenic Logic Symposium, Delphi, Greece, 1999, p.219-224.

  21. Быстрые алгоритмы разрешения эквивалентности пропозициональных операторных программ на упорядоченных полугрупповых шкалах (ps)

    Вестник Московского университета, сер. 15, Вычислительная математика и кибернетика, 1999, N 3, с.29-35

  22. О разрешимости проблемы эквивалентности в одном классе операторных программ (ps)

    Сборник "Прикладная математика и информатика", Изд-во ВМиК МГУ, 1999, вып. 5 с.99-100

  23. On the decidability of the equivalence problem for orthogonal sequential programs (ps)

    Grammars, Kluer Academic Publishers, 1999, v.2, N 3, p.271-281

  24. Общие методы построения разрешающих алгоритмов для проблемы эквивалентности пропозициональных операторных программ (ps)

    Сборник трудов IV Международной конференции "Дискретные модели в теории управляющих систем", Красновидово-00, с.25-29

  25. О разрешимости проблемы эквивалентности в одном классе металинейных унарных рекурсивных программ (ps)

    Сборник трудов IV Международной конференции "Дискретные модели в теории управляющих систем", Красновидово-00, с.29-31 (совм. К.А.Соколова)

  26. О проблеме эквивалентности для схем программ с операторами засылки констант (ps)

    Сборник трудов IV Международной конференции "Дискретные модели в теории управляющих систем", Красновидово-00, с.153-154

  27. On the Decidability of the Equivalence Problem for Monadic Recursive Programs (ps)

    Theoretical Information and Applications, 2000, v.34, N 2, p.157-171

студенты и аспиранты