Finite state automata in the theory of algebraic program schemata von Podlovchenko, R.I.

Volltext

On the polynomial complexity of the equivalence checking problem in algebraic models of programs von Podlovchenko, R. I.

Volltext

Using algebraic models of programs for detecting metamorphic malwares von Podlovchenko, R. I., Kuzyurin, N. N., Shcherbina, V. S., Zakharov, V. A.

Volltext

Using algebraic models of programs for detecting metamorphic malwares von N.N. Kuzjurin, R.I. Podlovchenko, V.S. Scherbina, V.A. Zakharov

Volltext

nPt0 (Hx−2nMoO3) as a promising catalyst for the oxidation of methanol. Synthesis and electrocatalytic properties von Kusnetsov, V.V., Podlovchenko, B.I., Shakurov, R.I., Kavyrshina, K.V., Lyahenko, S.E.

Volltext