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

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, N5. -- С.1020-1022.
8. Комбинаторные задачи анализа программ в оптимизирующей трансляции: Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук. -- Новосибирск, 1975. -- 21 с. (АН СССР, Сиб. отд-ние, ВЦ).
9. К оценке частоты выполнения операторов и переходов в программе // Программирование. -- 1975. -- N 5. -- С.64-72.
10. К перестраиваемости коммутационных схем // Вычислительные методы и программирование. -- Новосибирск: ВЦ СО АН СССР, 1975. -- С.123-134.
1976
11. Крупноблочная сегментация и распараллеливание схем программ // Программирование. -- 1976. -- N1. -- С.16-26. -- (Совместно с Вальковским В.А.)
12. О нахождении аргументов и результатов в схемах с косвенной адресацией // Программирование. -- 1976. -- N 1. -- С.6-15.
1977
13. Исследования в области теоретического и системного программирования и их применение в автоматизации программирования и разработке математического обеспечения // Фундаментальные исследования. Физико-математические и технические науки. -- Новосибирск: Наука, 1977. -- С.56-60. -- (Cовместно с Ершовым А.П., Бежановой М.М., Будой А.О., Голосовым И.С., Загацким Б.А., Иткиным В.Э., Кожухиным Г.И., Кожухиной С.К., Козловским С.Э., Котовым В.Е., Левиным Д.Я., Михалевичем Ю.И., Нариньяни А.С., Непомнящим В.А., Поттосиным И.В., Раром А.Ф., Шелеховым В.И.) Кожухиным Г.И., Кожухиной С.К., Коздовским С.Э., Котовым В.Е., Левиным Д.Я., Михалевичем Ю.И., Нариньяни А.С., Непомнящим В.А., Поттосиным И.В., Раром А.Ф., Шелеховым В.И.).
14. К вопросу о реализации схем над распределенной памятью // Кибернетика. -- 1977. -- N1. -- С.63-68.
15. Конференция молодых ученых по системному программированию // Еженедельник "За науку в Сибири" СО АН СССР/ -- Новосибирск. -- 1977. -- N 41 (822).
16. 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.).
17. Program structure analysis in a global optimization // Lecture Notes in Computer Science. -- 1977. -- Vol.47. -- P.90-104. -- (With Trakhtenbrot M.B.).
18. Schematology in a Multi-language Optimizer // Lecture Notes in Comptuter Science. -- 1977. -- Vol. 53. -- P.315-323. -- (With Pokrovsky S.B.).
1978
19. Индивидуальные задания по практике на ЭВМ. Методическая разработка. -- Новосибирск: НГУ, 1979. -- 41 с. -- (Совместно с Поттосиным И.В., Сабельфельдом В.К., Трахтенбтотом М.Б.).
20. Конференция молодых ученых по системному программированию // Программирование. -- 1978. -- N 1. -- С.88-93.
21. Методы трансляции. Упражнения. Методическая разработка. -- Новосибирск: НГУ, 1979. -- 11 с. -- (Совместно с Поттосиным И.В.).
22. Методы трансляции. -- Новосибирск: НГУ, 1978. -- 101 с. -- (Совместно с Поттосиным И.В.).
23. О социалистическом соревновании между лабораториями теоретических отделений ВЦ СО АН СССР // Материалы 1 Межреспубликанского семинара КК и СМУ академических учреждений кибернетического профиля. -- Минск: ИТК АН БССР, 1978. -- С.10-13.
24. Практический подход к оптимизации программ. -- Новосибирск, 1978. -- 43 с. -- (Препр./АН СССР, Сиб.отд-ние, ВЦ; N133).
25. Применение методов оптимизации к проверке правильности программ // Создание качественного программного обеспечения. -- Новосибирск: ВЦ СО АН СССР, 1978.-- Т.1. -- С.225-237. -- (Совместно с Поттосиным И.В.)
1979
26. Разгрузка участков повторяемости. -- Новосибирск, 1979.-- 26 с. -- (Препр./АН СССР, Сиб.отд-ние, ВЦ; N178).
27. Смешанные вычисления и оптимизация программ // Технология программирования. -- Киев: ИК АН УССР, 1979. -- С.16-17. -- (Тез. докл. 1 Всесоюзной конф., Секция К).
28. Технологические возможности оптимизации программ // Технология программирования. -- Киев: ИК АН УССР, 1979. -- С.17-18. -- (Тез. докл. 1 Всесоюзной конференции, Секция К). -- (Совместно с Поттосиным И.В.).
29. Технология трансляции. -- Новосибирск: НГУ, 1979. -- 92 с. -- (Совместно с Поттосиным И.В.).
30. Язык программирования МИНАЛ: Методическая разработка. -- Новосибирск: НГУ, 1979. -- 20 с.
31. 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
32. Анализ структур программ // Кибернетика. -- 1980. N1. -- С.48-61.
33. Оптимизация крупноблочных программ // Методы математической логики в проблемах искусственного интеллекта и систематическое программирование. -- Вильнюс: ИМиК АН Лит.ССР, 1980. -- Ч.1. -- С.109-111. -- (Тез. докл. Всесоюз. конф.).
34. Перераспределение памяти в крупноблочных программах // Трансляция и модели программ. -- Новосибирск: ВЦ СО АН СССР, 1980. -- С.81-93.
35. Свободные интерпретации крупноблочных схем программ // Теоретические основы компиляции. -- Новосибирск: НГУ, 1980. -- С.16-25.
36. Смешанные вычисления и оптимизация программ // Кибернетика. -- 1980. -- N 2. -- С.51-54.
37. Технологические возможности оптимизации программ // Программирование. -- 1980. -- N 2. -- С.27-31. -- (Совместно с Поттосиным И.В.).
1981
38. Вопросы моделирования программ при их оптимизации // Тез. докл. Всесоюз. конф. по методам трансляции. -- Новосибирск: ВЦ СО АН СССР, 1981. -- С.139-140.
39. К обоснованию алгоритмов преобразования крупноблочных программ // Программирование. -- 1981. -- N3. -- С.15-25.
40. Об автоматическом конструировании качественных программ, основанном на преобразованиях // Программное обеспечение вычислительных сетей и систем реального времени. -- Киев: ИК АН УССР, 1981. -- С.72-73. -- (Тез. докл. Всесоюзной конференции). -- (Совместно с Дзелинским А.М., Поттосиным И.В.).
41. Паскаль Б. Инструкция по программированию. -- Новосибирск: ВЦ СО АН СССР, 1981. -- 45 с.
42. Программирование на мини-Фортране: Методическая разработка. -- Новосибирск: НГУ, 1981. -- 38 с.
43. Сборник индивидуальных заданий по практике на ЭВМ. -- Новосибирск: НГУ, 1981. -- 81 с. -- (Совместно с Сабельфельдом В.К., Трахтенбротом М.Б.).
1982
44. Быстрый алгоритм выделения максимальных линейных участков в программе // Математическая теория и практика систем программного обеспечения. -- Новосибирск: ВЦ СО АН СССР, 1982. -- С.81-87. -- (Тр. советско-болгарского совещания).
45. Вопросы конкретизации программ // Проблемы системного и теоретического программирования. -- Новосибирск: НГУ, 1982. -- С.35-45.
46. Методика разработки многоязыковых трансляторов на примере системы БЕТА // Математическая теория и практика систем программного обеспечения. -- Новосибирск: ВЦ СО АН СССР, 1982. -- С.64-80. -- (Тр. советско-болгарского совещания). -- (Совместно с Ершовым А.П., Покровским С.Б., Поттосиным И.В., Степановым Г.Г.).
47. Методы анализа программ. -- Новосибирск: НГУ, 1982. -- 92 с.
48. Оптимизация программ: обзор подходов. -- Новосибирск, 1982. -- 43 с. -- (Препр./ АН СССР, Сиб.отд-ние, ВЦ; N325).
49. Основы языка Паскаль-360: Методические указания. -- Новосибирск: НГУ, 1982. -- 49 с.
50. Паскаль-360. Инструкция по программированию. -- Новосибирск: ВЦ СО АН СССР, 1982. -- 45 с.
51. Полнота класса крупноблочных схем // Программные системы и вопросы эффективности использования ЭВМ. -- Новосибирск: ВЦ СО АН СССР, 1982. -- С.81-93.
52. Программ-оптимизирующие преобразования // Мат. Энциклопедия. -- М.: Советская энциклопедия, 1982. -- Т.4. -- С.643-645.
53. Системы конкретизации: подход и основные понятия. -- Новосибирск, 1982. -- 22 с. -- (Препр./ АН СССР, Сиб.отд-ние, ВЦ; N349). -- (Совместно с Поттосиным И.В.).
54. Теоретико-графовые задачи в трансляции // Методы и программы решения оптимальных задач на графах и сетях. -- Новосибирск: ВЦ СО АН СССР, 1982. -- Ч. 1. -- С.82. -- (Материалы II Всесоюз. совещания).
55. Урок 20: параметры процедур и функций // Квант. -- 1982. -- N4. -- С.50-52.
56. Эквивалентные преобразования кратных схем // Программирование. -- 1982. -- N2. -- С.3-8.
57. Язык для представления алгоритмов анализа программ // Методы и программы решения оптимальных задач на графах и сетях. -- Новосибирск: ВЦ СО АН СССР, 1982. -- Ч. 1. -- С.83-85. -- (Материалы II Всесоюз. совещания).
1983
58. Автоматизация построения трансляторов. -- Новосибирск: НГУ, 1983. -- 96 с. -- (Совместно с Поттосиным И.В.).
59. Автоматизированное построение программ путем их конкретизации // Проблемы информатики и ее применения в управлении, обучении и научных исследованиях. -- София: СУ им. Климента Орхидского, 1983. -- С.115-125. -- (Тр. Междунар. семинара).
60. Архитектура систем конкретизации. -- Новосибирск, 1983.-- 23с. -- (Препр./АН СССР, Сиб.отд-ние, ВЦ; N455). -- (Совместно с Поттосиным И.В.).
61. Базис для оптимизации программ // Оптимизация и преобразования программ. -- Новосибирск: ВЦ СО АН СССР, 1983. -- С. 88-104. -- Ч. 1. -- (Материалы Всесоюз. семинара).
62. Контекстно-свободные преобразования аннотированных программ // Автоматизация производства пакетов прикладных программ и трансляторов. -- Таллин: ТПИ, 1983. -- С.106-108. -- (Тез. докл. 2-й Всесоюз. конф.).

 
63. Оптимизация программ // Прикладная информатика. -- М.: Статистика, 1983. -- Вып.2. -- С.38-72.
64. Практикум на ЭВМ. Вып. 1. Задания для начинающих: Методические указания. -- Новосибирск: НГУ, 1983. -- 36 с. -- (Совместно с Сабельфельдом В.К.).
65. Редуцирующие преобразования программ // Трансляция и оптимизация программ. -- Новосибирск: ВЦ СО АН СССР, 1983. -- С.86-98.
66. Чистка циклов // Системное и теоретическое программирование. -- Кишинев: Штиинца, 1983. -- С.187-189. -- (Тез. докл. 4-го Всесоюз. симпоз.).
67. Basis for program optimization // Information processing 83. -- Amsterdam: North-Holland, 1983. -- P.315-320. -- (Proc. IFIP Congress 83).
1984
68. Методы анализа потока данных в программах // Методы и алгоритмы решения оптимизационных задач на графах и сетях. -- Новосибирск: ВЦ СО АН СССР, 1984. -- Ч. 1. -- С.105-106. -- (Тез. докл. III Всесоюз. совещания).
69. Методы оптимизации программ. -- Новосибирск: НГУ, 1984. -- 92 с.
70. Обобщенная задача анализа свойств программ // Методы и алгоритмы решения оптимизационных задач на графах и сетях. -- Новосибирск: ВЦ СО АН СССР, 1984. -- Ч. 1. -- С.107-108. -- (Тез. докл. III Всесоюз. совещания).
71. Практикум на ЭВМ. Вып. 2. Задания для продолжающих: разработка алгоритма: Методические указания. -- Новосибирск: НГУ, 1984. -- 37 с.
72. Практикум на ЭВМ. Вып. 3. Решение задания для продолжающих на языке Фортран: Методические указания. -- Новосибирск: НГУ, 1984. -- 45 с.
73. Спецификация контекста для редукции программ // Проблемы системного и теоретического программирования. -- Новосибирск: НГУ. -- 1984. -- С.3-14.
74. Эквивалентные преобразования линейных участков программ // Трансляция и преобразования программ. -- Новосибирск: ВЦ СО АН СССР, 1984. -- С.56-61.
75. Loop cleaning // Information Processing Letters. -- 1984. -- Vol.18, N 1. -- P.1-6.
1985
76. Введение в теорию оптимизации программ. -- Новосибирск, 1985. -- 259 c.
77. Вопросы подготовки специалистов по программированию // Проблемы информатики и ее применения в управлении, обучении и научных исследованиях. -- София: СУ им. Климента Орхидского, 1985. -- С.138-148. -- (Сборник докл. III Междунар. семинара).
78. Конструирование качественных программ посредством конкретизирующих преобразований // Надежность и качество программного обеспечения. -- Киев: ИК АН УССР, 1985. -- С.95-96. -- (Тез. докл. республиканской конф.).
79. Конференция по методам трансляции и конструирования программ // Программирование. -- 1985. -- N6. -- С.85-87. -- (Совместно с Непомнящим В.А.).
80. Методы факторизации алгоритмов анализа и преобразования программ // Надежность и качество программного обеспечения. -- Киев: ИК АН УССР, 1985. -- С.96-97. -- (Тезю докл. республиканской конф.).
81. Учет априорной информации при анализе свойств состояний программ // Математическая теория программирования. -- Новосибирск: ВЦ СО АН СССР, 1985. -- С.150-157.
1986
82. Анализ управляющих и информационных свойств программ, ориентированный на статическую проверку их правильности // Проблемы совершенствования синтеза, тестирования, верификации и отладки программ. -- Рига: Латв. ГУ им. П.Стучки, 1986. -- Т. 1. -- С.157-158. -- (Тез. докл. Всесоюз. конф.). -- (Совместно с Сабельфельдом В.К.).
83. Вопросы редукции программ // Методы трансляции и конструирования программ. -- Новосибирск: ВЦ СО АН СССР, 1986. -- С.13-22.
84. Конструирование качественных программ методом конкретизирующих преобразований // Проблемы совершенствования синтеза, тестирования, верификации и отладки программ. -- Рига: Латв. ГУ им. П.Стучки, 1986. -- Т. 1. -- С.156-157. -- (Тез. докл. Всесоюз. конф.).
85. Методы построения трансляторов. -- Новосибирск: Наука, 1986. -- 344 с. -- (Совместно с Поттосиным И.В.)
86. Об одном методе конструирования качественных версий программ // Новые методы конструирования программ. -- Новосибирск: НГУ, 1986. -- С.37-47.
87. Оптимизирующие преобразования программ и их обоснование методами теории крупноблочных схем: Автореф. дис. на соиск. учен. степ. доктора ф.-м.н. -- Новосибирск, 1986. -- 42 с.--(АН СССР, Сиб. отд-ние. ВЦ.).
88. Сборник заданий по практикуму на ЭВМ. -- М.: Наука, 1986. -- 272 с. -- (Совместно с Сабельфельдом В.К.).
89. Сборник заданий по программированию. -- Новосибирск: НГУ, 1986. -- 80 с. -- (Совместно с Сабельфельдом В.К.).
90. Советско-французский семинар по информатике // Программирование. -- 1986. -- N6. -- С.87-88.
91. Теоретико-графовые задачи анализа транслируемых программ // Исследования по прикладной теории графов. -- Новосибирск: Наука, 1986. -- С.9-24.
1987
92. Инструментальные средства преобразования программ. -- Новосибирск, 1987. -- 19 c. -- (Препр./ АН СССР, Сиб.отд-ние, ВЦ; N765). -- (Совместно с Сабельфельдом В.К.).
93. A method for constructing quality program versions // INFORMATIQUE-85. -- Tallinn: Valgus, 1987. -- P.98-102. -- (Les materiaux du symposium Sovietique-Francais).
1988
94. Инструменты преобразования программ // Автоматизированное рабочее место программиста. -- Новосибирск: ВЦ СО АН СССР, 1988. -- С.4-12. -- (Совместно с Сабельфельдом В.К.).
95. Оптимизирующие преобразования программ. -- М.: Наука , 1988, -- 336 с.
96. Организация курса по методам трансляции // Проблемы информатики и ее применения в управлении, обучении и научных исследованиях. -- София: СУ им. Климента Орхидского, 1988. -- C.157-171. -- (Сб. докл. V Междунар. семинара).
97. Основы программирования на языке Паскаль. -- Новосибирск: НГУ, 1988. -- 80 с.
98. Преобразования аннотированных программ. -- Новосибирск, 1988. -- 22 с. -- (Препр./ АН СССР, Сиб.отд-ние, ВЦ; N 814).
99. Проблемы преобразования программ. -- Новосибирск, 1988. -- 27 с. -- (Препр./ АН СССР, Сиб.отд-ние, ВЦ; N785).
100. Семантические преобразования программ // Методы трансляции и конструирования программ. -- Новосибирск: ВЦ СО АН СССР, 1988. -- Ч. 1. -- С.107-108. -- (Тез. докл. Всесоюз. конф.).
101. Семантические преобразования программ // Теория и практика систем информатики и программирования. -- Новосибирск: НГУ. -- 1988. -- С.85-107.
102. Эквивалентные и оптимизирующие преобразования крупноблочных схем и программ: Автореф. дис. на соиск. учен. степ. доктора физ.-мат. наук. -- Новосибирск, 1986. -- 27 с. -- (АН СССР, Сиб. отд-ние. ВЦ.).
103. Tools for program transformations, // Informatika-88. -- Roquencourt: INRIA, 1988. -- P.89-100. -- (Actes du seminaire Francais-Sovetique). -- (With Sabelfeld V.K.).
1989
104. Алгоритмические вопросы применения теории графов в программировании // Методы и программы решения оптимизационных задач на графах и сетях. -- Новосибирск: ВЦ СО АН СССР, 1989. -- С.72-75. -- (Тр. IV Всесоюз. совещания). -- (Совместно с Евстигнеевым В.А.).
105. Алгоритмы на деревьях. -- Новосибирск: ВЦ СО АН СССР, 1989. -- 311 с. -- (Совместно с Евстигнеевым В.А.).
106. Аннотирование программ и их преобразование // Программирование. -- 1989. -- N 4. -- С.3-16.
107. АС -- система для проверки и испытания программ // Планирование и автоматизация эксперимента в научных исследованиях. -- М.: МЭИ,1989. -- С.41-43. -- (Тр. IX Всесоюз. конф.).
108. Трансформационный подход к конкретизации программ // Кибернетика. -- 1989. -- N 6. -- С.28-32.
109. A model for annotated programming // INFORMATICS'89. -- Tallinn, 1989. -- P.7-12. -- (Proc. of the Soviet-French Sympos.).
110. Annotated program transformations // Lecture Notes in Computer Science. -- 1989. -- Vol.405. -- P.171-180.
111. Annotated program transformations // Methods of Theoretical and Experimental Computer Science. -- Novosibirsk: IIS, 1989. -- P.87-106.
1990
112. Алгоритмы обработки деревьев. -- Новосибирск: ВЦ СО АН СССР, 1990. -- 208 c. -- (Cовместно с Евстигнеевым В.А.).
113. Организация учебной и научно-исследовательской работы студентов по программированию на механико-математическом факультете НГУ // Использование ЭВМ в учебной и научно-исследовательской работе студентов. -- Новосибирск: НГУ, 1990. -- С.46-47. -- (Тез. докл. республиканского совещания-семинара).
114. Система для анализа, преобразования и инструментовки Фортран-программ // Программно-инструментальные средства задач информатики. -- Новосибирск: ВЦ СО АН СССР, 1990. -- С.87-100.
115. Tools and techniques of annotated programming // Compiler Comilers. -- Berlin: Institute fur Informatik und Rechentechnik, 1990. -- P.187-201. -- (Proc. of the Workshop).
1991
116. Трансформационный подход к конструированию и оптимизации программ // Смешанные вычисления и преобразование программ. -- Новосибирск: ВЦ СО АН СССР, 1991. -- С.30-43.
117. Предисловие // Смешанные вычисления и преобразование программ. -- Новосибирск: ВЦ СО АН СССР, 1991. -- С.3-4. (Совместно с Котовым В.Е.)
118. Educational software development // Current Topics in Informatics Systems Research. -- Novosibirsk, 1991. -- P.131-143. -- (With Gorodniaia L.V.).
119. Tools and techniques of annotated programming // Lecture Notes in Computer Science. -- 1991. -- Vol. 477. -- P.117-131.
120. Transformational approach to program concretization // Images of programming. -- Amsterdam: North-Holland, 1991. -- P.37-46.
121. Transformational approach to program concretization // Theoretical Computer Science. -- 1991. -- Vol. 90, N 1. -- P.37-46.
1992
122. Деревья: основные понятия, свойства и алгоритмы. -- Новосибирск: НГУ, 1992. -- 80 с. -- (Совместно с Евстигнеевым В.А.).
1993
123. Методы и средства семантического анализа Модула-программ // Конструирование и оптимизация программ. -- Новосибирск: ИСИ СО РАН, 1993. -- С.7-23. -- (Cовместно с Брюхановой Ю.В., Емельяновым П.Г., Сабельфельдом В.К.).
124. Предисловие // Конструирование и оптимизация программ. -- Новосибирск: ИСИ СО РАН, 1993. -- С.5-6.
125. Системы учебной информатики // Конструирование и оптимизация программ. -- Новосибирск: ИСИ СО РАН, 1993. -- С.101-120. -- (Совместно с Городней Л.В.).
126. Творческое наследие В.Э. Иткина // Кибернетика и системный анализ. -- 1993. -- N 2. -- С.175-183. -- (Совместно с Бульонковым М.А., Городней Л.В., Котляровым В.П., Непомнящим В.А., Цейтлиным Г.Е., Шиловым Н.В.).
127. Трансформационные методы и средства конструирования эффективных и надежных программ // Кибернетика и системный анализ. -- 1993. -- N2. -- С.30-39.
128. Educational informatics systems and education in computer sciences // Intern. Congress on Computer Systems and Applied Mathematics, Abstacts. -- St.Peterburg, 1993. -- P.247-248. -- (With Gorodniaia L.V.).
129. SOKRAT: an environment for safe and effective programming // Intern. Congress on Computer Systems and Applied Mathematics, Abstacts. -- 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.).
130. The PROGRESS program manipulation system // Parallel Computer Technologies. -- Obninsk, 1993. -- Vol.3. -- P.651-656. -- (Proc. Intern. Conf. PaCT-93). -- (With Evstigneev V.A.).
131. Transformational approach to designing effective and reliable programs for parrallel computers // Intern. Congress on Computer Systems and Applied Mathematics, Abstacts. -- St.Peterburg, 1993. -- P.175. -- (With Evstigneev V.A.).
1994
132. Введение в дискретную математику: Методические рекомендации. -- Новосибирск: НГУ, 1994. -- Ч. 1,2. -- 25 с. -- (Совместно с Евстигнеевым В.А.).
133. Введение в дискретную математику: Методические рекомендации. -- Новосибирск: НГУ, 1994. -- Ч.3. -- 24 с. -- (Совместно с Евстигнеевым В.А.).
134. Введение в компьютерные науки. -- Новосибирск: НГУ, 1994. -- 116 с. -- (Совместно с Бежановой М.М., Васючковой Т.С., Глинским Б.М., Кропачевым Ю.А., Пищиком Б.Н., Поттосиным И.В., Сабельфельдом В.К.).
135. Инструментальная система для изучения преобразований программ // Интеллектуализация и качество программного обеспечения. -- Новосибирск: ИСИ СО РАН, 1994. -- С.90-99. -- (Совместно с Евстигнеевым В.А.).
136. О свойстве полноты механизма аннотаций директив // Интеллектуализация и качество программного обеспечения. -- Новосибирск: ИСИ СО РАН, 1994. -- С.113-122.
137. Предисловие // Интеллектуализация и качество программного обеспечения. -- Новосибирск: ИСИ СО РАН, 1994. -- С.5.
138. Теория графов: алгоритмы обработки деревьев. -- Новосибирск: Наука, 1994. -- 360 с. -- (Совместно с Евстигнеевым В.А.).
139. Трансформационный подход к конструированию эффективных и надежных программ: модели, методы и алгоритмы // Интеллектуализация и качество программного обеспечения. -- Новосибирск: ИСИ СО РАН, 1994. -- С.6-12.
140. Элементы теории графов, формальных языков и сложности вычислений: Методические рекомендации. -- Новосибирск: НГУ, 1994. -- 20 с.
141. 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. -- (Wwith Evstigneev V.A.).
1995
142. Базисные алгоритмы обработки бесконтурных графов. -- Новосибирск: ИСИ СО РАН, 1995. -- 120 с. -- (Совместно с Евстигнеевым В.А.).
143. Введение // Проблемы конструирования эффективных и надежных программ. -- Новосибирск: ИСИ СО РАН, 1995. -- С.5-6.
144. Лекции по теории формальных языков, автоматов и сложности вычислений. -- Новосибирск: НГУ, 1995. -- 112 с.
145. О работах лаборатории конструирования и оптимизации программ в области систем учебной информатики // Программные системы. -- Новоcибирск: ИСИ СО РАН, 1995. -- С.26-36. -- (Совместно с Городней Л.В.).
146. Подход к специализации по информатике и программированию в рамках системы непрерывного образования. -- Новосибирск, 1995. -- 60 с. -- (Препр. / РАН, Сиб.отд-ние; ИСИ; N 23). -- (Совместно с Городней Л.В.).
147. Проблемы и перспективы исследования преобразований программ на базе современных технических средств // Проблемы конструирования эффективных и надежных программ. -- Новосибирск: ИСИ СО РАН, 1995. -- С.7-18 -- (Совместно с Городней Л.В.).
148. Толковый словарь по теории графов. -- Новосибирск: НГУ, 1995. -- Ч. 1. -- 52 с. -- (Совместно с Евстигнеевым В.А.).
149. A program manipulation system for fine-grained architectures // Parallel Computing Technologies: Proc. the Tird Intern. Conf. -- Berlin a.o.: Springer Verlag, 1995. -- P.163-168. -- (Lecture Notes in Computer Science: Vol.964). -- (With Evstigneev V.A.).
150. A program manipulation system for fine-grained architectures // Parallel Processing: EURO-PAR'95. Proc. the Third Inter. Conf. -- Berlin a.o.: Springer Verlag, 1995. -- P.719-722. (Lecture Notes in Computer Science: Vol. 966). -- (With Evstigneev V.A.).
151. 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.).
152. 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.).
153. 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).
154. On completeness of mechanism of annotation-directives // Bulletin of the Novosibirsk Computing Center. Series: Computer Science. -- 1995. -- Vol.3. -- P.59-68.
1996
155. Вопросы преподавания фундаментальных основ информатики и программирования // Новые информационные технологии в университетском образовании. -- Новосибирск: НИИ МИОО НГУ, 1996. -- С.110-111. -- (Материалы Междунар. научно-методической конф.). -- (Совместно с Городней Л.В., Евстигнеевым В.А.).
156. Вопросы эффективного использования параллельных ЭВМ // Математические модели и численные методы механики сплошных сред. -- Новосибирск: Изд-во СО РАН, 1996. -- С.221-222. -- (Тез. докл. Междунар. конф.). -- (Совместно с Городней Л.В., Евстигнеевым В.А.).
157. Оптимизирующие преобразования в распараллеливающих компиляторах // Программирование. -- 1996. -- N6. -- С.12-26. -- (Совместно с Евстигнеевым В.А.).
158. Толковый словарь по теории графов. -- Новосибирск: НГУ, 1996. -- Ч. 2. -- 83 с. -- (Совместно с Евстигнеевым В.А.).
159. Толковый словарь по теории графов. -- Новосибирск: НГУ, 1996. -- Ч. 3. -- 109 с. -- (Совместно с Евстигнеевым В.А.).
160. 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.
161. СОКРАТ: окружение надежного и эффективного программирования // Актуальные проблемы информатики, прикладной математики и механики. -- Новосибирск-Красноярск: Из-во СО РАН, 1996. -- Ч. 3. Информатика. -- С.51-64. -- (Совместно с Захаровым Л.А., Кузьминовым Т.В., Покровским С.Б., Поттосиным И.В., Сабельфельдом В.К., Степановым Г.Г., Шелеховым В.И.).
1997
162. Архитектуры с мелкозернистым параллелизмом и проблема построения прототипов компиляторов // Междунар. конф. по прикладной и индустриальной математике. -- Новосибирск: Изд.-во ИМ СО РАН, 1997. -- Т.1. -- С.31-38. -- (Совместно с Булышевой Л.А., Евстигнеевым В.А.).
163. Вопросы преподавания информатики и программирования // Информатика и информационные технологии в педагогическом образовании. -- Красноярск: КГПУ, 1997. -- -- С.73-74. -- (Секция Всерос. конф. "Проблемы информатизации региона - ПИР'97": Тез. и материалы конф.).
164. Вопросы преподавания информатики и программирования // Оптимизирующие преобразования и конструирование программ. -- Новосибирск: ИСИ СО РАН, 1997. -- С.133-147.
165. Изложение отечественной истории информатики для школы // Применение новых технологий в образовании. -- Троицк: Фонд новых технологий в образовании "Байтик", 1997. -- С.210-213.-- (Материалы VIII Междунар. конф.). -- (Совместно с Городней Л.В., Евстигнеевым В.А., Калининой Н.А., Мурзиным Ф.А.).
166. Оптимизирующие преобразования в распараллеливающих компиляторах // Оптимизирующие преобразования и конструирование программ. -- Новосибирск: ИСИ СО РАН, 1997. -- С.7-33. -- (Совместно с Евстигнеевым В.А.).
167. Параллельная обработка: вопросы обучения // Новые информационные технологии в университетском образовании. -- Новосибирск: НИИ МИОО НГУ, 1997. -- С.186-187. -- (Материалы Междунар. научно-методической конф.). -- (Совместно с Городней Л.В., Евстигнеевым В.А., Бирюковой Ю.В., Малининой Ю.В., Цикозой С.Г., Климовой Т.А., Харитоновым Э.В.).
168. Предисловие // Оптимизирующая трансляция и конструирование программ. -- Новосибирск: ИСИ СО РАН, 1997. -- С.5-7.
169. СИМИКС -- информационная система для поддержки гуманитарных исследований в области культуры. -- Новосибирск, 1997. -- 16 с. -- (Препр./РАН. Сиб. отд-ние. ИСИ; N 43). -- (Совместно с Несговоровой Г.П.).
170. СИМИКС -- информационная система для поддержки гуманитарных исследований и образования в области культуры // Применение новых технологий в образовании. -- Троицк: Фонд новых технологий в образовании "Байтик", 1997. -- С.99-101. -- (Материалы VIII Междунар. конф.). -- (Совместно с Несговоровой Г.П.).
171. Система для редактирования иерархических графов // Новые информационные технологии в университетском образовании. -- Новосибирск: НИИ МИОО НГУ, 1997. -- С.147-148.-- (Материалы Междунар. научно-методич. конф.). -- (Совместно с Лисицыным И.А.).
172. 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.
173. 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.
174. 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.
175. 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
176. Вопросы информационной поддержки научных исследований и преподавания гуманитарных дисциплин // Новые информационные технологии в университетском образовании. -- Новосибирск: НИИ МИОО НГУ, 1998. -- С.78-79. -- (Материалы Междунар. научно-методич. конф.). -- (Совместно с Несговоровой Г.П.).
177. Методы и средства визуальной обработки иерархических графовых моделей // Новые информационные технологии в университетском образовании. -- Новосибирск: НИИ МИОО НГУ, 1998. -- С.135-136. -- (Материалы Междунар. научно-методич. конф.). -- (Совместно с Лисицыным И.А.).
178. Поддержка супервычислений и интернет-ориентированные технологии // Новые информационные технологии в университетском образовании. -- Новосибирск: НИИ МИОО НГУ, 1998. -- С.162-163. -- (Материалы Междунар. научно-методич. конф.). -- (Совместно с Евстигнеевым В.А., Малининой Ю.В., Бирюковой Ю.В., Маркиным В.А., Харитоновым Э.В., Цикозой С.Г.).
179. Теория графов: алгоритмы обработки бесконтурных графов. -- Новосибирск: Наука, 1998. -- (Совместно с Евстигнеевым В.А.).