ИСТИНА

Подловченко Римма Ивановна пользователь

доктор физико-математических наук

профессор по кафедре математической кибернетики

Соавторы: Захаров В.А., Хачатрян В.Е., Русаков Д.М., Молчанов А.Э., Айрапетян М.Г., Долгих Б.А., Сущинский М.М., Чашин Ю.Г., Аланакян Н.А., Варновский Н.П., Ершов А.П., Захарьящев И.М., Китов А.И. показать полностью..., Криницкий Н.А., Кузюрин Н.Н., Петросян Г.Н., Попов С.В., Скрынников Д.В.

167 статей, 1 книга, 4 доклада на конференциях, 32 тезисов докладов, 6 НИР, 2 членства в диссертационных советах, 4 диссертации, 4 учебных курса

Количество цитирований статей в журналах по данным Web of Science: 27, Scopus: 44

IstinaResearcherID (IRID): 3604834

Деятельность стиль:  обычный | ГОСТ | plain | abbrv | acm | alpha | amsalpha | amsplain | apalike | ieeetr | siam

• Статьи в журналах

  • • 2015 Конечные автоматы в теории алгебраических моделей программ
    • Подловченко Р.И.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 27, № 2, с. 161-172
  • • 2014 Equivalence problem solvability in gateway program models
    • Подловченко Р.И., Молчанов А.Э.
    • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 48, № 7, с. 581-588 DOI
  • • 2014 Primitive program schemata with procedures
    • Подловченко Р.И.
    • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 48, № 7, с. 615-622
  • • 2014 Исследование двухпараметрической алгебраической модели программ по методикам, разработанным для однопараметрических моделей
    • Подловченко Р.И.
    • в журнале Программирование, № 3, с. 3-14
  • • 2014 Исследование примитивных схем программ с процедурами
    • Подловченко Р.И.
    • в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 21, № 4, с. 116-131
  • • 2014 Истоки российского программирования глазами очевидца
    • Подловченко Р.И.
    • в журнале Программная инженерия, издательство Новые технологии (Москва), № 6, с. 38-48
  • • 2014 Разрешимость эквивалентности в перегородчатых моделях программ
    • Подловченко Р.И., Молчанов А.Э.
    • в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 21, № 2, с. 56-70
  • • 2013 90 лет со дня рождения С.С.Лаврова
    • Подловченко Р.И.
    • в журнале Программирование, № 3, с. 64-64
  • 
    • 2013 About algebraic program models with procedures
    • Podlovchenko R.I., Molchanov A.E.
    • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 47, № 7, с. 385-392
  • 
    • 2013 On a class of algebraic models of programs of practical interest
    • Podlovchenko R.I.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 39, № 3, с. 124-134
  • • 2013 О двух методах распознавания эквивалентности в алгебраических моделях программ
    • Подловченко Р.И., Захаров В.А.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 17, № 1-4, с. 366-370
  • • 2013 Об одном классе алгебраических моделей программ, представляющем практический интерес
    • Подловченко Р.И.
    • в журнале Программирование, № 3, с. 15-28
  • 
    • 2012 On the polynomial complexity of the equivalence checking problem in algebraic models of program
    • Podlovchenko R.I.
    • в журнале Cybernetics and Systems Analysis, издательство Springer Nature (Switzerland), том 48, № 5, с. 653-659
  • • 2012 К вопросу о полиномиальной сложности проблемы эквивалентности в алгебраических моделях программ
    • Подловченко Р.И.
    • в журнале Кибернетика и системный анализ, издательство Наукова Думка (Киев), № 5, с. 17-24
  • • 2012 О теории алгебраических моделей программ с процедурами
    • Подловченко Р.И., Молчанов А.Э.
    • в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 19, № 5, с. 100-114
  • 
    • 2011 On an equivalence checking technique for algebraic models of programs
    • Подловченко Р.И.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 37, № 6, с. 292-298
  • 
    • 2011 Using algebraic models of programs for detecting metamorphic malwaes
    • Podlovchenko R.I., Shcherbina V.S., Zakharov V.A., Kuzyurin N.N.
    • в журнале Journal of Mathematical Sciences, издательство Plenum Publishers (United States), том 172, № 5, с. 740-750
  • • 2011 К вопросу о полиномиальной сложности проблемы эквивалентности в алгебраических моделях программ
    • Подловченко Р.И.
    • в журнале Кибернетика и системный анализ, издательство Наукова Думка (Киев), № 3
  • • 2011 Об одной методике распознавания эквивалентности в алгебраических моделях программ
    • Подловченко Р.И.
    • в журнале Программирование, № 6, с. 33-43
  • 
    • 2010 Complete system of equivalent transformations in balanced semigroup models of programs with left cancellation
    • Podlovchenko R.I.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 36, № 3, с. 125-137
  • • 2010 Полное решение проблемы минимизации для одного множества бинарных двухленточных автоматов
    • Подловченко Р.И., Хачатрян В.Е.
    • в журнале Дискретная математика, издательство Наука (М.), № 3, с. 1-23
  • • 2010 Полные системы эквивалентных преобразований в уравновешанных полугрупповых моделях программ с левым сокращением
    • Подловченко Р.И.
    • в журнале Программирование, № 3, с. 1-16
  • • 2010 Понятие системы эквивалентных преобразований в уравновешенных полугрупповых моделях программ
    • Подловченко Р.И.
    • в журнале Программирование, № 3
  • 
    • 2009 Technique of traces in solving the equivalence problem in algebraic program models
    • Подловченко Р.И.
    • в журнале Cybernetics and Systems Analysis, издательство Springer Nature (Switzerland), том 45, № 5, с. 692-702
  • 
    • 2009 Использование алгебраических моделей программ для обнаружения метаморфного вредоносного кода
    • Захаров В.А., Кузюрин Н.Н., Подловченко Р.И., Щербина В.Л.
    • в журнале Фундаментальная и прикладная математика, издательство Интуит (М.), том 15, № 5, с. 181-198
  • • 2009 Разрешимость проблем эквивалентных преобразований в одном множестве двухленточных автоматов и построение всех минимальных автоматов в этом множестве
    • Подловченко Р.И., Хачатрян В.Е.
    • в журнале Вестник Орловского государственного университета
  • 
    • 2008 Minimization problem for schemes of program with commutative blocks
    • Подловченко Р.И.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 34, № 4, с. 237-241
  • • 2008 Минимальность и тупиковость многоленточных автоматов
    • Подловченко Р.И., Хачатрян В.Е.
    • в журнале Дискретная математика, издательство Наука (М.), том 20, № 2, с. 100-121
  • • 2008 О минимизации схем программ с перестановочными блоками
    • Подловченко Р.И.
    • в журнале Программирование, № 4, с. 72-77
  • 
    • 2007 Inclusion problem in algebraic models of programs with constants
    • Подловченко Р.И., Русаков Д.М.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 33, № 3, с. 121-131
  • • 2007 Проблема включения в алгебраической модели программ с константами
    • Подловченко Р.И., Русаков Д.М.
    • в журнале Программирование, № 3, с. 1-13
  • 
    • 2006 Automaton semigroup models of programs
    • Подловченко Р.И.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 32, № 6, с. 301-307
  • • 2006 Автоматно-полугрупповые модели программ
    • Подловченко Р.И.
    • в журнале Программирование, № 6, с. 5-13
  • • 2006 О применении методов деобфускации программ для обнаружения сложных компьютерных вирусов
    • Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Подловченко Р.И., Шокуров А.В., Щербина В.Л.
    • в журнале Известия ЮФУ. Технические науки, издательство Федеральное государственное автономное образовательное учреждение высшего образования "Южный федеральный университет" (Ростов-на-Дону), том 2, № 7, с. 18-27
  • 
    • 2005 Program schemes with constants
    • Подловченко Р.И., Русаков Д.М.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 31, № 3, с. 113-122
  • • 2005 Схемы программ с константами
    • Подловченко Р.И., Русаков Д.М.
    • в журнале Программирование, № 3, с. 5-18
  • 
    • 2004 A new approach to solving equivalence problem
    • Подловченко Р.И., Хачатрян В.Е.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 30, № 3, с. 121-133
  • 
    • 2004 Об одном подходе к решению проблемы эквивалентности
    • Подловченко Р.И., Хачатрян В.Е.
    • в журнале Программирование, № 3, с. 3-20
  • 
    • 2003 On program schemes with commuting and monotone operators
    • Подловченко Р.И.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 29, № 5, с. 270-276
  • 
    • 2003 О схемах программ с перестановочными и монотонными операторами
    • Подловченко Р.И.
    • в журнале Программирование, № 5, с. 46-54
  • 
    • 2002 Equivalent transformations in the model of programs with commuting and monotone operators
    • Подловченко Р.И.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 28, № 6, с. 301-313
  • 
    • 2002 Equivalent transformations of program schemes for "entangling" programs
    • Подловченко Р.И.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 28, № 2, с. 106-116
  • • 2002 Проблема эквивалентных преобразований в модели программ с перестановочными и монотонными операторами
    • Подловченко Р.И.
    • в журнале Программирование, № 6, с. 1-17
  • 
    • 2002 Эквивалентные преобразования схем программ для "запутывания" самих программ
    • Подловченко Р.И.
    • в журнале Программирование, № 2, с. 66-80
  • 
    • 2001 А.А. Lyapunov and А.Р. Ershov in the theory of program schemes and the development of its logic concepts
    • Podlovchenko R.I.
    • в журнале Lecture Notes in Computer Science, том 2244, с. 8-23
  • 
    • 2001 Аппроксимируемость одних моделей программ другими
    • Подловченко Р.И., Попов С.В.
    • в журнале Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика, издательство Изд-во Моск. ун-та (М.), № 2, с. 38-46
  • 
    • 2000 Complete system of equivalent transformations for two-tape automata with disjoint loops
    • Подловченко Р.И., Хачатрян В.Е., Чашин Ю.Г.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 26, № 5, с. 237-248
  • 
    • 2000 On a general solution to the problem of equivalent transformations of program schemes
    • Подловченко Р.И.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 26, № 1, с. 44-52
  • 
    • 2000 On a general solution to the problem of equivalent transformations of program schemes (II)
    • Подловченко Р.И.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 26, № 2, с. 53-60
  • • 2000 Об одном массовом решении проблемы эквивалентных преобразований схем программ. I
    • Подловченко Р.И.
    • в журнале Программирование, № 1, с. 66-77
  • • 2000 Об одном массовом решении проблемы эквивалентных преобразований схем программ. II
    • Подловченко Р.И.
    • в журнале Программирование, № 2, с. 3-11
  • • 2000 Полная система эквивалентных преобразований для двухленточных автоматов с пересекающимися циклами
    • Подловченко Р.И., Хачатрян В.Е., Чашин Ю.Г.
    • в журнале Программирование, № 5, с. 3-17
  • • 1999 Очерки истории информатики в России
    • Подловченко Р.И.
    • в журнале PC Week, Russian Edition, № 7, с. 20-20
  • 
    • 1998 A polynomial-time algorithm that recognizes the commutative equivalence of program schemes
    • Подловченко Р.И., Захаров В.А.
    • в журнале Doklady Mathematics, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 58, № 2, с. 306-309
  • 
    • 1998 A transformation system complete in a class of program schemes with commuting operators
    • Подловченко Р.И.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 24, № 2, с. 84-90
  • 
    • 1998 Полиномиальный по сложности алгоритм, распознающий коммутативную эквивалентность схем программ
    • Захаров В.А., Подловченко Р.И.
    • в журнале Доклады Академии наук, издательство Наука (М.), том 362, № 6, с. 744-747
  • • 1998 Полиномиальный по сложности алгоритм, распознающий коммутативную эквивалентность схем программ (соавтор Захаров В.А
    • Подловченко Р.И.
    • в журнале Информатика, том 362, № 6, с. 744-747
  • • 1998 Система преобразований, полная в классе схем программ с перестановочными операторами
    • Подловченко Р.И.
    • в журнале Программирование, № 2, с. 58-67
  • 
    • 1997 A canonization algorithm for pairs of program schemes with commuting operators
    • Подловченко Р.И.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 23, № 6, с. 291-301
  • • 1997 Абстрактные программы с процедурами и конечные автоматы с магазином
    • Подловченко Р.И.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), № 2, с. 1-4
  • • 1997 Алгоритм канонизации пар схем программ с перестановочными операторами
    • Подловченко Р.И.
    • в журнале Программирование, № 6, с. 3-16
  • 
    • 1996 On the construction of complete systems of equivalent transformations of program schemes
    • Подловченко Р.И., Айрапетян М.Г.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 22, № 1, с. 1-18
  • • 1996 Канонические формы схем и их построение в специальных автоматных моделях рекурсивных программ
    • Подловченко Р.И.
    • в журнале Программирование, № 5, с. 3-17
  • • 1996 О построении полных систем эквивалентных преобразований схем программ
    • Подловченко Р.И., Айрапетян М.Г.
    • в журнале Программирование, № 1, с. 3-29
  • 
    • 1994 Разрешимость проблемы эквивалентных преобразований в специальных автоматных моделях рекурсивных программ
    • Подловченко Р.И.
    • в журнале Доклады Академии наук, издательство Наука (М.), том 337, № 5, с. 577-580
  • • 1994 Специальные перегородчато-автоматные модели рекурсивных программ
    • Подловченко Р.И.
    • в журнале Программирование, № 3, с. 3-26
  • 
    • 1994 Трансформация схем рекурсивных программ в эквивалентные им свободные
    • Подловченко Р.И.
    • в журнале Программирование, № 6, с. 3-22
  • 
    • 1993 Регулярные модели программ
    • Подловченко Р.И., Аланакян Н.А.
    • в журнале Программирование, № 4, с. 3-11
  • • 1991 Размышления о феномене Алексея Андреевича Ляпунова
    • Подловченко Р.И.
    • в журнале Программирование, № 5, с. 2-8
  • 
    • 1991 Рекурсивные программы и иерархия их моделей
    • Подловченко Р.И.
    • в журнале Программирование, № 6, с. 44-51
  • 
    • 1990 On the decidability of the equivalence problem on a class of program schemata having monotonic and partially commutative statements
    • Подловченко Р.И.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), № 5, с. 3
  • • 1990 Разрешимость эквивалентности в множестве схем программ с монотонными и частично перестановочными операторами
    • Подловченко Р.И.
    • в журнале Программирование, № 5, с. 3-12
  • • 1988 Схемы программ с монотонными операторами
    • Подловченко Р.И.
    • в журнале Программирование, № 6, с. 3-15
  • • 1987 Проблема эквивалентности в коммутативных s-моделях программ
    • Подловченко Р.И.
    • в журнале Программирование, № 5, с. 6-17
  • • 1986 Исследование s-моделей программ с позиции построения для них алгоритмов канонизации
    • Подловченко Р.И.
    • в журнале Программирование, № 2, с. 3-13
  • • 1986 О проблеме эквивалентных преобразований программ
    • Подловченко Р.И.
    • в журнале Программирование, № 6, с. 3-14
  • • 1982 Модели программ над структурированным базисом
    • Подловченко Р.И.
    • в журнале Программирование, № 1, с. 9-19
  • • 1982 Моделирование программ схемами и построение систем преобразований схем
    • Подловченко Р.И.
    • в журнале Кибернетика, Киев, № I, № 6, с. 23-29
  • • 1982 Роль Ляпунова А. А. в программировании
    • Подловченко Р.И., Китов А.И., Криницкий Н.А.
    • в журнале Программирование, № 1, с. 6 стр
  • 
    • 1981 The hierarchy of program models
    • Подловченко Р.И.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), № 2, с. 3-17
  • • 1981 Иерархия моделей программ
    • Подловченко Р.И.
    • в журнале Программирование, № 2, с. 3-14
  • • 1981 Полугрупповые модели программ
    • Подловченко Р.И.
    • в журнале Программирование, № 4, с. 3-13
  • • 1979 Модели последовательных программ, применяемые для изучения функциональной эквивалентности программ
    • Подловченко Р.И.
    • в журнале Кибернетика, Киев, № I, № 1, с. 20-28
  • • 1977 Содержательность некоторых формальных эквивалентностей схем Янова
    • Подловченко Р.И.
    • в журнале Теория программирования и методы трансляции, изд. ВЦ СОАН СССР, Новосибирск
  • • 1977 Функциональная эквивалентность программ и ее моделирование
    • Подловченко Р.И.
    • в журнале Программирование, том 1977, № 2, с. 6-27
  • • 1973 R-схемы и отношения эквивалентности между ними
    • Подловченко Р.И.
    • в журнале Проблемы кибернетики, № 27, с. 213-237
  • • 1972 Интерпретации схем алгоритмов и различные типы отношений эквивалентности между схемами
    • Подловченко Р.И., Петросян Г.Н., Хачатрян В.Е.
    • в журнале Известия АН Армянской ССР, Сер. математика, № 2, с. 140-151
  • • 1972 О множестве операторов, реализуемых схемами над памятью
    • Подловченко Р.И.
    • в журнале Проблемы кибернетики, № 24, с. 91-108
  • • 1960 Об основных понятиях программирования
    • Подловченко Р.И.
    • в журнале Проблемы кибернетики, № 3, с. 123-138
  • • 1959 Колебательные спектры и поворотная изомерия 2,3 - диметилбутана
    • Подловченко Р.И.
    • в журнале Оптика и спектроскопия, том 4, № 2, с. 146-153
  • • 1957 Применение электронных счётных машин к расчёту частот колебаний молекул
    • Подловченко Р.И., Сущинский М.М.
    • в журнале Молекулярная спектроскопия, том 1, с. 99-102
  • 
    • 1957 Расчёт и интерпретация колебательных спектров поворотных изомеров нормального бутана
    • Подловченко Р.И., Сущинский М.М.
    • в журнале Оптика и спектроскопия, том 2, № 1, с. 49-61

