Rimma I. Podlovchenko

24 papers B 2C 1Journal 19Unranked 2
YearRankTypeTitle / Venue / Authors
2016 J jnl
Studies in the theory of algebraic models of programs with procedures.
Program. Comput. Softw.
Rimma I. Podlovchenko
2014 J jnl
Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models.
Program. Comput. Softw.
Rimma I. Podlovchenko
2014 J jnl
Equivalence problem solvability in gateway program models.
Autom. Control. Comput. Sci.
Rimma I. Podlovchenko, A. E. Molchanov
2014 J jnl
Primitive program schemata with procedures.
Autom. Control. Comput. Sci.
Rimma I. Podlovchenko
2013 J jnl
About algebraic program models with procedures.
Autom. Control. Comput. Sci.
Rimma I. Podlovchenko, A. E. Molchanov
2013 J jnl
On a class of algebraic models of programs of practical interest.
Program. Comput. Softw.
Rimma I. Podlovchenko
2011 J jnl
On an equivalence checking technique for algebraic models of programs.
Program. Comput. Softw.
Rimma I. Podlovchenko
2010 J jnl
Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation.
Program. Comput. Softw.
Rimma I. Podlovchenko
2008 J jnl
Minimization problem for schemes of program with commutative blocks.
Program. Comput. Softw.
Rimma I. Podlovchenko
2007 J jnl
Inclusion problem in algebraic models of programs with constants.
Program. Comput. Softw.
Rimma I. Podlovchenko, Dmitry M. Rusakov
2006 J jnl
Automaton semigroup models of programs.
Program. Comput. Softw.
Rimma I. Podlovchenko
2005 C conf
On the Equivalence Problem for Programs with Mode Switching.
CIAA
Rimma I. Podlovchenko, Dmitry M. Rusakov, Vladimir A. Zakharov
2005 J jnl
Program Schemes with Constants.
Program. Comput. Softw.
Rimma I. Podlovchenko, Dmitry M. Rusakov
2004 J jnl
A New Approach to Solving Equivalence Problem.
Program. Comput. Softw.
Rimma I. Podlovchenko, V. E. Khachatryan
2003 J jnl
On Program Schemes with Commuting and Monotone Operators.
Program. Comput. Softw.
Rimma I. Podlovchenko
2002 J jnl
Equivalent Transformations in the Model of Programs with Commuting and Monotone Operators.
Program. Comput. Softw.
Rimma I. Podlovchenko
2002 J jnl
Equivalent Transformations of Program Schemes for "Entangling" Programs.
Program. Comput. Softw.
Rimma I. Podlovchenko
2001 — conf
A.A. Lyapunov and A.P. Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts.
Ershov Memorial Conference
Rimma I. Podlovchenko
2000 J jnl
Complete system of equivalent transformations for two-tape automata with disjoint loops.
Program. Comput. Softw.
Rimma I. Podlovchenko, V. E. Khachatryan, Yu. G. Chashin
2000 J jnl
On a general solution to the problem of equivalent transformations of program schemes (II).
Program. Comput. Softw.
Rimma I. Podlovchenko
2000 J jnl
On a general solution to the problem of equivalent transformations of program schemes.
Program. Comput. Softw.
Rimma I. Podlovchenko
1979 B conf
Simulating in research of functional equivalence of programs (on structure and problematics of program schemas' theory).
FCT
Rimma I. Podlovchenko
1975 B conf
On Correctness and Essentiality of Some Ianov Schemas Equivalence Relations.
MFCS
Rimma I. Podlovchenko
1972 — conf
Non- determined algorithm schemata or R- schemata.
International Sympoisum on Theoretical Programming
Rimma I. Podlovchenko