Адрес:

109004, г. Москва,
ул. А. Солженицына,
дом 25.

Схема проезда

Факс:

+7(495) 912-15-24

E-mail:

info-isp@ispras.ru

Отдел «Теоретической информатики»

Публикации

Монографии

  1. Кузюрин Н.Н., Фомин С.А., Сложность вычислений и анализ алгоритмов, М., МФТИ, 2007, 312 стр.
  2. Лавров И.А., Математическая логика, М., Академия, 2006, 240 стр.

Статьи в ведущих рецензируемых изданиях

  1. Костылев Е.В., Захаров В.А. О сложности задачи антиунификации. Дискретная математика, Т. 20, вып. 1, 2008, с. 131-144.
  2. Щербина В.Л., Захаров В.А. Эффективные алгоритмы проверки эквивалентности программ в моделях, связанных с обработкой прерываний. Вестник Московского университета, Серия Вычислительная математика и кибернетика, 2008, N 2, с. 33-41.
  3. А.В. Лотов, А.И. Поспелов. Модифицированный метод уточнения оценок для полиэдральной аппроксимации выпуклых многогранников. Ж. вычисл. матем. и матем. физ. том 48, № 6, Июнь 2008, С. 990-998.
  4. Н.П. Варновский, Стойкость схемы электронной подписи в модели с защищенным модулем, Дискретная математика, 2008, т. 20, № 3, с. 147-159.
  5. С.Н. Жук, Приближенные онлайновые алгоритмы упаковки прямоугольников в несколько полос, Дискретная математика, 2007, т. 19, N 4 , С.117 -131.
  6. Н.П. Варновский, В.А. Захаров, Н.Н. Кузюрин, А.В. Шокуров Современные методы обфускации программ: классификация и сравнительный анализ. Известия ЮФУ, 2007, N 1, с. 93-98.
  7. N.N. Kuzurin, A.V. Shokurov, N.P. Varnovsky, V.A. Zakharov. On the concept of software obfuscation in computer security. Lecture Notes in Computer Science, v. 4779, 2007, p. 281-298.
  8. П.Е. Булычев, В.А. Захаров, Применение методов теории игр к поиску некоторых видов симуляции на размеченных системах переходов с ограничениями справедливости. Вестник МЭИ, т. 6, 2007. С. 5-9.
  9. Лотов А.В., Поспелов А.И., Метод квазиразумных целей для целочисленных задач многокритериальной оптимизации. Доклады РАН. М.: Наука. том 414. № 3. 2007, С. 317-319.
  10. Н.Н.Кузюрин, А.И.Поспелов, Вероятностный анализ шельфовых алгоритмов упаковки прямоугольников в полосу, Дискретная математика, 2006, т. 18, N 1, С. 76-90.
  11. С.Н. Жук, Приближенные алгоритмы упаковки прямоугольников в несколько полос, Дискретная математика, 2006, т. 18, N 1 , С. 91-105.
  12. Н.П. Варновский, В.А. Захаров, Р.И. Подловченко, В.С. Щербина, Н.Н. Кузюрин, А.В. Шокуров, О применении методов деобфускации программ для обнаружения сложных компьютерных вирусов, Известия ТРТУ, №7, Таганрог, Изд-во ТРГУ 2006 г., с.18-27.
  13. A. Tchernykh, J. M. Ramirez, A. Avetisyan, N. Kuzjurin, D. Grushin, S. Zhuk, Two Level Job-Scheduling Strategies for a Computational Grid, Proc. of the Second Grid Resource Management Workshop'2005 (GRMW'2005), Poznan, Poland, Lecture Notes in Computer Science, 2006, v. 3911, p. 774-781.
  14. V.A. Zakharov, I.M. Zakharyashev, On the equivalence checking problem for a model of programs related with muti-tape automata, Lecture Notes in Computer Science, v. 3317, 2005, p. 293-305.
  15. Н.П. Варновский, В.А. Захаров, В.П. Иванников, Н.Н. Кузюрин, А.В. Шокуров, А.Н. Кононов, А.В. Калинин, Методы защиты проектных решений при проектировании микроэлектронных схем, Известия ТРТУ, Таганрог, Изд-во ТРГУ, N 4, 2005, С. 112-119.
  16. В.А. Захаров, И.В. Коннов, Об одном подходе к верификации симметрических параметризованных распределенных систем, Программирование, 2005, N 5.
  17. В.А. Захаров, Е.В. Костылев, Об одном обобщении подстановки применительно к задаче статического анализа программ, Вестник Московского университета, Серия Вычислительная математика и кибернетика, 2005, N 4, с.39-45.
  18. Н.П. Варновский, В.А. Захаров, Н.Н. Кузюрин, Математические проблемы обфускации, Математика и безопасность информационных технологий. Материалы конференции в МГУ 28-29 октября 2004 г., 2005, с. 65-91.
  19. A.S.Asratian, N.N.Kuzjurin, Two sensitivity theorems in fuzzy integer programming, Discrete Applied Mathematics, v. 134, N 1-3, January 2004, p. 129-140.
  20. А.С. Асратян, Н.Н.Кузюрин, Анализ точности вероятностного округления для задач ЦЛП, Дискретная математика, т. 16, N 4, 2004.