• Статьи в сборниках

  • • 2015 Обзор последних результатов в теории алгебраических моделей программ с процедурами
    • Подловченко Р.И.
    • в сборнике Дискретные модели в теории управляющих систем. IX Международная конференция, Москва и Подмосковье, 20-22 мая 2015 г, серия ISBN 978-5-317-04970-6, место издания МАКС Пресс Москва, с. 191-193
    • редакторы Алексеев Валерий Борисович, Данилов Борис Радиславович, Романов Дмитрий Сергеевич
  • 
    • 2014 On Creation and Work of the Yerevan School of Programming
    • Подловченко Р.И.
    • в сборнике Труды SORUCOM-2014. Третья Международная конференция «Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР», место издания Казань, том 1, с. 19-22 DOI
  • • 2014 О создании и работе ереванской школы программирования
    • Подловченко Р.И.
    • в сборнике Труды SORUCOM-2014. Третья Международная конференция «Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР», место издания Казань, том 1, с. 299-302
  • • 2014 Решение проблемы эквивалентности и проблемы эквивалентных преобразований в одной двухпараметрической алгебраической модели программ
    • Подловченко Р.И.
    • в сборнике Проблемы теоретической кибернетики. Материалы XVII Международной конференции (Казань, 16-20 июня 2014 г.), серия Проблемы теоретической кибернетики, место издания Отечество Казань, с. 229-231
  • • 2012 Algebraic Models of Programs with Procedures
    • Podlovchenko R.I., Molchanov A.E.
    • в сборнике 3-rd Workshop “Program Semantics, Specification, and Verification: Theory and Applications”, Nizhni Novgorod, Russia, July 1-2, 2012, место издания Novgorod, Russia, с. 89-95
  • • 2012 Частично коммутативные модели программ
    • Подловченко Р.И., Скрынников Д.В.
    • в сборнике Материалы XI Международного семинара "Дискретная математика и ее приложения", место издания механико-математический факультет, с. 155-157
  • • 2011 Алексей Андреевич Ляпунов
    • Подловченко Р.И., Ляпунова Н.А.
    • в сборнике Альманах – на память будущему, место издания Издательский Дом Тонгу Москва, с. 249-259
  • • 2011 Алексей Андреевич Ляпунов – яркое явление духовной культуры
    • Подловченко Р.И.
    • в сборнике А.А. Ляпунов, к 100-летию со дня рождения, место издания Новосибирск, с. 383-396
  • • 2011 Конечные автоматы и алгебраические модели программ с позиции разрешимости проблемы эквивалентности
    • Подловченко Р.И.
    • в сборнике Проблемы теоретической кибернетики. Материалы XVI Международной конференции (Нижний Новгород, 20-25 июня 2011 г.), серия Проблемы теоретической кибернетики, место издания Издательство Нижегородского университета Нижний Новгород, с. 368-371
  • • 2009 Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ
    • Подловченко Р.И.
    • в сборнике «Кибернетика и системный анализ»
  • • 2007 Using algebraic models of programs for detecting metamorphic malwares
    • Kuzurin N.N., Podlovсhenko R.I., Shcherbina V.L., Zakharov V.A.
    • в сборнике Труды Института системного программирования РАН, место издания ИСП РАН Москва, том 12, с. 77-94
  • • 2007 О построении минимальных по размеру двухленточных автоматов
    • Подловченко Р.И., Хачатрян В.Е.
    • в сборнике Материалы IX Международного семинара «Дискретная математика и ее приложения» (Москва, 18-23 июня 2007 г.), место издания Изд-во механико-математического ф-та МГУ Москва, с. 348-351
  • 
    • 2006 On the equivalence problem for programs with mode switching
    • Podlovchenko R.I., Rusakov D.M., Zakharov V.A.
    • в сборнике Proceedings of CIAA-2005 "The 10-th International Conference on Implementation and Application of Automata" (June 27-29, 2005), Sophia Antipolis, France, серия Lecture Notes in Computer Science, место издания Springer, том 3845, с. 351-352
  • • 2006 The equivalence problem for programs with mode switching is PSPACE-complete
    • Podlovchenko R.I., Rusakov D.M., Zakharov V.A.
    • в сборнике Труды Института системного программирования РАН, место издания ИСП РАН, том 11, с. 111-135
  • • 2006 А.А.Ляпунов и А.П.Ершов в теории схем программ и развитие ее логических концепций
    • Подловченко Р.И.
    • в сборнике Андрей Петрович Ершов - ученый и человек, место издания СО РАН Новосибирск, с. 166-184
  • • 2006 Алгебраические модели программ и автоматы
    • Подловченко Р.И.
    • в сборнике Математические вопросы кибернетики, серия Математические вопросы кибернетики, место издания Физматлит Москва, том 15, с. 199-216
    • редактор Зыков Константин Анатольевич
  • • 2006 Конечные автоматы в теории алгебраических моделей программ. Материалы IX Международной конференции "Интеллектуальные системы и компьютерные науки
    • Подловченко Р.И.
    • в сборнике Материалы IX Международной конференции "Интеллектуальные системы и компьютерные науки" (23-27 октября 2006 г.), место издания Издательство механико-математического факультета МГУ Москва, том 1, с. 209-211
  • • 2006 Феномен модели программ с монотонными и перестановочными операторами
    • Подловченко Р.И.
    • в сборнике Труды VII Международной конференции "Дискретные модели в теории управляющих систем" (Покровское, 4-6 марта 2006 г), место издания МАКС Пресс Москва, с. 285-288
  • • 2005 On the equivalence problem for programs with mode switching
    • Podlovchenko R.I., Rusakov D.M., Zakharov V.A.
    • в сборнике Pre-Proceedings of CIAA-2005 "The 10-th International Conference on Implementation and Application of Automata" (June 27-29, 2005), Sophia Antipolis, место издания France, с. 285-287
  • • 2005 О возможности применения быстрых алгоритмов проверки эквивалентности программ для обнаружения вирусов
    • Захаров В.А., Захарьящев И.М., Подловченко Р.И., Русаков Д.М., Щербина В.Л.
    • в сборнике Труды второй всероссийской конференции «Методы и средства обработки информации», место издания Изд-во ф-та ВМК МГУ Москва, с. 414-421
  • • 2004 Метод трансформационного распознавания эквивалентности в моделях вычислений
    • Подловченко Р.И., Хачатрян В.Е.
    • в сборнике Материалы VIII Международного семинара «Дискретная математика и ее приложения» (2-6 февраля 2004 г.), место издания М.: Изд-во мех.-мат. ф-та МГУ, с. 38-43
  • • 2004 О проблеме включения для схем программ с константами
    • Подловченко Р.И., Русаков Д.М.
    • в сборнике Труды 6-ой Международной конференции «Дискретные модели в теории управляющих систем", 7-11 декабря 2004 г., Москва, место издания МАКС Пресс - МГУ Москва, с. 137-140
  • • 2004 Схемы программ и автоматы
    • Подловченко Р.И.
    • в сборнике Труды VI Международной конференции «Дискретные модели в теории управляющих систем (Москва, 7-11 декабря 2004 г.), место издания М.: МАКС Пресс, с. 137-140
  • • 2004 Эквивалентные преобразования алгоритмов и программ
    • Подловченко Р.И.
    • в сборнике Дискретная математика. Энциклопедия, место издания Большая российская энциклопедия Москва, с. 309-310
  • • 2003 Алгоритм рапознавания эквивалентности многоленточных автоматов без пересекающихся циклов
    • Подловченко Р.И., Хачатрян В.Е.
    • в сборнике Труды V Международной конференции "Дискретные модели в теории управляющих систем" (Ратмино, 26-29 мая 2003 г.), место издания отдел ф-та ВМиК, с. 66-69
  • • 2003 Воспоминания о поре ученичества у Алексея Андреевича Ляпунова
    • Подловченко Р.И.
    • в сборнике История информатики в России: ученые и их школы, место издания Наука Москва, с. 370-375
  • • 2003 Двухступенчатое моделирование программ с процедурами
    • Подловченко Р.И., Долгих Б.А.
    • в сборнике Труды V Международной конференции «Дискретные модели в теории управляющих систем», (Ратмино, 26-29 мая 2003 г.), место издания отдел ф-та ВМиК, с. 63-64
  • • 2003 Двухступенчатое моделирование программ с процедурами
    • Подловченко Р.И., Долгих Б.А.
    • в сборнике Математические вопросы кибернетики, серия Математические вопросы кибернетики, место издания ФИЗМАТЛИТ Москва, том 12, с. 47-56
    • редактор Зыков Константин Анатольевич
  • • 2003 Каноническая форма схемы программ с однократным вхождением константы
    • Подловченко Р.И., Русаков Д.М.
    • в сборнике Труды V Международной конференции «Дискретные модели в теории управляющих систем», (Ратмино, 26-29 мая 2003 г.), место издания отдел ф-та ВМиК, с. 65-66
  • • 2003 Николай Андреевич Криницкий
    • Подловченко Р.И.
    • в сборнике История информатики в России: ученые и их школы, место издания Наука Москва, с. 182
  • • 2003 Современные вопросы теоретического программирования
    • Подловченко Р.И.
    • в сборнике Труды Первой Всероссийской конференции "Методы и средства обработки информации" (1-3 октября 2003), место издания отдел ф-та ВМиК МГУ, с. 47-56
  • • 2002 А.А.Ляпунов - инициатор кибернетических исследований в СССР
    • Подловченко Р.И.
    • в сборнике Кибернетика - ожидания и результаты. Политехнические чтения (24-25 ноября 1998), место издания Знание, том 2, с. 29-35
  • • 2001 А.А. Lyapunov and А.Р. Ershov in the theory of program schemes and the development of its logic concepts
    • Podlovchenko R.I.
    • в сборнике Preliminary Proc. of Andrei Ershov Fourth International Conf. «Perspectives of System Informatics», 2-6 July, 2001, место издания Akademgorodok, Novosibirsk, Russia, с. 3-11
  • • 2001 Алексей Андреевич Ляпунов в истории российского естествознания
    • Подловченко Р.И.
    • в сборнике Сборник трудов конференции, посвященной 90-летию со дня рождения Алексея Андреевича Ляпунова, Новосибирск, 8-11 октября, место издания Новосибирск
  • • 2001 Логические концепции теории схем программ и их развитие
    • Подловченко Р.И.
    • в сборнике Труды XII Байкальской международной конференции "Методы оптимизации и их приложения" (Иркутск, Байкал, 24 июня-1 июля 2001) т.5 Дискретная математика, том 5, с. 125-129
  • • 2001 Отец российской кибернетики Алексей Андреевич Ляпунов
    • Подловченко Р.И.
    • в сборнике Алексей Андреевич Ляпунов, место издания ИВМ и МГ СО РАН Новосибирск, с. 51-57
  • • 2000 "Дочерние" задачи для схем программ с константами
    • Подловченко Р.И.
    • в сборнике Труды IV Международной конференции "Дискретные модели в теории управляющих систем" (19-25 июня 2000 г.), место издания МАКС Пресс Москва, с. 112-114
  • • 2000 К вопросу об эквивалентных преобразованиях алгоритмов и программ
    • Подловченко Р.И.
    • в сборнике Математические вопросы кибернетики, серия Математические вопросы кибернетики, место издания Физматлит Москва, том 9, с. 25-36
    • редактор Зыков Константин Анатольевич
  • • 2000 Немного о теории последовательного программирования
    • Подловченко Р.И.
    • в сборнике Труды Всероссийской научной конференции "Высокопроизводительные вычисления и их приложения", 30 октября - 2 ноября, Черноголовка, место издания МГУ, с. 211-213
  • • 1999 Очерки истории информатики в России
    • Подловченко Р.И.
    • в сборнике Информатика, еженед. приложение к газете "Первое сентября", том 19
  • • 1998 А.А. Ляпунов и становление теоретического программирования в России
    • Подловченко Р.И.
    • в сборнике Proc. of International symposium on the contribution of Europeans to the evolution and the achievements of computer technology "Computer in Europe: past, present and future", место издания Ukraine, Kyiv, с. 88-93
  • • 1998 О вкладе А.А. Ляпунова в кибернетику // Очерки истории информатики в России, Новосибирск, научно-издат. центр ОИГГМ СО РАН
    • Подловченко Р.И.
    • в сборнике Очерки истории информатики в России, место издания научно-издат. центр ОИГГМ СО РАН Новосибирск, с. 184-189
  • • 1998 Об эволюции взглядов на архитектуру полных систем преобразований схем программ
    • Подловченко Р.И.
    • в сборнике Труды III Международной конференции "Дискретные модели в теории управляющих систем", место издания Диалог - МГУ Москва, с. 88-93
  • • 1998 От схем Янова к теории моделей программ
    • Подловченко Р.И.
    • в сборнике Математические вопросы кибернетики, серия Математические вопросы кибернетики, место издания Физматлит Москва, том 7, с. 281-302
  • • 1998 Отец Российской кибернетики Алексей Андреевич Ляпунов
    • Подловченко Р.И.
    • в сборнике Информатика, ежеднед. приложение к газете "Первое сентября", том 47
  • • 1998 Размышления о феномене Алексея Андреевича Ляпунова
    • Подловченко Р.И.
    • в сборнике Очерки истории информатики в России, место издания научно-издат. центр ОИГГМ СО РАН Новосибирск, с. 463-470
  • • 1997 О построении полных систем эквивалентных преобразований схем программ
    • Подловченко Р.И.
    • в сборнике Труды XII Международн. конф. «Дискретные модели в теории управляющих систем», место издания М., Диалог-МГУ, с. 46-47
  • • 1996 Быстрые алгоритмы распознавания эквивалентности в моделях программ с коммутирующими операторами
    • Захаров В.А., Подловченко Р.И.
    • в сборнике Компьютерные аспекты в научных исследованиях и учебном процессе, место издания Изд-Во Моск. Унив, с. 3-8
  • • 1993 О теории моделей программ и о моделях рекурсивных программ // Методы и системы технической диагностики, межвуз. сб. науч. тр., изд-во Саратовского ГУ
    • Подловченко Р.И.
    • в сборнике Методы и системы технической диагностики, место издания Саратовский государственный университет Саратов, том 18, с. 142-144
  • • 1990 Иерархия моделей рекурсивных программ // Объектно-ориентированное программирование, Всесоюз. конф. «Актуальные проблемы системного программирования», Таллинн
    • Подловченко Р.И.
    • в сборнике Объектно-ориентированное программирование, место издания Таллинн, с. 3-3
  • • 1989 The programs schemas for developing programs equivalent transformation
    • Подловченко Р.И.
    • в сборнике Informatics'89, proc. of the Soviet-French Symp, место издания Tallinn, с. 6-6
  • • 1987 On approximate solution of the problem of equivalence transformation of programs
    • Подловченко Р.И.
    • в сборнике Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, серия Lecture Notes in Computer Science, место издания Springer-Verlag, том 278, с. 5-5
    • редактор Лупанов Олег Борисович
  • • 1987 О моделировании программ схемами в целях приближенного решения проблемы эквивалентных преобразований программ
    • Подловченко Р.И.
    • в сборнике Third Conf. of Program Designers, место издания Budapest, том 1, с. 55-60
  • • 1986 О новом подходе к проблеме эквивалентных преобразований программ
    • Подловченко Р.И.
    • в сборнике Методы трансляции и конструирования программ, место издания изд-во ВЦ СО АН СССР Новосибирск, с. 8-8
  • • 1983 О преобразовании формальной схемы программ в свободную
    • Подловченко Р.И.
    • в сборнике Прикладная математика, место издания изд. ЕГУ Ереван, с. 109-128
  • • 1981 О метатеории схематологии
    • Подловченко Р.И.
    • в сборнике Прикладная математика, место издания изд. ЕГУ, Ереван, с. 47-60
  • • 1979 Simulating in Research on Functional Equivalence of Programs (on Structure and Problematics of Program Schemas Theory
    • Подловченко Р.И.
    • в сборнике Fundamentals of Computation Theory FCT'79, proc. of Conf., Akademie-Verlag-Berlin
  • • 1979 Функциональная и другие эквивалентности схем программ
    • Подловченко Р.И.
    • в сборнике Проблемы кибернетики, серия Проблемы кибернетики, место издания Наука Москва, том 36, с. 185-198
  • • 1978 О задачах, рассмотренных участниками Ереванского семинара по теоретическому программированию // Перспективы развития в системном и теоретическом программировании, труды Всесоюзн. симп., изд
    • Подловченко Р.И.
    • в сборнике ВЦ СОАН СССР, Новосибирск, место издания Новосибирск
  • • 1978 О корректности и содержательности некоторых отношений эквивалентности между схемами Янова
    • Подловченко Р.И.
    • в сборнике Проблемы кибернетики, серия Проблемы кибернетики, место издания М.: Наука, том 33, с. 179-207
  • • 1977 О научном вкладе Ляпунова А.А. в области теории программирования
    • Подловченко Р.И.
    • в сборнике Проблемы кибернетики, серия Проблемы кибернетики, место издания Наука, том 32, с. 45-57
  • • 1975 On correctness and essentiality of some Ianov schemas equivalence relations
    • Подловченко Р.И.
    • в сборнике Mathematical Foundations of Computer Science 1975. 4th Symposium, MFCS'75, Marianske Lazne, Czechoslovakia, September 1-5, 1975. Proceedings, серия Lecture Notes in Computer Science, место издания Springer-Verlag, том 32, с. vol.32
  • • 1975 Интерпретационные и формальные отношения между схемами над памятью
    • Подловченко Р.И.
    • в сборнике Проблемы кибернетики, серия Проблемы кибернетики, место издания Наука, том 30, с. 277-292
  • • 1974 Non-determined algorithm schemata or R-schemata
    • Подловченко Р.И.
    • в сборнике International Sympoisum on Theoretical Programming, Novosibirsk, Russia, August 7-11, 1972. Proceedings, серия Lecture Notes in Computer Science, место издания Springer-Verlag, том 5, с. p.)-p.)
  • • 1974 Схемы, построенные из предикатов. Критерий подчиненности одного класса схем другому
    • Подловченко Р.И.
    • в сборнике Проблемы кибернетики, серия Проблемы кибернетики, место издания Наука, том 28, с. 101-118
  • • 1973 Полная система подобных преобразований R-схем
    • Подловченко Р.И.
    • в сборнике Проблемы кибернетики, серия Проблемы кибернетики, с. 239-250
  • • 1973 Полная система подобных преобразований недетерминированных схем алгоритмов //Доклады АН СССР, Математика
    • Подловченко Р.И.
    • в сборнике Доклады АН СССР, место издания Математика, том 212, с. 64-66
  • • 1972 О функциях, вычисляемых стационарными схемами над памятью, и об интерпретации этих функций
    • Подловченко Р.И.
    • в сборнике Проблемы кибернетики, серия Проблемы кибернетики, место издания М.: Наука, том 25, с. 109-121
  • • 1972 Теоретическое программирование в СССР
    • Подловченко Р.И., Ершов А.П.
    • в сборнике Системное и теорет. программирование, место издания сб. трудов ВЦ СОАН СССР Новосибирск, с. -70 стр.
  • • 1970 О схемах алгоритмов, определённых на ситуациях
    • Подловченко Р.И.
    • в сборнике Проблемы кибернетики, серия Проблемы кибернетики, место издания Наука, том 23, с. 213-246
  • • 1964 Пример использования преобразований логических схем программ
    • Подловченко Р.И.
    • в сборнике Проблемы кибернетики, серия Проблемы кибернетики, место издания Физматгиз Москва, том 11, с. 131-145
  • • 1963 Об одной задаче со свёртывающимися циклами
    • Подловченко Р.И.
    • в сборнике Проблемы кибернетики, серия Проблемы кибернетики, место издания Физматгиз, с. 123-138
  • • 1962 О преобразованиях схем программ и их применении в программировании
    • Подловченко Р.И.
    • в сборнике Проблемы кибернетики, серия Проблемы кибернетики, место издания М.: Физматгиз, том 7, с. 161-188
  • • 1961 Отыскание собственных значений матриц методом последовательной диагонализации на электронной вычислительной машине (ЭВМ
    • Подловченко Р.И.
    • в сборнике Проблемы кибернетики, серия Проблемы кибернетики, место издания М.: Физматгиз, с. 15-32
  • • 1958 Об основных понятиях программирования
    • Подловченко Р.И.
    • в сборнике Проблемы кибернетики, серия Проблемы кибернетики, том 1, с. 128-134

• Книги

  • • 2011 Эквивалентные преобразования в математических моделях вычислений. Учебное пособие по курсу "Эквивалентные преобразования в математических моделях вычислений
    • Подловченко Р.И.
    • место издания факультет ВМК МГУ имени М.В.Ломоносова, МАКС-Пресс, 72 с.

• Доклады на конференциях

  • • 2015 Обзор последних результатов в теории алгебраических моделей программ с процедурами (Пленарный)
    • Автор: Подловченко Р.И.
    • IX Международная конференция "Дискретные модели в теории управляющих систем", Москва и Подмосковье, Россия, 20-22 мая 2015
  • • 2014 О создании и работе ереванской школы программирования
    • Автор: Подловченко Р.И.
    • SORUCOM-2014. Третья Международная конференция «Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР», 2014
  • • 2014 О проблеме эквивалентности и проблеме эквивалентных преобразований в двухпараметрических алгебраических моделях программ
    • Автор: Подловченко Р.И.
    • Проблемы теоретической кибернетики. XVII международная конференция (Казань, 16-20 июня 2014 г.), Казань, Россия, 16-20 июня 2014
  • • 1960 О системе понятий программирования
    • Автор: Подловченко Р.И.
    • Доклады АН СССР, 1960

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

  • • 1972 Недетерминированные схемы алгоритмов
    • Подловченко Р.И.
    • в сборнике Доклады АН СССР, место издания Математика, том 207, тезисы, с. 789-792
  • • 2013 Функциональная особенность одной двухпараметрической алгебраической модели программ
    • Подловченко И.
    • в сборнике Научная конференция «Тихоновские чтения». Тезисы докладов, место издания МАКС Пресс Москва, ВМК МГУ, тезисы, с. 75-75
  • • 2012 Чем привлекательны алгебраические модели программ с процедурами
    • Подловченко Р.И., Молчанов А.Э.
    • в сборнике Материалы XI Международного семинара «Дискретная математика и ее приложения» (Москва, 18-23 июня 2012 г.), место издания Изд-во механико-математического ф-та МГУ Москва, тезисы, с. 152-154
  • • 2011 От операторного метода А.А. Ляпунова – к теории алгебраических моделей программ
    • Подловченко Р.И.
    • в сборнике Труды SORUCOM – 2011, место издания ЗАО «Новгородский технопарк» Великий Новгород, тезисы, с. 250-252
  • • 2010 Finite Models and Algebraic Models of Programs
    • Podlovchenko R.I.
    • в сборнике International Workshop “Automata, algorithms and information technologies” (Kyev, May 19-21, 2010), место издания Abstracts Kiev, тезисы, с. 19-19
  • • 2010 Алгебраические модели программ и эквивалентные преобразования в них
    • Подловченко Р.И.
    • в сборнике Материалы Х Международного семинара «Дискретная математика и ее приложения» (Москва, 1-6 февраля 2010 г), место издания изд-во мех.-мат. ф-та МГУ Москва, тезисы, с. 411-414
  • • 2010 Методология построения систем эквивалентных преобразований, полной в модели вычислений, и ее применение для алгебраических моделей программ»
    • Подловченко Р.И.
    • в сборнике Труды семинара «Семантика, спецификация и верификация программ : тория и приложения» (Казань, 14-15 июня 2010), место издания изд-во "Отечество" Казань, тезисы, с. 82-87
  • • 2009 К проблеме эквивалентности в алгебраических моделях последовательных программ
    • Подловченко Р.И.
    • в сборнике Материалы Международной конференции «Современные проблемы математики, механики и их приложений»(Москва, 30-2 апреля 2009), место издания изд.-во Университетская книга Москва, тезисы, с. 370-371
  • • 2009 О построении алгоритмов полиномиальной сложности, распознающих эквивалентность в алгебраических моделях программ
    • Подловченко Р.И.
    • в сборнике Труды 8 Международной конференции «Дискретные модели в теории управляющих систем»(Москва, 6-9 апреля 2009),, место издания издат.отдел факультета ВМиК, МАКС ПРЕСС, тезисы, с. 238-242
  • • 2009 Об одном подходе к решению проблемы эквивалентности в моделях последовательных программ
    • Подловченко Р.И.
    • в сборнике Труды Третьей Всероссийской научной конференции «Методы и средства обработки информации»(Москва, 6-8 октября 2009),, место издания Издат. отдел факультета ВМиК, МАКС Пресс Москва, тезисы, с. 155-160
  • • 2009 Святослав Сергеевич Лавров в отечественном программировании
    • Подловченко Р.И.
    • в сборнике 7 международная конференция памяти академика А.П. Ершова «Перспективы систем информатики»(Новосибирск, 15-19 июня 2009), место издания Новосибирск, тезисы, с. 15-19
  • • 2008 О проблеме минимизации для схем программ с перестановочными блоками
    • Подловченко Р.И.
    • в сборнике Международная конференция "Космос, астрономия и программирование", Лавровские чтения, Санкт-Петербург, 20-22 мая, место издания Microsoft, EMC2, Motorola СПГУ, тезисы, с. 96-101
  • • 2008 От многоленточных автоматов к схемам программ
    • Подловченко Р.И.
    • в сборнике Проблемы теоретической кибернетики. Тезисы докладов XV Международной конференции (Казань, 2-7 июня 2008 г.), серия Проблемы теоретической кибернетики, место издания Изд-во Казанского государственного университета Казань, тезисы, с. 93-93
  • • 2008 Разрешимость проблемы эквивалентных преобразований в одном множестве двухленточных автоматов и построение минимальных автоматов в этом множестве
    • Подловченко Р.И., Хачатрян В.Е.
    • в сборнике Проблемы теоретической кибернетики. Тезисы докладов XV Международной конференции (Казань, 2-7 июня 2008 г.), серия Проблемы теоретической кибернетики, место издания Изд-во Казанского государственного университета Казань, тезисы, с. 94-94
  • • 2008 Структурный анализ двухленточных автоматов для решения проблемы минимизации
    • Подловченко Р.И., Хачатрян В.Е.
    • в сборнике Международная конференция "Космос, астрономия и программирование", Лавровские чтения, Санкт-Петербург, 20-22 мая, место издания Microsoft, EMC2, Motorola СПГУ, тезисы, с. 102-107
  • • 2005 Методологические аспекты проблемы эквивалентных преобразований
    • Подловченко Р.И.
    • в сборнике Проблемы теоретической кибернетики. Тезисы докладов XIV Международной конференции (Пенза, 23-28 мая 2005 г.), серия Проблемы теоретической кибернетики, место издания Изд-во механико-математического факультета МГУ Москва, тезисы, с. 121-121
  • • 2005 Проверка эквивалентности программ: модели и алгоритмы
    • Захаров В.А., Подловченко Р.И.
    • в сборнике Проблемы теоретической кибернетики. Тезисы докладов XIV Международной конференции (Пенза, 23-28 мая 2005 г.), серия Проблемы теоретической кибернетики, место издания Изд-во механико-математического факультета МГУ Москва, тезисы, с. 122-122
  • • 2002 От алголоподобных программ к их алгебраическим моделям
    • Подловченко Р.И.
    • в сборнике Проблемы теоретической кибернетики. Тезисы докладов XIII Международной конференции (Казань, 27-31 мая 2002 г.), серия Проблемы теоретической кибернетики, место издания М.: Изд-во центра прикладных исследований при мех.-мат. ф-те МГУ, тезисы, с. 150-150
  • • 1999 Об одном семействе полных систем эквивалентных преобразований схем программ
    • Подловченко Р.И.
    • в сборнике Проблемы теоретической кибернетики. Тезисы докладов XII Международной конференции (Нижний Новгород, 17-22 мая 1999 г.), серия Проблемы теоретической кибернетики, место издания Изд-во механико-математического факультета МГУ Москва, тезисы, с. 187-187
  • • 1998 Распознавание эквивалентности в модели программ с частично перестановочными операторами
    • Подловченко Р.И.
    • в сборнике Труды всероссийской научной конференции "Фундаментальные и прикладные аспекты разработки больших распределенных программных комплексов", место издания Изд-во Московского университета Москва, тезисы, с. 21-26
  • • 1996 Полиномиальный алгоритм разрешения эквивалентности схем программ
    • Захаров В.А., Подловченко Р.И.
    • в сборнике Проблемы теоретической кибернетики. Тезисы докладов XI Международной конференции (10-14 июня 1996 г.), серия Проблемы теоретической кибернетики, место издания Российский государственный гуманитарный университет Москва, тезисы, с. 68-70
  • • 1988 Проблема эквивалентных преобразований для схем программ с монотонными и перестановочными операторами
    • Подловченко Р.И.
    • в сборнике Параллельное программирование и высоко производительные структуры, место издания Киев, тезисы, с. 2-2
  • • 1986 Проблема эквивалентных преобразований программ в схематологии // Проблемы совершенствования синтеза, тестирования, верификации и отладки программ, тез
    • Подловченко Р.И.
    • в сборнике Проблемы совершенствования синтеза, тестирования, верификации и отладки программ, место издания тез. докл. Всесоюзн. конф., изд-во Латв. ГУ Рига, том 2, тезисы, с. (3-стр.)
  • • 1985 О проблеме эквивалентных преобразований схем программ
    • Подловченко Р.И.
    • в сборнике Проблемы теоретической кибернетики. Тезисы докладов VII Всесоюзной конференции (Иркутск, 18-20 сентября 1985 г.), серия Проблемы теоретической кибернетики, место издания Иркутский государственный университет Иркутск, тезисы, с. часть-I (2 стр.)
  • • 1981 О метатеории схематологии // Синтез, тестирование, верификация и отладка программ, тез
    • Подловченко Р.И.
    • в сборнике Синтез, тестирование, верификация и отладка программ, место издания Рига,, тезисы
  • • 1974 Интерпретационные и формальные отношения между схемами над памятью
    • Подловченко Р.И.
    • в сборнике Системное и теорет. программирование, место издания тезисы докл Кишинев, тезисы
  • • 1974 О понятиях и проблематике теории схем алгоритмов над памятью
    • Подловченко Р.И.
    • в сборнике Системное и теорет. программирование, место издания тезисы докл Кишинев, тезисы
  • • 1974 Об интерпретационных и формальных отношениях между схемами алгоритмов над памятью
    • Подловченко Р.И.
    • в сборнике III Всесоюзная конференция по проблемам теоретической кибернетики. Тезисы докладов, серия Проблемы теоретической кибернетики, место издания тезисы докл, тезисы
  • • 1972 Недетерминированные схемы алгоритмов или R-схемы
    • Подловченко Р.И.
    • в сборнике Теория программирования, тезисы, с. 7-11
  • • 1971 Схемы с фильтрами и потоки информации в них
    • Подловченко Р.И.
    • в сборнике II Всесоюзная конференция по проблемам теоретической кибернетики. Тезисы докладов, серия Проблемы теоретической кибернетики, место издания Новосибирск, тезисы
  • • 1968 О схемах на ситуациях // Труды I Всесоюзной конф. по программированию, Киев
    • Подловченко Р.И.
    • в сборнике Труды I Всесоюзной конф. по программированию, место издания Киев, том 4, тезисы, с. стр.)-стр.)
  • • 1965 Логические вопросы программирования // Укр. Республ. конф. молодых исследователей по теоретической кибернетике, тезисы докл., Киев
    • Подловченко Р.И.
    • в сборнике Укр. Республ. конф. молодых исследователей по теоретической кибернетике, место издания Киев, тезисы, с. 31-32

