Теоретическая информатика


Публикации

2015

  1. В.А.Захаров, В.В. Подымов Применение алгоритмов проверки эквивалентности для оптимизации программ Труды Института системного программирования РАН. Том 27, выпуск 4, 2015 г. Стр. 145-174.
  2. A.С. Асратян, Н.Н. Кузюрин Приближенный алгоритм для хроматической раскраски двудольных графов за полиномиальное в среднем время Труды Института системного программирования РАН. Том 27, выпуск 5, 2015 г. Стр. 191-198.
  3. Д.А. Грушин, Н.Н Кузюрин Балансировка нагрузки в системе Unihub на основе предсказания поведения пользователей Труды Института системного программирования РАН. Том 27, выпуск 5, 2015 г. Стр. 23-34.

2014

  1. Захаров В.А. Об эквивалентности потоковых программ. Материалы XI Международного семинара «Дискретная математика и ее приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.), 2014, Изд-во механико-математического ф-та МГУ Москва, с. 119-121.
  2. Новикова Т.А., Захаров В.А. О сложности задачи решения линейных уравнений над конечными подстановками. Материалы XVII международной конференции «Проблемы теоретической кибернетики», 2014, Отечество Казань, с. 221-223.
  3. Захаров В.А. Об эквивалентности ограниченно недетерминированных автоматов-преобразователей над полугруппами. Материалы XVII международной конференции «Проблемы теоретической кибернетики», 2014, Отечество Казань, с. 100-102.
  4. Захаров В.А., Чемерицкий Е.В. О некоторых задачах реконфигурирования программно-конфигурируемых сетей. Моделирование и анализ информационных систем, 2014, том 21, № 6, с. 57-69.
  5. Н.Н. Кузюрин, Д.А. Грушин, А. Фомин. Проблемы двумерной упаковки и задачи оптимизации в распределенных вычислительных системах. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 483-502.
  6. Т.А. Новикова, В.А.Захаров. Двусторонняя унификация программ и ее применение для задач рефакторинга. Труды Института системного программирования РАН. Том 26, выпуск 2, 2014 г. Стр. 245-268.
  7. Варновский Н.П., Мартишин С.А., Храпченко М.В., Шокуров А.В. Методы пороговой криптографии для защиты облачных вычислений. Труды Института системного программирования РАН. Том 26, выпуск 2, 2014 г. Стр. 269-274.
  8. В.В. Подымов, В.А.Захаров. Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами. Труды Института системного программирования РАН. Том 26, выпуск 3, 2014 г. Стр. 145-166.
  9. Н.П. Варновский, В.А.Захаров, Н.Н. Кузюрин, А.В. Шокуров. Современное состояние исследований в области обфускации программ: определения стойкости обфускации. Труды Института системного программирования РАН. Том 26, выпуск 3, 2014 г. Стр. 167-198.

2013

  1. Захаров В.А., Смелянский Р.Л., Чемерицкий Е.В. Формальная модель и задачи верификации программно-конфигурируемых сетей. Моделирование и анализ информационных систем, 2013, том 20, № 6, с. 33-48.
  2. Подловченко Р.И., Захаров В.А. О двух методах распознавания эквивалентности в алгебраических моделях программ. Интеллектуальные системы, 2013, том 17, № 1-4, с. 366-370.
  3. Шокуров А.В. Нахождение корней систем алгебраических уравнений с помощью базиса Гребнера. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 195-206.