Другие публикации

  1. Н.П. Варновский, В.А. Захаров, Н.Н. Кузюрин, А.В. Шокуров, Теоретические аспекты проблемы обфускации программ, Тезисы доклада на XVII Общероссийской научно-технической конференции "Методы и технические средства обеспечения безопасности информации", С. Петербург, 7-11 июля 2008.
  2. Захаров В.А. О проблеме эквивалентности в одном классе монадических линейных программ. Тезисы докладов 15-ой международной конференции "Проблемы теоретической кибернетики" (Казань, 2-7 июня, 2008 г.). 2008, с. 40.
  3. A.S. Asratian, N.N. Kuzjurin, APPROXIMATING OF THE CHROMATIC SUM COLORING OF BIPARTITE GRAPHS IN EXPECTED POLYNOMIAL TIME, Тезисы докладов 15-ой международной конференции "Проблемы теоретической кибернетики" (Казань, 2-7 июня, 2008 г.). 2008.
  4. А.В. Лотов, А.И. Поспелов, Метод разумных целей для целочисленных задач многокритериальной оптимизации, Труды V Московской международной конференции по Исследованию операций. (ORM2007) М.: МАКС Пресс, 2007.
  5. I. V. Konnov, V.A. Zakharov. An invariant-based approach to the verification of asynchronous parameterized networks. Proceedings of the 1-st International Workshop on Invariant Generation, June 25-26, 2007, Hagenberg, Austria.
  6. В.А. Захаров, В.Л. Щербина. Эффективные алгоритмы проверки эквивалентности программ в моделях, связанных с обработкой прерываний. Труды 9 Международного семинара "Дискретная математика и приложения" (Москва, 2007).
  7. Н.Н.Кузюрин, А.И.Поспелов, Вероятностный анализ шельфовых алгоритмов упаковки прямоугольников в полосу, использующих эвристику First Fit, Труды VII международной конференции "Дискретные модели в теории управляющих систем", Покровское 4-6 марта 2006 г., ВМК МГУ, Москва 2006, С. 199-204.
  8. В.А. Захаров, Н.П. Варновский, Н.Н. Кузюрин, А.В. Шокуров, К вопросу об обфускации конечных автоматов, Труды IX международной конференции "Интеллектуальные системы и компьютерные науки", 23-27 октября 2006, Москва, Россия, 2006 г.
  9. Podlovchenko R., Rusakov D., Zakharov V. On the equivalence problem for programs with mode switching. Lecture Notes in Computer Science, v. 3845, 2006, p. 351-352.
  10. В.А. Захаров, В.С. Щербина, О сложности распознавания эквивалентности машин Тьюринга без записи на ленту, Труды 9-ой школы-семинара "Синтез и сложность управляющих систем", Санкт-Петербург, 22-27 июня, 2006.
  11. В.А. Захаров, Р.И. Подловченко, Д.М. Русаков, The equivalence problem for programs with mode switching is PSPACE-complete, Труды Института Системного программирования: Том 11. (под Ред. В.П Иванникова) - М.:ИСП РАН, 2006, c. 111-130.
  12. Н.Н. Кузюрин, А.И.Поспелов, Вероятностный анализ различных шельфовых алгоритмов упаковки прямоугольников в полосу, Труды IX международной конференции "Интеллектуальные системы и компьютерные науки", 23-27 октября 2006, Москва, Россия, 2006 г.
  13. A. V. Lotov; A. I. Pospelov. Application of Convex Pareto Frontier Approximation and Visualization in Integer Multicriteria Optimization Problems. the 6th International Conference devoted to Multi-Objective Programming and Goal Programming, Loire Valley, France, 2006.
  14. Н.Н. Кузюрин, А.И.Поспелов, Вероятностный анализ шельфовых алгоритмов упаковки прямоугольников в полосу, использующих различные эвристики одномерной упаковки в контейнеры, Труды Института Системного программирования: Том 12. (под Ред. В.П Иванникова) - М.:ИСП РАН, 2006, c. 17-26.
  15. И.А. Лавров, Cложность вычислений на абстрактных машинах, Труды Института Системного программирования: Том 12. (под Ред. В.П Иванникова) - М.:ИСП РАН, 2006, c. 95-122.
  16. С.Н. Жук, О точности онлайновых приближенных алгоритмов упаковки прямоугольников в несколько полос, Труды Института Системного программирования: Том 12. (под Ред. В.П Иванникова) - М.:ИСП РАН, 2006, c. 7-16.
  17. Н.П. Варновский, А.В. Шокуров, Гомоморфное шифрование, Труды Института Системного программирования: Том 12. (под Ред. В.П Иванникова) - М.:ИСП РАН, 2006, c. 27-36.
  18. В.А. Захаров, К.С. Иванов, О проблеме логико-термальной эквивалентности последовательных программ с динамической памятью, Труды Института Системного программирования: Том 11. (под Ред. В.П Иванникова) - М.:ИСП РАН, 2006, c.61-82.
  19. N.N. Kuzjurin, Generalized covers and their approximations, Eurocomb'03-Abstracts, Institute for Theoretical Computer Science, Charles University, 2003, p. 247-250.
  20. A.V. Shokurov, An approach to quantitative analysis of resistance of data encodings in tamper-resistant software, Preprint 2001, in "The Mathematics Preprint Server-Elsevier".
  21. S.A. Fomin, A new approximation algorithm for positive linear programming, Discrete Analysis and Operations Research, Ser. 2, 2001, v. 8, N 2, 52-72.
  22. S. Chow, Y. Gu, H. Johnson, V.A.Zakharov, An approach to the obfuscation of control-flow of sequential computer programs, Lecture Notes in Computer Science, V. 2200, 2001, p.144-155.
  23. V.A. Zakharov, To the obfuscation of sequential program control-flow, Proceedings of the XII Baykal International Conference, Irkutsk, Baykal, June 24 - July 01, 2001, V.5, p. 57-61.
  24. V.A. Zakharov, The equivalence model for computational models: Decidable and Undecidable Cases, Lecture Notes in Computer Science. Vol. 2055, 2001, p.133-153.
  25. N.P. Varnovsky, Brands of zero-knowledge proofs, Proc. 11th, Workshop on Synthesys and Control Systems Complexity (Niznij Novgorod, November 20-25, 2000). Lomonosov University Publishing, Moscow, 2001, 22-38 (in Russian).
  26. N.N. Kuzjurin, Explicit constructions of Rodl's asymptotically good packings and coverings, Combin. Probab. Comput. v. 9, 2000, No. 3, 265-276.
  27. V.A. Zakharov, On the decidability of the equivalence problem for orthogonal sequential programs, Grammars, Kluer Academic Publishers, 1999, v.2, N 3, p.271-281.
  28. V.A. Zakharov, On the refinement of logic programs by means of anti-unification, Proceedings of the 2nd Panhellenic Logic Symposium, Delphi, Greece, 1999, p.219-224.
  29. A. Asratian, N.N. Kuzjurin, On the number of nearly perfect matchings in almost regular uniform hypergraphs, Discrete Math. v.207, 1999, 1-8.
  30. N.P. Varnovsky, Cryptographic Protocols. In: Introduction to Cryptography, Yashchenko V. V. Ed., MCCME, CheRo, 1998, 1999, 2000, 41--85 (in Russian).
  31. V.A. Zakharov, An Efficient and Unified Approach to the Decidability of Equivalence of Propositional Program Schemes, Lecture Notes in Computer Science, Springer, 1998, V.1443, p.247-259.
  32. N.P. Varnovsky, Cryptography and Computational Complexity, Matematicheskoje Prosveshchenije, Ser. 3, N 2, 1998, 71--86 (in Russian).
  33. V.A. Zakharov, On the verification of PLTL formulae by means of monotone disjunctive normal forms, Lecture Notes in Computer Science, Springer, 1997, V.1234, p.419-429.
  34. M.I. Anokhin, N.P. Varnovsky, V.M. Sidelnikov, V.V. Yashchenko, Cryptography in Banking, MIPE, 1997 (in Russian).
  35. N.N. Kuzjurin, Distributed desicion making, (Russian) Combinatorial Optimization Methods, Moscow, Computer Center, 1997, 30-36.
  36. S.A. Martishin, Dynamic algorithm of computation of cells of Voronoy diagram on a plane with restrictions, (In Russian) Problems of cybernetics. Applications of system programming, Moscow, 1997.
  37. N.N. Kuzjurin, On the difference between asymptotically good packings and coverings, European J. Combin. 1995, v. 16, No. 1, 35-40.
  38. S.D. Cohen, N.N. Kuzjurin, On $(n,k,l,\Delta)$-systems, Proc. Edinburg Math. Soc., 1995, v. 38, P. 53-62.
  39. N.N. Kuzjurin, L.V. Shabanov, A parallel algorithm for fixed-dimensional linear programming, Parallel Algorithms and Applications, 1995, v. 5, N 34, 17-24.
  40. S.A. Martishin, Algorithm for finding extreme points of a set in $n$-dimensional Euclidean space with the use of linear programming, (In Russian) Voprosy Kibernetiki. Applications of system programming, Moscow, 1995.
  41. N.N. Kuzjurin, Multiprocessor scheduling and expanders, Inform. Process. Lett. 1994, v. 51, N 6, 315-319.
  42. N.N. Kuzjurin, Metric aspects of the theory of integer programming, (Russian) Discret. Mat. 1994, v. 6, No. 4, 87-106, English translation in Discrete Math. Appl. 4 (1994), No. 6, 499-517.
  43. N.N. Kuzjurin, An algorithm for integer programming polynomial in the average case, (Russian) Sibirsk. Zh. Issled. Oper., 1994, v. 1, No. 3, 38-48.
  44. N.N. Kuzjurin, On the automorphism conjecture for products of ordered sets, Order, 1992, v. 9, No. 3, 205-208.
  45. N.N. Kuzjurin, A parallel $O(log^2 n)$-time algorithm for the set balancing problem, (Russian) Discret. Mat. 1992, v. 3, N 4, English translation in Discrete Math. Appl. 2 (1992), No. 5, 483-488.
  46. N.N. Kuzjurin, On the relationship between optima of linear and integer linear programming problems, (Russian) Discret. Mat. 1991, v.3, No. 1, 98 - 104, translation in Discrete Math. Appl. 2 (1992), No. 3, 305-311.
  47. S.A. Martishin, Parallel algorithms for construction of a convex hull, Voprosy Kibernetiki. Simulation and development of applied software for super-computers (In Russian), Moscow, 1992.
  48. N.N. Kuzjurin, M.A.Frumkin, Parallel computations: theory and algorithms, (Russian) Itogi nauki, Ser. Vychislit. nauki, VINITI, 1991, v. 8, 3 - 211.
  49. N.N. Kuzjurin, Asymptotically exact polynomial algorithms in integer linear programming, (Russian) Discret. Mat., 1989, v.1, No. 2, 78 - 85, English translation in Discrete Math. Appl. v. 1 (1991) No. 2, 171-178.
  50. V.M. Buchshtaber and A.N. Kholodov, Groups of formal diffeomorphisms of the superline, generating functions for polynomial sequences and functional equations, Izv. AN SSSR. Ser. Matem. 53 (5) (1989) 944-970.
  51. V.M. Buchshtaber and A.N. Kholodov, Boas-Buck structures on polynomial sequences, Funk. analysis. 23 (4) (1989) 11-23.
  52. V.M. Buchshtaber and A.V. Shokurov, Landveber-Novikov algebra and formal vector fields on the superline, (In Russian) Functional analysis and its applications, v.12, n.3, Moscow 1978, pp. 1-11.