• НИРы

  • • 2 февраля 2015 - 31 декабря 2015 Теория схем программ в задачах оптимизации, верификации и реорганизации последовательных и параллельных программ
    • 4.08.Лаборатория параллельных информационных технологий
    • Руководитель: Подловченко Р.И.
  • • 1 января 2014 - 31 декабря 2018 Теория дискретных управляющих систем, ее приложения в проектировании СБИС и программировании
    • Кафедра математической кибернетики
    • Руководители: Захаров В.А., Ложкин С.А. Ответственные исполнители: Романов Д.С., Шуплецов М.С. Участники НИР: Антюфеев Г.В., Владимирова Ю.С., Высоцкий Л.И., Данилов Б.Р., Добровецкий Д.И., Довгалюк Е.Л., Жуков В.В., Зиновьев В.С., Коноводов В.А., Кулешов О.В., Кухтинов А.С., Любич И.Г., Марченко А.М., Маслов С.П., Морозов Е.В., Павлова А.Ф., Подловченко Р.И., Подымов В.В., Рамиль Альварес Х., Романов Д.С., Сальников В.А., Шуплецов М.С.
  • • 1 января 2014 - 31 декабря 2014 Развитие теории моделей программ
    • 4.08.Лаборатория параллельных информационных технологий
    • Руководитель: Подловченко Р.И.
  • • 1 декабря 2012 - 31 декабря 2014 Методы дискретной математики в решении задач семантического анализа программ
    • 4.08.Лаборатория параллельных информационных технологий
    • Руководитель: Подловченко Р.И. Участник НИР: Захаров В.А.
  • • 1 января 2012 - 31 декабря 2016 Развитие теорий моделей программ
    • 4.08.Лаборатория параллельных информационных технологий
    • Руководитель: Подловченко Р.И. Ответственный исполнитель: Захаров В.А.
  • • 24 мая 2010 - 23 ноября 2012 Теория и методы анализа и синтеза дискретных управляющих систем и их приложения
    • Кафедра математической кибернетики
    • Руководитель: Подловченко Р.И. Ответственные исполнители: Вороненко А.А., Шуплецов М.С. Участники НИР: Баранова М.М., Бескова Е.А., Власов Н.В., Вороненко А.А., Дайняк А.Б., Данилов Б.Р., Дьяконов А.Г., Коноводов В.А., Ложкин С.А., Марченков С.С., Морозов Е.В., Подымов В.В., Попеско У.В., Романов Д.С., Селезнева С.Н., Федорова В.С., Чистиков Д.В., Шуплецов М.С., Яблонская А.Ю.

