- Автоматическая генерация тестов для оптимизирующего компилятора.
2017
- Автоматизированное построение программ
путем их
конкретизации.
1982
- Адаптивная гипермедиа и ее использование при создании
виртуального музея истории информатики в Сибири.
2003
- Академик А.П. Ершов — ученый и человек.
2006
- Архитектуры с мелкозернистым параллелизмом и
проблема
построения прототипов компиляторов.
1994
- А.П. Ершов и графы в программировании.
2006
- Быстрый алгоритм выделения максимальных
линейных
участков в программе.
1980
- Веб-системы поддержки графов и графовых алгоритмов.
2011
- Вводный курс программирования на Паскале
в заданиях
и упражнениях.
1999
- Вводный курс программирования на Паскале
в заданиях
и упражнениях.
1999
- Визуализация графов и графовых моделей.
2011
- Визуализация информации на основе графовых моделей.
2011
- Визуализация структурированной информации
на основе иерархических графовых моделей.
2012
- Визуализация структурированной информации на основе
иерархических графовых моделей.
2013
- Визуализация структурной информации
на основе графовых моделей.
2012
- Виртуальный музей истории информатики в Сибири.
2002
- Вопросы информационной поддержки научных исследований
в преподавании гуманитарных дисциплин.
1998
- Вопросы обучения информатике и программированию.
2002
- Вопросы обучения информатике и программированию.
2002
- Вопросы подготовки специалистов по программированию.
1984
- Вопросы преподавания фундаментальных основ
информатики
и программирования.
1996
- Вопросы эффективного использования параллельных ЭВМ.
1996
- Всемирные компьютерные конгрессы ИФИП.
2009
- Графы в информатике и программировании.
2000
- Дистанционное обучение: методы и средства
адаптивной
гипермедиа.
2004
- Игорь Васильевич Поттосин — ученый и человек.
2003
- Изложение отечественной истории информатики для школы.
1997
- Инструменты поддержки применения графов и графовых алгоритмов.
2013
- Курс по основам информатики и программирования.
2008
- Курс программирования на Паскале в заданиях и
упражнениях. 2002
- Методика разработки многоязыковых трансляторов
на
примере системы БЕТА.
1980
- Методические и программные средства поддержки обучения
теоретико-графовым методам и алгоритмам.
2009
- Методы и системы дистанционного обучения
программированию.
2017
- Методы и средства визуальной обработки
иерархических
графовых моделей.
1998
- Методы и средства параллельного программирования
на основе языка Sisal.
2015
- Модели для оптимизации программ.
1982
- Модели и инструменты параллельного программирования.
2000
- Музеи и Интернет.
2008
- Музеи и Интернет: новая виртуальная реальность.
2008
- Научная школа А. П. Ершова: системы программирования
и информатики.
2011
- О базовом университетском образовании математиков
по
информатике и программированию.
1999
- О нахождении аргументов и результатов в схемах
с косвенной адресацией.
1976
- О плоских укладках иерархических графов.
2015
- О практикуме по программированию в вузе.
2014
- О работах ИСИ СО РАН в области систем учебной
информатики.
1995
- Облачные средства поддержки параллельного программирования.
2017
- Облачные средства поддержки супервычислений.
2014
- Оптимизация программ: анализ публикаций на основе
авторских ключевых слов
2018
- Организация курса по методам трансляции.
1986
- Параллельная обработка: вопросы обучения.
1997
- Поддержка супервычислений и интернет-ориентированные
технологии.
1998
- Поддержка супервычислений и интернет-ориентированные
технологии.
1998
- Практический подход к оптимизации программ.
1978
- Применение графов в программировании.
2003
- Применение теоретико-графовых методов
в программировании.
2010
- Применение теории графов в информатике и
программировании. 2000
- Проблемы обучения информатике и программированию.
2002
- Реструктурирующие преобразования: алгоритмы
распараллеливания циклов.
2006
- Российская информатика в лицах:
академик Андрей Петрович Ершов,
2017
- Российская информатика в лицах: мои учителя.
2014
- Российская информатика в лицах: мои учителя.
2014
- Сибирский межрегиональный Фонд “Информатика:
развитие и образование”(ИнфРО).
2009
- СИМИКС — информационная система для поддержки
гуманитарных исследований и образования в области
культуры.
1997
- СИМИКС — информационная система по истории
информатики.
1999
- Система для редактирования иерархических графов.
1997
- Системы поддержки применения графов и графовых алгоритмов.
2011
- Средства поддержки применения теоретико-графовых методов
в информатике и программировании.
2013
- Теоретико-графовые методы в программировании.
2011
- Теоретико-графовые методы и системы программирования.
2015
- Теоретико-графовые методы и системы программирования.
2015
- Толковый словарь по теории графов и его Web-версия.
1999
- Язык параллельного программирования Cloud Sisal.
2016
- Языковые и программные средства для конструирования
и оптимизации параллельных программ.
2008
- Языковые и программные средства конструирования
параллельных программ.
2008
- A basis for program analysis and transformation.
1997
- 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
- A program manipulation system for fine-grained
architectures.
1995
- A support tool for annotated program manipulation.
2001
- A system for big attributed hierarchical graph visualization.
2017
- A system for investigation of regulatory processes
and control
systems on the genom level.
2006
- A system for visualization of big attributed hierarchical graphs.
2017
- A system of functional programming for supporting
cloud supercomputing.
2017
- A Web-based system for distance learning of programming.
2007
- 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
- AFORT: a System for Annotated Fortran Program
Manipulation.
2000
- An open adaptive virtual museum of informatics
history
in Siberia.
2006
- An open adaptive virtual museum of informatics history
in Siberia
2008
- Annotated programming: methods and models.
2002
- Annotated program transformation.
1989
- Annotated program transformations.
1989
- Application of optimization techniques to
correctness problems.
1977
- Basis for program optimization.
1983
- Basis for program optimization.
1984
- 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
- Information visualization on the base of hierarchical graphs.
2014
- Information visualization based on hierarchical graph models.
2014
- Formal methods in program analysis and transformations.
1995
- Formal methods for program reusability.
1997
- Graph methods in program construction and optimization.
1998
- Graph models and techniques in construction of
efficient and
reliable programs.
1998
- Graphs in computer–aided education.
2002
- Graphs in computer science: methods and tools.
2002
- Graphs in programming: methods and tools for education.
2002
- Graph- and cloud-based tools for computer science education.
2015
- Graph-based interactive learning systems.
2004
- Graph-based tools for computer science teaching and learning.
2015
- Graph-based tools for computer science teaching and learning.
2015
- Hierarchical graph models and
information visualizaion.
2012
- Hierarchical graph models and tools for visual processing
and parallel programming.
2016
- Hierarchical graph models and tools
for visual processing and
supercomputing.
2004
- Hierarchical graph models and visual processing.
2000
- Hierarchical graph processing.
1998
- Hierarchical graphs and visual processing.
1998
- HIGRES — visualization system for clustered
graphs and graph
algorithms.
1999
- Information visualization on the base of
hierarchical graph models.
2012
- Iterative switching networks.
1998
- Iterative switching networks.
1998
- 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 for support of graphs and
visual processing.
2002
- Methods and tools for visualization of graphs
and graph algorithms.
2013
- Methods and tools of functional programming
for supporting of cloud supercomputing.
2015
- Methods and tools of functional programming
for supporting
parallel programming.
2005
- Methods and Tools of Parallel Programming.
2016
- On visualization in computer-aided teaching of mathematics.
1999
- Relation between theory and practice in program
transformation.
1991
- Restructuring compilation techniques and
a program manipulation system
for fine-grain
architectures.
1994
- Schematology in a multi-language optimizer.
1977
- SIMICS: information system on informatics history.
2000
- Sisal 3.2: functional language for supporting
scientific supercomputing.
2011
- 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.
2010
- 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
- Tools for supporting graphs in computer science.
2010
- Transformational approach to designing effective
and reliable
programs for parallel computers.
1993
- Virtual museum of informatics history in Siberia.
2003
- Visual Graph — система визуализации сложно структурированной
2015
- WAPE — a system for distance learning of programming
2008
- Web–based systems for supporting computer-science
teaching and learning.
2002
