| Publication | Date of Publication | Type |
|---|
Studies in the theory of algebraic models of programs with procedures
Programming and Computer Software | 2016-06-27 | Paper |
Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models
Programming and Computer Software | 2015-03-23 | Paper |
On the polynomial complexity of the equivalence checking problem in algebraic models of programs
Cybernetics and Systems Analysis | 2014-06-05 | Paper |
On a class of algebraic models of programs of practical interest
Programming and Computer Software | 2014-01-29 | Paper |
On an equivalence checking technique for algebraic models of programs
Programming and Computer Software | 2012-11-16 | Paper |
Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation
Programming and Computer Software | 2012-11-16 | Paper |
Using algebraic models of programs for detecting metamorphic malwares
Journal of Mathematical Sciences (New York) | 2011-07-18 | Paper |
| scientific article; zbMATH DE number 5827855 (Why is no real title available?) | 2010-12-18 | Paper |
A complete solution of the minimisation problem for a set of binary two-tape automata
Discrete Mathematics and Applications | 2010-11-17 | Paper |
Technique of traces in solving the equivalence problem in algebraic program models
Cybernetics and Systems Analysis | 2010-01-19 | Paper |
Minimality and deadlockness of multitape automata
Discrete Mathematics and Applications | 2009-10-21 | Paper |
Minimization problem for program schemes with commutative blocks
Programming and Computer Software | 2009-09-04 | Paper |
Inclusion problem in algebraic models of programs with constants
Programming and Computer Software | 2008-05-20 | Paper |
Automaton semigroup models of programs
Programming and Computer Software | 2007-07-05 | Paper |
Implementation and Application of Automata
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Program schemes with constants
Programming and Computer Software | 2006-10-26 | Paper |
On program schemes with commuting and monotone operators
Programming and Computer Software | 2005-08-17 | Paper |
A new approach to solving equivalence problem
Programming and Computer Software | 2005-06-30 | Paper |
| scientific article; zbMATH DE number 2084323 (Why is no real title available?) | 2004-08-06 | Paper |
Equivalent transformations of program schemes for ``Entangling programs
Programming and Computer Software | 2003-09-01 | Paper |
Equivalent transformations in the model of programs with commuting and monotone operators
Programming and Computer Software | 2003-09-01 | Paper |
Approximability of some program models by others
Moscow University Computational Mathematics and Cybernetics | 2003-02-17 | Paper |
A canonization algorithm for pairs of program schemes with commuting operators
Programming and Computer Software | 2001-07-24 | Paper |
A transformation system complete in a class of program schemes with commuting operators
Programming and Computer Software | 2001-04-26 | Paper |
A polynomial-time algorithm that recognizes the commutative equivalence of program schemata
Doklady Mathematics | 2001-01-28 | Paper |
Complete system of equivalent transformations for two-tape automata with disjoint loops
Programming and Computer Software | 2001-01-15 | Paper |
On the construction of complete systems of equivalent transformations of program schemes
Programming and Computer Software | 1999-01-31 | Paper |
Scheme canonical forms and their construction in special automaton models of recursive programs
Programming and Computer Software | 1999-01-31 | Paper |
Transformation of schemas for recursive programs into equivalent free schemas
Programming and Computer Software | 1998-11-23 | Paper |
Reflections on the phenomenon of Aleksej Andreevich Lyapunov
Programming and Computer Software | 1997-05-13 | Paper |
Recursive programs and the hierarchy of their models
Programming and Computer Software | 1997-01-14 | Paper |
| scientific article; zbMATH DE number 862230 (Why is no real title available?) | 1996-05-27 | Paper |
Regular models of programs
Programming and Computer Software | 1994-12-05 | Paper |
Program schemata with monotone operators
Programming and Computer Software | 1992-06-28 | Paper |
Decidability of equivalence in the set of program schema with monotonic and partially commutative operators
Programming and Computer Software | 1992-06-28 | Paper |
The problem of equivalence in commutative s-models for programs
Programming and Computer Software | 1987-01-01 | Paper |
Investigating s-model programs for the purpose of reducing them to canonical form
Programming and Computer Software | 1986-01-01 | Paper |
Program models over a structured basis
Programming and Computer Software | 1982-01-01 | Paper |
Modeling of programs by flow diagrams and construction of diagram transformation systems
Cybernetics | 1982-01-01 | Paper |
A hierarchy of program models
Programming and Computer Software | 1981-01-01 | Paper |
Semigroup program models
Programming and Computer Software | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3793394 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3642677 (Why is no real title available?) | 1979-01-01 | Paper |
Models of sequential programs used to study functional equivalence of programs
Cybernetics | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3662549 (Why is no real title available?) | 1978-01-01 | Paper |
The functional equivalence of programs and its modeling
Programming and Computer Software | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3644465 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3504436 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3500992 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3444774 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3468801 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3473287 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3487007 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3436607 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3383988 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3369725 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3369726 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3420719 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3273453 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3313286 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3225738 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3428502 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3196570 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3168134 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3221703 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3145578 (Why is no real title available?) | 1958-01-01 | Paper |
