Тезисы докладов

Адаптивная гипермедиа и ее использование при создании виртуального музея истории информатики в Сибири. 2003
Алгоритмические вопросы применения теории графов в программировании. 1989
Анализ управляющих и информационных свойств программ, ориентированнный на статическую проверку их правильности. 1986
А.П. Ершов и графы в программировании. 2006
АС — система для проверки и испытания программ. 1989
Вводный курс программирования на Паскале в заданиях и упражнениях. 1999
Вводный курс программирования на Паскале в заданиях и упражнениях. 1999
Визуализация информации на основе графовых моделей 2012
Визуализация информации на основе графовых моделей 2013
Виртуальный музей истории информатики в Сибири. 2002
Виртуальный музей истории информатики в Сибири. 2002
Вопросы инструментальной поддержки визуальной обработки иерархических графовых моделей. 1998
Вопросы информационной поддержки научных исследований и преподавания гуманитарных дисциплин. 1998
Вопросы моделирования программ при их оптимизации. 1981
Вопросы обучения информатике и программированию. 2001
Вопросы преподавания информатики в вузах. 2001
Вопросы преподавания информатики и программирования. 1997
Вопросы преподавания фундаментальных основ информатики и программирования. 1996
Вопросы эффективного использования параллельных ЭВМ. 1996
Конструирование качественных программ методом конкретизирующих преобразований. 1986
Конструирование качественных программ посредством конкретизирующих преобразований. 1985
Контекстно-свободные преобразования аннотированных программ. 1983
Курс по основам информатики и программирования 2008
Курс программирования на Паскале в заданиях и упражнениях. 2001
Курс программирования на Паскале в заданиях и упражнениях. 2002
Методы анализа потока данных в программе. 1984
Методы и средства визуальной обработки иерархических графовых моделей. 1998
Методы факторизации алгоритмов анализа и преобразования программ. 1985
Модели и инструменты параллельного программирования. 2000
Научная школа А. П. Ершова: системы программирования и информатики 2011
Об автоматическом конструировании качественных программ, основанном на преобразованиях. 1981
О базовом университетском образовании математиков по информатике и программированию. 1999
Обобщенная задача анализа свойств программ. 1984
Оптимизация крупноблочных программ. 1980
Организация учебной и научно-исследовательской работы студентов по программированию на механико- математическом факультете НГУ. 1990
О социалистическом соревновании между лабораториями теоретических отделений ВЦ СО АН СССР. 1978
Параллельная обработка: вопросы обучения. 1997
Поддержка супервычислений и интернет-ориентированные
технологии. 1998
Проблемы обучения информатике и программированию. 2001
Проблемы подготовки специалистов, владеющих информационными технологиями. 2002
Семантические преобразования программ. 1988
СИМИКС — информационная система для поддержки гуманитарных исследований и образования в области культуры. 1997
СИМИКС — информационная система по истории информатики. 1999
Система для редактирования иерархических графов. 1997
Системы поддержки графов и графовых алгоритмов 2013
Смешанные вычисления и оптимизация программ. 1979
Создание информационной системы по оптимизирующим и реструктурирующим преобразованиям программ для ЭВМ параллельных архитектур. 1995
Средства поддержки применения графов в программировании. 2000
Средства поддержки супервычислений. 1998
Теоретико–графовые задачи в трансляции. 1982
Теоретико-графовые методы и системы программирования 2015
Технологические возможности оптимизации программ. 1979
Толковый словарь по теории графов и его Web–версия. 1999
Чистка циклов. 1983
Язык для представления алгоритмов анализа программ. 1982
A Web–based system for distance learning of programming. 2007
A Web-based system for distance learning of programming. 2007
AFORT: a system for annotated program manipulation. 2000
An environment for Wewb–based education of programming. 2003
Annotated programming: methods and models. 2002
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 graph models and tools for visual processing and parallel programming 2016
Hierarchical graph models and tools for visual processing and supercomputing. 2004
Hierarchical graphs and visual processing. 1998
Information visualization based on hierarchical graph models 2014
Information visualization based on hierarchical graph models 2014
Methods and a system of functional programming for supporting supercomputing. 2007
Methods and a system of functional programming for supporting supercomputing 2008
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 of functional programming for supporting of cloud supercomputing 2015
Methods and Tools of Parallel Programming 2016
SIMICS — information system on informatics history. 2000
Sisal 3.2 language structures decomposition. 2007
Sisal 3.2: Functional Language for Supporting Scientific Supercomputing 2011
Sisal 3.2: Functional Language for Supporting Scientific Supercomputing 2011
SOKRAT: an environment for safe and effective programming. 1993
Support Tools for Graphs in Computer Science 2010
Support tools for graphs in computer scsience education. 2001
Support tools for supercomputing. 1999
The SVM — Siberian virtual museum of informatics history. 2005
Tools for supporting graphs in computer science 2010
Transformational approach to designing effective and reliable programs for parallel computers. 1993
Web-based systems for supporting computer-science teaching and learning. 2002
WEGA: the Web-Encyclopedia of Graph Algorithms in Computer Science 2011