3.2.1 Доклады на международных мероприятиях

1. Автоматизированное построение программ путем
   их конкретизации. 1982
2. Архитектуры с мелкозернистым параллелизмом и
   проблема построения прототипов компиляторов. 1994
3. Быстрый алгоритм выделения максимальных линейных
   участков в программе. 1980
4. Вопросы информационной поддержки научных
   исследований в преподавании гуманитарных дисциплин. 1998
5. Вопросы подготовки специалистов по программированию. 1984
6. Вопросы преподавания фундаментальных основ
   информатики и программирования. 1996
7. Вопросы эффективного использования параллельных ЭВМ. 1996
8. Изложение отечественной истории информатики для школы. 1997
9. Методика разработки многоязыковых трансляторов
   на примере системы БЕТА. 1980
10. Методы и средства визуальной обработки иерархических
    графовых моделей. 1998
11. Модели для оптимизации программ. 1982
12. О нахождении аргументов и результатов в схемах
    с косвенной адресацией. 1976
13. О работах ИСИ СО РАН в области систем учебной
    информатики. 1995
14. Организация курса по методам трансляции. 1986
15. Параллельная обработка: вопросы обучения. 1997
16. Поддержка супервычислений и интернет-ориентированные
    технологии. 1998
17. Практический подход к оптимизации программ. 1978
18. СИМИКС -- информационная система для поддержки
    гуманитарных исследований и образования в области
    культуры. 1997
19. Система для редактирования иерархических графов. 1997
20. A basis for program analysis and transformation. 1997
21. A method for constructing quality program versions. 1985
22. A model for annotated programming. 1989
23. Annotated program transformation. 1989
24. Annotated program transformations. 1989
25. Application of optimization techniques to correctness problems. 1977
26. A program manipulation system for fine-grained architectures. 1995
27. Basis for program optimization. 1983
28. Educational informatics systems and education in computer
    sciences. 1993
29. Fine-grained concurrency architectures and the rapid
    compiler prototyping problems. 1994
30. Formal methods for program reusability. 1997
31. Formal methods in program analysis and transformations. 1995
32. Methods and tools for constructing reliable and efficient
    software via annotated program transformations. 1995
33. Relation between theory and practice in program transformation. 1991
34. Schematology in a multi-language optimizer. 1977
35. SOKRAT: an environment for safe and effective programming. 1993
36. The PROGRESS program manipulation system. 1993
37. The system PROGRESS as a tool for parallelizing compiler
    prototyping. 1997
38. Tools and techniques of annotated programming. 1990
39. Tools for program transformations. 1988
40. Transformational approach to designing effective and reliable
    programs for parallel computers. 1993