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


Вы здесь

Главная

Список научных трудов

  1. Поттосин И.В., Криницкий Н.А,. Бухтияров Н.А., Фролов Г.Д., Войтишек Л.В., Левина А.А.. Программирующая программа ПП-С // Сб. Научных трудов. — Министерство Обороны СССР, 1958.— № 1.
  2. Поттосин И.В. .Решение некоторых дифферинциальных уравнений и их систем методом исключения параметров // Сб. Научных трудов. — Министерство Обороны СССР, 1958.— № 1.
  3. Поттосин И.В., Кожухин Г.И., Нагорный Н.М. Принцип организации и использования библиотеки программ // Сб. Вычислительная математика. — Изд-во АН СССР, 1961.
  4.  Поттосин И.В. Программа линейной и квадратичной интерполяции для таблиц с неравным шагом.— РИО СО АН СССР, 1964.
  5. Поттосин И.В. Стандартные программы решения систем линейных алгебраических уравнений методом Гаусса по системе главных элементов. — РИО СО АН СССР, 1964.
  6. Поттосин И.В. Стандартная программа нахождения верхнего предела действительных корней полинома. — РИО СО АН СССР, 1964.
  7. Поттосин И.В. Стандартные программы проверки критерия Раусса для полинома. — РИО СО АН СССР, 1964
  8. Поттосин И.В. Стандартная программа умножения прямоугольных матриц. — РИО СО АН СССР, 1964.
  9. Поттосин И.В. Программа перенумерации // Ротапринтное издание РИО СО АН СССР.: Обслуживающие программы. — М.: Изд-во ВЦ СО АН СССР, 1967.
  10. Поттосин И.В. и др. Система автоматизации программирования АЛЬФА // Вычислительная математика и математическая физика. — АН СССР, 1965. — №2.
  11. Ershov A.P., Pottosin I.V., Kojuhin G.I., Makarov G.P., Nechepurenko М.I. An Experimental automatic informational station AIST-0 // AFIPS Conference Proceedings. — Thompson books: Academic Press, 1967. – V. 30.
  12. Поттосин И.В., Кожухин Г,И., Нечепуренко М.И. Принципы построения диспетчера системы. — 1967. — ( Препринт / СО АН СССР. ВЦ. АИСТ-8).
  13. Поттосин И.В., Ершов А.П., Кожухин Г.И. Обзор особенностей АЛЬФА-языка // Сб.: АЛЬФА-система автоматизации программирования. — Наука, 1967.
  14. Поттосин И.В., Бежанова М.М. Программирование циклов и индексных выражений в АЛЬФА-трансляторе // Сб.: АЛЬФА-Система автоматизации программирования. — Наука, 1967.
  15. Поттосин И.В. Экономия выражений в АЛЬФА-трансляторе. // Сб.: АЛЬФА-система автоматизации программирования. — Наука, 1967.
  16. Поттосин И.В. Стандартные программы вычисления корней полинома 3-й степени с коэффициентами и процедура КУБА // Стандартные программы и процедуры. — Новосибирск : Изд-во ВЦ СО АН, 1968.
  17. Поттосин И.В.. Процедуры решения систем алгебраических уравнений, алгоритма Раусса и интерполяции // Стандартные программы и процедуры. — Новосибирск: Изд-во ВЦ СО АН, 1968.
  18. Поттосин И.В.. К задаче чистки циклов // Сб.: «Цифровые вычислительные машины и программирование». — Москва: Советское радио, 1968.— № 4.
  19. Поттосин И.В.. Операционные системы// Труды 1-ой Всесоюзной Конференции по программированию. — Киев, 1968.
  20. Поттосин И.В., Рар А.Ф., Катков В.Л. ЭПСИЛОН – система автоматизации программирования для задач символьной обработки // Труды 1-ой Всесоюзной Конференции по программированию. — Киев, 1968.
  21. Поттосин И.В.. Структура диспетчера АИСТ-0. — Новосибирск, 1968. — (Препринт / СО АН  СССР , ВЦ. АИСТ /64).
  22. Поттосин И.В. и др. Псевдокоманды и директивы системы АИСТ-0. — Новосибирск, 1968. — (Препринт / СО АН СССР, ВЦ . АИСТ /64).
  23. Поттосин И.В., Ершов А.П., Кожухин Г.И. Руководство к пользованию системой АЛЬФА. — Новосибирск: Сибир. Отд, Наука, 1968
  24.  Поттосин И.В. и др. Экспериментальная система коллективного пользования АИСТ-0 // Труды 2-й Всесоюзной конференции по программированию. — Новосибирск, 1970.
  25.  Поттосин И.В. и др. Диспетчер системы АИСТ-0 // Труды 2-й Всесоюзной конференции по программированию. — Новосибирск, 1970.
  26. Поттосин И.В.. Программа для решения систем линейных алгебраических уравнений методом Гаусса по схеме главных элементов (СП-0206) // Программы решения задач линейной алгебры. — Изд-во ИПМ АН СССР, 1972.
  27. Поттосин И.В., Бежанова М.М., Катков В.Л. Работа по аналитическим преобразованиям в ВЦ СО АН СССР // Вычислительная математика и выч. техника. — Харьков: Изд-во ФТИНТ АН УССР, 1972 — вып. 3.
  28.  Поттосин И.В., Котов В.Е., Филинов Е.Н. Первый советско-фр. симпозиум по операционным системам // Системное и теоретическое программирование. — Новосибирск: Изд-во ВЦ СО АН СССР, 1972.
  29. Поттосин И.В. и др. ЭПСИЛОН – система автоматизации программирования задач символьной обработки. — Новосибирск: СО АН СССР: Наука, 1972.
  30. Поттосин И.В. Операционные системы коллективного пользования // Системное и теоретическое программирование. — Новосибирск: Изд-во ВЦ СО АН СССР, 1972.
  31. Поттосин И.В. О линеаризации программы и частичном ее упорядочивании // Системное и теоретическое программирование. — Новосибирск: Изд-во ВЦ СО АН СССР, 1972.
  32. Поттосин И.В. и др. Система автоматизации программирования АЛЬФА-6 // Системное программирование. — Новосибирск: Изд-во ВЦ СО АН СССР, 1973.
  33. Поттосин И.В.. Оптимизирующие преобразования и их последовательность // Системное программирование. — Новосибирск: Изд-во ВЦ СО АН СССР, 1973.
  34. Pottosin I.V., Rar A.F. Application of the machine-oriented language EPSILON to the software development // Machine-oriented Higher-Level Langugers. — Horth-Holland Publishing Company, 1974.
  35. Поттосин И.В.. Структура операционных систем коллективного пользования // Некоторые проблемы вычислительной и прикладной математики. — Новосибирск: Наука, 1975.
  36. Поттосин И.В., Грушецкий В.В., Ершов А.П., Покровский С.В. Методы декомпозиции синтеза и оптимизации в многоязыковой системе программирования // Elektronishe Informationsverarbeitung und Kybernetik. — 1975. — № 4-6.
  37. Поттосин И.В.. Глобальная оптимизация: практический подход // Труды Всесоюзного симпозиума по методам реализации новых языков. — Новосибирск, 1975.
  38. Поттосин И.В. и др. Теоретическое программирование в СССР // Системное и теоретическое программирование. — Новосибирск: Изд-во ВЦ СО АН СССР, 1972.
  39. Поттосин И.В. и др. Исследования в области теоретического и системного программирования и их применение в автоматизации программирования и разработке математического обеспечения // Фундаментальные исследования. Физико-математические и технические науки (СО АН СССР 20 лет). — Новосибирск, СО АН СССР: Наука. — 1977.
  40. Поттосин И.В., Калинина Н.А. Архитектура универсальных систем аналитических преобразований: приспособляемость к классу задач и связь с системами программирования // Теория и практика системного программирования. — Новосибирск: ВЦ СО АН СССР, 1977.
  41. Pottosin I.V.. Sitemprogrammiers-prachen // Beitrage zur Informations verarbeitung BSB. — Leipzig: B.G.Teubner Verlagegesellschaft, 1977.
  42. Поттосин И.В.. О роли и методах оптимизации программ // Перспективы развития в системном и теор.программировании. — Новосибирк: ВЦ СО АН СССР, 1978.
  43. Pottosin I.V., Kasyanov V.N. Application of Optimization Techniques to Correctness Problems// Constructing Quality Software. — North Holland Publ. Co., 1978
  44. Поттосин И.В., Касьянов В.Н. Приложение методов оптимизации к проблемам правильности // Сб.: Создание качественного программного обеспечения. — ВЦ СО АН СССР, 1978. — Т. 1.
  45. Поттосин И.В., Касьянов В.Н. Методы трансляции. — Изд-во Новосибирского Университета. — 1978.
  46. Поттосин И.В., Касьянов В.Н.. Технология трансляции. — Изд-во Новосибирского Университета. — 1978.
  47. И. В. Поттосин, Касьянов В.Н. Технологические возможности оптимизации программ // Тезисы докладов 1-ой Всесоюзной конференции по технологии программирования (секция К). — Киев: ИК АН УССР, 1979.
  48. Поттосин И.В. Оптимизирующие преобразования линейных участков // Тезисы докладов 1-ой Всесоюзной конференции по технологии программирования (секция К). — Киев: ИК АН УССР, 1979.
  49. Поттосин И.В. К обоснованию алгоритмов оптимизации программ // Программирование.—1979. — №2.
  50. Поттосин И.В. О контекстных условиях корректности преобразований объединения и расчленения циклов // Сб. Языки и системы программирования. ВЦ СО АН СССР. — 1979.
  51. Поттосин И.В. Языки реализации для системного программирования // Труды: Национальная школа программирования-79. — София: Изд-во ИЦММ, 1979.
  52.  Поттосин И.В. Языки реализации для системного программирования. — Новосибирск,1979. —24 с. — (Препринт / СО АН  СССР, ВЦ; 179).
  53. Поттосин И.В., Касьянов В.Н. Технологические возможности оптимизации программ// Программирование. — 1980.— № 2.
  54. Поттосин И.В., Югринова О.В. Обоснование преобразования чистки циклов // Программирование. — 1980. — № 5.
  55. Поттосин И.В., Калинина Н.А. Проблематика разработки систем аналитических преобразований на ЭВМ // Труды рабочего совещания по системам и методам аналитических выражений на ЭВМ и их применению в теоретической физике. — Дубна: Изд-во ОИЯИ, 1980.
  56. Поттосин И.В. Направленные преобразования линейного участка // Сб.: Языки и системы программирования. — Новосибирск: ВЦ СО АН СССР, 1981.
  57. Поттосин И.В. О математических моделях программ, ориентированных на оптимизацию программ // Proc. YII Nat.School :Mathematical methods in informatics. — Varna, 1981. — 24 стр.
  58. Поттосин И.В., Касьянов В.Н., Дзелинский А.М. Об автоматическом конструировании качественных программ, основанном на преобразовании // Тезисы докладов Всесоюзной конференции : Программное обеспечение выч. сетей и систем реальн.времени. — Киев, 1981.— 2 стр.
  59. Поттосин И.В., Касьянов В.Н. Системы конкретизации: подход и основные понятия.  — Новосибирск,1982. — 22с. — (Препринт / АН СССР, Сиб.отд-ие; 349 ).
  60. Поттосин И.В., Касьянов В.Н., Ершов А.П., Покровский С.Б., Степанов Г.Г. Методика разработки многоязыковых трансляторов на примере системы БЕТА // Сб. Математическая теория и практика системного обеспечения. — Новосибирск: ВЦ СО АН СССР, 1982.— 17 стр.
  61. Поттосин И.В., Барнев Л., Эфрос Л.Б. Проблемы автоматизации программирования в условиях коллективного использования вычислительных средств // Сб.: Математическая теория и практика системного обеспечения. — Новосибирск: ВЦ СО АН СССР, 1982.
  62. Поттосин И.В., Касьянов В.Н. Автоматизация построения трансляторов. — Изд-во НГУ, 1983. — 96 стр.
  63. Поттосин И.В., Калинина Н.А., Семенов А.Л. Универсальная система проведения аналитических вычислений АУМ // Сб. Аналитические вычисления на ЭВМ и их применение в теоретической физике. — Дубна: ОИЯИ, 1983. —12 стр.
  64. Поттосин И.В.. Раздельная оптимизация модулей: к постановке задачи // Сб.: Автоматизация производства пакетов прикладных программ и трансляторов. (тезисы докладов 2-й всесоюзной конференции). — Таллин,1983. — 3 стр.
  65. Поттосин И.В., Касьянов В.Н.. Архитектура систем конкретизации. — Новосибирск,1983.— ( Препр. / АН  СССР, Сибир.отд-ие, ВЦ, 455).
  66. Поттосин И.В. Возможности оптимизации программ и перспективы ее развития // Сб.: Актуальные проблемы развития архитектуры и программного обеспечения ЭВМ и вычислительных комплексов. — Новосибирск: ВЦ СО АН СССР, 1983. — 17 стр.
  67. Поттосин И.В.. Об оптимизации логических выражений с соотношениями // Трансляция и оптимизация программ. — Новосибирск: ВЦ СО АН СССР, 1983. — 11 стр.
  68. Поттосин И.В. Об алгоритме оптимизации линейных участков // Сб.: Трансляция и преобразование программ. — Новосибирск: ВЦ СО АН СССР, 1984. —14 стр.
  69. Поттосин И.В., Пененко В.В.,. Светлакова Ф.Г. Принципы построения базового системного обеспечения пакетов прикладных программ // Сб.: Алгоритмы и алгоритмические языки. Пакеты прикладных программ. Системное наполнение. — Москва: Наука,1984. — 17 стр.
  70. Поттосин И.В., Нестерова Г.В., Светлакова Ф.Г. Система СОФИСТ – базовое системное обеспечение пакетов прикладных программ // Сб.: Комплексы программ математической физики. — Новосибирск: ИТПМ СО АН СССР, 1984. —8 стр.
  71. Поттосин И.В., В.Н. Агафонов, М.М. Бежанова, В.К. Сабельфельд. Сборник упражнений по программированию на языке Паскаль. — Новосибирск: Изд-во НГУ, 1985. — 79 стр.
  72. Поттосин И.В., Бежанова М.М. Математическое обеспечение ЭВМ: операционные средства. — Новосибирск: Изд-во НГУ, 1986. — 92 стр.
  73. Поттосин И.В., Касьянов В.Н.. Методы построения трансляторов. — Новосибирск, СО: Наука, 1986. — 344 стр.
  74. Поттосин И.В. Об организации научной работы студентов по программированию в Новосибирском университете // Труды III семинара Проблемы информатики и ее применения в управлении, обучении и научных исследованиях. — София, 1986. — 11 стр.
  75. Поттосин И.В., Бежанова М.М. Средства разработки прикладного программного обеспечения с точки зрения современных требований и возможностей // Алгоритмы и алгоритмические языки. ППП. Програмное обеспечение вычислительного эксперимента. — Москва: Наука,1987.— 18 стр.
  76. Поттосин И.В. Программный базис для инструментов конструирования программ // Труды 2-й Междун. науч.-тех. конф. ИНТЕРСОФТ -87. — Калинин, 1987. — 3 стр.
  77. Поттосин И.В. О конструировании программ в рабочем месте программиста // Информатика. Технологические аспекты.— Новосибирск: ВЦ СО АН СССР, 1987. —11 с.
  78. Поттосин И.В., Бежанова М.М. Математическое обеспечение ЭВМ: языковые и технологические средства. — Новосибирск: Изд-во НГУ, 1987. — 92 стр.
  79. Поттосин И.В., Томе О.Б. Учет межмодульных связей при оптимизации программ на языках типа Ада и Модула -2 // Сб.: Методы трансляции и конструирования программ. (тезисы доклада). ч. 2. — Новосибирск: ВЦ СО АН СССР, 1988. — 3 стр.
  80. Поттосин И.В. Языки и системы программирования как средства разрабатывания программ // Сб.: Информатика и программирование. — Новосибирск: ВЦ СО АН СССР, 1989. — 18с.
  81. Pottosin I.V.. On Program Construction in a Programmers Working Site. // Act. Seminare Francosoviet  INFORMATIKA 88: Methods of compilation and Program Construction. — INRIA, 1989. — 6 рр.
  82. Pottosin I.V., Коtоv V.Е. Andrei P. Ershov 1931-1988.// Theoretical Computer Science. — 1989. — V. 67,№ 1. — 3 с.
  83. Поттосин И.В. Творческое наследие А.П. Ершова (обзор работ) // Программирование. — Москва,1990. —№ 1. — 24 стр.
  84. Поттосин И.В. Об объектно-ориентированном подходе к конструированию программ // Труды Всесоюзной конференции: Актуальные проблемы системного программирования. — Таллин, 1990. — 4 стр.
  85. Поттосин И.В. Конструирование программ в рабочем месте программиста: видщы конструирования и инструментальный базис // Труды YII Семинара: Проблемы информатики и ее применения в управлении, обучении и научных исследованиях.— София, 1990. — 16 стр.
  86. Pottosin I.V. Program optimization: State of the Art and Future Development // INFORMATICS 89 / Proceed. Soviet.-Franch. Symp. — Tallin, 1990. — V.2. — 10pp.
  87. Поттосин И.В. Конструирование прикладных программ и программных систем: от алгоритмов к программам // Сб.тр.: Совр. проблемы алгоритмизации, Ташкент, 1991. — Ташкент,1991. — 2 стр.
  88. Pottosin I.V. Andrej Petrovich Ershov // Images of programming. — Amsterdam : North-Holland, 1991.— 21 pp.
  89. Pottosin I.V. Selected biography of Ershov papers // Images of programming. — Amsterdam: North-Holland, 1991.-11pp.
  90. Pottosin I.V. Analysis of program optimization possibilities and further development // Teoretical Computer Science. — 1990. — V.90, № 1. — 20 рр.
  91. Поттосин И.В. Анализ возможностей и путей развития оптимизации программ // Программирование. — Москва, 1991. — №6 – 17 стр.
  92. Поттосин И.В.. Система Сократ: окружение программирования для встроенных ЭВМ —Новосибирск,1992. — 18с. —( Препринт / СО РАН, Институт Систем Информатики;11 ).
  93.  Поттосин И.В. Послесловие к русскому изданию: М. Эллис, Б. Сроуструп. Справочное руководство по программированию на языке С++ с комментариями. — М.: Мир, 1992.
  94. Поттосин И.В., Болтаев Т.Б., Кузьминов Т.В. О структурном конструировании и инструментах его поддержки // Сб.: Среда программирования: методы и инструменты. — Новосибирск: ИСИ СО РАН, 1993. — 17 стр.
  95. Поттосин И.В., Бежанова М.М. Математическое обеспечение ЭВМ: cредства и инструменты — Новосибирск: НГУ,1993. — 86 стр.
  96. Pottosin I.V., Aniskov M.I., Boltayev T.B., Kochetov D.V. et al. The Structured Constructing as a Discipline of Safe Programming and Instruments Supporting IT // CSAM ‘93: Abstracts/ Intern.Congress on Computer Systems and Applied Mathematics. — St.Peterburg, 1993.
  97. Pottosin I.V., Kuzminov T.V., Pokrovsky S.B. et al. SOKRAT:An Environment for Safe and Efficient Programming // CSAM'93: Abstracts /Intern.Congress on Computer Systems and Applied Mathe matics. — St.Petersburg, 1993. — 2 pp.
  98. Поттосин И.В.. Андрей Петрович Ершов: жизнь и творчество // Избранные труды/ А.П. Ершов. – Новосибирск, 1994. — 24 стр.
  99. Поттосин И.В., Иванников В.П. Этические проблемы программирования // Программирование. — 1993. — N 3. — 2 стр.
  100. Поттосин И.В., Непомнящий В.А. Конференция "Формальные методы в програм- мировании и их применение" // Программирование. — 1993. — N 6. — 3 стр.
  101. Pottosin I.V.. Langages et Compilateurs // Rapport sur l'etat de la recherche du developpement et de l'industrialisation du logiciel en Russie. Fevrier. — INRIA, Rocquencourt, 1994. — 18 pp.
  102. Поттосин И.В. и др. Введение в компьютерные науки. — Новосибирск: НГУ, 1994. — 116 стр.
  103. Поттосин И.В., Бежанова М.М. Математическое обеспечение ЭВМ: окружения и интерфейсы. — Новосибирск: НГУ, 1994. — 76 стр.
  104. Поттосин И.В., Анисков М.И., Болтаев Т.Б., Кочетов Д.В., Кузьминов Т.В. Структурное конструирование как дисциплина надежного конструирования и инструменты его поддержки // Сб.: Средства и инструменты окружения программирования. — Новосибирск: ИСИ СО РАН, 1995. — 7 стр.
  105. Поттосин И.В.. Текущее состояние российских исследований и разработок в области трансляции. — Новосибирск, 1995. — 31 с. — (  Препринт/ РАН.Сибир.отд-ие.ИСИ СОРАН; 30. ).
  106. Поттосин И.В. Программные системы учебной информатики и работы Г.А.Звенигородского // Сб.: Программные системы. — Новосибирск: ИСИ СО РАН, 1995.
  107. Поттосин И.В., Бежанова М.М. Математическое обеспечение ЭВМ: инструментарий и обучающие средства — Новосибирск: НГУ, 1996. — 80 стр.
  108. Поттосин И.В. О критериях добротности программ. — Новосибирск, 1996. —35 с. —(Препринт /ИСИ СО РАН; 35. ).
  109. Поттосин И.В.. О возможности точного определения, что такое "хорошая" программа // Сб.:Математические модели и численные методы механики сплошной среды. — Новосибирск, 1996. — 3 стр.
  110. Поттосин И.В. и др. СОКРАТ: окружение надежного и эффективного программирования // Сб.: Актуальные проблемы информатики, прикладной математики и механики. Ч. III: Информатика. — Красноярск: Изд-во СО РАН, 1996 — 14 стр.
  111. Поттосин И.В.. "Хорошая программа": попытка точного определения понятия // Программирование. — 1997. — №2. — 15 стр.
  112. Поттосин И.В.. Программистская инженерия: содержание,мнения и тенденции (по итогам 18-й конф. по Software Engineering // Программирование. — 1997. — N 4. — 12 стр.
  113. Поттосин И.В.. О критериях добротности программ // Системная информатика. — Новосибирск: Наука, 1997 — N 6. — 34 стр.
  114. Поттосин И.В., Любимский Э.З., Шура-Бура М.Р. От программирующих программ к системам программирования (российский опыт) // Computers in Europe: Past, Present and Future / Proc. of Int.Workshop. — Киев, 1998. — 7стр.
  115. Поттосин И.В. А.П. Ершов и становление новосибирской школы программирования // Computers in Europe: Past, Present and Future / Proc. of Int.Workshop. — Киев, 1998. — 8стр.
  116. Поттосин И.В., Катков С.И. Система параллельного программирования, основанная на языке СуперПаскаль // Труды 6-го Международного семинара: Распределенная обработка информации. — Новосибирск: Изд. СО РАН, 1998. — 5 стр.
  117. Поттосин И.В.. Об организованности потока данных в программах // Труды 3-го Сибирс- кого конгресса по индустриальной и прикладной математике (ИНПРИМ-98). — Новосибирск, ИМ СО РАН, 1998.
  118. Поттосин И.В.. Добротность программ и информационных потоков // Открытые системы. —1998. — N 6. — 10 стр.
  119. Поттосин И.В., Калинина Н.А., Городняя Л.В. Информационная среда изучения исследования информатики и программирования // Труды Международной научно-практической конференции: Новые информационные технологии в университетском образовании. — Новосибирск, 1999. — 2 стр.
  120. Поттосин И.В. Андрей Петрович Ершов: жизнь и творчество // Наука, академгородок, Университет. — Новосибирск: Изд-во НГУ, 1999.— 6 стр.
  121. Поттосин И.В., Бежанова М.М. Cовременные понятия и методы программирования // Научный мир. — Москва, 2000.— 12 стр.