Подловченко Римма Ивановна

Публикации в базе данных Math-Net.Ru

1. Конечные автоматы в теории алгебраических схем программ
   
   Труды ИСП РАН, 27:2 (2015),  161–172
2. Исследование примитивных схем программ с процедурами
   
   Модел. и анализ информ. систем, 21:4 (2014),  116–131
3. Разрешимость эквивалентности в перегородчатых моделях программ
   
   Модел. и анализ информ. систем, 21:2 (2014),  56–70
4. О теории алгебраических моделей программ с процедурами
   
   Модел. и анализ информ. систем, 19:5 (2012),  100–114
5. Полное решение проблемы минимизации для одного множества бинарных двухленточных автоматов
   
   Дискрет. матем., 22:3 (2010),  146–159
6. Использование алгебраических моделей программ для обнаружения метаморфного вредоносного кода
   
   Фундамент. и прикл. матем., 15:5 (2009),  181–198
7. Минимальность и тупиковость многоленточных автоматов
   
   Дискрет. матем., 20:2 (2008),  100–121
8. Разрешимость проблемы эквивалентных преобразований в специальных автоматных моделях рекурсивных программ
   
   Докл. РАН, 337:5 (1994),  577–580
9. Полная система подобных преобразований недетерминированных схем алгоритмов
   
   Докл. АН СССР, 212:1 (1973),  64–66
10. Недетерминированные схемы алгоритмов
    
    Докл. АН СССР, 207:4 (1972),  789–792
11. О системе понятий программирования
    
    Докл. АН СССР, 132:6 (1960),  1287–1290