Rimma I. Podlovchenko

Publication Activity (10 Years)

Years Active: 1972-2016
Publications (10 Years): 1

Top Topics

Computer Programs

Mathematical Models

Analytical Methods

Independence Assumption

Top Venues

Autom. Control. Comput. Sci.

Program. Comput. Softw.

Publications

Rimma I. Podlovchenko
Studies in the theory of algebraic models of programs with procedures. Program. Comput. Softw. 42 (1) (2016)
Rimma I. Podlovchenko, A. E. Molchanov
Equivalence problem solvability in gateway program models. Autom. Control. Comput. Sci. 48 (7) (2014)
Rimma I. Podlovchenko
Primitive program schemata with procedures. Autom. Control. Comput. Sci. 48 (7) (2014)
Rimma I. Podlovchenko
Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models. Program. Comput. Softw. 40 (3) (2014)
Rimma I. Podlovchenko
On a class of algebraic models of programs of practical interest. Program. Comput. Softw. 39 (3) (2013)
Rimma I. Podlovchenko, A. E. Molchanov
About algebraic program models with procedures. Autom. Control. Comput. Sci. 47 (7) (2013)
Rimma I. Podlovchenko
On an equivalence checking technique for algebraic models of programs. Program. Comput. Softw. 37 (6) (2011)
Rimma I. Podlovchenko
Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation. Program. Comput. Softw. 36 (3) (2010)
Rimma I. Podlovchenko
Minimization problem for schemes of program with commutative blocks. Program. Comput. Softw. 34 (4) (2008)
Rimma I. Podlovchenko, Dmitry M. Rusakov
Inclusion problem in algebraic models of programs with constants. Program. Comput. Softw. 33 (3) (2007)
Rimma I. Podlovchenko
Automaton semigroup models of programs. Program. Comput. Softw. 32 (6) (2006)
Rimma I. Podlovchenko, Dmitry M. Rusakov
Program Schemes with Constants. Program. Comput. Softw. 31 (3) (2005)
Rimma I. Podlovchenko, Dmitry M. Rusakov, Vladimir A. Zakharov
On the Equivalence Problem for Programs with Mode Switching. CIAA (2005)
Rimma I. Podlovchenko, V. E. Khachatryan
A New Approach to Solving Equivalence Problem. Program. Comput. Softw. 30 (3) (2004)
Rimma I. Podlovchenko
On Program Schemes with Commuting and Monotone Operators. Program. Comput. Softw. 29 (5) (2003)
Rimma I. Podlovchenko
Equivalent Transformations in the Model of Programs with Commuting and Monotone Operators. Program. Comput. Softw. 28 (6) (2002)
Rimma I. Podlovchenko
Equivalent Transformations of Program Schemes for "Entangling" Programs. Program. Comput. Softw. 28 (2) (2002)
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)
Rimma I. Podlovchenko
On a general solution to the problem of equivalent transformations of program schemes (II). Program. Comput. Softw. 26 (2) (2000)
Rimma I. Podlovchenko
On a general solution to the problem of equivalent transformations of program schemes. Program. Comput. Softw. 26 (1) (2000)
Rimma I. Podlovchenko, V. E. Khachatryan, Yu. G. Chashin
Complete system of equivalent transformations for two-tape automata with disjoint loops. Program. Comput. Softw. 26 (5) (2000)
Rimma I. Podlovchenko
Simulating in research of functional equivalence of programs (on structure and problematics of program schemas' theory). FCT (1979)
Rimma I. Podlovchenko
On Correctness and Essentiality of Some Ianov Schemas Equivalence Relations. MFCS (1975)
Rimma I. Podlovchenko
Non- determined algorithm schemata or R- schemata. International Sympoisum on Theoretical Programming (1972)