- Автоматизированное построение программ
путем их
конкретизации.
1982
- Адаптивная гипермедиа и ее использование при создании
виртуального музея истории информатики в Сибири.
2003
- Академик А.П. Ершов -- ученый и человек.
2006
- А.П. Ершов и графы в программировании.
2006
- Архитектуры с мелкозернистым параллелизмом и
проблема
построения прототипов компиляторов.
1994
- Быстрый алгоритм выделения максимальных
линейных
участков в программе.
1980
- Вводный курс программирования на Паскале
в заданиях
и упражнениях.
1999
- Вводный курс программирования на Паскале
в заданиях
и упражнениях.
1999
- Виртуальный музей истории информатики в Сибири.
2002
- Вопросы информационной поддержки научных исследований
в преподавании гуманитарных дисциплин.
1998
- Вопросы обучения информатике и программированию.
2002
- Вопросы обучения информатике и программированию.
2002
- Вопросы подготовки специалистов по программированию.
1984
- Вопросы преподавания фундаментальных основ
информатики
и программирования.
1996
- Вопросы эффективного использования параллельных ЭВМ.
1996
- Графы в информатике и программировании.
2000
- Дистанционное обучение: методы и средства
адаптивной
гипермедиа.
2004
- Игорь Васильевич Поттосин -- ученый и человек.
2003
- Изложение отечественной истории информатики для школы.
1997
- Курс программирования на Паскале в заданиях и
упражнениях. 2002
- Методика разработки многоязыковых трансляторов
на
примере системы БЕТА.
1980
- Методы и средства визуальной обработки
иерархических
графовых моделей.
1998
- Модели для оптимизации программ.
1982
- Модели и инструменты параллельного программирования.
2000
- О базовом университетском образовании математиков
по
информатике и программированию.
1999
- О нахождении аргументов и результатов в схемах
с косвенной адресацией.
1976
- О работах ИСИ СО РАН в области систем учебной
информатики.
1995
- Организация курса по методам трансляции.
1986
- Параллельная обработка: вопросы обучения.
1997
- Поддержка супервычислений и интернет-ориентированные
технологии.
1998
- Поддержка супервычислений и интернет-ориентированные
технологии.
1998
- Практический подход к оптимизации программ.
1978
- Применение графов в программировании.
2003
- Применение теории графов в информатике и
программировании. 2000
- Проблемы обучения информатике и программированию.
2002
- Реструктурирующие преобразования: алгоритмы
распараллеливания циклов.
2006
- СИМИКС -- информационная система для поддержки
гуманитарных исследований и образования в области
культуры.
1997
- СИМИКС -- информационная система по истории
информатики.
1999
- Система для редактирования иерархических графов.
1997
- Толковый словарь по теории графов и его Web-версия.
1999
- A basis for program analysis and transformation.
1997
- Basis for program optimization
1984
- AFORT: a System for Annotated Fortran Program
Manipulation.
2000
- A functional programming system for supporting
parallel programming.
2006
- A functional programming system SFP:
Sisal 3.1 language
structures decomposition.
2007
- A method for constructing quality program versions.
1985
- A model for annotated programming.
1989
- An environment for support of quality software
development
via annotated program transformation.
2000
- An environment for Web-based education of programming.
2003
- An integrated environment for annotated program
transformations.
2000
- Annotated programming: methods and models.
2002
- Annotated program transformation.
1989
- Annotated program transformations.
1989
- An open adaptive virtual museum of informatics
history
in Siberia.
2006
- Application of optimization techniques to
correctness problems.
1977
- A program manipulation system for fine-grained
architectures.
1995
- A support tool for annotated program manipulation.
2001
- A system for investigation of regulatory processes
and control
systems on the genom level.
2006
- A Web-based system for distance learning of programming.
2007
- Basis for program optimization.
1983
- Course of programming in Pascal in tasks and txtrcises.
2001
- Development of algorithms and intelligent software for
investigation of regulatory proceeses and control systems
on the genome level.
2006
- Educational informatics systems and education
in computer
sciences.
1993
- Fine-grained concurrency architectures and
the rapid compiler
prototyping problems.
1994
- Formal methods for program reusability.
1997
- Formal methods in program analysis and transformations.
1995
- Graph-based interactive learning systems.
2004
- Graphs in computer-aided education.
2002
- Graphs in computer science: methods and tools.
2002
- Graphs in programming: methods and tools for education.
2002
- Graph methods in program construction and optimization.
1998
- Graph models and techniques in construction of
efficient and
reliable programs.
1998
- Hierarchical graphs and visual processing.
1998
- Hierarchical graph models and tools
for visual processing and
supercomputing.
2004
- Hierarchical graph models and visual processing.
2000
- Hierarchical graph processing.
1998
- HIGRES -- visualization system for clustered
graphs and graph
algorithms.
1999
- Iterative switching networks.
1998
- Iterative switching networks.
1998
- Methods and a system of functional programming
for
supporting supercomputing.
2007
- Methods and tools for constructing reliable and
efficient software
via annotated program transformations.
1995
- Methods and tools for functional programming
and
supercomputing.
2001
- Methods and tools for support of graphs and
visual processing.
2002
- Methods and tools of functional programming
for supporting
parallel programming.
2005
- On visualization in computer-aided teaching of mathematics.
1999
- Relation between theory and practice in program
transformation.
1991
- Schematology in a multi-language optimizer.
1977
- SIMICS: information system on informatics history.
2000
- Sisal 3.2 structures decomposition.
2007
- SOKRAT: an environment for safe and effective
programming.
1993
- Support tools for computer science teaching and learning.
2003
- Support tools for graphs in computer science.
2000
- Support tools for graphs in computer science and education.
2001
- Support tools for graphs in computer science and
computer
education.
2001
- Support tools for graphs in computer science education.
2001
- Support tools for hierarchical information
visualization.
1999
- Support tools for supercomputing.
1999
- Support tools for supercomputing and networks.
1999
- SVM -- an open adaptive virtual museum of
informatics
history in Siberia.
2006
- SVM -- Siberian virtual museum of informatics history.
2004
- SVM -- Siberian virtual museum of informatics history.
2004
- SVM -- Siberian virtual museum of informatics history.
2005
- The PROGRESS program manipulation system.
1993
- The SVM -- Siberian virtual museum of informatics history.
2005
- The system PROGRESS as a tool for parallelizing
compiler
prototyping.
1997
- Tools and techniques of annotated programming.
1990
- Tools for program transformations.
1988
- Transformational approach to designing effective
and reliable
programs for parallel computers.
1993
- Virtual museum of informatics history in Siberia.
2003
- Web-based systems for supporting computer-science
teaching and learning.
2002
