Статьи

  1. Автоматизированное построение программ путем их конкретизации.1983

  2. Автоматическая генерация тестов для оптимизирующего компилятора. 2017

  3. Адаптивные системы и методы дистанционного обучения.2004

  4. Анализ структур программ. 1980

  5. Анализ структур программ в глобальной оптимизации. 1975

  6. Анализ управляющих графов программ. 1973

  7. Аннотирование программ и их преобразование. 1989

  8. Архитектуры с мелкозернистым параллелизмом и проблема построения прототипов компилятора. 1997

  9. Базис для оптимизации программ. 1983

  10. Быстрый алгоритм выделения максимальных линейных участков в программе. 1982

  11. Веб-системы поддержки графов и графовых алгоритмов 2011

  12. Визуализация графов и графовых моделей 2010

  13. Визуализация графов и графовых моделей 2010

  14. Визуализация информации на основе графовых моделей 2011

  15. Визуализация информации на основе графовых моделей 2011

  16. Визуализация информации на основе графовых моделей 2014

  17. Визуализация структурированной информации на основе иерархических графовых моделей 2012

  18. Визуализация структурной информации на основе графовых моделей 2012

  19. Виртуальный музей истории информатики в Сибири. 2002

  20. Виртуальный музей истории информатики в Сибири. 2002

  21. Виртуальный музей истории информатики в Сибири. 2003

  22. Вопросы информационной поддержки гуманитарных исследований в области культуры. 1999

  23. Вопросы конкретизации программ. 1982

  24. Вопросы обучения математиков программированию. 2000

  25. Вопросы подготовки специалистов по программированию. 1985

  26. Вопросы преподавания информатики и программирования. 1997

  27. Вопросы редукции программ. 1986

  28. Всемирные компьютерные конгрессы ИФИП 2008

  29. Всемирные компьютерные конгрессы ИФИП 2009

  30. Выделение гамаков в ориентированном графе. 1975

  31. Графы в информатике и программировании. 2000

  32. Дистанционное обучение: методы и средства адаптивной гипермедиа. 2004

  33. Дистанционное обучение: методы и средства адаптивной гипермедиа. 2004

  34. Ершов и графы в программировании. 2006

  35. Иерархические графы и графовые модели: вопросы визуальной обработки. 1999

  36. Изложение отечественной истории информатики для школы. 1997

  37. Инструментальная система для изучения преобразований программ. 1994

  38. Инструменты преобразования программ. 1988

  39. Интегрированная визуальная среда поддержки конструирования параллельных программ 2008

  40. Информационная поддержка изучения некоторых аспектов культуры как элемент гуманизации специализированного образования. 2000

  41. Информационные связи и преобразование схем программ. 1974

  42. Интегрированная визуальная среда поддержки конструирования параллельных программ 2008

  43. Исследования в области теоретического и системного программирования и их применение в автоматизации программирования и разработке математического обеспечения. 1977

  44. К вопросу о реализации схем над распределенной памятью. 1977

  45. К обоснованию алгоритмов преобразования крупноблочных программ. 1981

  46. Конференция молодых ученых по системному программированию. 1977

  47. Конференция молодых ученых по системному программированию. 1978

  48. Конференция по методам трансляции и конструирования программ. 1985

  49. К оценке частоты выполнения операторов и переходов в программе. 1975

  50. К перестраиваемости коммутативных схем. 1975

  51. Крупноблочная сегментация и распараллеливание схем программ. 1976

  52. Курс по основам информатики и программирования 2009

  53. Курс программирования на Паскале в заданиях и упражнениях. 2002

  54. Методика разработки многоязыковых трансляторов на примере системы БЕТА. 1982

  55. Методы и средства дистанционного обучения программированию. 2017

  56. Методы и средства параллельного программирования на основе языка Sisal 2015

  57. Методы и средства семантического анализа Модула–программ. 1993

  58. Методические и программные средства поддержки обучения теоретико-графовым методам и алгоритмам. 2009

  59. Музеи и Интернет. 2006

  60. Музеи и Интернет 2008

  61. Музеи и Интернет: новая виртуальная реальность 2008

  62. Музеи и Интернет: новые возможности. 2006

  63. Научная школа А. П. Ершова: системы программирования и информатики. 2011

  64. Об одном алгоритме выделения бикомпонент в ориентированном графе. 1974

  65. Об одном методе конструирования качественных версий программ. 1986

  66. Облачные средства поддержки параллельного программирования. 2017

  67. Облачные средства поддержки супервычислений 2014

  68. О нахождении аргументов и результатов в схемах с косвенной адресацией. 1976

  69. О плоских укладках иерархических графов 2015

  70. О практикуме по программированию в вузе 2014

  71. О работах лаборатории конструирования и оптимизации программ в области систем учебной информатики. 1995

  72. О работе 16 Всемирного компьютерного конгрессса ИФИП. 2001

  73. О свойстве полноты механизма аннотаций директив. 1994

  74. Оптимизация программ. 1983

  75. Оптимизирующие преобразования в распараллеливающих компиляторах. 1988

  76. Оптимизирующие преобразования в распараллеливающих компиляторах. 1996

  77. Оптимизация программ: анализ публикаций на основе авторских ключевых слов 2018

  78. Организация курса по методам трансляции. 1988

  79. Перераспределение памяти в крупноблочных программах. 1980

  80. Письмо в редакцию. 1998

  81. Поддержка супервычислений и интернет–ориентированные технологии. 1998

  82. Полнота класса крупноблочных схем. 1982

  83. Поттосин Игорь Васильевич 2016

  84. Практикум по программированию 2014

  85. Представление графов и графовых моделей: базовые средства языка GraphML 2018

  86. Применение графов в программировании. 2001

  87. Применение графов в программировании. 2001

  88. Применение методов оптимизации к проверке правильности программ. 1978

  89. Применение теоретико-графовых методов в программировании. 2009

  90. Применение теории графов в информатике и программировании. 2000

  91. Проблемы и перспективы исследования преобразований программ на базе современных технических средств. 1995

  92. Проблемы обучения информатике и программированию. 2001

  93. Проблемы обучения информатике и программированию. 2001

  94. Программ оптимизирующие преобразования. 1982

  95. Редуцирующие преобразования программ. 1983

  96. Реструктурирующие преобразования: алгоритмы распараллеливания циклов. 2004

  97. Реструктурирующие преобразования: алгоритмы распараллеливания циклов. 2006

  98. Российская информатика в лицах: академик Андрей Петрович Ершов. 2017

  99. Российская информатика в лицах: мои учителя. 2014

  100. Российское программирование в лицах: мои учителя 2014

  101. Российское программирование в лицах: мои учителя 2014

  102. Свободные интерпретации крупноблочных схем программ. 1980

  103. Семантические преобразования программ. 1988

  104. Сибирский межрегиональный Фонд “Информатика: развитие и образование” (ИнфРО) 2009

  105. Система для анализа, преобразования и инструментовки Фортран-программ. 1990

  106. Системы поддержки применения графов и графовых алгоритмов. 2011

  107. Системы учебной информатики. 1993

  108. Словарь и энциклопедия по графам в информатике 2011

  109. Смешанные вычисления и оптимизация программ. 1980

  110. Советско–французский семинар по информатике. 1986

  111. СОКРАТ: окружение надежного и эффективного программирования. 1996

  112. Спецификация контекста для редукции программ. 1984

  113. Средства поддержки графов в программировании 2009

  114. Средства поддержки обучения теоретико-графовым методам и алгоритмам 2009

  115. Средства поддержки применения графов в информатике и программировании 2012

  116. Средства поддержки применения графов в программировании. 2000

  117. Средства поддержки применения теоретико-графовых методов в информатике и программировании 2013

  118. Творческое наследие В.Э. Иткина. 1993

  119. Теоретико–графовые задачи анализа транслируемых программ. 1986

  120. Теоретико-графовые методы в программировани 2009

  121. Теоретико-графовые методы и системы программирования 2015

  122. Теоретико-графовые методы и системы программирования 2015

  123. Теоретико-графовые методы и системы программирования 2016

  124. Теоретико-графовые методы и системы программирования 2017

  125. Технологические возможности оптимизации программ. 1980

  126. Трансформационные методы и средства конструирования эффективных и надежных программ. 1993

  127. Трансформационный подход к конкретизации программ. 1989

  128. Трансформационный подход к конструированию и оптимизации программ. 1991

  129. Трансформационный подход к конструированию эффективных и надежных программ: модели, методы и алгоритмы. 1994

  130. Упорядоченные диаграммы бинарных решений. 2003

  131. Урок 20: параметры процедур и функций. 1982

  132. Учет априорной информации при анализе свойств состояний программ. 1985

  133. Функциональный язык Sisal 3.0. 2001

  134. Эквивалентные преобразования кратных схем. 1982

  135. Эквивалентные преобразования линейных участков программ. 1984

  136. Экономное преобразование несводимых графов. 1973

  137. Язык представления графов GraphML: базовые средства 2012

  138. Язык представления графов GraphML: дополнительные возможности 2012

  139. Язык параллельного программирования Cloud Sisal 2016

  140. Язык программирования Sisal 3.2 2007

  141. Языковые и программные средства для конструирования и оптимизации параллельных программ 2008

  142. Языковые и программные средства конструирования параллельных программ 2008

  143. Языковые и программные средства конструирования параллельных программ 2008

  144. AFORT: a system for annotated program manipulation. 2000

  145. A functional programming system for supporting parallel programming. 2006

  146. A functional programming system SFP: Sisal 3.1 language structure decomposition. 2007

  147. A method for constructing quality program versions. 1987

  148. A model for annotated programming. 1989

  149. A program manipulation system for fine–grained architectures. 1995

  150. A program manipulation system for fine–grained architectures. 1995

  151. A support tools for annotated program manipulation. 2001

  152. A system for investigation of regulatory processes and control systems on the genome level. 2006

  153. A system for big attributed hierarchical graph visualization 2018

  154. A system for structural information visualization based on attributed hierarchical graphs 2017

  155. A system for visualization of big attributed hierarchical graphs 2018

  156. A system of functional programming for supporting cloud supercomputing 2018

  157. A visual cloud system for parallel and functional programming teaching and learning 2017

  158. A Web-based system for distance learning of programming 2009

  159. An integrated environment for annotated program transformation. 2000

  160. An open adaptive virtual museum of informatics history in Siberia. 2006

  161. An open adaptive virtual museum of information history in Siberia. 2011

  162. An open adaptive virtual museum of informatics history in Siberia. 2008

  163. Annotated program transformations. 1989

  164. Annotated program transformations. 1989

  165. Application of optimization techniques to correctness problems. 1977

  166. Application of optimization techniques to correctness problems. 1979

  167. Basis for program optimization. 1983

  168. Cloud system of functional and parallel programming for computer science education 2915

  169. Distinguishing Hammocks in a Directed Graph. 1975

  170. Educational software development. 1991

  171. Finding arguments and results of operators in schemes with indirect addressing 1976

  172. Formal methods for program reusability. 1997

  173. Formal methods in program analysis and transformations. 1995

  174. Formalization of transformation algorithms for large-block programs. 1981

  175. Graph applications in programming. 2001

  176. Graph- and cloud-based tools for computer science education 2015

  177. Graph–based interactive learning systems. 2004

  178. Graph-based tools for computer science teaching and learning 2015

  179. Graphs in programming: methods and tools for education. 2002

  180. Hierarchical graph models and information visualization 2012

  181. Hierarchical graph models and visual processing. 2000

  182. Information visualization based on graph model 2013

  183. Information visualization based on hierarchical graph models 2014

  184. Information visualization based on hierarchical graph models 2014

  185. Information visualization based on hierarchical graph models 2015

  186. Information visualization on the base of hierarchical graph models 2012

  187. HIGRES — visualization system for clustered graphs and graph algorithms. 1999

  188. Iterative switching networks. 1997

  189. Iterative switching networks. 1998

  190. Iterative Switching Networks. 1998

  191. Jump and statement execution frequency evaluation. 1975

  192. Large-block segmentation and parallization of program schemata. 1976

  193. Loop cleaning. 1984

  194. Methods and a system of functional programming for supporting supercomputing. 2007

  195. Methods and tools for constructing reliable and efficient software via annotated program transformations. 1996

  196. Methods and tools for structural information visualization 2013

  197. Methods and tools for support of graphs and visual processing. 2002

  198. Methods and tools for support of graphs and visual processing. 2002

  199. Methods and tools for visualization of graphs and graph algorithm. 2013

  200. Methods and tools of functional programming for supporting parallel programming. 2005

  201. Methods and Tools of Parallel Programming. 2017

  202. On completeness of mechanism of annotation–directives. 1995

  203. On support tools for visual processing of hierarchical graph models. 1999

  204. On visualization in computer–aided teaching of mathematics. 1999

  205. Optimizing transformations in paralleling compilers. 1996

  206. Program structure analysis in a global optimization. 1977

  207. Restructuring compilation techniques and a program manipulation system for fine-grain architectures. 1994

  208. Russian informatics in persons: my teachers 2015

  209. Schematology in a multi-language optimizer. 1977

  210. Sisal 3.2 language structures decomposition 2009

  211. Sisal 3.2: functional language for scientific parallel programming 2013

  212. SFP — an interactive visual environment for supporting of functional programming and supercomputing. 2006

  213. Some properties of fully reducible graphs. 1973

  214. Support tools for application of graphs and graph algorithms 2014

  215. Support tools for computer science teaching and learning. 2003

  216. Support tools for graphs in computer science and computer education. 2001

  217. Support tools for hierarchical information visualization. 1999

  218. Support tools for supercomputing and networking. 1999

  219. Support tools for supercompution. 1999

  220. SVM — an open adaptive museum of informatics history in Siberia. 2006

  221. SVM — Siberian virtual museum of informatics history. 2004

  222. SVM — Siberian virtual museum of informatics history. 2004

  223. SVM — Siberian Virtual Museum of Informatics History. 2005

  224. The PROGRESS program manipulation system. 1993

  225. The SVM — Siberian virtual museum of informatics history. 2005

  226. The system PROGRESS as a tool for parallelizing compiler prototyping. 1997

  227. Tools and techniques of annotated programming. 1990

  228. Tools and techniques of annotated programming. 1991

  229. Tools for program transformations. 1988

  230. Transformation approach to program concretization. 1989

  231. Transformation methods and tools for design of efficient and reliable programs. 1993

  232. Transformational approach to program concretization. 1991

  233. Transformational approach to program concretization. 1991

  234. Virtual museum of informatics history in Siberia. 2003

  235. Visual Graph — система визуализации сложно структурированной информации большого объема на основе графовых моделей. 2015

  236. Visual Graph — система для визуализации сложно структурированной информации большого объема на основе графовых моделей. 2015

  237. WAPE — a system for distance learning of programming. 2008

  238. Web-системы поддержки применения теоретико-графовых методов для конструирования эффективных и надежных программ. 2018