Подловченко Римма Ивановна
пользователь
доктор физико-математических наук
профессор по кафедре математической кибернетики
Количество цитирований статей в журналах по данным
Web of Science: 27,
Scopus: 48
IstinaResearcherID (IRID): 3604834
Деятельность
-
Статьи в журналах
-
Статьи в сборниках
-
-
-
-
-
-
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
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
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
-
редактор
Лупанов Олег Борисович
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Книги
-
Доклады на конференциях
-
Тезисы докладов
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
2008
Структурный анализ двухленточных автоматов для решения проблемы минимизации
-
Подловченко Р.И.,
Хачатрян В.Е.
-
в сборнике Международная конференция "Космос, астрономия и программирование", Лавровские чтения, Санкт-Петербург, 20-22 мая, место издания Microsoft, EMC2, Motorola СПГУ, тезисы, с. 102-107
-
-
-
-
-
-
-
-
-
1986
Проблема эквивалентных преобразований программ в схематологии // Проблемы совершенствования синтеза, тестирования, верификации и отладки программ, тез
-
Подловченко Р.И.
-
в сборнике Проблемы совершенствования синтеза, тестирования, верификации и отладки программ, место издания тез. докл. Всесоюзн. конф., изд-во Латв. ГУ Рига, том 2, тезисы, с. (3-стр.)
-
-
-
-
-
-
-
-
-
-
НИРы
-
-
-
1 января 2014 - 31 декабря 2018
Теория дискретных управляющих систем, ее приложения в проектировании СБИС и программировании
-
Кафедра математической кибернетики
-
Руководители:
Захаров В.А.,
Ложкин С.А.
Ответственные исполнители:
Романов Д.С.,
Шуплецов М.С.
Участники НИР:
Антюфеев Г.В.,
Владимирова Ю.С.,
Высоцкий Л.И.,
Данилов Б.Р.,
Добровецкий Д.И.,
Довгалюк Е.Л.,
Жуков В.В.,
Зиновьев В.С.,
Коноводов В.А.,
Кулешов О.В.,
Кухтинов А.С.,
Любич И.Г.,
Марченко А.М.,
Маслов С.П.,
Морозов Е.В.,
Павлова А.Ф.,
Подловченко Р.И.,
Подымов В.В.,
Рамиль Альварес Х.,
Романов Д.С.,
Сальников В.А.,
Шуплецов М.С.
-
-
-
-
-
24 мая 2010 - 23 ноября 2012
Теория и методы анализа и синтеза дискретных управляющих систем и их приложения
-
Кафедра математической кибернетики
-
Руководитель:
Подловченко Р.И.
Ответственные исполнители:
Вороненко А.А.,
Шуплецов М.С.
Участники НИР:
Баранова М.М.,
Бескова Е.А.,
Власов Н.В.,
Вороненко А.А.,
Дайняк А.Б.,
Данилов Б.Р.,
Дьяконов А.Г.,
Коноводов В.А.,
Ложкин С.А.,
Марченков С.С.,
Морозов Е.В.,
Подымов В.В.,
Попеско У.В.,
Романов Д.С.,
Селезнева С.Н.,
Федорова В.С.,
Чистиков Д.В.,
Шуплецов М.С.,
Яблонская А.Ю.
-
Членство в диссертационных советах
-
Руководство диссертациями
-
Диссертации
-
Авторство учебных курсов
-
Преподавание учебных курсов