2012

  1. Волканов Д.Ю., Захаров В.А., Зорин Д.А., Коннов И.В., Подымов В.В. Как разработать простое средство верификации систем реального времени. Моделирование и анализ информационных систем, 2012, том 19, № 6, с. 45-56.
  2. Захаров В.А. Модели и алгоритмы в задаче проверки эквивалентности программ. Материалы XI Международного семинара «Дискретная математика и ее приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.), 2012, Изд-во механико-математического ф-та МГУ Москва, с. 53-62.
  3. Захаров В.А., Подымов В.В. Об эквивалентности металинейных унарных рекурсивных программ. Материалы XI Международного семинара «Дискретная математика и ее приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.), 2012, Изд-во механико-математического ф-та МГУ Москва, с. 157-159.
  4. Захаров В.А., Новикова Т.А. О логико-термальной эквивалентности стандартных схем программ. Материалы XI Международного семинара «Дискретная математика и ее приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.), 2014, Изд-во механико-математического ф-та МГУ Москва, с. 147-149.
  5. М.М. Берновский, Н.Н. Кузюрин. Случайные графы, модели и генераторы безмасштабных графов. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 419-434.
  6. В.А.Захаров, Т.А. Новикова. Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ. Труды Института системного программирования РАН. Том 22, 2012 г. Стр.435-455.
  7. А.В. Шокуров. Сравнение сложностей задач нахождения базиса Гребнера идеала и решений этого идеала. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 463-474.
  8. А.В. Шокуров, К.В. Сергеев. Об одном методе построения схемы полного гомоморфного шифрования. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 427-432.
  9. Д.А. Грушин, Н.Н. Кузюрин. Энергоэффективные вычисления для группы кластеров. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 433-446.
  10. Т.А. Новикова, В.А.Захаров. Унификация программ. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 455-476.

2011

  1. Захаров В.А., Подымов В.В. О двухленточных машинах, описывающих полугруппы с сокращением. Материалы 16-й Международной конференции «Проблемы теоретической кибернетики», Нижний Новгород, 20-25 июня 2011, 2011, Нижегородский государственный университет Нижний Новгород, с. 372-375.
  2. Захаров В.А., Новикова Т.А. О применении антиунификации подстановок для проверки эквивалентности программ. Материалы 16-й Международной конференции «Проблемы теоретической кибернетики», Нижний Новгород, 20-25 июня 2011, 2011, Нижегородский государственный университет, с. 340-343.
  3. Захаров В.А. О проблеме эквивалентности потоковых программ. Труды Второй Международной научно-технической конференции «Компьютерные методы и технологии», Белгород, 3-6 октября 2011, 2011, Белгородский государственный университет Белгород, с. 34-37.
  4. В.А. Захаров, Т.А. Новикова. Применение алгебры подстановок для унификации программ. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 141-166.

2010

  1. Захаров В.А. Проверка эквивалентности программ при помощи двухленточных автоматов. Кибернетика и системный анализ, 2010, № 4, с. 39-48.
  2. Захаров В.А., Подымов В.В. Об одной полугрупповой модели программ, определяемой при помощи двухленточных автоматов. Научные ведомости Белгородского государственного университета. Серия История, экономика, политология, информатика, 2010, том 14, № 7, с. 94-101.
  3. Захаров В.А., Коннов И.В. Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени. Моделирование и анализ информационных систем, 2010, том 17, № 4, с. 78-87.
  4. Захаров В.А., Кузюрин Н.Н., Подловченко Р.И., Щербина В.Л. Использование алгебраических моделей программ для обнаружения метаморфного вредоносного кода. Фундаментальная и прикладная математика, 2010, том 15, № 5, с. 181-198.
  5. Д.А. Грушин, А.И. Поспелов. Система моделирования Grid: реализация и возможности применения. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 243-260.
  6. Н.Н. Кузюрин, А.И. Поспелов. Вероятностный анализ одного алгоритма упаковки прямоугольников в полосу. Труды Института системного программирования РАН. Том 19, 2010 г. Стр. 157-164.

2009

  1. Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В. О стойкой обфускации компьютерных программ. Научные ведомости Белгородского государственного университета. Серия История, экономика, политология, информатика, том 15, № 12, с. 97-105.
  2. Захаров В.А., Булычев П.Е. О верификации конечных параметризованных моделей распределенных программ. Научные ведомости Белгородского государственного университета. Серия История, экономика, политология, информатика, 2009, том 9, № 11, с. 116-123.
  3. Захаров В.А., Костылев Е.В. Об одном обобщении подстановки применительно к вычислению инвариантов программ. Труды Третьей Всероссийской конференции «Методы и средства обработки информации», Москва, 2009, Москва, с. 123-130.
  4. Булычев П.Е., Захаров В.А. Универсальный подход к проверке отношений симуляции для моделей программ. Труды Третьей Всероссийской конференции «Методы и средства обработки информации», Москва, 2009, Москва, с. 104-110.

