- Автоматизированное построение программ путем их
конкретизации.1983
- Автоматическая генерация тестов для оптимизирующего компилятора.
2017
- Адаптивные системы и методы дистанционного
обучения.2004
- Анализ структур программ.
1980
- Анализ структур программ в глобальной
оптимизации.
1975
- Анализ управляющих графов программ.
1973
- Аннотирование программ и их
преобразование.
1989
- Архитектуры с мелкозернистым параллелизмом
и проблема
построения прототипов компилятора.
1997
- Базис для оптимизации программ.
1983
- Быстрый алгоритм выделения максимальных линейных
участков в программе.
1982
- Веб-системы поддержки графов и графовых алгоритмов
2011
- Визуализация графов и графовых моделей
2010
- Визуализация графов и графовых моделей
2010
- Визуализация информации на основе графовых моделей
2011
- Визуализация информации на основе графовых моделей
2011
- Визуализация информации на основе графовых моделей
2014
- Визуализация структурированной информации на основе иерархических графовых моделей
2012
- Визуализация структурной информации на основе графовых моделей
2012
- Виртуальный музей истории информатики в Сибири.
2002
- Виртуальный музей истории информатики в Сибири.
2002
- Виртуальный музей истории информатики в Сибири.
2003
- Вопросы информационной поддержки гуманитарных
исследований в области культуры.
1999
- Вопросы конкретизации программ.
1982
- Вопросы обучения математиков программированию.
2000
- Вопросы подготовки специалистов по
программированию.
1985
- Вопросы преподавания информатики и
программирования.
1997
- Вопросы редукции программ.
1986
- Всемирные компьютерные конгрессы ИФИП
2008
- Всемирные компьютерные конгрессы ИФИП
2009
- Выделение гамаков в ориентированном
графе.
1975
- Графы в информатике и программировании.
2000
- Дистанционное обучение: методы и средства адаптивной
гипермедиа.
2004
- Дистанционное обучение: методы и средства адаптивной
гипермедиа.
2004
- Ершов и графы в программировании.
2006
- Иерархические графы и графовые модели:
вопросы
визуальной обработки.
1999
- Изложение отечественной истории информатики для школы.
1997
- Инструментальная система для изучения преобразований
программ.
1994
- Инструменты преобразования программ.
1988
- Интегрированная визуальная среда поддержки конструирования параллельных программ
2008
- Информационная поддержка изучения некоторых аспектов
культуры как элемент гуманизации специализированного
образования.
2000
- Информационные связи и преобразование
схем программ.
1974
- Интегрированная визуальная среда поддержки конструирования параллельных программ
2008
- Исследования в области теоретического и системного
программирования и их применение в автоматизации
программирования и разработке математического
обеспечения.
1977
- К вопросу о реализации схем над
распределенной памятью.
1977
- К обоснованию алгоритмов преобразования крупноблочных
программ.
1981
- Конференция молодых ученых по системному
программированию.
1977
- Конференция молодых ученых по системному
программированию.
1978
- Конференция по методам трансляции и конструирования
программ.
1985
- К оценке частоты выполнения операторов и переходов
в программе.
1975
- К перестраиваемости коммутативных схем.
1975
- Крупноблочная сегментация и распараллеливание
схем
программ.
1976
- Курс по основам информатики и программирования
2009
- Курс программирования на Паскале в заданиях
и упражнениях.
2002
- Методика разработки многоязыковых трансляторов
на примере системы БЕТА.
1982
- Методы и средства дистанционного обучения
программированию.
2017
- Методы и средства параллельного программирования на основе языка Sisal
2015
- Методы и средства семантического анализа
Модула–программ.
1993
- Методические и программные средства поддержки обучения
теоретико-графовым методам и алгоритмам.
2009
- Музеи и Интернет.
2006
- Музеи и Интернет
2008
- Музеи и Интернет: новая виртуальная реальность
2008
- Музеи и Интернет: новые возможности.
2006
- Научная школа А. П. Ершова: системы программирования и
информатики.
2011
- Об одном алгоритме выделения
бикомпонент
в ориентированном графе.
1974
- Об одном методе конструирования
качественных версий
программ.
1986
- Облачные средства поддержки параллельного
программирования.
2017
- Облачные средства поддержки супервычислений
2014
- О нахождении аргументов и результатов
в схемах
с косвенной адресацией.
1976
- О плоских укладках иерархических графов
2015
- О практикуме по программированию в вузе
2014
- О работах лаборатории конструирования и
оптимизации
программ в области систем
учебной информатики.
1995
- О работе 16 Всемирного компьютерного конгрессса ИФИП.
2001
- О свойстве полноты механизма аннотаций
директив.
1994
- Оптимизация программ.
1983
- Оптимизирующие преобразования в
распараллеливающих
компиляторах.
1988
- Оптимизирующие преобразования в
распараллеливающих
компиляторах.
1996
- Оптимизация программ: анализ публикаций на основе авторских ключевых слов
2018
- Организация курса по методам трансляции.
1988
- Перераспределение памяти в крупноблочных
программах.
1980
- Письмо в редакцию.
1998
- Поддержка супервычислений и интернет–ориентированные
технологии.
1998
- Полнота класса крупноблочных схем.
1982
- Поттосин Игорь Васильевич
2016
- Практикум по программированию
2014
- Представление графов и графовых моделей: базовые средства языка GraphML
2018
- Применение графов в программировании.
2001
- Применение графов в программировании.
2001
- Применение методов оптимизации к проверке
правильности
программ.
1978
- Применение теоретико-графовых методов в
программировании.
2009
- Применение теории графов в информатике
и программировании.
2000
- Проблемы и перспективы исследования преобразований
программ на базе современных технических средств.
1995
- Проблемы обучения информатике и программированию.
2001
- Проблемы обучения информатике и программированию.
2001
- Программ оптимизирующие преобразования.
1982
- Редуцирующие преобразования программ.
1983
- Реструктурирующие преобразования: алгоритмы
распараллеливания циклов.
2004
- Реструктурирующие преобразования: алгоритмы
распараллеливания циклов.
2006
- Российская информатика в лицах: академик Андрей Петрович Ершов.
2017
- Российская информатика в лицах: мои учителя.
2014
- Российское программирование в лицах: мои учителя
2014
- Российское программирование в лицах: мои учителя
2014
- Свободные интерпретации крупноблочных
схем программ.
1980
- Семантические преобразования программ.
1988
- Сибирский межрегиональный Фонд “Информатика: развитие и образование” (ИнфРО)
2009
- Система для анализа, преобразования и
инструментовки
Фортран-программ.
1990
- Системы поддержки применения графов и графовых
алгоритмов.
2011
- Системы учебной информатики.
1993
- Словарь и энциклопедия по графам в информатике
2011
- Смешанные вычисления и оптимизация
программ.
1980
- Советско–французский семинар по
информатике.
1986
- СОКРАТ: окружение надежного и эффективного
программирования.
1996
- Спецификация контекста для редукции
программ.
1984
- Средства поддержки графов в программировании
2009
- Средства поддержки обучения теоретико-графовым методам и алгоритмам
2009
- Средства поддержки применения графов в информатике и программировании
2012
- Средства поддержки применения графов в
программировании. 2000
- Средства поддержки применения теоретико-графовых методов в информатике и программировании
2013
- Творческое наследие В.Э. Иткина.
1993
- Теоретико–графовые задачи анализа транслируемых
программ.
1986
- Теоретико-графовые методы в программировани
2009
- Теоретико-графовые методы и системы программирования
2015
- Теоретико-графовые методы и системы программирования
2015
- Теоретико-графовые методы и системы программирования
2016
- Теоретико-графовые методы и системы программирования
2017
- Технологические возможности оптимизации
программ.
1980
- Трансформационные методы и средства
конструирования
эффективных и надежных
программ.
1993
- Трансформационный подход к конкретизации
программ.
1989
- Трансформационный подход к конструированию
и оптимизации программ.
1991
- Трансформационный подход к конструированию
эффективных и надежных программ: модели,
методы и
алгоритмы.
1994
- Упорядоченные диаграммы бинарных решений.
2003
- Урок 20: параметры процедур и функций.
1982
- Учет априорной информации при анализе
свойств состояний
программ.
1985
- Функциональный язык Sisal 3.0.
2001
- Эквивалентные преобразования кратных
схем.
1982
- Эквивалентные преобразования линейных
участков
программ.
1984
- Экономное преобразование
несводимых графов.
1973
- Язык представления графов GraphML: базовые средства
2012
- Язык представления графов GraphML: дополнительные возможности
2012
- Язык параллельного программирования Cloud Sisal
2016
- Язык программирования Sisal 3.2
2007
- Языковые и программные средства для конструирования и оптимизации параллельных программ
2008
- Языковые и программные средства конструирования параллельных программ
2008
- Языковые и программные средства конструирования параллельных программ
2008
- 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
- 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
- A system for big attributed hierarchical graph visualization
2018
- A system for structural information visualization based on attributed hierarchical graphs
2017
- A system for visualization of big attributed hierarchical graphs
2018
- A system of functional programming for supporting cloud supercomputing
2018
- A visual cloud system for parallel and functional programming teaching and learning
2017
- A Web-based system for distance learning of programming
2009
- An integrated environment
for annotated program
transformation.
2000
- An open adaptive virtual museum of informatics
history
in Siberia.
2006
- An open adaptive virtual museum of information history
in Siberia.
2011
- An open adaptive virtual museum of informatics history
in Siberia.
2008
- Annotated program transformations.
1989
- Annotated program transformations.
1989
- Application of optimization
techniques to correctness problems.
1977
- Application of optimization techniques
to correctness problems.
1979
- Basis for program optimization.
1983
- Cloud system of functional and parallel programming for computer science education
2915
- Distinguishing Hammocks in a Directed Graph.
1975
- Educational software development.
1991
- Finding arguments and results of operators in schemes with
indirect
addressing
1976
- Formal methods for program reusability.
1997
- Formal methods in program analysis and
transformations.
1995
- Formalization of transformation algorithms for large-block programs.
1981
- Graph applications in programming.
2001
- 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
- Graphs in programming: methods and tools for education.
2002
- Hierarchical graph models and information visualization
2012
- Hierarchical graph models and visual processing.
2000
- Information visualization based on graph model
2013
- Information visualization based on hierarchical graph models
2014
- Information visualization based on hierarchical graph models
2014
- Information visualization based on hierarchical graph models
2015
- Information visualization on the base of
hierarchical graph models
2012
- 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 a system of functional programming
for supporting supercomputing.
2007
- Methods and tools for constructing reliable
and efficient software
via annotated program
transformations.
1996
- Methods and tools for structural information visualization
2013
- 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 for visualization of graphs and graph
algorithm.
2013
- Methods and tools of functional programming for
supporting
parallel programming.
2005
- Methods and Tools of Parallel Programming.
2017
- 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
- Optimizing transformations in paralleling compilers.
1996
- Program structure analysis in
a global optimization.
1977
- Restructuring compilation techniques and
a program manipulation system
for fine-grain
architectures.
1994
- Russian informatics in persons: my teachers
2015
- Schematology in a multi-language
optimizer.
1977
- Sisal 3.2 language structures decomposition
2009
- Sisal 3.2: functional language for scientific parallel programming
2013
- SFP — an interactive visual environment for supporting
of
functional programming and supercomputing.
2006
- Some properties of fully reducible
graphs.
1973
- Support tools for application of graphs and graph algorithms
2014
- 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
- Transformation approach to program concretization.
1989
- Transformation methods and tools for design of efficient and reliable programs.
1993
- Transformational approach to program
concretization.
1991
- Transformational approach to program
concretization.
1991
- Virtual museum of informatics history in Siberia.
2003
- Visual Graph — система визуализации сложно
структурированной информации
большого объема на основе графовых моделей.
2015
- Visual Graph — система для визуализации сложно структурированной информации большого объема
на основе графовых моделей.
2015
- WAPE — a system for distance learning of programming.
2008
- Web-системы поддержки применения теоретико-графовых
методов для конструирования эффективных
и надежных программ.
2018