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

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.
    1976

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

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

14. Finding arguments and results of operators in schemes with indirect addressing // Programming and Computer Software. -- 1975. -- Vol. 2, N 1. -- P. 3-11.

15. 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

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

17. К вопросу о реализации схем над распределенной памятью // Кибернетика. -- 1977. -- N1. -- С.63-68.

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

19. 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.).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

38. Свободные интерпретации крупноблочных схем программ // Теоретические основы компиляции. -- Новосибирск: НГУ, 1980. -- С.16-25.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

59. Эквивалентные преобразования кратных схем // Программирование. -- 1982. -- N2. -- С.3-8.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

78. Loop cleaning // Information Processing Letters. -- 1984. -- Vol.18, N 1. -- P.1-6.
    1985

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

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

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

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

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

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

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

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

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

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

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

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

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

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

93. Советско-французский семинар по информатике // Программирование. -- 1986. -- N6. -- С.87-88.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

113. Annotated program transformations // Lecture Notes in Computer Science. -- 1989. -- Vol.405. -- P.171-180.

114. Annotated program transformations // Methods of Theoretical and Experimental Computer Science. -- Novosibirsk: IIS, 1989. -- P.87-106.
     1990

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

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

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

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

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

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

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

122. Tools and techniques of annotated programming // Lecture Notes in Computer Science. -- 1991. -- Vol. 477. -- P.117-131.

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

124. Transformational approach to program concretization // Theoretical Computer Science. -- 1991. -- Vol. 90, N 1. -- P.37-46.
     1992

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

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

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

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

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

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

131. 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.).

132. 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.).

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

134. 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

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

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

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

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

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

140. Предисловие // Интеллектуализация и качество программного обеспечения. -- Новосибирск: ИСИ СО РАН, 1994. -- С.5.

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

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

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

144. Fine-grained concurrency architectures and the rapid compiler prototyping problems// Proc. 2-nd Intern. Conf. on Software for Multiprocessors & Supercomputers (SMS TPE'94). -- M., 1994. -- P.32-38. -- (With Evstigneev V.A.).
     1995

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

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

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

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

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

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

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

152. 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.).

153. 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.).

154. 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.).

155. 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.).

156. 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).

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

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

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

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

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

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

163. 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.

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

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

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

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

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

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

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

171. Предисловие // Оптимизирующая трансляция и конструирование программ. -- Новосибирск: ИСИ СО РАН, 1997. -- С.5-7.

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

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

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

175. 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.

176. 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.

177. 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.

178. 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

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

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

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

182. Письмо в редакцию// Наука в Сибири. -- 1998. -- N43. -- С.12.

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

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

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

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

187. 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.

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

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

190. 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

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

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

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

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

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

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

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

198. Предисловие редактора // Проблемы систем информатики и программирования. -- Новосибирск: ИСИ СО РАН, 1999. -- С.5-6.

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

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

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

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

203. 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.).

204. 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.).

205. 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.).

206. 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.).

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

208. 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.).

209. 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

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

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

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

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

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

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

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

217. 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.

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

219. 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.

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

221. 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.).

222. 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

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

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

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

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

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

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

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

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

231. Применение графов в программировании // Программирование. -- 2001. -- N 3. -- С.51-70.

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

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

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

235. 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.

236. Graph applications in programming // Programming and Computer Software. -- 2001. -- Vol.27, N 3. -- P.146-164.

237. 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.

238. 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.

239. 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

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

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

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

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

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

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

246. Предисловие редактора // Современные проблемы конструирования программ. -- Новосибирск: ИСИ СО РАН, 2002. -- С.5-6.

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

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

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

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

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

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

253. 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

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

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

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

257. Предисловие редактора // Новые информационные технологии в науке и образовании. -- Новосибирск: ИСИ СО РАН, 2003. -- С.5-6.

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

259. 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.).

260. 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.

261. 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

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

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

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

265. Предисловие редактора // Программные средства и математические основы информатики. -- Новосибирск: ИСИ СО РАН, 2004. -- С.5-6.

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

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

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

269. 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.

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

271. 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

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

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

274. 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.

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

276. The SVM -- Siberian virtual museum of informatics history // Proc. of EVA 2005 London Conf. -- London: ECI Press, 2005. -- P.231-242.
     2006

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

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

279. Музеи и Интернет // Проблемы интеллектуализации и качества систем информатики. -- Новосибирск, ИСИ СО РАН, 2006. -- С.67-84.

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

281. Предисловие редактора // Проблемы интеллектуализации и качества систем информатики. -- Новосибирск, ИСИ СО РАН, 2006. -- С.5-6.

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

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

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

285. 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.

286. 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.

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

288. 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.).

289. 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

290. Предисловие редактора // Методы и инструменты конструирования программ. -- Новосибирск: ИСИ СО РАН, 2007. -- С.5-6.

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

292. 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.).

293. 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.).

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

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