| Publication | Date of Publication | Type |
|---|
| Studies in the theory of algebraic models of programs with procedures | 2016-06-27 | Paper |
| Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models | 2015-03-23 | Paper |
| On the polynomial complexity of the equivalence checking problem in algebraic models of programs | 2014-06-05 | Paper |
| On a class of algebraic models of programs of practical interest | 2014-01-29 | Paper |
| Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation | 2012-11-16 | Paper |
| On an equivalence checking technique for algebraic models of programs | 2012-11-16 | Paper |
| Using algebraic models of programs for detecting metamorphic malwares | 2011-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3063993 | 2010-12-18 | Paper |
| A complete solution of the minimisation problem for a set of binary two-tape automata | 2010-11-17 | Paper |
| Technique of traces in solving the equivalence problem in algebraic program models | 2010-01-19 | Paper |
| Minimality and deadlockness of multitape automata | 2009-10-21 | Paper |
| Minimization problem for program schemes with commutative blocks | 2009-09-04 | Paper |
| Inclusion problem in algebraic models of programs with constants | 2008-05-20 | Paper |
| Automaton semigroup models of programs | 2007-07-05 | Paper |
| Implementation and Application of Automata | 2006-11-13 | Paper |
| Program schemes with constants | 2006-10-26 | Paper |
| On program schemes with commuting and monotone operators | 2005-08-17 | Paper |
| A new approach to solving equivalence problem | 2005-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3043794 | 2004-08-06 | Paper |
| Equivalent transformations of program schemes for ``Entangling programs | 2003-09-01 | Paper |
| Equivalent transformations in the model of programs with commuting and monotone operators | 2003-09-01 | Paper |
| Approximability of some program models by others | 2003-02-17 | Paper |
| A canonization algorithm for pairs of program schemes with commuting operators | 2001-07-24 | Paper |
| A transformation system complete in a class of program schemes with commuting operators | 2001-04-26 | Paper |
| A polynomial-time algorithm that recognizes the commutative equivalence of program schemata | 2001-01-28 | Paper |
| Complete system of equivalent transformations for two-tape automata with disjoint loops | 2001-01-15 | Paper |
| On the construction of complete systems of equivalent transformations of program schemes | 1999-01-31 | Paper |
| Scheme canonical forms and their construction in special automaton models of recursive programs | 1999-01-31 | Paper |
| Transformation of schemas for recursive programs into equivalent free schemas | 1998-11-23 | Paper |
| Reflections on the phenomenon of Aleksej Andreevich Lyapunov | 1997-05-13 | Paper |
| Recursive programs and the hierarchy of their models | 1997-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4871475 | 1996-05-27 | Paper |
| Regular models of programs | 1994-12-05 | Paper |
| Program schemata with monotone operators | 1992-06-28 | Paper |
| Decidability of equivalence in the set of program schema with monotonic and partially commutative operators | 1992-06-28 | Paper |
| The problem of equivalence in commutative s-models for programs | 1987-01-01 | Paper |
| Investigating s-model programs for the purpose of reducing them to canonical form | 1986-01-01 | Paper |
| Program models over a structured basis | 1982-01-01 | Paper |
| Modeling of programs by flow diagrams and construction of diagram transformation systems | 1982-01-01 | Paper |
| A hierarchy of program models | 1981-01-01 | Paper |
| Semigroup program models | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3969856 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3048205 | 1979-01-01 | Paper |
| Models of sequential programs used to study functional equivalence of programs | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3860818 | 1978-01-01 | Paper |
| The functional equivalence of programs and its modeling | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3049798 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4085225 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4082278 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4769943 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4053626 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4057568 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4069792 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4403716 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5654023 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5642018 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5642019 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5685056 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5558183 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5593680 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5180348 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5514106 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5732941 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3286653 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5511154 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3262543 | 1958-01-01 | Paper |
