io-port.net

io-port 06107891 Podlovchenko, R.I.

On an equivalence checking technique for algebraic models of programs. (English)

Program. Comput. Softw. 37, No. 6, 292-298 (2011); translation from Programmirovanie 37, No. 6 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05924738 Podlovchenko, R.I.; Kuzyurin, N.N.; Shcherbina, V.S.; Zakharov, V.A.

Using algebraic models of programs for detecting metamorphic malwares. (English)

J. Math. Sci., New York 172, No. 5, 740-750 (2011); translation from Fundam. Prikl. Mat. 15, No. 5, 181-198 (2009).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06107866 Podlovchenko, R.I.

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

Program. Comput. Softw. 36, No. 3, 125-137 (2010); translation from Programmirovanie 36, No. 3 (2010).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05816819 Podlovchenko, R.I.; Khachatryan, V.E.

A complete solution of the minimisation problem for a set of binary two-tape automata. (English)

Discrete Math. Appl. 20, No. 4, 451-466 (2010); translation from Diskretn. Mat. 22, No. 3, 146-159 (2010).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05660042 Podlovchenko, R.I.

Technique of traces in solving the equivalence problem in algebraic program models. (English)

Cybern. Syst. Anal. 45, No. 5, 692-702 (2009); translation from Kibern. Sist. Anal. 2009, No. 5, 25-37 (2009).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05618982 Podlovchenko, R.I.; Khachatryan, V.E.

Minimality and deadlockness of multitape automata. (English)

Discrete Math. Appl. 18, No. 3, 271-292 (2008); translation from Diskretn. Mat. 20, No. 2, 100-121 (2008).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05601814 Podlovchenko, R.I.

Minimization problem for program schemes with commutative blocks. (English)

Program. Comput. Softw. 34, No. 4, 237-241 (2008); translation from Programmirovanie 34, No. 4, 72-77 (2008).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05277471 Podlovchenko, R.I.; Rusakov, D.M.

Inclusion problem in algebraic models of programs with constants. (English)

Program. Comput. Softw. 33, No. 3, 121-131 (2007); translation from Programmirovanie 2007, No. 3, 3-15 (2007).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05170036 Podlovchenko, R.I.

Automaton semigroup models of programs. (English)

Program. Comput. Softw. 32, No. 6, 301-307 (2006); translation from Programmirovanie 32, No 6, 5-13 (2006).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05071688 Podlovchenko, Rimma I.; Rusakov, Dmitry M.; Zakharov, Vladimir A.

On the equivalence problem for programs with mode switching. (English)

Farré, Jacques (ed.) et al., Implementation and application of automata. 10th international conference, CIAA 2005, Sophia Antipolis, France, June 27‒29, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-31023-1/pbk). Lecture Notes in Computer Science 3845, 351-352 (2006).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05067923 Podlovchenko, R.I.; Rusakov, D.M.

Program schemes with constants. (English)

Program. Comput. Softw. 31, No. 3, 113-122 (2005); translation from Programmirovanie 31, No. 3, 5-18 (2005).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70942183 Podlovchenko, Rimma I.; Rusakov, Dmitry M.; Zakharov, Vladimir A.

On the equivalence problem for programs with mode switching (English)

CIAA, 351-352 (2005).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02183773 Podlovchenko, R.I.; Khachatryan, V.E.

A new approach to solving equivalence problem. (English)

Program. Comput. Softw. 30, No. 3, 121-133 (2004); translation from Programmirovanie 2004, No. 3, 3-20 (2004).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02194900 Podlovchenko, R.I.

On program schemes with commuting and monotone operators. (English)

Program. Comput. Softw. 29, No. 5, 270-276 (2003); translation from Programmirovanie 29, No. 5, 46-54 (2003).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01973050 Podlovchenko, R. I.

Equivalent transformations in the model of programs with commuting and monotone operators. (English)

Program. Comput. Softw. 28, No. 6, 301-313 (2002); translation from Programmirovanie 2002, No. 6, 3-18 (2002).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01973034 Podlovchenko, R. I.

Equivalent transformations of program schemes for “Entangling” programs. (English)

Program. Comput. Softw. 28, No. 2, 106-116 (2002); translation from Programmirovanie 2002, No. 2, 66-80 (2002).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02084323 Podlovchenko, Rimma I.

A.A. Lyapunov and A.P. Ershov in the theory of program schemes and the development of its logic concepts. (English)

Bjørner, Dines (ed.) et al., Perspectives of system informatics. 4th international Andrei Ershov memorial conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2‒6, 2001. Revised papers. Berlin: Springer (ISBN 3-540-43075-X). Lect. Notes Comput. Sci. 2244, 8-23 (2001).

17

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01869266 Podlovchenko, R. I.; Popov, S. V.

Approximability of some program models by others. (English)

Mosc. Univ. Comput. Math. Cybern. 2001, No. 2, 38-48 (2001); translation from Vestn. Mosk. Univ., Ser. XV 2001, No. 2, 38-46 (2001).

Reviewer: S. S. Akbarov (Moskva)

18

PDF XML AMS-TeX TEXT BIBTeX

io-port 70122603 Podlovchenko, Rimma I.

A.A. Lyapunov and A.P. Ershov in the theory of program schemes and the development of its logic concepts (English)

Ershov Memorial Conference, 8-23 (2001).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01551553 Podlovchenko, R.I.; Khachatryan, V.E.; Chashin, Yu.G.

Complete system of equivalent transformations for two-tape automata with disjoint loops. (English)

Program. Comput. Softw. 26, No.5, 237-248 (2000); translation from Programmirovanie 2000, No.5, 3-17 (2000).

20

PDF XML AMS-TeX TEXT BIBTeX DOI