![]() |
| 2007 | ||
|---|---|---|
| 12 | EE | Rimma I. Podlovchenko, Dmitry M. Rusakov: Inclusion problem in algebraic models of programs with constants. Programming and Computer Software 33(3): 121-131 (2007) |
| 2006 | ||
| 11 | EE | Rimma I. Podlovchenko: Automaton semigroup models of programs. Programming and Computer Software 32(6): 301-307 (2006) |
| 2005 | ||
| 10 | EE | Rimma I. Podlovchenko, Dmitry M. Rusakov, Vladimir A. Zakharov: On the Equivalence Problem for Programs with Mode Switching. CIAA 2005: 351-352 |
| 9 | EE | Rimma I. Podlovchenko, Dmitry M. Rusakov: Program Schemes with Constants. Programming and Computer Software 31(3): 113-122 (2005) |
| 2004 | ||
| 8 | EE | Rimma I. Podlovchenko, V. E. Khachatryan: A New Approach to Solving Equivalence Problem. Programming and Computer Software 30(3): 121-133 (2004) |
| 2003 | ||
| 7 | EE | Rimma I. Podlovchenko: On Program Schemes with Commuting and Monotone Operators. Programming and Computer Software 29(5): 270-276 (2003) |
| 2002 | ||
| 6 | EE | Rimma I. Podlovchenko: Equivalent Transformations of Program Schemes for "Entangling" Programs. Programming and Computer Software 28(2): 106-116 (2002) |
| 5 | EE | Rimma I. Podlovchenko: Equivalent Transformations in the Model of Programs with Commuting and Monotone Operators. Programming and Computer Software 28(6): 301-313 (2002) |
| 2001 | ||
| 4 | EE | Rimma I. Podlovchenko: A.A. Lyapunov and A.P. Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts. Ershov Memorial Conference 2001: 8-23 |
| 1979 | ||
| 3 | Rimma I. Podlovchenko: Simulating in research of functional equivalence of programs (on structure and problematics of program schemas' theory). FCT 1979: 349-354 | |
| 1975 | ||
| 2 | Rimma I. Podlovchenko: On Correctness and Essentiality of Some Ianov Schemas Equivalence Relations. MFCS 1975: 351-357 | |
| 1972 | ||
| 1 | Rimma I. Podlovchenko: Non- determined algorithm schemata or R- schemata. International Sympoisum on Theoretical Programming 1972: 86-110 | |
| 1 | V. E. Khachatryan | [8] |
| 2 | Dmitry M. Rusakov | [9] [10] [12] |
| 3 | Vladimir A. Zakharov | [10] |