2008

  1. Захаров В.А., Щербина В.Л. Эффективные алгоритмы проверки эквивалентности программ в моделях, связанных с обработкой прерываний. Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика, 2008, № 2, с. 33-41.
  2. Захаров В.А. О проблеме эквивалентности в одном классе монадических линейных программ. Тезисы докладов 15-ой международной конференции «Проблемы теоретической кибернетики» (Казань, 2-7 июня, 2008 г.).
  3. Захаров В.А., Костылев Е.В. О сложности задачи антиунификации. Дискретная математика, 2008, том 20, № 1, с. 131-144.
  4. Н.П. Варновский, В.А. Захаров, Н.Н. Кузюрин, А.В. Шокуров Теоретические аспекты проблемы обфускации программ. Тезисы доклада на XVII Общероссийской научно-технической конференции "Методы и технические средства обеспечения безопасности информации", С. Петербург, 7-11 июля 2008.

2007

  1. Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Подловченко Р.И., Шокуров А.В., Щербина В.Л. О применении методов деобфускации программ для обнаружения сложных компьютерных вирусов. Известия Южного федерального университета. Технические науки, том 2, № 7, с. 18-27.
  2. Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В. Современные методы обфускации программ: классификация и сравнительный анализ. Известия Южного федерального университета. Технические науки, 2007, том 76, № 1, с. 93-99.
  3. Н.Н. Кузюрин, А.И. Поспелов. Вероятностный анализ различных шельфовых алгоритмов упаковки прямоугольников в полосу. Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 17-26.
  4. Н.П. Варновский, А.В. Шокуров. Гомоморфное шифрование. Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 27-36.
  5. I.V. Konnov, V.A. Zakharov. On the verification of asynchronous parameterized networks of communicating processes by model checking. Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 37-58.
  6. P.E. Bulychev, I.V. Konnov, V.A. Zakharov. Computing (bi)simulation relations preserving CTL*x. for ordinary and fair Kripke structures. Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 59-76.
  7. С.Н. Жук. Онлайновый алгоритм упаковки прямоугольников в несколько полос с гарантированными оценками точности. Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 7-16.
  8. N.N. Kuzjurin, R.I. Podlovchenko, V.S. Scherbina, V.A. Zakharov. Using algebraic models of programs for detecting metamorphic malwares Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 77-94.
  9. И.А. Лавров. Сложность вычислений на абстрактных машинах. Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 95-122.

2006

  1. Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В. К вопросу об обфускации конечных автоматов. Материалы IX международной конференции «Интеллектуальные системы и компьютерные науки» (23-27 октября 2006 г.), 2006, Изд-во механико-математического ф-та МГУ Москва, том 1, с. 127-130.
  2. Rimma Podlovchenko, Dmitry Rusakov, Vladimir Zakharov. The equivalence problem for programs with mode switching is PSPACE-complete. Труды Института системного программирования РАН. Том 11, 2006 г. Стр. 109-128.
  3. Н.П. Варновский, В.А. Захаров, Н.Н. Кузюрин, А.В. Чернов, А.В. Шокуров. Об особенностях применения методов обфускации программ для информационной защиты микроэлектронных схем. Труды Института системного программирования РАН. Том 11, 2006 г. Стр. 27-60.
  4. В.А. Захаров, К.С. Иванов. О проблеме логико-термальной эквивалентности последовательных программ с динамической памятью. Труды Института системного программирования РАН. Том 11, 2006 г. Стр. 61-82.

