Non- determined algorithm schemata or R- schemata. - Rimma I. Podlovchenko (International Sympoisum on Theoretical Programming, 1972)

On Correctness and Essentiality of Some Ianov Schemas Equivalence Relations. - Rimma I. Podlovchenko (MFCS, 1975)

Simulating in research of functional equivalence of programs (on structure and problematics of program schemas' theory). - Rimma I. Podlovchenko (FCT, 1979)

On a general solution to the problem of equivalent transformations of program schemes. - Rimma I. Podlovchenko (Program. Comput. Softw., 2000)

On a general solution to the problem of equivalent transformations of program schemes (II). - Rimma I. Podlovchenko (Program. Comput. Softw., 2000)

Complete system of equivalent transformations for two-tape automata with disjoint loops. - Rimma I. Podlovchenko; V. E. Khachatryan; Yu. G. Chashin (Program. Comput. Softw., 2000)

A.A. Lyapunov and A.P. Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts. - Rimma I. Podlovchenko (Ershov Memorial Conference, 2001)

Equivalent Transformations of Program Schemes for "Entangling" Programs. - Rimma I. Podlovchenko (Program. Comput. Softw., 2002)

Equivalent Transformations in the Model of Programs with Commuting and Monotone Operators. - Rimma I. Podlovchenko (Program. Comput. Softw., 2002)

On Program Schemes with Commuting and Monotone Operators. - Rimma I. Podlovchenko (Program. Comput. Softw., 2003)

A New Approach to Solving Equivalence Problem. - Rimma I. Podlovchenko; V. E. Khachatryan (Program. Comput. Softw., 2004)

On the Equivalence Problem for Programs with Mode Switching. - Rimma I. Podlovchenko; Dmitry M. Rusakov; Vladimir A. Zakharov (CIAA, 2005)

Program Schemes with Constants. - Rimma I. Podlovchenko; Dmitry M. Rusakov (Program. Comput. Softw., 2005)

Automaton semigroup models of programs. - Rimma I. Podlovchenko (Program. Comput. Softw., 2006)

Inclusion problem in algebraic models of programs with constants. - Rimma I. Podlovchenko; Dmitry M. Rusakov (Program. Comput. Softw., 2007)

Minimization problem for schemes of program with commutative blocks. - Rimma I. Podlovchenko (Program. Comput. Softw., 2008)

Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation. - Rimma I. Podlovchenko (Program. Comput. Softw., 2010)

On an equivalence checking technique for algebraic models of programs. - Rimma I. Podlovchenko (Program. Comput. Softw., 2011)

About algebraic program models with procedures. - Rimma I. Podlovchenko; A. E. Molchanov (Autom. Control. Comput. Sci., 2013)

On a class of algebraic models of programs of practical interest. - Rimma I. Podlovchenko (Program. Comput. Softw., 2013)

Primitive program schemata with procedures. - Rimma I. Podlovchenko (Autom. Control. Comput. Sci., 2014)

Equivalence problem solvability in gateway program models. - Rimma I. Podlovchenko; A. E. Molchanov (Autom. Control. Comput. Sci., 2014)

Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models. - Rimma I. Podlovchenko (Program. Comput. Softw., 2014)

Studies in the theory of algebraic models of programs with procedures. - Rimma I. Podlovchenko (Program. Comput. Softw., 2016)