Rimma I. Podlovchenko

According to our database, Rimma I. Podlovchenko authored at least 24 papers between 1972 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Studies in the theory of algebraic models of programs with procedures.

Rimma I. Podlovchenko

Program. Comput. Softw., 2016

2014

Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models.

Rimma I. Podlovchenko

Program. Comput. Softw., 2014

Equivalence problem solvability in gateway program models.

Rimma I. Podlovchenko, A. E. Molchanov

Autom. Control. Comput. Sci., 2014

Primitive program schemata with procedures.

Rimma I. Podlovchenko

Autom. Control. Comput. Sci., 2014

2013

On a class of algebraic models of programs of practical interest.

Rimma I. Podlovchenko

Program. Comput. Softw., 2013

About algebraic program models with procedures.

Rimma I. Podlovchenko, A. E. Molchanov

Autom. Control. Comput. Sci., 2013

2011

On an equivalence checking technique for algebraic models of programs.

Rimma I. Podlovchenko

Program. Comput. Softw., 2011

2010

Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation.

Rimma I. Podlovchenko

Program. Comput. Softw., 2010

2008

Minimization problem for schemes of program with commutative blocks.

Rimma I. Podlovchenko

Program. Comput. Softw., 2008

2007

Inclusion problem in algebraic models of programs with constants.

Rimma I. Podlovchenko, Dmitry M. Rusakov

Program. Comput. Softw., 2007

2006

Automaton semigroup models of programs.

Rimma I. Podlovchenko

Program. Comput. Softw., 2006

2005

Program Schemes with Constants.

Rimma I. Podlovchenko, Dmitry M. Rusakov

Program. Comput. Softw., 2005

On the Equivalence Problem for Programs with Mode Switching.

Rimma I. Podlovchenko, Dmitry M. Rusakov, Vladimir A. Zakharov

Proceedings of the Implementation and Application of Automata, 2005

2004

A New Approach to Solving Equivalence Problem.

Rimma I. Podlovchenko, V. E. Khachatryan

Program. Comput. Softw., 2004

2003

On Program Schemes with Commuting and Monotone Operators.

Rimma I. Podlovchenko

Program. Comput. Softw., 2003

2002

Equivalent Transformations in the Model of Programs with Commuting and Monotone Operators.

Rimma I. Podlovchenko

Program. Comput. Softw., 2002

Equivalent Transformations of Program Schemes for "Entangling" Programs.

Rimma I. Podlovchenko

Program. Comput. Softw., 2002

2001

A.A. Lyapunov and A.P. Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts.

Rimma I. Podlovchenko

Proceedings of the Perspectives of System Informatics, 2001

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

On a general solution to the problem of equivalent transformations of program schemes (II).

Rimma I. Podlovchenko

Program. Comput. Softw., 2000

On a general solution to the problem of equivalent transformations of program schemes.

Rimma I. Podlovchenko

Program. Comput. Softw., 2000

1979

Simulating in research of functional equivalence of programs (on structure and problematics of program schemas' theory).

Rimma I. Podlovchenko

Proceedings of the Fundamentals of Computation Theory, 1979

1975

On Correctness and Essentiality of Some Ianov Schemas Equivalence Relations.

Rimma I. Podlovchenko

Proceedings of the Mathematical Foundations of Computer Science 1975, 1975

1972

Non- determined algorithm schemata or R- schemata.

Rimma I. Podlovchenko

Proceedings of the International Sympoisum on Theoretical Programming, 1972