2005

  1. Варновский Н.П., Захаров В.А., Кузюрин Н.Н. Математические проблемы обфускации. Математика и безопасность информационных технологий. Материалы конференции в МГУ 28-29 октября 2004 г., 2005, МЦНМО, с. 65-91.
  2. Захаров В.А., Захарьящев И.М., Подловченко Р.И., Русаков Д.М., Щербина В.Л. О возможности применения быстрых алгоритмов проверки эквивалентности программ для обнаружения вирусов. Труды второй всероссийской конференции «Методы и средства обработки информации», 2005, Изд-во ф-та ВМК МГУ Москва, с. 414-421.
  3. Захаров В.А., Костылев Е.В. Об одном обобщении подстановки применительно к задаче статического анализа программ. Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика, 2005, том 4, с. 39-45.
  4. Захаров В.А., Коннов И.В. Об одном подходе к верификации асинхронных параметризованных систем. Труды второй всероссийской конференции «Методы и средства обработки информации», 2005, Изд-во ф-та ВМК МГУ Москва, с. 367-373.
  5. Захаров В.А., Коннов И.В. Об одном подходе к верификации симметрических параметризованных распределенных систем. Программирование, 2005, № 5, с. 24-36.

2004

  1. Захаров В.А., Захарьящев И.М. О проблеме эквивалентности для программ с частично перестановочными и монотонными операторами. Труды 6-ой Международной конференции «Дискретные модели в теории управляющих систем", 7-11 декабря 2004 г., Москва, 2004, МАКС Пресс - МГУ Москва, с. 105-109.
  2. Захаров В.А., Захарьящев И.М. О сложности проблемы эквивалентности в модели программ с перестановочными и монотонными операторами. Материалы VIII Международного семинара «Дискретная математика и ее приложения» (Москва, 2-6 февраля 2004 г.), 2004, Изд-во механико-математического ф-та МГУ Москва, с. 131-134.
  3. Захаров В.А., Костылев Е.В. Об одном обобщении подстановок применительно к задаче синтеза инвариантов программ. Материалы VIII Международного семинара «Дискретная математика и ее приложения» (Москва, 2-6 февраля 2004 г.), 2004, Изд-во механико-математического ф-та МГУ Москва, с. 134-137.
  4. Захаров В.А. Об одной алгебраической модели программ, связанной с обработкой прерываний. Материалы VIII Международного семинара «Дискретная математика и ее приложения» (Москва, 2-6 февраля 2004 г.), 2004, Изд-во механико-математического ф-та МГУ Москва, с. 129-131.
  5. Захаров В.А., Иванов К.С. Об одной модели последовательных программ с динамической памятью. Труды 6-ой Международной конференции «Дискретные модели в теории управляющих систем", 7-11 декабря 2004 г., Москва, 2004, МАКС Пресс - МГУ Москва, с. 112-116.
  6. Н.Н. Кузюрин, С.А. Фомин. Покрытие графов циклами и быстрое восстановление оптоволоконных сетей. Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 249-268.
  7. N.N. Kuzjurin. Probabilistic analysis of the greedy algorithm. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 101-108.
  8. Н.Н. Кузюрин, С.А. Мартишин, М.В. Храпченко. Генетические алгоритмы в задаче поиска часто встречающихся комбинаций. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 109-126.
  9. N.P. Varnovsky. A note on the concept of obfuscation. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 127-136.
  10. С.Н. Жук. Анализ некоторых эвристик в задаче упаковки прямоугольников в несколько полос. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 13-26.
  11. K.S. Ivanov, V.A. Zakharov. Program obfuscation as obstruction of program static analysis. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 137-156.
  12. A.V. Shokurov. An approach to quantitative analysis of resistance of equivalent transformations of algebraic circuits. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 157-178.
  13. I.M. Zakharyaschev, V.A. Zakharov. On the equivalence-checking problem for polysemantic models of sequential programs. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 179-198.
  14. С.А. Фомин. Быстрый приближенный алгоритм для задачи положительного линейного программирования. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 27-40.
  15. Н.Н. Кузюрин, О.А. Прокопьев. О распознавании сложности аппроксимации булевых функций. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 41-50
  16. А.И. Поспелов. Анализ одного алгоритма упаковки прямоугольников, связанного с построением расписаний для кластеров. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 7-12.
  17. Н.Н. Кузюрин. Обобщенные покрытия и их аппроксимации. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 85-100.