• Членство в диссертационных советах

  • • 10 октября 2008 - 31 августа 2017 Д 501.002.16, МГУ имени М.В. Ломоносова, Механико-математический факультет
    • 05.13.17 - Теоретические основы информатики (физ.-мат. науки)
  • • 7 декабря 2007 - 31 августа 2017 Д 501.002.09, МГУ имени М.В. Ломоносова, Научно-исследовательский вычислительный центр
    • 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)

• Руководство диссертациями

  • • 2008 Структурный анализ многоленточных автоматов
    • Докторская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
    • Автор: Хачатрян В.Е.
    • Научный консультант: Подловченко Р.И., д.ф.-м.н., проф.
    • Защищена в совете - при -
  • • 2008 Схемы программ с константами
    • Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
    • Автор: Русаков Д.М.
    • Научный руководитель: Подловченко Р.И., д.ф.-м.н., проф.
    • Защищена в совете - при -

• Диссертации

  • • 1985 Моделирование программ схемами и построение полных систем преобразования схем
    • Докторская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
    • Автор: Подловченко Римма Ивановна, д.ф.-м.н., проф.
    • Защищена в совете Д 501.001.44 при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • Организация, в которой выполнялась работа: Ереванский государственный университет
    • Ведущая организация: Вычислительный центр СО АН СССР
    • Оппоненты: Летичевский А.А., Шура-Бура М.Р., Янов Ю.И.
  • • 1960 О преобразованиях схем программ и их применении в программировании
    • Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
    • Автор: Подловченко Р.И., д.ф.-м.н., проф.
    • Научный руководитель: Ляпунов А.А.
    • Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
    • Организация, в которой выполнялась работа: Ереванский государственный университет
    • Оппоненты: Канторович Л.В., Янов Ю.И.

• Авторство учебных курсов

  • • 2015 Модели вычислений
    • Авторы: Захаров В.А., Подловченко Р.И.
  • • 2015 Математические основы функционального программирования
    • Автор: Подловченко Р.И.
  • • 2010 Эквивалентные преобразования в математических моделях вычислений
    • Автор: Подловченко Р.И.
  • • 2010 Избранные вопросы математической теории вычислений
    • Автор: Подловченко Р.И.

• Преподавание учебных курсов

  • • 1 сентября 2015 - 30 июня 2016 Математические основы функционального программирования
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • факультативная, лекции, 48 часов
  • • 1 сентября 2014 - 25 декабря 2014 Избранные вопросы математической теории вычислений
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, базовой части, лекции, 36 часов
  • • 1 февраля 2014 - 25 июня 2014 Эквивалентные преобразования в математических моделях вычислений
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, базовой части, лекции, 36 часов