Podlovchenko Rimma Ivanovna

Publications in Math-Net.Ru

1. Finite state automata in the theory of algebraic program schemata
   
   Proceedings of ISP RAS, 27:2 (2015),  161–172
2. Primitive Program Schemes with Procedures
   
   Model. Anal. Inform. Sist., 21:4 (2014),  116–131
3. Equivalence Problem Solvability in Gateway Program Models
   
   Model. Anal. Inform. Sist., 21:2 (2014),  56–70
4. About Algebraic Program Models with Procedures
   
   Model. Anal. Inform. Sist., 19:5 (2012),  100–114
5. A complete solution of the minimisation problem for a set of binary two-tape automata
   
   Diskr. Mat., 22:3 (2010),  146–159
6. Using algebraic models of programs for detecting metamorphic malwares
   
   Fundam. Prikl. Mat., 15:5 (2009),  181–198
7. Minimality and deadlockness of multitape automata
   
   Diskr. Mat., 20:2 (2008),  100–121
8. Solvability of the problem of equivalent transformations in special automaton models of recursive programs
   
   Dokl. Akad. Nauk, 337:5 (1994),  577–580
9. A complete system of similarity transformations of nondeterministic algorithm schemes
   
   Dokl. Akad. Nauk SSSR, 212:1 (1973),  64–66
10. Nondeterminate algorithm schemes
    
    Dokl. Akad. Nauk SSSR, 207:4 (1972),  789–792
11. A system of programming concepts
    
    Dokl. Akad. Nauk SSSR, 132:6 (1960),  1287–1290