- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j11 |      | Rimma I. Podlovchenko: On a class of algebraic models of programs of practical interest. Programming and Computer Software 39(3): 124-134 (2013) |
| 2011 | ||
| j10 | | Rimma I. Podlovchenko: On an equivalence checking technique for algebraic models of programs. Programming and Computer Software 37(6): 292-298 (2011) |
| 2010 | ||
| j9 | | Rimma I. Podlovchenko: Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation. Programming and Computer Software 36(3): 125-137 (2010) |
| 2008 | ||
| j8 | | Rimma I. Podlovchenko: Minimization problem for schemes of program with commutative blocks. Programming and Computer Software 34(4): 237-241 (2008) |
| 2007 | ||
| j7 | | 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 | ||
| j6 | | Rimma I. Podlovchenko: Automaton semigroup models of programs. Programming and Computer Software 32(6): 301-307 (2006) |
| 2005 | ||
| j5 | | Rimma I. Podlovchenko, Dmitry M. Rusakov: Program Schemes with Constants. Programming and Computer Software 31(3): 113-122 (2005) |
| c5 | | Rimma I. Podlovchenko, Dmitry M. Rusakov, Vladimir A. Zakharov: On the Equivalence Problem for Programs with Mode Switching. CIAA 2005: 351-352 |
| 2004 | ||
| j4 | | Rimma I. Podlovchenko, V. E. Khachatryan: A New Approach to Solving Equivalence Problem. Programming and Computer Software 30(3): 121-133 (2004) |
| 2003 | ||
| j3 | | Rimma I. Podlovchenko: On Program Schemes with Commuting and Monotone Operators. Programming and Computer Software 29(5): 270-276 (2003) |
| 2002 | ||
| j2 | | Rimma I. Podlovchenko: Equivalent Transformations of Program Schemes for "Entangling" Programs. Programming and Computer Software 28(2): 106-116 (2002) |
| j1 | | 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 | ||
| c4 | | 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 | ||
| c3 |  | Rimma I. Podlovchenko: Simulating in research of functional equivalence of programs (on structure and problematics of program schemas' theory). FCT 1979: 349-354 |
| 1975 | ||
| c2 | | Rimma I. Podlovchenko: On Correctness and Essentiality of Some Ianov Schemas Equivalence Relations. MFCS 1975: 351-357 |
| 1972 | ||
| c1 | | Rimma I. Podlovchenko: Non- determined algorithm schemata or R- schemata. International Sympoisum on Theoretical Programming 1972: 86-110 |
| 1 | V. E. Khachatryan | |
| 2 | Dmitry M. Rusakov | |
| 3 | Vladimir A. Zakharov |
Data released under the ODC-BY 1.0 license — See also our legal information page