- Автоматизированное построение программ путем их
конкретизации.1983
- Адаптивные системы и методы дистанционного
обучения.2004
- Анализ структур программ.
1980
- Анализ структур программ в глобальной
оптимизации.
1975
- Анализ управляющих графов программ.
1973
- Аннотирование программ и их
преобразование.
1989
- Архитектуры с мелкозернистым параллелизмом
и проблема
построения прототипов компилятора.
1997
- Базис для оптимизации программ.
1983
- Быстрый алгоритм выделения максимальных линейных
участков в программе.
1982
- Виртуальный музей истории информатики в Сибири.
2002
- Виртуальный музей истории информатики в Сибири.
2002
- Виртуальный музей истории информатики в Сибири.
2003
- Вопросы информационной поддержки гуманитарных
исследований в области культуры.
1999
- Вопросы конкретизации программ.
1982
- Вопросы обучения математиков программированию.
2000
- Вопросы подготовки специалистов по
программированию.
1985
- Вопросы преподавания информатики и
программирования.
1997
- Вопросы редукции программ.
1986
- Выделение гамаков в ориентированном
графе.
1975
- Графы в информатике и программировании.
2000
- Дистанционное обучение: методы и средства адаптивной
гипермедиа.
2004
- Дистанционное обучение: методы и средства адаптивной
гипермедиа.
2004
- Ершов и графы в программировании.
2006
- Изложение отечественной истории информатики для школы.
1997
- Иерархические графы и графовые модели:
вопросы
визуальной обработки.
1999
- Инструментальная система для изучения преобразований
программ.
1994
- Инструменты преобразования программ.
1988
- Информационная поддержка изучения некоторых аспектов
культуры как элемент гуманизации специализированного
образования.
2000
- Информационные связи и преобразование
схем программ.
1974
- Исследования в области теоретического и системного
программирования и их применение в автоматизации
программирования и разработке математического
обеспечения.
1977
- К вопросу о реализации схем над
распределенной памятью.
1977
- К обоснованию алгоритмов преобразования крупноблочных
программ.
1981
- Конференция молодых ученых по системному
программированию.
1977
- Конференция молодых ученых по системному
программированию.
1978
- Конференция по методам трансляции и конструирования
программ.
1985
- К оценке частоты выполнения операторов и переходов
в программе.
1975
- К перестраиваемости коммутативных схем.
1975
- Крупноблочная сегментация и распараллеливание
схем
программ.
1976
- Курс программирования на Паскале в заданиях
и упражнениях.
2002
- Методика разработки многоязыковых трансляторов
на примере системы БЕТА.
1982
- Методы и средства семантического анализа
Модула-программ.
1993
- Музеи и Интернет.
2006
- Музеи и Интернет: новые возможности.
2006
- Об одном алгоритме выделения
бикомпонент
в ориентированном графе.
1974
- Об одном методе конструирования
качественных версий
программ.
1986
- О нахождении аргументов и результатов
в схемах
с косвенной адресацией.
1976
- Оптимизация программ.
1983
- Оптимизирующие преобразования в
распараллеливающих
компиляторах.
1988
- Оптимизирующие преобразования в
распараллеливающих
компиляторах.
1996
- О работах лаборатории конструирования и
оптимизации
программ в области систем
учебной информатики.
1995
- О работе 16 Всемирного компьютерного конгрессса ИФИП.
2001
- Организация курса по методам трансляции.
1988
- О свойстве полноты механизма аннотаций
директив.
1994
- Перераспределение памяти в крупноблочных
программах.
1980
- Письмо в редакцию.
1998
- Поддержка супервычислений и интернет-ориентированные
технологии.
1998
- Полнота класса крупноблочных схем.
1982
- Применение графов в программировании.
2001
- Применение графов в программировании.
2001
- Применение методов оптимизации к проверке
правильности
программ.
1978
- Применение теории графов в информатике
и программировании.
2000
- Проблемы и перспективы исследования преобразований
программ на базе современных технических средств.
1995
- Проблемы обучения информатике и программированию.
2001
- Проблемы обучения информатике и программированию.
2001
- Программ оптимизирующие преобразования.
1982
- Редуцирующие преобразования программ.
1983
- Реструктурирующие преобразования: алгоритмы
распараллеливания циклов.
2004
- Реструктурирующие преобразования: алгоритмы
распараллеливания циклов.
2006
- Свободные интерпретации крупноблочных
схем программ.
1980
- Семантические преобразования программ.
1988
- Система для анализа, преобразования и
инструментовки
Фортран-программ.
1990
- Системы учебной информатики.
1993
- Смешанные вычисления и оптимизация
программ.
1980
- Советско-французский семинар по
информатике.
1986
- СОКРАТ: окружение надежного и эффективного
программирования.
1996
- Спецификация контекста для редукции
программ.
1984
- Средства поддержки применения графов в
программировании. 2000
- Творческое наследие В.Э. Иткина.
1993
- Теоретико-графовые задачи анализа транслируемых
программ.
1986
- Технологические возможности оптимизации
программ.
1980
- Трансформационные методы и средства
конструирования
эффективных и надежных
программ.
1993
- Трансформационный подход к конкретизации
программ.
1989
- Трансформационный подход к конструированию
и оптимизации программ.
1991
- Трансформационный подход к конструированию
эффективных и надежных программ: модели,
методы и
алгоритмы.
1994
- Упорядоченные диаграммы бинарных решений.
2003
- Урок 20: параметры процедур и функций.
1982
- Учет априорной информации при анализе
свойств состояний
программ.
1985
- Функциональный язык Sisal 3.0.
2001
- Эквивалентные преобразования кратных
схем.
1982
- Эквивалентные преобразования линейных
участков
программ.
1984
- Экономное преобразование
несводимых графов.
1973
- Язык программирования Sisal 3.2
2007
- AFORT: a system for annotated program
manipulation.
2000
- A functional programming system for supporting parallel
programming.
2006
- A functional programming system SFP: Sisal 3.1
language
structure decomposition.
2007
- A method for constructing quality
program versions.
1987
- A model for annotated programming.
1989
- An integrated environment
for annotated program
transformation.
2000
- Annotated program transformations.
1989
- Annotated program transformations.
1989
- An open adaptive virtual museum of informatics
history
in Siberia.
2006
- Application of optimization
techniques to correctness problems.
1977
- Application of optimization techniques
to correctness problems.
1979
- A program manipulation system for fine-grained
architectures.
1995
- A program manipulation system for fine-grained
architectures.
1995
- A support tools for annotated program manipulation.
2001
- A system for investigation of regulatory processes and
control
systems on the genome level.
2006
- Basis for program optimization.
1983
- Educational software development.
1991
- Finding arguments and results of operators in schemes with
indirect
addressing
1976
- 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 applications in programming.
2001
- Graph-based interactive learning systems.
2004
- Graphs in programming: methods and tools for education.
2002
- Hierarchical graph models and visual processing.
2000
- HIGRES -- visualization system for clustered
graphs and graph
algorithms.
1999
- Iterative switching networks.
1997
- Iterative switching networks.
1998
- Iterative Switching Networks.
1998
- Jump and statement execution frequency evaluation.
1975
- Large-block segmentation and parallization of program schemata.
1976
- Loop cleaning.
1984
- Methods and tools for constructing reliable
and efficient software
via annotated program
transformations.
1996
- Methods and tools for support of graphs and
visual processing.
2002
- Methods and tools for support of graphs and
visual processing.
2002
- Methods and tools of functional programming for
supporting
parallel programming.
2005
- On completeness of mechanism of
annotation-directives.
1995
- On support tools for visual processing of
hierarchical graph
models.
1999
- On visualization in computer-aided teaching
of mathematics.
1999
- Program structure analysis in
a global optimization.
1977
- Schematology in a multi-language
optimizer.
1977
- SFP -- an interactive visual environment for supporting
of
functional programming and supercomputing.
2006
- Some properties of fully reducible
graphs.
1973
- Support tools for computer science teaching and learning.
2003
- Support tools for graphs in computer science
and computer
education.
2001
- Support tools for hierarchical information
visualization.
1999
- Support tools for supercomputing and networking.
1999
- Support tools for supercompution.
1999
- SVM -- an open adaptive 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 and techniques of annotated programming.
1991
- Tools for program transformations.
1988
- Transformational approach to program
concretization.
1991
- Transformational approach to program
concretization.
1991
- Virtual museum of informatics history in Siberia.
2003