2003

  1. Варновский Н.П., Захаров В.А. К вопросу о существовании стойких обфускаторов программ. Труды V Международной конференции «Дискретные модели в теории управляющих систем», (Ратмино, 26-29 мая 2003 г.), 2003, МАКС-Пресс - МГУ Москва, с. 26-29.
  2. Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В. О перспективах решения задачи обфускации компьютерных программ. Труды конференции (МаБИТ-03) , Москва, 22-24 октября 2003 г, 2003, Московский Центр Непрерывного Мватематического Образования Москва, с. 344-352.
  3. Захаров В.А., Иванов К.С. О противодействии некоторым алгоритмам статического анализа программ. Труды конференции "Математика и безопасность информационных технологий" (МаБИТ-03) , Москва, 22-24 октября 2003 г, 2003, Московский Центр Непрерывного Математического Образования Москва, с. 282-287.
  4. Захаров В.А., Захарьящев И.М. Об одной полисемантической модели последовательных программ. Труды V Международной конференции «Дискретные модели в теории управляющих систем", (Ратмино, 26-29 мая 2003 г.), 2003, МАКС Пресс-МГУ Москва, том 1, с. 26-29.
  5. Захаров В.А., Викторова М.С. Об одной системе вывода, связанной со статическим анализом программ. Труды V Международной конференции «Дискретные модели в теории управляющих систем», (Ратмино, 26-29 мая 2003 г.), 2003, МАКС-Пресс - МГУ Москва, с. 26-29.

2002

  1. Захаров В.А., Костылев Е.В. Быстрые алгоритмы антиунификации и их применение при анализе программ. Материалы XIII Международной школы-семинара «Синтез и сложность управляющих систем", 2002, Пенза, с. 76-81.

2001

  1. Захаров В.А. О проблеме эквивалентности операторных программ на уравновешенных однородных обратимых шкалах. Математические вопpосы кибеpнетики, М.: Физматлит, 2001, том 10, с. 134-144.
  2. Захаров В.А., Кончаков Р.В. Теоретико-автоматный подход к определению формальных семантик языков программирования. Труды Международной конференции "Параллельные вычисления и задачи управления" Москва, 2-4 октября 2001 г. Институт проблем управления им. В.А.Трапезникова РАН, Изд-во Института проблем управления им. В.А.Трапезникова Москва, с. 107-114.

2000

  1. Захаров В.А. О проблеме эквивалентности для схем программ с операторами засылки констант. Труды IV Международной конференции 'Дискретные модели в теории управляющих систем', 2000, МАКС-Пресс, с. 153-154.
  2. Захаров В.А., Соколова К.А. О разрешимости проблемы эквивалентности в одном классе металинейных унарных рекурсивных программ. Труды IV Международной конференции 'Дискретные модели в теории управляющих систем', 2000, МАКС-Пресс, с. 29-31.
  3. Захаров В.А. Общие методы построения разрешающих алгоритмов для эквивалентности пропозициональных операторных программ. Труды IV Международной конференции 'Дискретные модели в теории управляющих систем', 2000, МАКС-Пресс, с. 25-28.
  4. Захаров В.А., Незнанов И.В. Операторные модели взаимодействующих процессов. Математические вопросы кибернетики, М: Физматлит, выпуск 9, 2000, с. 127-160.
  5. Н.Н. Кузюрин, В.А. Захаров, А.Н. Холодов, Л.В. Шабанов, А.В. Шокуров. Эффективные алгоритмы и их программные реализации. Труды Института системного программирования РАН. Том 1, 2000 г. Стр. 138-148.