next up previous contents
След.: Тематический указатель публикаций Выше: Публикации Пред.: Публикации   Содержание

Хронологический указатель публикаций

1973

  1. Анализ управляющих графов программ // Системное программирование. — Новосибирск: ВЦ СО АН СССР, 1973. — Ч. II. — С. 138–154. — (Материалы Всесоюз. симпоз.).

  2. Экономное преобразование несводимых графов // Системное и теоретическое программирование. — Новосибирск: ВЦ СО АН СССР, 1973. — С. 143–172.

  3. Some properties of fully reducible graphs // Information Processing Letters. — 1973. — Vol.2, N 4. — P. 113–117.

    1974

  4. Информационные связи и преобразование схем программ // Системное и теоретическое программирование. — Кишинев: КГУ, 1974. — Т. 1. — С. 205–214. — (Тез. докл. III Всесоюз. симпоз.).

  5. Об одном алгоритме выделения бикомпонент в ориентированном графе // Системное и теоретическое программирование. — Новосибирск: ВЦ СО АН СССР, 1974. — С. 235–243.

    1975

  6. Анализ структур программ в глобальной оптимизации // Тр. Всесоюз. симпоз. по методам реализации новых алгоритмических языков. — Новосибирск: ВЦ СО АН СССР, 1975. — Ч.1. — С. 143–160. — (Совместно с Трахтенбротом М.Б.).

  7. Выделение гамаков в ориентированном графе // ДАН СССР. — 1975. — Т. 221, N 5. — С. 1020–1022.

  8. Комбинаторные задачи анализа программ в оптимизирующей трансляции: Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук. — Новосибирск, 1975. — 21 с. — (АН СССР, Сиб. отд-ние, ВЦ).

  9. К оценке частоты выполнения операторов и переходов в программе // Программирование. — 1975. — N 5. — С. 64–72.

  10. К перестраиваемости коммутационных схем // Вычислительные методы и программирование. — Новосибирск: ВЦ СО АН СССР, 1975. — С. 123–134.

  11. Jump and statement execution frequency evaluation // Programming and Computer Software. — 1975. — Vol. 1, N 5. — P. 388–395.

  12. Distinguishing Hammocks in a Directed Graph // Dokl. Akad. Nauk SSSR. — 1975. — Tom. 221, N 3. - P. 448–450.

    1976

  13. Крупноблочная сегментация и распараллеливание схем программ // Программирование. — 1976. — N1. — С. 16–26. — (Совместно с Вальковским В.А.)

  14. О нахождении аргументов и результатов в схемах с косвенной адресацией // Программирование. — 1976. — N 1. — С.6–15.

  15. Finding arguments and results of operators in schemes with indirect addressing // Programming and Computer Software. — 1976. — Vol. 2, N 1. — P. 3–11.

  16. Large-block segmentation and parallization of program schemata // Programming and Computer Software. — 1976. — Vol. 2, N 1. — P. 12–20. — (With Val'kovskii V. A.)

    1977

  17. Исследования в области теоретического и системного программирования и их применение в автоматизации программирования и разработке математического обеспечения // Фундаментальные исследования. Физико-математические и технические науки. — Новосибирск: Наука, 1977. — С. 56–60. — (Cовместно с Ершовым А.П., Бежановой М.М., Будой А.О., Голосовым И.С., Загацким Б.А., Иткиным В.Э., Кожухиным Г.И., Кожухиной С.К., Козловским С.Э., Котовым В.Е., Левиным Д.Я., Михалевичем Ю.И., Нариньяни А.С., Непомнящим В.А., Поттосиным И. В., Раром А.Ф., Шелеховым В.И., Кожухиным Г.И., Кожухиной С.К., Коздовским С.Э., Котовым В.Е., Левиным Д.Я., Михалевичем Ю.И., Нариньяни А.С., Непомнящим В.А., Поттосиным И. В., Раром А.Ф., Шелеховым В.И.).

  18. К вопросу о реализации схем над распределенной памятью // Кибернетика. — 1977. — N 1. — С. 63–68.

  19. Конференция молодых ученых по системному программированию // Еженедельник “За науку в Сибири” СО АН СССР. — Новосибирск. — 1977. — N 41 (822)— с. 6.

  20. Application of optimization techniques to correctness problems // IFIP TG 2 Working Conf. on Constructing Quality Software. — Novosibirsk, 1977. — P. 114–124. — (With Pottosin I.V.).

  21. Program structure analysis in a global optimization // Lecture Notes in Computer Science. — 1977. — Vol. 47. — P. 90–104. — (With Trakhtenbrot M.B.).

  22. Schematology in a Multi-language Optimizer // Lecture Notes in Computer Science. — 1977. — Vol. 53. — P. 315–323. — (With Pokrovsky S.B.).

    1978

  23. Конференция молодых ученых по системному программированию // Программирование. — 1978. — N 1. — С. 88–93.

  24. Методы трансляции. — Новосибирск: НГУ, 1978. — 101 с. — (Совместно с Поттосиным И. В.).

  25. О социалистическом соревновании между лабораториями теоретических отделений ВЦ СО АН СССР // Материалы 1 Межреспубликанского семинара КК и СМУ академических учреждений кибернетического профиля. — Минск: ИТК АН БССР, 1978. — С.10–13.

  26. Практический подход к оптимизации программ. — Новосибирск, 1978. — 43 с. — (Препр./АН СССР, Сиб.отд-ние, ВЦ; N135).

  27. Применение методов оптимизации к проверке правильности программ // Создание качественного программного обеспечения. — Новосибирск: ВЦ СО АН СССР, 1978.— Т.1. — С.225–237. — (Совместно с Поттосиным И. В.)

  28. Application of optimization techniques to correctness problems // Constructing Quality Software / Ed. by P.G.Hidbard and S.A.Schuman. — Amsterdam: North-Holland, 1978. — P. 237–248. — (Proc. IFIP Working Conf.). — (With Pottosin I.V.).

    1979

  29. Индивидуальные задания по практике на ЭВМ. Методическая разработка. — Новосибирск: НГУ, 1979. — 41 с. — (Совместно с Поттосиным И. В., Сабельфельдом В. К., Трахтенбтотом М.Б.).

  30. Методы трансляции. Упражнения. Методическая разработка. — Новосибирск: НГУ, 1979. — 11 с. — (Совместно с Поттосиным И. В.).

  31. Разгрузка участков повторяемости. — Новосибирск, 1979.— 26 с. — (Препр./АН СССР, Сиб.отд-ние, ВЦ; N178).

  32. Смешанные вычисления и оптимизация программ // Технология программирования. — Киев: ИК АН УССР, 1979. — С. 16–17. — (Тез. докл. 1 Всесоюзной конф., Секция К).

  33. Технологические возможности оптимизации программ // Технология программирования. — Киев: ИК АН УССР, 1979. — С. 17–18. — (Тез. докл. 1 Всесоюзной конференции, Секция К). — (Совместно с Поттосиным И. В.).

  34. Технология трансляции. — Новосибирск: НГУ, 1979. — 92 с. — (Совместно с Поттосиным И. В.).

  35. Язык программирования МИНАЛ: Методическая разработка. — Новосибирск: НГУ, 1979. — 20 с.

    1980

  36. Анализ структур программ // Кибернетика. — 1980. — N 1. — С.48–61.

  37. Оптимизация крупноблочных программ // Методы математической логики в проблемах искусственного интеллекта и систематическое программирование. — Вильнюс: ИМиК АН Лит.ССР, 1980. — Ч. 1. — С. 109–111. — (Тез. докл. Всесоюз. конф.).

  38. Перераспределение памяти в крупноблочных программах // Трансляция и модели программ. — Новосибирск: ВЦ СО АН СССР, 1980. — С. 81–93.

  39. Свободные интерпретации крупноблочных схем программ // Теоретические основы компиляции. — Новосибирск: НГУ, 1980. — С.24–36.

  40. Смешанные вычисления и оптимизация программ // Кибернетика. — 1980. — N 2. — С. 51–54.

  41. Технологические возможности оптимизации программ // Программирование. — 1980. — N 2. — С. 27–31. — (Совместно с Поттосиным И. В.).

    1981

  42. Вопросы моделирования программ при их оптимизации // Тез. докл. Всесоюз. конф. по методам трансляции. — Новосибирск: ВЦ СО АН СССР, 1981. — С.139–140.

  43. К обоснованию алгоритмов преобразования крупноблочных программ // Программирование. — 1981. — N 3. — С.15–25.

  44. Об автоматическом конструировании качественных программ, основанном на преобразованиях // Программное обеспечение вычислительных сетей и систем реального времени. — Киев: ИК АН УССР, 1981. — С. 72–73. — (Тез. докл. Всесоюзной конференции). — (Совместно с Дзелинским А.М., Поттосиным И. В.).

  45. Паскаль Б. Инструкция по программированию. — Новосибирск: ВЦ СО АН СССР, 1981. — 45 с.

  46. Программирование на мини-Фортране: Методическая разработка. — Новосибирск: НГУ, 1981. — 38 с.

  47. Сборник индивидуальных заданий по практике на ЭВМ. — Новосибирск: НГУ, 1981. — 81 с. — (Совместно с Сабельфельдом В. К., Трахтенбротом М.Б.).

  48. Formalization of transformation algorithms for large-block programs // Programming and Computer Software. — 1981.— Vol. 7, N 3. — P. 133–141.

    1982

  49. Быстрый алгоритм выделения максимальных линейных участков в программе // Математическая теория и практика систем программного обеспечения. — Новосибирск: ВЦ СО АН СССР, 1982. — С. 81–87. — (Тр. советско-болгарского совещания).

  50. Вопросы конкретизации программ // Проблемы системного и теоретического программирования. — Новосибирск: НГУ, 1982. — С. 35–45.

  51. Методика разработки многоязыковых трансляторов на примере системы БЕТА // Математическая теория и практика систем программного обеспечения. — Новосибирск: ВЦ СО АН СССР, 1982. — С. 64–80. — (Тр. советско-болгарского совещания). — (Совместно с Ершовым А.П., Покровским С.Б., Поттосиным И. В., Степановым Г.Г.).

  52. Методы анализа программ. — Новосибирск: НГУ, 1982. — 92 с.

  53. Оптимизация программ: обзор подходов. — Новосибирск, 1982. — 43 с. — (Препр./ АН СССР, Сиб.отд-ние, ВЦ; N 325).

  54. Основы языка Паскаль-360: Методические указания. — Новосибирск: НГУ, 1982. — 49 с.

  55. Паскаль-360. Инструкция по программированию. — Новосибирск: ВЦ СО АН СССР, 1982. — 45 с.

  56. Полнота класса крупноблочных схем // Программные системы и вопросы эффективности использования ЭВМ. — Новосибирск: ВЦ СО АН СССР, 1982. — С. 45–62.

  57. Программ оптимизирующие преобразования // Мат. Энциклопедия. — М.: Советская энциклопедия, 1982. — Т. 4. — С. 643–645.

  58. Системы конкретизации: подход и основные понятия. — Новосибирск, 1982. — 22 с. — (Препр./ АН СССР, Сиб.отд-ние, ВЦ; N349). — (Совместно с Поттосиным И. В.).

  59. Теоретико-графовые задачи в трансляции // Методы и программы решения оптимальных задач на графах и сетях. — Новосибирск: ВЦ СО АН СССР, 1982. — Ч. 1. — С.82. — (Материалы II Всесоюз. совещания).

  60. Урок 20: параметры процедур и функций // Квант. — 1982. — N4. — С. 50–52.

  61. Эквивалентные преобразования кратных схем // Программирование. — 1982. — N 2. — С. 3–8.

  62. Язык для представления алгоритмов анализа программ // Методы и программы решения оптимальных задач на графах и сетях. — Новосибирск: ВЦ СО АН СССР, 1982. — Ч. 1. — С. 83–85. — (Материалы II Всесоюз. совещания).

    1983

  63. Автоматизация построения трансляторов. — Новосибирск: НГУ, 1983. — 96 с. — (Совместно с Поттосиным И. В.).

  64. Автоматизированное построение программ путем их конкретизации // Проблемы информатики и ее применения в управлении, обучении и научных исследованиях. — София: СУ им. Климента Орхидского, 1983. — С. 115–125. — (Тр. Междунар. семинара).

  65. Архитектура систем конкретизации. — Новосибирск, 1983.— 23 с. — (Препр./АН СССР, Сиб.отд-ние, ВЦ; N455). — (Совместно с Поттосиным И. В.).

  66. Базис для оптимизации программ // Оптимизация и преобразования программ. — Новосибирск: ВЦ СО АН СССР, 1983.— Ч. 1. — С. 88–104. — (Материалы Всесоюз. семинара).

  67. Контекстно-свободные преобразования аннотированных программ // Автоматизация производства пакетов прикладных программ и трансляторов. — Таллин: ТПИ, 1983. — С. 106–108. — (Тез. докл. 2-й Всесоюз. конф.).

  68. Оптимизация программ // Прикладная информатика. — М.: Статистика, 1983. — Вып. 2. — С. 38–76.

  69. Практикум на ЭВМ. Вып. 1. Задания для начинающих: Методические указания. — Новосибирск: НГУ, 1983. — 36 с. — (Совместно с Сабельфельдом В. К.).

  70. Редуцирующие преобразования программ // Трансляция и оптимизация программ. — Новосибирск: ВЦ СО АН СССР, 1983. — С. 86–98.

  71. Чистка циклов // Системное и теоретическое программирование. — Кишинев: Штиинца, 1983. — С. 187–189. — (Тез. докл. 4-го Всесоюз. симпоз.).

  72. Basis for program optimization // Information processing 83. — Amsterdam: North-Holland, 1983. — P. 315–320. — (Proc. IFIP Congress 83).

    1984

  73. Методы анализа потока данных в программах // Методы и алгоритмы решения оптимизационных задач на графах и сетях. — Новосибирск: ВЦ СО АН СССР, 1984. — Ч. 1. — С. 105–106. — (Тез. докл. III Всесоюз. совещания).

  74. Методы оптимизации программ. — Новосибирск: НГУ, 1984. — 92 с.

  75. Обобщенная задача анализа свойств программ // Методы и алгоритмы решения оптимизационных задач на графах и сетях. — Новосибирск: ВЦ СО АН СССР, 1984. — Ч. 1. — С. 107–108. — (Тез. докл. III Всесоюз. совещания).

  76. Практикум на ЭВМ. Вып. 2. Задания для продолжающих: разработка алгоритма: Методические указания. — Новосибирск: НГУ, 1984. — 37 с.

  77. Практикум на ЭВМ. Вып. 3. Решение задания для продолжающих на языке Фортран: Методические указания. — Новосибирск: НГУ, 1984. — 45 с.

  78. Спецификация контекста для редукции программ // Проблемы системного и теоретического программирования. — Новосибирск: НГУ. — 1984. — С. 3–14.

  79. Эквивалентные преобразования линейных участков программ // Трансляция и преобразования программ. — Новосибирск: ВЦ СО АН СССР, 1984. — С. 121–136.

  80. Loop cleaning // Information Processing Letters. — 1984. — Vol. 18, N 1. — P. 1–6.

    1985

  81. Введение в теорию оптимизации программ. — Новосибирск: ВЦ СО АН СССР, 1985. — 259 c.

  82. Вопросы подготовки специалистов по программированию // Проблемы информатики и ее применения в управлении, обучении и научных исследованиях. — София: СУ им. Климента Орхидского, 1985. — С. 138–148. — (Сборник докл. III Междунар. семинара).

  83. Конструирование качественных программ посредством конкретизирующих преобразований // Надежность и качество программного обеспечения. — Киев: ИК АН УССР, 1985. — С. 95–96. — (Тез. докл. республиканской конф.).

  84. Конференция по методам трансляции и конструирования программ // Программирование. — 1985. — N 6. — С. 85–87. — (Совместно с Непомнящим В.А.).

  85. Методы факторизации алгоритмов анализа и преобразования программ // Надежность и качество программного обеспечения. — Киев: ИК АН УССР, 1985. — С. 96–97. — (Тез. докл. республиканской конф.).

  86. Учет априорной информации при анализе свойств состояний программ // Математическая теория программирования. — Новосибирск: ВЦ СО АН СССР, 1985. — С. 150–157.

    1986

  87. Анализ управляющих и информационных свойств программ, ориентированный на статическую проверку их правильности // Проблемы совершенствования синтеза, тестирования, верификации и отладки программ. — Рига: Латв. ГУ им. П.Стучки, 1986. — Т. 1. — С. 157–158. — (Тез. докл. Всесоюз. конф.). — (Совместно с Сабельфельдом В. К.).

  88. Вопросы редукции программ // Методы трансляции и конструирования программ. — Новосибирск: ВЦ СО АН СССР, 1986. — С. 13–22.

  89. Конструирование качественных программ методом конкретизирующих преобразований // Проблемы совершенствования синтеза, тестирования, верификации и отладки программ. — Рига: Латв. ГУ им. П.Стучки, 1986. — Т. 1. — С. 156–157. — (Тез. докл. Всесоюз. конф.).

  90. Методы построения трансляторов. — Новосибирск: Наука, 1986. — 344 с. — (Совместно с Поттосиным И. В.)

  91. Об одном методе конструирования качественных версий программ // Новые методы конструирования программ. — Новосибирск: НГУ, 1986. — С. 37–47.

  92. Оптимизирующие преобразования программ и их обоснование методами теории крупноблочных схем: Автореф. дис. на соиск. учен. степ. доктора ф.-м.н. — Новосибирск, 1986. — 42 с. — (АН СССР, Сиб. отд-ние. ВЦ.).

  93. Сборник заданий по практикуму на ЭВМ. — М.: Наука, 1986. — 272 с. — (Совместно с Сабельфельдом В. К.).

  94. Сборник заданий по программированию. — Новосибирск: НГУ, 1986. — 80 с. — (Совместно с Сабельфельдом В. К.).

  95. Советско-французский семинар по информатике // Программирование. — 1986. — N 6. — С. 87–88.

  96. Теоретико-графовые задачи анализа транслируемых программ // Исследования по прикладной теории графов. — Новосибирск: Наука, 1986. — С.9–24.

    1987

  97. Инструментальные средства преобразования программ. — Новосибирск, 1987. — 19 с. — (Препр./ АН СССР, Сиб.отд-ние, ВЦ; № 765). — (Совместно с Сабельфельдом В. К.).

  98. Основы программирования на языке Паскаль. — Новосибирск: НГУ, 1987. — 80 с.

  99. A method for constructing quality program versions // INFORMATIQUE-85. — Tallinn: Valgus, 1987. — P. 98–102. — (Les materiaux du symposium Sovietique–Francais).

    1988

  100. Инструменты преобразования программ // Автоматизированное рабочее место программиста. — Новосибирск: ВЦ СО АН СССР, 1988. — С. 4–12. — (Совместно с Сабельфельдом В. К.).

  101. Оптимизирующие преобразования программ. — М.: Наука, 1988, — 336 с.

  102. Организация курса по методам трансляции // Проблемы информатики и ее применения в управлении, обучении и научных исследованиях. — София: СУ им. Климента Орхидского, 1988. — C. 157–171. — (Сб. докл. V Междунар. семинара).

  103. Преобразования аннотированных программ. — Новосибирск, 1988. — 22 с. — (Препр./ АН СССР, Сиб.отд-ние, ВЦ; N 814).

  104. Проблемы преобразования программ. — Новосибирск, 1988. — 27 с. — (Препр./ АН СССР, Сиб.отд-ние, ВЦ; N785).

  105. Семантические преобразования программ // Методы трансляции и конструирования программ. — Новосибирск: ВЦ СО АН СССР, 1988. — Ч. 1. — С. 107–108. — (Тез. докл. Всесоюз. конф.).

  106. Семантические преобразования программ // Теория и практика систем информатики и программирования. — Новосибирск: НГУ. — 1988. — С. 85–107.

  107. Эквивалентные и оптимизирующие преобразования крупноблочных схем и программ: Автореф. дис. на соиск. учен. степ. доктора физ.-мат. наук. — Новосибирск, 1986. — 27 с. — (АН СССР, Сиб. отд-ние. ВЦ.).

  108. Tools for program transformations, // Informatika-88. — Roquencourt: INRIA, 1988. — P. 89–100. — (Actes du seminaire Francais–Sovetique). — (With Sabelfeld V.K.).

    1989

  109. Алгоритмические вопросы применения теории графов в программировании // Методы и программы решения оптимизационных задач на графах и сетях. — Новосибирск: ВЦ СО АН СССР, 1989. — С. 72–75. — (Тр. IV Всесоюз. совещания). — (Совместно с Евстигнеевым В.А.).

  110. Алгоритмы на деревьях. — Новосибирск: ВЦ СО АН СССР, 1989. — 311 с. — (Совместно с Евстигнеевым В.А.).

  111. Аннотирование программ и их преобразование // Программирование. — 1989. — N 4. — С. 3–16.

  112. АС — система для проверки и испытания программ // Планирование и автоматизация эксперимента в научных исследованиях. — М.: МЭИ,1989. — С. 41–43. — (Тр. IX Всесоюз. конф.).

  113. Трансформационный подход к конкретизации программ // Кибернетика. — 1989. — N 6. — С. 28–32.

  114. A model for annotated programming // INFORMATICS'89. — Tallinn, 1989. — P. 7–12. — (Proc. of the Soviet–French Sympos.).

  115. Annotated program transformations // Lecture Notes in Computer Science. — 1989. — Vol. 405. — P. 171–180.

  116. Annotated program transformations // Methods of Theoretical and Experimental Computer Science. — Novosibirsk: IIS, 1989. — P. 87–106.

  117. Transformation approach to program concretization // Cybernetics. — 1989. — Vol. 25, N 6. — P. 740–745.

    1990

  118. Алгоритмы обработки деревьев. — Новосибирск: ВЦ СО АН- СССР, 1990. — 208 c. — (Cовместно с Евстигнеевым В.А.).

  119. Организация учебной и научно–исследовательской работы студентов по программированию на механико–математическом факультете НГУ // Использование ЭВМ в учебной и научно-исследовательской работе студентов. — Новосибирск: НГУ, 1990. — С. 46–47. — (Тез. докл. республиканского совещания-семинара).

  120. Система для анализа, преобразования и инструментовки Фортран-программ // Программно-инструментальные средства задач информатики. — Новосибирск: ВЦ СО АН СССР, 1990. — С. 87–100.

  121. Tools and techniques of annotated programming // Compiler Compilers. — Berlin: Institute fur Informatik und Rechentechnik, 1990. — P. 187–201. — (Proc. of the Workshop).

    1991

  122. Предисловие // Смешанные вычисления и преобразование программ. — Новосибирск: ВЦ СО АН СССР, 1991. — С. 3–4. (Совместно с Котовым В.Е.)

  123. Трансформационный подход к конструированию и оптимизации программ // Смешанные вычисления и преобразование программ. — Новосибирск: ВЦ СО АН СССР, 1991. — С. 30–43.

  124. Educational software development // Current Topics in Informatics Systems Research. — Novosibirsk, 1991. — P. 131–143. — (With Gorodniaia L.V.).

  125. Tools and techniques of annotated programming // Lecture Notes in Computer Science. — 1991. — Vol. 477. — P.117–131.

  126. Transformational approach to program concretization // Images of programming. — Amsterdam: North-Holland, 1991. — P. 37–46.

  127. Transformational approach to program concretization // Theoretical Computer Science. — 1991. — Vol. 90, N 1. — P. 37–46.

    1992

  128. Деревья: основные понятия, свойства и алгоритмы. — Новосибирск: НГУ, 1992. — 80 с. — (Совместно с Евстигнеевым В.А.).

    1993

  129. Методы и средства семантического анализа Модула-программ // Конструирование и оптимизация программ / Сб. статей под ред. В.Н. Касьянова. — Новосибирск: ИСИ СО РАН, 1993. — С. 7–23. — (Cовместно с Брюхановой Ю.В., Емельяновым П.Г., Сабельфельдом В. К.).

  130. Предисловие // Конструирование и оптимизация программ / Сб. статей под ред. В.Н. Касьянова. — Новосибирск: ИСИ СО РАН, 1993. — С. 5–6.

  131. Системы учебной информатики // Конструирование и оптимизация программ / Сб. статей под ред. В.Н. Касьянова. — Новосибирск: ИСИ СО РАН, 1993. — С. 101–120. — (Совместно с Городней Л. В.).

  132. Творческое наследие В.Э. Иткина // Кибернетика и системный анализ. — 1993. — N 2. — С. 175–183. — (Совместно с Бульонковым М.А., Городней Л. В., Котляровым В.П., Непомнящим В.А., Цейтлиным Г.Е., Шиловым Н.В.).

  133. Трансформационные методы и средства конструирования эффективных и надежных программ // Кибернетика и системный анализ. — 1993. — N 2. — С. 30–39.

  134. Educational informatics systems and education in computer sciences // Intern. Congress on Computer Systems and Applied Mathematics, Abstracts. — St.Peterburg, 1993. — P. 247–248. — (With Gorodniaia L.V.).

  135. SOKRAT: an environment for safe and effective programming // Intern. Congress on Computer Systems and Applied Mathematics, Abstracts. — St.Peterburg,1993. — P. 177–178. — (With Kusminov T.V., Pokrovsky S.B., Pottosin I.V., Sabelfeld V.K., Shelekhov V.I., Stepanov G.G., Zakharov L.I.).

  136. The PROGRESS program manipulation system // Parallel Computer Technologies. — Obninsk, 1993. — Vol. 3. — P. 651–656. — (Proc. Intern. Conf. PaCT-93). — (With Evstigneev V.A.).

  137. Transformation methods and tools for design of efficient and reliable programs // Cybernatics and System Analysis. — 1993. — Vol. 29, N 2. — P. 177–184.

  138. Transformational approach to designing effective and reliable programs for parallel computers // Intern. Congress on Computer Systems and Applied Mathematics, Abstracts. — St.Peterburg, 1993. — P. 175. — (With Evstigneev V.A.).

    1994

  139. Введение // Интеллектуализация и качество программного обеспечения / Сб. статей под ред. В.Н. Касьянова. — Новосибирск: ИСИ СО РАН, 1994. — С.5.

  140. Введение в дискретную математику: Методические рекомендации. — Новосибирск: НГУ, 1994. — Ч. 1, 2. — 25 с. — (Совместно с Евстигнеевым В.А.).

  141. Введение в дискретную математику: Методические рекомендации. — Новосибирск: НГУ, 1994. — Ч. 3. — 24 с. — (Совместно с Евстигнеевым В.А.).

  142. Введение в компьютерные науки. — Новосибирск: НГУ, 1994. — 116 c. — (Совместно с Бежановой М.М., Васючковой Т.С., Глинским Б.М., Кропачевым Ю.А., Пищиком Б.Н., Поттосиным И. В., Сабельфельдом В. К.).

  143. Инструментальная система для изучения преобразований программ // Интеллектуализация и качество программного обеспечения. — Новосибирск: ИСИ СО РАН, 1994. — С. 90–99. — (Совместно с Евстигнеевым В.А.).

  144. О свойстве полноты механизма аннотаций директив // Интеллектуализация и качество программного обеспечения. — Новосибирск: ИСИ СО РАН, 1994. — С. 113–122.

  145. Теория графов: алгоритмы обработки деревьев. — Новосибирск: Наука, 1994. — 360 с. — (Совместно с Евстигнеевым В.А.).

  146. Трансформационный подход к конструированию эффективных и надежных программ: модели, методы и алгоритмы // Интеллектуализация и качество программного обеспечения. — Новосибирск: ИСИ СО РАН, 1994. — С. 6–12.

  147. Элементы теории графов, формальных языков и сложности вычислений: Методические рекомендации. — Новосибирск: НГУ, 1994. — 20 с.

  148. Restructuring compilation techniques and a program manipulation system for fine-grain architectures // Proc. 2-nd Intern. Conf. on Software for Multiprocessors & Supercomputers (SMS TPE'94). — M., 1994. — P. 32–38. — (With Evstigneev V.A.).

    1995

  149. Базисные алгоритмы обработки бесконтурных графов. — Новосибирск: ИСИ СО РАН, 1995. — 126 с. — (Совместно с Евстигнеевым В.А.).

  150. Введение // Проблемы конструирования эффективных и надежных программ / Сб. статей под ред. В.Н. Касьянова. — Новосибирск: ИСИ СО РАН, 1995. — С. 5–6.

  151. Лекции по теории формальных языков, автоматов и сложности вычислений. — Новосибирск: НГУ, 1995. — 112 с.

  152. О работах лаборатории конструирования и оптимизации программ в области систем учебной информатики // Программные системы. — Новоcибирск: ИСИ СО РАН, 1995. — С. 26–36. — (Совместно с Городней Л. В.).

  153. Подход к специализации по информатике и программированию в рамках системы непрерывного образования. — Новосибирск, 1995. — 60 с. — (Препр. / РАН, Сиб.отд-ние; ИСИ; N 23). — (Совместно с Городней Л. В.).

  154. Проблемы и перспективы исследования преобразований программ на базе современных технических средств // Проблемы конструирования эффективных и надежных программ / Сб. статей под ред. В.Н. Касьянова. — Новосибирск: ИСИ СО РАН, 1995. — С. 7–18 — (Совместно с Городней Л. В.).

  155. Создание информационной системы по оптимизирующим и реструктурирующим преобразованиям программ для ЭВМ параллельных архитектур // Информационный бюллетень РФФИ. — 1995.— Т. 3, N 7. C. 28 — (Совместно с Булышевой Л. А., Городней Л. В., Евстигнеевым В. А., Казанцевым В. Е., Калининой Н. А., Малининой Ю. В., Мирзуитовой И. Л., Мурзиным Ф. А., Несговоровой Г. П., Очаковской О. Н., Харитоновым Э. В.)

  156. Толковый словарь по теории графов. — Новосибирск: НГУ, 1995. — Ч. 1. — 52 с. — (Совместно с Евстигнеевым В. А.).

  157. A program manipulation system for fine-grained architectures // Lecture Notes in Computer Science. — 1995. — Vol. 964. — P. 163–168. — (Proc. the Third Intern. Conf. on Parallel Computing Technologies). — (With Evstigneev V. A.).

  158. A program manipulation system for fine-grained architectures // Lecture Notes in Computer Science. — 1995. — Vol. 966. — P. 719–722. — (Proc. Inter. Conf. on Parallel Processing: EURO-PAR'95). — (With Evstigneev V. A.).

  159. Formal methods in program analysis and transformations // Advanced Mathematics, Computations and Applications. — Novosibirsk: NCC Publisher, 1995. — P. 154. — (Abstracts of the Intern. Conf. AMCA-95, A-Kor). — (With Sabelfeld V. K.).

  160. Formal methods in program analysis and transformations // Advanced Mathematics: Computations and Applications. — Novosibirsk, NCC Publisher: 1995. — P.656–666. — (Proc. of the Intern. Conf. AMCA-95). — (With Sabelfeld V. K.).

  161. Methods and tools for constructing reliable and efficient software via annotated program transformations. — Hamburg, 1995. — P. 321. — (The Third Internat. Congress on Industrial and Applied Mathematics, ICIAM-95, Book of Abstracts).

  162. On completeness of mechanism of annotation-directives // Bulletin of the Novosibirsk Computing Center. Series: Computer Science. — 1995. — Vol. 3. — P. 59–68.

    1996

  163. Вопросы преподавания фундаментальных основ информатики и программирования // Новые информационные технологии в университетском образовании. — Новосибирск: НИИ МИОО НГУ, 1996. — С. 110–111. — (Материалы Междунар. научно-методической конф.). — (Совместно с Городней Л. В., Евстигнеевым В. А.).

  164. Вопросы эффективного использования параллельных ЭВМ // Математические модели и численные методы механики сплошных сред. — Новосибирск: Изд-во СО РАН, 1996. — С. 221–222. — (Тез. докл. Междунар. конф.). — (Совместно с Городней Л. В., Евстигнеевым В. А.).

  165. Оптимизирующие преобразования в распараллеливающих компиляторах // Программирование. — 1996. — N6. — С.12–26. — (Совместно с Евстигнеевым В. А.).

  166. СОКРАТ: окружение надежного и эффективного программирования // Актуальные проблемы информатики, прикладной математики и механики. — Новосибирск-Красноярск: Из-во СО РАН, 1996. — Ч. 3. Информатика. — С.51–64. — (Совместно с Захаровым Л.А., Кузьминовым Т.В., Покровским С.Б., Поттосиным И. В., Сабельфельдом В. К., Степановым Г.Г., Шелеховым В.И.).

  167. Толковый словарь по теории графов. — Новосибирск: НГУ, 1996. — Ч. 2. — 83 с. — (Совместно с Евстигнеевым В. А.).

  168. Толковый словарь по теории графов. — Новосибирск: НГУ, 1996. — Ч. 3. — 109 с. — (Совместно с Евстигнеевым В. А.).

  169. Methods and tools for constructing reliable and efficient software via annotated program transformations // Zeitschrift fur Angewadte Mathematik und Mechanik. — Berlin: Academie Verlag, 1996. — Vol. 76, Issue 1. Numerical Analysis, Scientific Computing, Computer Science. — P.437–438.

  170. Optimizing transformations in paralleling compilers // Programming and Computer Software. — 1996. — Vol. 22, N 6. — P. 279–290. —(With Evstigneev V. A.).

    1997

  171. Архитектуры с мелкозернистым параллелизмом и проблема построения прототипов компиляторов // Междунар. конф. по прикладной и индустриальной математике. — Новосибирск: Изд.-во ИМ СО РАН, 1997. — Т.1. — С. 31–38. — (Совместно с Булышевой Л. А., Евстигнеевым В. А.).

  172. Введение // Оптимизирующая трансляция и конструирование программ / Сб. статей под ред. В.Н. Касьянова. — Новосибирск: ИСИ СО РАН, 1997. — С.5–7.

  173. Вопросы преподавания информатики и программирования // Информатика и информационные технологии в педагогическом образовании. — Красноярск: КГПУ, 1997. — С. 73–74. — (Секция Всерос. конф. “Проблемы информатизации региона - ПИР'97”: Тез. и материалы конф.).

  174. Вопросы преподавания информатики и программирования // Оптимизирующие преобразования и конструирование программ / Сб. статей под ред. В.Н. Касьянова. — Новосибирск: ИСИ СО РАН, 1997. — С. 133–147.

  175. Изложение отечественной истории информатики для школы // Применение новых технологий в образовании. — Троицк: Фонд новых технологий в образовании “Байтик”, 1997. — С. 210–213.— (Материалы VIII Междунар. конф.). — (Совместно с Городней Л. В., Евстигнеевым В. А., Калининой Н.А., Мурзиным Ф.А.).

  176. Оптимизирующие преобразования в распараллеливающих компиляторах // Оптимизирующие преобразования и конструирование программ / Сб. статей под ред. В.Н. Касьянова. — Новосибирск: ИСИ СО РАН, 1997. — С. 7–33. — (Совместно с Евстигнеевым В. А.).

  177. Параллельная обработка: вопросы обучения // Новые информационные технологии в университетском образовании. — Новосибирск: НИИ МИОО НГУ, 1997. — С. 186–187. — (Материалы Междунар. научно-методической конф.). — (Совместно с Городней Л. В., Евстигнеевым В. А., Бирюковой Ю.В., Малининой Ю.В., Цикозой С.Г., Климовой Т.А., Харитоновым Э.В.).

  178. СИМИКС — информационная система для поддержки гуманитарных исследований в области культуры. — Новосибирск, 1997. — 16 с. — (Препр./РАН. Сиб. отд-ние. ИСИ; N 43). — (Совместно с Несговоровой Г. П.).

  179. СИМИКС — информационная система для поддержки гуманитарных исследований и образования в области культуры // Применение новых технологий в образовании. — Троицк: Фонд новых технологий в образовании “Байтик”, 1997. — С. 99–101. — (Материалы VIII Междунар. конф.). — (Совместно с Несговоровой Г. П.).

  180. Система для редактирования иерархических графов // Новые информационные технологии в университетском образовании. — Новосибирск: НИИ МИОО НГУ, 1997. — С. 147–148.— (Материалы Междунар. научно-методич. конф.). — (Совместно с Лисицыным И. А.).

  181. Formal methods for program reusability // World Congress on Scientific Computation, Modelling and Applied Mathematics: The 15th IMACS World Congress: Book of Abstracts. — Berlin: Wissenschaft und Technik Verlag, 1997. — P. 535.

  182. Formal methods for program reusability // World Congress on Scientific Computation, Modelling and Applied Mathematics. — Berlin: Wissenschaft und Technik Verlag, 1997. — Vol. 4. Artificial Intelligence and Computer Science. — P. 761–766.

  183. Iterative switching networks // Joint Bulletin of the Novosibirsk Computing Center and the Institute of Informatics Systems. Series: Computer Science. — 1997. — Vol.6. — P.17–28.

  184. The system PROGRESS as a tool for parallelizing compiler prototyping // Proc. of Eighth SIAM Conf. on Parallel Processing for Scientific Computing (PPSC-97), — Minneapolis, 1997. — P. 301–306. —(With Evstigneev V., Gorodniaia L.).

    1998

  185. Вопросы инструментальной поддержки визуальной обработки иерархических графовых моделей // Третий сибирский конгресс по прикладной и индустриальной математике, посвященный памяти С.Л. Соболева (1908–1998). — Новосибирск: Изд–во Института математики СО РАН, 1998. Часть V. — С. 42. — (Совместно с Лисицыным И. А.).

  186. Вопросы информационной поддержки научных исследований и преподавания гуманитарных дисциплин // Новые информационные технологии в университетском образовании. — Новосибирск: НИИ МИОО НГУ, 1998. — С. 78–79. — (Материалы Междунар. научно-методич. конф.). — (Совместно с Несговоровой Г. П.).

  187. Методы и средства визуальной обработки иерархических графовых моделей // Новые информационные технологии в университетском образовании. — Новосибирск: НИИ МИОО НГУ, 1998. — С. 135–136. — (Материалы Междунар. научно-методич. конф.). — (Совместно с Лисицыным И. А.).

  188. Письмо в редакцию// Наука в Сибири. — 1998. — N 43. — С. 12.

  189. Поддержка супервычислений и интернет–ориентированные технологии // Новые информационные технологии в университетском образовании. — Новосибирск: НИИ МИОО НГУ, 1998. — С. 162–163. — (Материалы Междунар. научно-методич. конф.). — (Совместно с Евстигнеевым В. А., Малининой Ю.В., Бирюковой Ю.В., Маркиным В.А., Харитоновым Э.В., Цикозой С.Г.).

  190. Поддержка супервычислений и интернет–ориентированные технологии // Распределенная обработка информации. — Новосибирск: Изд–во СО РАН, 1998. — С. 410–414. — (Совместно с Евстигнеевым В. А., Малининой Ю.В., Бирюковой Ю.В., Маркиным В.А., Харитоновым Э.В., Цикозой С.Г.).

  191. Средства поддержки супервычислений // Третий сибирский конгресс по прикладной и индустриальной математике, посвященный памяти С.Л. Соболева (1908–1998). — Новосибирск: Изд–во Института математики СО РАН, 1998. — Часть V. — С. 42–43. — (Совместно с Евстигнеевым В. А., Малининой Ю.В., Бирюковой Ю.В., Маркиным В.А., Харитоновым Э.В., Цикозой С.Г.).

  192. Теория графов: алгоритмы обработки бесконтурных графов. — Новосибирск: Наука, 1998. — 385 с. — (Совместно с Евстигнеевым В. А.).

  193. Graph methods in program construction and optimization // The 7th Intern. Colloquium in Numerical Analysis and Computer Science with Applications. Abstracts of Invited Lectures and Short Communications. — Plovdiv, 1998. — P. 62.

  194. Hierarchical graphs and visual processing // Intern. Congress of Mathematician (ICM98). Abstracts of Short Communications and Poster Sessions. — Berlin, 1998. — P. 292.

  195. Iterative switching networks // Proc. of the 2nd IMACS Intern. Conf. on Circuits, Systems and Computers (IMACS–CSC'98). — 1998. — Vol. 2. — P. 843–847.

  196. Iterative Switching Networks // Recent Advances in Information Science and Technology / Edit. N.E. Mastorakis. — Singapore-New Jersey-London-Hong Kong: World Scientific Publ. Co. Pre. Ltd., 1998. — P. 68–72.

    1999

  197. Вводный курс программирования на Паскале в заданиях и упражнениях. — Новосибирск: НГУ, 1999. — Часть 1. — 160 с.

  198. Вводный курс программирования на Паскале в заданиях и упражнениях. — Новосибирск: НГУ, 1999. — Часть 2. — 170 с.

  199. Вводный курс программирования на Паскале в заданиях и упражнениях // Новые информационные технологии в университетском образовании. — Новосибирск: НДМИ, 1999. — С. 96–97. — (Материалы V Международной научно–методической конференции).

  200. Вводный курс программирования на Паскале в заданиях и упражнениях // Применение новых технологий в образовании. — Троицк: Фонд новых технологий в образовании “Байтик”, 1999. — С. 249–251. — (Материалы X Международной конференции).

  201. Вопросы информационной поддержки гуманитарных исследований в области культуры // Проблемы систем информатики и программирования / Сб. статей под ред. В.Н. Касьянова. — Новосибирск: ИСИ СО РАН, 1999. — С. 188–201. — (Совместно с Несговоровой Г. П.).

  202. Иерархические графы и графовые модели: вопросы визуальной обработки // Проблемы систем информатики и программирования / Сб. статей под ред. В.Н. Касьянова. — Новосибирск: ИСИ СО РАН, 1999. — С. 7–32.

  203. О базовом университетском образовании математиков по информатике и программированию // Материалы Международной конференции “Выпускник НГУ и научно–технический прогресс”. — Новосибирск: НГУ, 1999. — Часть 1. — С.107–108.

  204. Предисловие редактора // Проблемы систем информатики и программирования / Сб. статей под ред. В.Н. Касьянова. — Новосибирск: ИСИ СО РАН, 1999. — С. 5–6.

  205. Сводимые графы и граф–модели в программировании. — Новосибирск: Изд-во ИДМИ, 1999. — 288 с. — (Совместно с Евстигнеевым В. А.).

  206. СИМИКС — информационная система по истории информатики // Применение новых технологий в образовании. — Троицк: Фонд новых технологий в образовании “Байтик”, 1999. — С. 251–252. — (Материалы X Международной конференции). — (Совместно с Евстигнеевым В. А., Несговоровой Г. П., Цикозой С.Г.).

  207. Толковый словарь по теории графов в информатике и программировании. — Новосибирск: Наука. Сиб. предприятие РАН, 1999. — 291 с. — (Совместно с Евстигнеевым В. А.).

  208. Толковый словарь по теории графов и его Web–версия // Новые информационные технологии в университетском образовании. — Новосибирск: НДМИ, 1999. — С. 41–43. —(Материалы V Международной научно–методической конференции). — (Совместно с Евстигнеевым В. А., Казанцевым В.Е., Гибадуллиным А.З.)

  209. HIGRES — visualization system for clustered graphs and graph algorithms // Lecture Notes in Computer Science. 1999. — Vol. 1731. — P. 82–89. — (Proc. of the 7th Intern. Symposium on Graph Drawing: CD'99.) — (With Lisitsyn I.A.).

  210. On support tools for visual processing of hierarchical graph models/ // Joint Bull. Nov. Comput. Center and A.P. Ershov Inst. Informatics Sys., Series: Comp. Science. 1999. — Vol. 12. — P. 19–23. — (With Lisitsyn I.A.).

  211. On visualization in computer–aided teaching of mathematics // Proc. of the 9th Congress for the learning and teaching of Mathematics (IX JAEM). — Galicia, Ludo, 1999. — P. 113-117.— (With Lisitsyn I.A.).

  212. Support tools for hierarchical information visualization // Human–Computer Interaction: Communication, Cooperation and Application Design. Lawrence Erlbaum Associated Publ., London. 1999. — Vol. 2. — P. 117–121. — (With Lisitsyn I.A.).

  213. Support tools for supercomputing // ICIAM–99: The 4th International Congress on Industrial and Applied Mathematics. — Edinburg, 1999. — P. 276. — (Book of Abstracts).

  214. Support tools for supercomputing and networking // Lecture Notes in Computer Science. 1999. — Vol. 1593. — P. 1175–1179. — (With Evstigneev V.A., Malinina J.V., Birjukova J.V., Markin V.A., Haritonov E.V., Tsikoza S.G.).

  215. Support tools for supercompution // Joint Bull. Nov. Comput. Center and A.P. Ershov Inst. Information Sys., Series: Comp. Science. 1999. — Vol. 12. — P. 15–18. — (With Evstigneev V.A., Malinina J.V., Birjukova J.V., Markin V.A., Haritonov E.V., Tsikoza S.G.).

    2000

  216. Вопросы обучения математиков программированию // Всероссийская конференция “Математика и общество. Математическое образование на рубеже веков (RCME-2000)”. — М., МЦМНО, 2000. — С. 440–443.

  217. Графы в информатике и программировании // Новые информационные технологии в электротехническом образовании (НИТЭ–2000). — Астрахань: Изд–во ЦНТЭП, 2000. — С. 15–20. — (Сборник научных трудов V международной научно–методической конференции).

  218. Информационная поддержка изучения некоторых аспектов культуры как элемент гуманизации специализированного образования // Вестник НГУ, Серия: педагогика. — Новосибирск, 2000. — Том 1, Вып. 1. — С.26–34. — (Совместно с Несговоровой Г. П.).

  219. Модели и инструменты параллельного программирования // Новые информационные технологии в университетском образовании. — Новосибирск: НДМИ, 2000. — С. 130–131. — (Материалы VI Международной научно–методической конференции).

  220. Применение теории графов в информатике и программировании // Информационные технологии в образовании (МКИТО–2000). — Шахты: Изд–во ЮРГУЭС, 2000. — С. 33-35. — (Международная научно–практическая конференция).

  221. Средства поддержки применения графов в программировании // Проблемы программирования. — 2000. — N 1–2, — С. 286–300.

  222. Средства поддержки применения графов в пограммировании // Четвертый сибирский конгресс по прикладной и индустриальной математике (ИНПРИМ–2000). — Новосибирск: Изд–во Института математики СО РАН, 2000. — Часть 2. — С. 117.

  223. AFORT: a system for annotated program manipulation // Proc. of the 16th IMACS World Congress on Scientific Computation, Applied Mathematics and Simulation. —Lausanne, EPFL, 2000. — P. 582–587.

  224. AFORT: a system for annotated program manipulation // The 16th IMACS World Congress on Scientific Computation, Applied Mathematics and Simulation: Book of Abstracts. — Lausanne, EPFL, 2000. — P. 45.

  225. An integrated environment for annotated program transformations // Proc. of the 2nd International Workshop on Computer Science and Information Technologies (CSIT–2000) — Ufa, 2000. — Vol. 2. — P. 38–44.

  226. Graph theory for programmers. Algorithms for processing trees.— Dordrecht - Boston - London: Kluwer Academic Publishers, 2000. — 432 p. — (With Evstigneev V.A.).

  227. Hierarchical graph models and visual processing // Proc. of Intern. Conf. on Software: Theory and Practice (ICS–2000). The 16th IFIP World Computer Congress. — Beijing, PHEI, 2000. — P. 179–182. — (With Lisitsyn I.A.).

  228. SIMICS — information system on informatics history // Proc. of Intern. Conf. on Educational Uses of Information and Communication Technologies (ICEUT). The 16th IFIP World Computer Congress. — Beijing, PHEI, 2000. — P. 168.

    2001

  229. Вопросы обучения информатике и программированию // Информационные технологии в науке и образовании (МКИТО–2001). — Шахты: Изд–во ЮРГУЭС, 2001. — С. 13–14. — (Сборник материалов Международной науч.–практ. конф.).

  230. Вопросы преподавания информатики в вузах // Информационные технологии в образовании. — М.: МИФИ, 2001. — Часть 2. — С. 81–82. — (XI Международная конференция–выставка).

  231. Курс программирования на Паскале в заданиях и упражнениях. — Новосибирск: НГУ, 2001. — 448 с.

  232. Курс программирования на Паскале в заданиях и упражнениях // Телематика-2001. — Санкт–Петербург, ИТМО, 2001. — С. 103–104. — (Труды Международной научно–практической конференции).

  233. О работе 16 Всемирного компьютерного конгресса ИФИП // Поддержка супервычислений и интернет–ориентированные технологии / Сб. статей под ред. В. Н. Касьянова. — Новосибирск: ИСИ СО РАН, 2001. — С. 9–30.

  234. Практикум по программированию. — Новосибирск: НГУ, 2001. — 156 с.

  235. Предисловие редактора // Поддержка супервычислений и интернет-ориентированные технологии / Сб. статей под ред. В. Н. Касьянова. — Новосибирск: ИСИ СО РАН, 2001. — С. 5–8.

  236. Применение графов в программировании // Поддержка супервычислений и интернет–ориентированные технологии / Сб. статей под ред. В. Н. Касьянова. — Новосибирск: ИСИ СО РАН, 2001. — С. 139–167.

  237. Применение графов в программировании // Программирование. — 2001. — N 3. — С. 51–76.

  238. Проблемы обучения информатике и программированию // Новые информационные технологии в региональной инфраструктуре и образовании (НИТРИО–2001). — Астрахань: Изд–во АГТУ, 2001. — С. 128–131. — (Материалы IV Междунар. научно–метод. конференции).

  239. Проблемы обучения информатике и программированию // Технологии информационного общества. Интернет и современное общество. — Санкт-Петербург: МЦ СПбГУ, 2001. — С. 106-108. — (Материалы Всесоюзной объединенной конференции IST/IMS–2001).

  240. Функциональный язык Sisal 3.0 // Поддержка супервычислений и интернет–ориентированные технологии / Сб. статей под ред. В. Н. Касьянова. — Новосибирск: ИСИ СО РАН, 2001. — С. 54–67. — (Совместно с Евстигнеевым В.А., Бирюковой Ю.В.).

  241. A support tool for annotated program manipulation // Proc. of the 5th European Conf. on Software Maintenanence and Reengineering. — IEEE Computer Society Press, 2001. — P. 85–94.

  242. Graph applications in programming // Programming and Computer Software. — 2001. — Vol. 27, N 3. — P. 146–164.

  243. Methods and tools of functional programming and supercomputing // Telematica–2001. Proc. of International Conference on Telematics and Web–based Education. International Volume. — St. Peterburg, IFMO, 2001. — P. 55–56.

  244. Support tools for graphs in computer science education // Proc. of IEEE International Conference on Advanced Learning Technologies. — IEEE Computer Society Press, 2001. — P. 307–308.

  245. Support tools for graphs in computer science and computer education // Telematica–2001. Proc. of International Conference on Telematics and Web-based Education. International Volume. — St. Peterburg, IFMO, 2001. — P. 86–88.

    2002

  246. Виртуальный музей истории информатики в Сибири // Материалы научно–практической конференции “Культура информационного общества”. — Красноярск, КГТУ, 2002. — С. 96–98. — (Совместно с Несговоровой Г. П., Волянской Т. А.).

  247. Виртуальный музей истории информатики в Сибири // Применение новых технологий в образовании. — Троицк: Фонд новых технологий в образовании “Байтик”, 2002. — С. 36–37. — (Материалы XII Международной конференции).

  248. Виртуальный музей истории информатики в Сибири // Современные проблемы конструирования программ / Сб. статей под ред. В. Н. Касьянова. — Новосибирск: ИСИ СО РАН, 2002. — С. 169–181. — (Совместно с Несговоровой Г. П., Волянской Т. А.).

  249. Виртуальный музей истории информатики в Сибири // Труды Международной конференции “Электронные изображения и виртуальные искусства”. — Киев, Международный научно-учебный центр ЮНЕСКО, 2002. — С. 242–250. — (Совместно с Несговоровой Г. П., Волянской Т,А,).

  250. Курс программирования на Паскале в заданиях и упражнениях // Информационные технологии в общеобразовательной школе. — Новосибирск: Издательский центр ИВТ СО РАН, 2002. — С. 231–236. —(Сборник материалов Международной телеконференции).

  251. Курс программирования на Паскале в заданиях и упражнениях // Применение новых технологий в образовании. — Троицк: Фонд новых технологий в образовании “Байтик”, 2002. — С. 125–127. — (Материалы XII Международной конференции).

  252. Предисловие редактора // Современные проблемы конструирования программ / Сб. статей под ред. В. Н. Касьянова. — Новосибирск: ИСИ СО РАН, 2002. — С. 5–6.

  253. Проблемы подготовки специалистов, владеющих информационными технологиями // Материалы II Всесоюзной конференции “Подготовка научных кадров в Российской Федерации. Состояние, перспективы развития.” — Нижний Новгород: Нижегородский госуниверситет им. Н.И. Лобачевского, 2002. — С.184–186.

  254. Slising: срезы программ и их использование. — Новосибирск: ИСИ СО РАН, 2002. — 116 с. — (Совместно с Мирзуитовой И.Л.).

  255. Annotated programming: methods and models // International Congress of Mathematicians (ICM'2002). Abstracts of Short Communications and Posters Sessions. — Beijing, 2002. — P. 311.

  256. Graphs in programming: methods and tools for education // Вычислительные технологии. — 2002. — Т.7. — Специальный выпуск по материалам Международной конференции БТММ-2002. — Часть 1. — С. 115–123.

  257. Methods and tools for support of graphs and visual processing // Proc. of the 16th WSEAS. International multiconference CSCC. — Rethymo, 2002. — P. 791–795.

  258. Methods and tools for support of graphs and visual processing // Recent Advances in Computers, Computing and Communications. — WSEAS Press, 2002. — P. 132–136.

  259. Web-based systems for supporting computer-science teaching and learning // ACM SIGCSE Bulletin. — New York: ACM Press, 2002. — Vol. 34, N 3. — P. 238. — (Proc. of the 7th ACM SIGCSE Conf. on Innovation and Technology in Computer Science Education). — (With Kasianova E.V.)

    2003

  260. Адаптивная гипермедиа и ее использование при создании виртуального музея истории информатики в Сибири // Пятая международная конференция памяти А.П. Ершова. Перспективы систем информатики. Секция “Информатика образования”. Доклады и тезисы. — Новосибирск, 2003. — С. 10–12. — (Совместно с Волянской Т. А., Несговоровой Г. П.).

  261. Виртуальный музей истории информатики в Сибири // Проблемы программирования. — 2003. — N 4. — С. 82–91. — (Совместно с Несговоровой Г. П., Волянской Т. А.).

  262. Графы в программировании: обработка, визуализация и применение. — СПб.: БХВ–Петербург, 2003. — 1104 с. — (Совместно с Евстигнеевым В. А.).

  263. Предисловие редактора // Новые информационные технологии в науке и образовании / Сб. статей под ред. В. Н. Касьянова. — Новосибирск: ИСИ СО РАН, 2003. — С. 5–6.

  264. Упорядоченные диаграммы бинарных решений // Новые информационные технологии в науке и образовании / Сб. статей под ред. В. Н. Касьянова. — Новосибирск: ИСИ СО РАН, 2003. — С. 176–219. — (Совместно с Мирзуитовой И.Л.).

  265. An environment for Web–based education of programming // HCI International 2003. Adjunct proceedings. 10th International Conference on Human–Computer Interaction. — Heraclion: Crete University Press, 2003. — P. 179–180. — (With Kasyanova E.V.).

  266. Support tools for computer science teaching and learning // Proc. of the IASTED International Conference on Computers and Technology in Education, including the IASTED International Symposium Web–based Education. — Anaheim–Calgary–Zurich: ACTA Press, 2003. — P. 693–698.

  267. Virtual museum of informatics history in Siberia // Human–Centered Computing: Cognitive, Social and Ergonomic Aspects. — London: Lawrence Erlbaum Associated Publishers, 2003. — P. 1016–1020. — (With Nesgovorova G.P., Volyanskaya T.A.).

    2004

  268. Адаптивные системы и методы дистанционного обучения // Информационные технологии в высшем образовании. — 2004. — Т. 1, N 4. — С.40–60. — (Совместно с Касьяновой Е.В.).

  269. Дистанционное обучение: методы и средства адаптивной гипермедиа // Вычислительные технологии. — 2004. — Т.9. Специальный выпуск по материалам Международной конференции ВИТ–2004. — Часть 2.— С. 333–341. — (Совместно с Касьяновой Е.В.).

  270. Дистанционное обучение: методы и средства адаптивной гипермедиа // Программные средства и математические основы информатики / Сб. статей под ред. В. Н. Касьянова. — Новосибирск: ИСИ СО РАН, 2004. — С. 80–141. — (Совместно с Касьяновой Е.В.).

  271. Предисловие редактора // Программные средства и математические основы информатики / Сб. статей под ред. В.Н. Касьянова. — Новосибирск: ИСИ СО РАН, 2004. — С. 5–6.

  272. Реструктурирующие преобразования: алгоритмы распараллеливания циклов // Программные средства и математические основы информатики / Сб. статей под ред. В. Н. Касьянова. — Новосибирск: ИСИ СО РАН, 2004. — С. 142–188. — (Совместно с Мирзуитовой И.Л.).

  273. Graph–based interactive learning systems // Proc. of ED–MEDIA 2004 World Conf. on Educational Multimedia, Hypermedia & Telecommunications. — AACE, 2004. — P. 1392–1397.

  274. Graph–based interactive learning systems // Proc. of ED–MEDIA 2004 World Conf. on Educational Multimedia, Hypermedia & Telecommunications. Abstracts. — AACE, 2004. — P. 68.

  275. Hierarchical graph models and tools for visual processing and supercomputing // Proc. of the 4th European Congress of Mathematics. Mathematics in Science and Technology. — EMS Publ. House, 2004. — Vol.2. — P. 320.

  276. SVM — Siberian virtual museum of informatics history // Вычислительные технологии. — 2004. — Т.9. Специальный выпуск по материалам Международной конференции ВИТ–2004. — Часть 1. — С. 59–65. — (With Nesgovorova G.P., Volyanskaya T.A.).

  277. SVM — Siberian virtual museum of informatics history // Proc. of the 4th Intern. Conf. Internet–Education–Science (IES–2004). — Vinnytsia: VNTU Press, 2004. — P. 230–233.

    2005

  278. Предисловие редактора // Методы и инструменты конструирования и оптимизации программ / Сб. статей под ред. В. Н. Касьянова. — Новосибирск: ИСИ СО РАН, 2005. — С. 5–6.

  279. Methods and tools of functional programming for supporting parallel programming // Proc. of the 17th IMACS World Congress. — Paris, 2005. — P. 675–679.

  280. SVM — Siberian virtual museum of informatics history // Innovation and the Knowledge Economy: Issues, Applications, Case Studies. — Amsterdam: IOS Press, 2005. — Part 2. — P. 1014–1021.

  281. The SVM — Siberian virtual museum of informatics history // Abstracts of EVA 2005 London Conf. — London: ECI Press, 2005. — P. 10.

  282. The SVM — Siberian virtual museum of informatics history // Proc. of EVA 2005 London Conf. — London: ECI Press, 2005. — P. 231–242.

    2006

  283. А.П. Ершов и графы в программировании // SORUCOM'2006: Развитие вычислительной техники в России и странах бывшего СССР: история и перспективы. — Петрозаводск: ПГУ, 2006. — Часть 2. — С. 35. — (Материалы Международной конференции).

  284. Ершов и графы в программировании // Андрей Петрович Ершов — учёный и человек. — Новосибирск: Изд–во СО РАН, 2006. — С. 150–157.

  285. Музеи и Интернет // Проблемы интеллектуализации и качества систем информатики / Сб. статей под ред. В. Н. Касьянова. — Новосибирск, ИСИ СО РАН, 2006. — С. 67–84.

  286. Музеи и Интернет: новые возможности // Информационные технологии в гуманитарных исследованиях: Сборник трудов. — Новосибирск: НГУ, 2006. — Вып. 10. — С. 88–96.

  287. Предисловие редактора // Проблемы интеллектуализации и качества систем информатики / Сб. статей под ред. В. Н. Касьянова. — Новосибирск, ИСИ СО РАН, 2006. — С. 5–6.

  288. Реструктурирующие преобразования: алгоритмы распараллеливания циклов // Труды международной конференции “Вычислительные и информационные технологии в науке и образовании”, — Павлодар, 2006. — Т. 1. — С. 598–605. — (Совместно с Мирзуитовой И.Л.).

  289. A functional programming system for supporting parallel programming // Proc. of the 10th Intern. WSEAS Conf. on Computers. — Athens: WSEAS Press, 2006. — P. 1125–1127.

  290. An open adaptive virtual museum of informatics history in Siberia // SORUCOM'2006: Развитие вычислительной техники в России и странах бывшего СССР: история и перспективы. — Петрозаводск: ПГУ, 2006. — Часть 2. — С. 35–40. —(Материалы Международной конференции).

  291. A System for Investigation of Regulatory Processes and Control Systems on the Genome Level // Proc. of the 10th WSEAS Intern. Conf. on Computers. — Athens: WSEAS Press, 2006. — P. 1153–1155.

  292. Development of algorithms and intelligent software for investigation of regulatory processes and control systems on the genome level // Intern. Congress of Mathematicians. Abstracts. Posters, Short Communications, Mathematical Software, Other Activities. — Madrid: EMS, 2006. — P. 497–498.

  293. Graph theory for programmers. Algorithms for processing trees. — Beijing: Kexue Publishing, 2006. — 432 p. — (With Evstigneev V.A.).

  294. SFP — an interactive visual environment for supporting of functional programming and supercomputing // WSEAS Transactions on Computers. — 2006. — Vol. 5, Issue 9. — P. 2063–2069. — (With Stasenko A.P., Gluhankov M.P., Dortman P.A., Pyjov K.A., Sinyakov A.I.).

  295. SVM — an open adaptive virtual museum of informatics history in Siberia // International Co–operation: University and Region. — Tyumen: TSU Press, 2006. — P. 32–34. — (Materials of Intern. Conf. of the Educational Programme TEMPUS/TASIC “International Integration of Tyumen Region”).

    2007

  296. Предисловие редактора // Методы и инструменты конструирования программ / Сб. статей под ред. В. Н. Касьянова. — Новосибирск: ИСИ СО РАН, 2007. — С. 5–6.

  297. Язык программирования Sisal 3.2 // Методы и инструменты конструирования программ / Сб. статей под ред. В. Н. Касьянова. — Новосибирск: ИСИ СО РАН, 2007. — С. 56–134.— (Совместно со Стасенко А.П.).

  298. A functional programming system SFP: Sisal 3.1 language structure decomposition // Lecture Notes in Computer Science. — 2007. — Vol. 4671. — P. 62–73. — (With Stasenko A.P.).

  299. A Web–based system for distance learning of programming // European Computing Conference. Book of Abstracts. — Athens: WSEAS Press, 2007. — P. 36. — (With Kasyanova E.V.).

  300. Methods and a system of functional programming for supporting supercomputing // Abstracts for ICIAM'07. — Zurich, 2007. — P. 165.

  301. Methods and a system of functional programming for supporting supercomputing // PAMM. — 2007. — Vol. 7, Issue 1. —P. 2010035–2010036. — (Special Issue: Sixth International Congress on Industrial Applied Mathematics (ICIAM07) and GAMM Annual Meeting, Zürich 2007).

  302. Sisal 3.2 language structures decomposition // European Computing Conference. Book of Abstracts. — Athens: WSEAS Press, 2007. — P. 92. — (With Stasenko A.P.).

    2008

  303. Всемирные компьютерные конгрессы ИФИП // Конструирование и оптимизация параллельных программ / Сб. статей под ред. В. Н. Касьянова. —Новосибирск, ИСИ СО РАН, 2008. — С. 113– 145.

  304. Интегрированная визуальная среда поддержки конструирования параллельных программ // Конструирование и оптимизация параллельных программ / Сб. статей под ред. В. Н. Касьянова. —Новосибирск, ИСИ СО РАН, 2008. — С. 95– 112.

  305. Интегрированная визуальная среда поддержки конструирования параллельных программ // Проблемы информатики. — 2008.— N 1. — С. 51 – 58.

  306. Курс по основам информатики и программирования // Университет в системе непрерывного образования: Материалы Международной научно-методической конференции. — Пермь: ПГУ, 2008.— С. 317 – 318.

  307. Музеи и Интернет // Современные информационные технологии и письменное наследие: от древних текстов к электронным библиотекам. — Казань: Изд-во Казанского гос. ун-та, 2008. — С. 132–135.

  308. Музеи и Интернет: новая виртуальная реальность // Вычислительные технологии, ISSN 1560-7534, Том 13, Вестник КАЗНУ им. аль-Фараби. Серия математика, механика, информатика N 3(58), ISSN 1563-0285, Совместный выпуск по материалам Международной конференции “Вычислительные и информационные технологии в науке, технике и образовании”, 10–14 сентября 2008 г. , Часть II, Казахский национальный университет имени аль-Фараби, Институт вычислительных технологий Сибирского отделения РАН, Алматы-Новосибирск, 2008, С. 239–247.

  309. Предисловие редактора // Конструирование и оптимизация параллельных программ / Сб. статей под ред. В. Н. Касьянова. — Новосибирск, ИСИ СО РАН, 2008. — С. 5– 7.

  310. Языковые и программные средства для конструирования и оптимизации параллельных программ // Труды VIII Международной конференции “Информатика: проблемы, методология, технология”. — Воронеж: ВГУ, 2008. — Том.1.— С. 254 – 257.

  311. Языковые и программные средства конструирования параллельных программ // Информационные технологии в высшем образовании. — 2008. — Т.4, N 4.— C. 23–34.

  312. Языковые и программные средства конструирования параллельных программ // Вычислительные технологии, ISSN 1560-7534, Том 13, Вестник КАЗНУ им. аль-Фараби. Серия математика, механика, информатика N 3(58), ISSN 1563-0285, Совместный выпуск по материалам Международной конференции “Вычислительные и информационные технологии в науке, технике и образовании”, 10–14 сентября 2008 г. , Часть II, Казахский национальный университет имени аль-Фараби, Институт вычислительных технологий Сибирского отделения РАН, Алматы-Новосибирск, 2008, С. 248–255.

  313. An open adaptive virtual museum of informatics history in Siberia // IFIP International Federation for Information Processing. — Boston: Springer, 2008. — Vol. 266. History of Computing and Education 3 (HCE 3). — p. 129–146. — (Proc. of the 20th IFIP World Computer Congress).

  314. Methods and a system of functional programming for supporting supercomputing // Proc. of the 5-th European Congress of Mathematics. — Amsterdam: EMS Publ. House, 2008. — P. 213.

  315. WAPE — a system for distance learning of programming // IFIP International Federation for Information Processing. — Boston: Springer, 2008. — Vol. 261. Learning to Live in the Knowledge Society. — p. 355–357. — (Proc. of the 20th IFIP World Computer Congress) — (With Kasyanova E.V.).

    2009

  316. Всемирные компьютерные конгрессы ИФИП // Седьмая международная конференция памяти А.П. Ершова “Перспективы систем информатики”. Семинар “История информатики в Сибири”. — Новосибирск, 2009. — С. 29 – 34.

  317. Курс по основам информатики и программирования // Труды международной научно-практической конференции “Роль классических университетов в формировании инновационной среды регионов”. —г. Уфа: БашГУ, 2009. — 4 с.

  318. Методические и программные средства поддержки обучения теоретико-графовым методам и алгоритмам // Седьмая международная конференция памяти А.П. Ершова “Перспективы систем информатики”. Секция “Информатика образования”. Доклады и тезисы. — Новосибирск, Сибирское Научное Издательство, 2009. — С. 58 – 59.

  319. Предисловие // Седьмая международная конференция памяти А.П. Ершова “Перспективы систем информатики”. Семинар “История информатики в Сибири”. — Новосибирск, 2009. — С. III – IV.

  320. Сибирский межрегиональный Фонд “Информатика: развитие и образование” (ИнфРО) // Седьмая международная конференция памяти А.П. Ершова “Перспективы систем информатики”. Семинар “История информатики в Сибири”. — Новосибирск, 2009. — С. 35 – 38.

  321. Словарь по графам в информатике.— Новосибирск: Сибирское Научное Издательство, 2009. — 300 с. (ISBN 978-591124-036-3). (Совместно с Евстигнеевым В.А.).

  322. Средства поддержки графов в программировании // Труды IX Международной конференции “Информатика: проблемы, методология, технология”. — Воронеж: ВГУ, 2009. — Том.1. — С. 358 – 361.

  323. Средства поддержки обучения теоретико-графовым методам и алгоритмам // Вестник ТулГУ. Серия Современные образовательные технологии в преподавании естественнонаучных дисциплин. — Вып. 8.— Тула: Изд-во ТулГУ, 2009. — С. 96–100.— (Труды VIII Междунар. конф. “Современные образовательные технологии в преподавании дисциплин естественнонаучного цикла”)

  324. A Web-based system for distance learning of programming // Lecture Notes in Electrical Engineering. — Springer, 2009. — Vol. 27. — pp. 453–462. — (Proceedings of the European Computing Conference). — (With Kasyanova E.V.)

  325. Sisal 3.2 language structures decomposition // Lecture Notes in Electrical Engineering. — Springer, 2009. — Vol. 28. — pp. 582–594. — (Proceedings of the European Computing Conference). (With Stasenko A.P.)

    2010

  326. Визуализация графов и графовых моделей. — Новосибирск: Сибирское Научное Издательство, 2010. — 123 с. — (ISBN 978-5-91124-039-4). — (Совместно с Касьяновой Е.В.).

  327. Визуализация графов и графовых моделей // Труды X Международной конференции “Информатика: проблемы, методология, технология”. — Воронеж: ВГУ, 2010. — Том.1. — С. 277–280.

  328. Язык программирования Zonnon. — Новосибирск, НГУ, 2010. — 120 с. — (ISBN 978-5-94356-885-5) (Совместно с Касьяновой Е.В.).

  329. Support Tools for Graphs in Computer Science // Proc. of the 15th ACM SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiCSE 2010). — ACM Press, New York, 2010. — p. 315. — (ISBN: 978-1-4503-0075-9).

  330. Tools for supporting graphs in computer science // Intern. Congress of Mathematicians. Abstracts. Short Communications. Posters. — Hyderabad: HINDUSTAN Book Agency, 2010, — pp. 516–517.

    2011

  331. Визуализация информации на основе графовых моделей // Доклады Седьмой Международной Азиатской школы-семинара “Проблемы сложных систем”. — Ташкент, 2011. — С. 50 – 55.

  332. Научная школа А. П. Ершова: системы программирования и информатики // Современные проблемы математики, информатики и биоинформатики. Программа конференции и тезисы докладов международной конференции. — Новосибирск, ИВТ СО РАН, 2011. — С. 87–88. — (Совместно с Марчуком А.Г.).

  333. Научная школа А. П. Ершова: системы программирования и информатики [Электронный ресурс] // Межд. конф. “Современные проблемы математики, информатики и биоинформатики”, посвященная 100-летию со дня рождения члена-корреспондента АН СССР Алексея Андреевича Ляпунова.— (Новосибирск, Россия, 11.10 — 14.10.2011): материалы конференции. — Новосибирск: ИВТ СО РАН, 2011. — 17 с. — № гос. регистрации — 0321103262, ISBN 978-5-905569-03-6.— (Совместно с Марчуком А.Г.).

  334. Оптимизация приложений с использованием компиляторов Intel. Видеокурс.— М.: Интуит, 2011. — (Совместно с А.В. Ануфриенко, Н.В. Пановым, Р.И. Идрисовым).

  335. Применение теоретико-графовых методов в программировании // Ершовская конференция по информатике 2011. Секция “Информатика образования”. Доклады и тезисы. — Новосибирск, ИСИ СО РАН, 2011. — С. 67 –71.

  336. Русско-английский и англо-русский словарь по графам в информатике. — Новосибирск: Сибирское Научное Издательство, 2011. — 216 с.— (ISBN 978-5-91124-047-9).— (Совместно с Евстигнеевым В.А.).

  337. Системы поддержки применения графов и графовых алгоритмов // Труды ИВМиМГ СО РАН, Сер. Информатика. — Новосибирск, 2011.— Вып.10.— С. 93–99 — (Совместно с Касьяновой С.Н.).

  338. Словарь и энциклопедия по графам в информатике // Труды XI Международной конференции “Информатика: проблемы, методология, технология”. — Воронеж: ВГУ, 2011. — Том.1. — С. 344 – 348.

  339. Теоретико-графовые методы в программировании // Труды SoRuCom-2011. Вторая Международная конференция “Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР”. — Великий Новгород, 2011. — С. 134–136.

  340. An open adaptive virtual museum of information history in Siberia // IFIP Advances in Information and Communication Technology. — Springer, 2011. — Vol. 357. — pp. 194-200.— ISBN 978-3-642-22815-5

  341. Веб-системы поддержки графов и графовых алгоритмов // Актуальные вопросы современной информатики. — Коломна: МГОСГИ, 2011. — Том.1. — С. 176 – 179. — (Материалы Международной заочной научно-практической конференции).

  342. Sisal 3.2: Functional Language for Supporting Scientific Supercomputing // Abstracts for ICIAM 2011. — Vancouver, 2011. — p. 182.

  343. WEGA: the Web-Encyclopedia of Graph Algorithms in Computer Science // Abstracts for ICIAM 2011. — Vancouver, 2011. — p. 183.

    2012

  344. Визуализация информации на основе графовых моделей // Актуальные проблемы механики, математики, информатики: сб. тез. науч.-прак. конф. — Пермь: Перм. гос. нац. исслед. ун-т., 2012. — С. 141. — (Совместно с Касьяновой Е.В.).

  345. Визуализация структурной информации на основе графовых моделей // Материалы XIII-ой Международной конференции “IT-технологии: развитие и приложения”. — Владикавказ: Фламинго, 2012. —с. 235–245. — (Совместно с Касьяновой Е.В.).

  346. Визуализация структурированной информации на основе иерархических графовых моделей // Материалы XII Международной конференции “Информатика: проблемы, методология, технология”. — Воронеж: ВГУ, 2012. – Том.1.— С. 214 – 218.

  347. Предисловие // Информатика в науке и образовании. Серия: Конструирование и оптимизация программ. — Новосибирск: ИСИ СО РАН, 2012. — Выпуск 21. — С. 3–4.

  348. Средства поддержки применения графов в информатике и программировании // Информатика в науке и образовании. Серия: Конструирование и оптимизация программ. — Новосибирск: ИСИ СО РАН, 2012. — Выпуск 21. — С. 47–56. — (Совместно с Касьяновой Е.В.).

  349. Язык представления графов GraphML: базовые средства // Информатика в науке и образовании. Серия: Конструирование и оптимизация программ. — Новосибирск: ИСИ СО РАН, 2012. — Выпуск 21. — С. 23–46.

  350. Язык представления графов GraphML: дополнительные возможности // Информатика в науке и образовании. Серия: Конструирование и оптимизация программ. — Новосибирск: ИСИ СО РАН, 2012. — Выпуск 21. — С. 7–22.

  351. Information visualization on the base of hierarchical graph models // Advances in Applied Information Science (Proc. of AIC'12 and BEBI'12) (Istambul, Turkey, August 21-23, 2012).— WSEAS Press, 2012. — pp. 115–120. — (Recent Advances in Electrical Engineering Series, Vol. 4). — (ISSN 1790-5117, ISBN 978-1-61804-113-5)

  352. Hierarchical graph models and information visualization // Proceedings of the 2012 Third World Congress on Software Engineering (WCSE 2012). — IEEE Computer Society, 2012. — pp. 79–82. — (ISBN 978-0-7695-4863-0)

    2013

  353. Визуализация информации на основе графовых моделей // Mathematical and informational technologies. МИТ 2013. Conference information. — Београд, Друштво математичара Косова и Метохиjе, 2013. — С. 97–97.

  354. Практикум по программированию. — Новосибирск: НГУ, 2013. — 198 с.— ISBN 978-5-4437-0167-7 — (Совместно с Касьяновой Е.В.).

  355. Системы поддержки графов и графовых алгоритмов // Mathematical and informational technologies. МИТ 2013. Conference information. — Београд, Друштво математичара Косова и Метохиjе, 2013. — С. 97–98. —(Совместно с Касьяновой С.Н.)

  356. Электронный словарь WikiGRAPP по теории графов и ее применениям в информатике и программировании. Свидетельство № 2013620433 от 25.03.2013 о государственной регистрации базы данных. —(Совместно с Евстигнеевым В.А., Касьяновой Е.В.).

  357. Электронная энциклопедия WEGA теоретико-графовых алгоритмов решения задач информатики и программирования. Свидетельство № 2013620463 от 01.04.2013 о государственной регистрации базы данных. —(Совместно с Евстигнеевым В.А., Касьяновой Е.В.).

  358. Information visualization based on graph models // Enterprise Information Systems. — 2013. — Vol. 7, N 2. — pp. 187–197. — (With Kasyanova E. V.)

  359. Средства поддержки применения теоретико-графовых методов в информатике и программировании // Материалы XIII Международной конференции “Информатика: проблемы, методология, технология”. — Воронеж: ВГУ, 2013. — Том.1. — С. 225– 228. —(Совместно с Касьяновой Е.В.).

  360. Methods and tools for structural information visualization // WSEAS Transactions on Systems. — 2013.— Vol. 12, Issue 7. — pp. 349–359. (Print ISSN: 1109-2777, E-ISSN: 2224-2678).

  361. Methods and tools for visualization of graphs and graph algorithms // Recent Advances in Systems, Control, Signal Processing and Informatics. Proceedings of the 2013 International Conference on Systems, Control, Signal Processing and Informatics (SCSI 2013). — WSEAS Press, 2013. — pp. 296–302. — (Recent Advances in Electrical Engineering Series, Vol. 16) —(ISSN 1790-5117, ISBN 978-1-61804-204-0).

  362. Sisal 3.2: functional language for scientific parallel programming // Enterprise Information Systems. — 2013. — Vol. 7, N 2. — pp. 227–236.

    2014

  363. Визуализация информации на основе графовых моделей. — Новосибирск: НГУ, 2014. — 149 с. — ISBN 978-5-4437-0244-5. —(Совместно с Касьяновой Е.В.).

  364. Визуализация информации на основе графовых моделей // Научная визуализация. — 2014. — Том. 6, N 1. — С. 31–50. —(Совместно с Касьяновой Е.В.).

  365. О практикуме по программированию в вузе // Ершовская конференция по информатике 2014. Секция “Информатика и образование”. Доклады и тезисы. — Новосибирск: Изд-во СО РАН, 2014. — С. 30-32. — ISBN 978-5-7692-1376-2 —(Совместно с Касьяновой Е.В.).

  366. Облачные средства поддержки супервычислений // Материалы XIV Международной конференции “Информатика: проблемы, методология, технология”. — Воронеж: ВГУ, 2014. — Том 3. — С. 206–209. — (Совместно с Арапбаевым Р.Н., Идрисовым Р.И., Касьяновой Е.В.).

  367. Практикум по программированию // Материалы XIV Международной конференции “Информатика: проблемы, методология, технология”. — Воронеж: ВГУ, 2014. —Том 4. — 4 с. —(Совместно с Касьяновой Е.В.).

  368. Российская информатика в лицах: мои учителя // Труды SORUCOM-2014. Третья Международная конференция “Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР: история и перспективы”. — Казань, 2014.— С. 143–149. — ISBN 978-5-905884-15-3

  369. Российское программирование в лицах: мои учителя // Проблемы информатики. — 2014. — N 2. — С. 74–85.

  370. Российское программирование в лицах: мои учителя // Десятая Международная Азиатская школа-семинар “Проблемы оптимизации сложных систем”, Кыргызская Республика, Иссык-Кульская область, с. Булан-Соготту, 25 июля-5 августа 2014 г. Труды. — Алматы: Изд-во НЦ НТИ, 2014. — Часть 1. — С. 380–391.

  371. Information visualization based on hierarchical graph models // International conference “Advanced mathematics, computations and applications - 2014”. Abstracts. — Novosibirsk: Academizdat, 2014. — P. 48. —ISBN 978-5-9904865-8-4. — (With Kasyanova E.V., Zolotuhin T.A.)

  372. Information visualization based on hierarchical graph models // Zbornik radova Konferencije MIT 2013. — Beograd: Uiverziteta u Pristini, 2014. — p. 312–321. —ISBN 978-86-80795-20-1

  373. Information visualization based on hierarchical graph models // V Congress of mathematicians of Macedonia. Book of abstracts.— Скопjе: Македониjа, 2014. — p. 103. — ISBN 978-9989-646-65-2.

  374. Support tools for application of graphs and graph algorithms // Zbornik radova Konferencije MIT 2013. — Beograd: Uiverziteta u Pristini, 2014. — p. 322–328. —ISBN 978-86-80795-20-1 — (With Kasyanova S.N.)

    2015

  375. Методы и средства параллельного программирования на основе языка Sisal // Материалы XV Международной конференции “Информатика: проблемы, методология, технология”. — Воронеж: ВГУ, 2015. — Том 2. — С. 166–170, —(Совместно с Идрисовым Р.И., Касьяновой Е.В., Стасенко А.П.).

  376. О плоских укладках иерархических графов // Материалы XV Международной конференции “Информатика: проблемы, методология, технология”. — Воронеж: ВГУ, 2015. — Том 2. — С. 114–118, —(Совместно с Касьяновой Е.В.).

  377. Теоретико-графовые методы и системы программирования // Труды XI Международной Азиатской школы-семинара “Проблемы оптимизации сложных систем”, Кыргызская Республика, 27 июля-7 августа 2015 г., оз. Иссык-Куль, г. Чолпон-Ата. — Алматы: Изд-во НЦ НТИ, 2015. — Часть 1. — С. 341–348.

  378. Теоретико-графовые методы и системы программирования // Международная конференция “Актуальные проблемы вычислительной и прикладной математики-2015”, посвященная 90-летию со дня рождения академика Гурия Ивановича Марчука. Тезисы. — Новосибирск: Академиздат, 2015. — С. 80.—ISBN 978-5-9907241-5-1.

  379. Теоретико-графовые методы и системы программирования // Труды Международной конференции “Актуальные проблемы вычислительной и прикладной математики-2015”, посвященной 90-летию со дня рождения академика Гурия Ивановича Марчука. — Новосибирск: Абвей, 2015. — С. 314–320.— ISBN 978-5-9905347-2-8.

  380. Cloud system of functional and parallel programming for computer science education // Proceedings of 2015 2nd International Conference on Creative Education (ICCE 2015), June 27-28, 2015, London, UK. —SMSSI, 2015. — pp. 270–275. — (Advances in Education Sciences, Vol. 10).— ISSN 2339-5141. —(With Kasyanova E.V.).

  381. Information visualization based on hierarchical graph models // Математички Билтен — Скопjе: Македониjа, 2015. — Vol.39 (LXV), N 1. — pp. 25–32—ISSN 0351-336X. —(With Kasyanova E.V.).

  382. Graph- and cloud-based tools for computer science education // Mobile, Secure, and Programmable Networking, First International Conference, MSPN 2015, Paris, France, June 15-17, 2015, Selected Papers. — Lecture Notes of Computer Science. — Springer, 2015. — Vol. 9395. — pp. 41–54. —DOI: 10.1007/978-3-319-25744-0_4 —(With Kasyanova E.V.).

  383. Graph-based tools for computer science teaching and learning // Proceedings of International Conference on Big Data, Cloud and Applications (BDCA'15). — Tetuan, Morocco, 2015. — pp. 244–249. —(With Kasyanova E.V.).

  384. Methods and tools of functional programming for supporting of cloud supercomputing // 8 International Congress on Industrial and Applied Mathematics. Program & Abstracts. — Beijing, 2015. — p. 347.

  385. Russian informatics in persons: my teachers // Proceedings of Third International Conference on Computer Technology in Russia and in the Former Soviet Union (SoRuCom). — IEEE Computer Society, Conference Publishing Services (CPS), 2015. — pp. 12–17. — DOI 10.1109/SoRuCom.2014.10

  386. Visual Graph — система для визуализации сложно структурированной информации большого объема на основе графовых моделей // Научная визуализация. — 2015. — Том. 7, N 4.— С. 44 – 59. —(Совместно с Золотухиным Т.А.).

  387. Visual Graph — система визуализации сложно структурированной информации большого объема на основе графовых моделей // GraphiCon2015. Труды Международной научной конференции. — Москва-Протвино: Институт физико-технической информатики, 2015. — С. 141–149. — ISBN 978-5-88835-041-6. —(Совместно с Золотухиным Т.А.).

    2016

  388. Поттосин Игорь Васильевич // Страницы истории отечественных ИТ. — М.: Интеллектуальная Литература, 2016. — С. 97–99.— ISBN 978-5-9614-5218-1.

  389. Программный комплекс Wiki2Tex. Свидетельство № 2013620463 от 01.04.2016 о государственной регистрации программы. —(Совместно с Касьяновй Е.В., Малышевым А.А.).

  390. Теоретико-графовые методы и системы программирования // Проблемы информатики. — 2016. — № 1. — С. 26–38. —(Совместно с Касьяновой Е.В.).

  391. Язык параллельного программирования Cloud Sisal // Материалы XVI Международной конференции “Информатика: проблемы, методология, технология”. — Воронеж: ВГУ, 2016. — Том 5. — С. 157–161.

  392. Hierarchical graph models and tools for visual processing and parallel programming // 7th European Congress of Mathematics. Conference Scientific Program and Abstracts. — Berlin: Technische Universitet Berlin, 2016. — p. 241.

  393. Methods and Tools of Parallel Programming // Mathematical and Information Technologies (MIT-2016). Conference Information. — Beograd: Uiverziteta u Pristini, 2016. — pp. 134–135. —(With Kasyanova E.V.).

    2017

  394. Автоматическая генерация тестов для оптимизирующего компилятора // Материалы XVI Международной конференции “Информатика: проблемы, методология, технология”. — Воронеж: Вэлборн, 2017. — Том 5. —С. 65–69. —(Совместно с Панкратовым С.Б.).

  395. Методы и средства дистанционного обучения программированию // Материалы XVI Международной конференции “Информатика: проблемы, методология, технология”. — Воронеж: Вэлборн, 2017. — Том 5. —С. 343–348. —(Совместно с Касьяновой Е.В.).

  396. Облачные средства поддержки параллельного программирования // Международная конференция “Актуальные проблемы чистой и прикладной математики”, посвященная 100-летию со дня рождения академика Тайманова Асана Дабсовича. — Алматы: ИМММ, 2017. — С. 133–135.

  397. Программная система для визуализации сложных больших данных на основе графовых моделей (Visual Graph). Свидетельство № 2017612824 от 03.03.2017 о государственной регистрации программы. —(Совместно с Золотухиным Т.А.).

  398. Российская информатика в лицах: академик Андрей Петрович Ершов // Труды Всероссийской научно-практической конференции (с международным участием) “Гуманитарное образование и наука в техническом вузе”. — Ижевск: Изд-во ИжГТУ, 2017. — C. 124–128. — ISBN 978-5-7526-0781-3

  399. Теоретико-графовые методы и системы программирования // Языки программирования-2017. Труды конференции. — Ростов-на-Дону: Изд-во Южного федерального университета, 2017.— С. 129–133.

  400. Methods and Tools of Parallel Programming // CEUR Workshop Proceedings.— 2017.— Vol. 1839.— pp. 141–154. —(With Kasyanova E.V.).

  401. A system for structural information visualization based on attributed hierarchical graphs // WSEAS Transactions on Computers. — 2017. — Vol. 16. — pp. 193–201.— ISSN / E-ISSN: 1109-2750 / 2224-2872 —(With Zolotuhin T.A.).

  402. A visual cloud system for parallel and functional programming teaching and learning // WSEAS Transactions on Computers. — 2017. — Vol. 16. —pp. 208–215. — ISSN / E-ISSN: 1109-2750 / 2224-2872 —(With Kasyanova E.V.).

    2018

  403. A system for big attributed hierarchical graph visualization // WSEAS Transactions on Computers. — 2018. — Vol. 17. — pp. 151–155.— ISSN / E-ISSN: 1109-2750 / 2224-2872 —(With Zolotuhin T.A.).

  404. Оптимизация программ: анализ публикаций на основе авторских ключевых слов // Материалы XVIII Международной конференции “Информатика: проблемы, методология, технология”. — Воронеж: Изд.-во “Научно-исследовательские публикации”, 2018. — Том 1. —С. 88–92. —(Совместно с Малининой Ю.В.).

  405. Представление графов и графовых моделей: базовые средства языка GraphML // Проблемы информатики. — 2018. — N 1. — C. 4 –19. —(Совместно с Касьяновой Е.В.).

  406. Теория вычислений. — Новосибирск: ИПЦ НГУ, 2018. —196 с. —(Совместно с Касьяновой Е.В.).

  407. Язык программирования Cloud Sisal. — Новосибирск, 2018. — 45 с. — (Препринт/ РАН, Сиб. отд-ние, ИСИ; N181). —(Совместно с Касьяновой Е.В.).

  408. A system for visualization of big attributed hierarchical graphs // Intern. Journal of Computer Networks & Communications (IJCNC). —2018. — Vol.10, N 2. — pp. 55–67. —(With Zolotuhin T.A.).

  409. A system of functional programming for supporting cloud supercomputing // WSEAS Transactions on Information Science and Applications. — 2018. — Vol. 15. — pp.  81–90. — ISSN / E-ISSN: 1790-0832 / 2224-3402. —(With Kasyanova E.V.).

  410. Web-системы поддержки применения теоретико-графовых методов для конструирования эффективных и надежных программ // Материалы XV-ой Международной конференции “IT-технологии: развитие и приложения”. — Владикавказ: Фламинго, 2018. — 5 с. —(Совместно с Касьяновой Е.В.).

next up previous contents
След.: Тематический указатель публикаций Выше: Публикации Пред.: Публикации   Содержание