- Алгоритмические вопросы применения теории
графов в
программировании.
1989
- Адаптивная гипермедиа и ее использование
при создании
виртуального музея истории
информатики в Сибири.
2003
- Анализ управляющих и информационных свойств
программ,
ориентированнный на статическую
проверку их
правильности.
1986
- А.П. Ершов и графы в программировании.
2006
- АС -- система для проверки и испытания программ.
1989
- Вводный курс программирования на Паскале
в заданиях
и упражнениях.
1999
- Вводный курс программирования на Паскале
в заданиях
и упражнениях.
1999
- Виртуальный музей истории информатики в Сибири.
2002
- Виртуальный музей истории информатики в Сибири.
2002
- Вопросы инструментальной поддержки визуальной
обработки
иерархических графовых моделей.
1998
- Вопросы информационной поддержки научных исследований
и преподавания гуманитарных дисциплин.
1998
- Вопросы моделирования программ при их оптимизации.
1981
- Вопросы обучения информатике и программированию.
2001
- Вопросы преподавания информатики и программирования.
1997
- Вопросы преподавания информатики в вузах.
2001
- Вопросы преподавания фундаментальных
основ информатики
и программирования.
1996
- Вопросы эффективного использования параллельных ЭВМ.
1996
- Конструирование качественных программ методом
конкретизирующих преобразований.
1986
- Конструирование качественных программ посредством
конкретизирующих преобразований.
1985
- Контекстно-свободные преобразования
аннотированных
программ.
1983
- Курс программирования на Паскале в заданиях
и упражнениях.
2001
- Курс программирования на Паскале в заданиях
и упражнениях.
2002
- Методы анализа потока данных в программе.
1984
- Методы и средства визуальной обработки
иерархических
графовых моделей.
1998
- Методы факторизации алгоритмов анализа и
преобразования
программ.
1985
- Модели и инструменты параллельного программирования.
2000
- Об автоматическом конструировании качественных программ,
основанном на преобразованиях.
1981
- О базовом университетском образовании математиков
по информатике и программированию.
1999
- Обобщенная задача анализа свойств программ.
1984
- Оптимизация крупноблочных программ.
1980
- Организация учебной и научно-исследовательской работы
студентов по программированию на механико-
математическом
факультете НГУ.
1990
- О социалистическом соревновании между
лабораториями
теоретических отделений
ВЦ СО АН СССР.
1978
- Параллельная обработка: вопросы обучения.
1997
- Поддержка супервычислений и интернет-ориентированные
технологии.
1998
- Проблемы обучения информатике и программированию.
2001
- Проблемы подготовки специалистов, владеющих
информационными технологиями.
2002
- Семантические преобразования программ.
1988
- СИМИКС -- информационная система для
поддержки
гуманитарных исследований и
образования в области
культуры.
1997
- СИМИКС -- информационная система по
истории
информатики.
1999
- Система для редактирования иерархических графов.
1997
- Смешанные вычисления и оптимизация программ.
1979
- Средства поддержки применения графов
в программировании.
2000
- Средства поддержки супервычислений.
1998
- Теоретико-графовые задачи в трансляции.
1982
- Технологические возможности оптимизации программ.
1979
- Толковый словарь по теории графов и его Web-версия.
1999
- Чистка циклов.
1983
- Язык для представления алгоритмов анализа программ.
1982
- AFORT: a system for annotated program manipulation.
2000
- An environment for Wewb-based education of programming.
2003
- Annotated programming: methods and models.
2002
- A Web-based system for distance learning of programming.
2007
- Development of algorithms and intelligent
software for
investigation of regulatory processes
and control systems on the
genome level.
2006
- Educational informatics systems and education
in computer
sciences.
1993
- Formal methods for program reusability.
1997
- Formal methods in program analysis and transformations.
1995
- Graph-based interactive learning systems.
2004
- Graph methods in program construction and optimization.
1998
- Hierarchical graphs and visual processing.
1998
- Hierarchical graph models and tools for visual
processing
and supercomputing.
2004
- 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
- SIMICS -- information system on informatics history.
2000
- Sisal 3.2 language structures decomposition.
2007
- SOKRAT: an environment for safe and effective
programming.
1993
- Support tools for graphs in computer scsience education.
2001
- Support tools for supercomputing.
1999
- The SVM -- Siberian virtual museum of informatics history.
2005
- Transformational approach to designing effective
and reliable
programs for parallel computers.
1993
- A Web-based system for distance learning of programming.
2007
- Web-based systems for supporting computer-science
teaching
and learning.
2002
