![]() | ![]() |
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] |