| Publication | Date of Publication | Type |
|---|
| Constructing the maximum prefix-closed subset for a set of \(-\omega \)-words defined by a \(-\omega \)-regular expression | 2024-02-20 | Paper |
| Constructing a \(-\omega\)-regular expression specified by a graph of elementary extensions | 2022-12-09 | Paper |
| Intersection of \(-\omega \)-regular expressions | 2021-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5147341 | 2021-01-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5147350 | 2021-01-26 | Paper |
| From LP formulas of the form \(F(t)\) to \(-\omega \)-regular expressions | 2020-12-14 | Paper |
| Detecting fictitious states in a \(\Sigma \)-automaton synthesized from its specification in the language LP | 2020-01-20 | Paper |
| Synthesis of \(\Sigma\)-automata specified in the first order logical languages LP and LF | 2018-11-01 | Paper |
| Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \(\Sigma\)-automata | 2018-04-05 | Paper |
| Problems of synthesis of \(\Sigma\)-automata specified in languages LP and LF of first order logic | 2018-02-13 | Paper |
| Harmonization of automata specifications represented in the language L | 2016-11-01 | Paper |
| Harmonization of interacting automata | 2016-01-13 | Paper |
| Design of reactive algorithms by solving equations over automata | 2015-03-18 | Paper |
| Using the compatibility analysis of logical specifications of automata to solve game problems | 2015-03-18 | Paper |
| Fictitiousness analysis of states of a finite-state machine synthesized from its specification transformed from the language \(L^*\) to the language \(L\) | 2014-10-24 | Paper |
| Compositional approach to the development of reactive algorithms | 2014-10-24 | Paper |
| Transformation of a language \(L^\ast\) specification of an FSM into an automata equivalent specification in the language \(L\) | 2014-06-05 | Paper |
| On the class of L\(^*\)-language formulas that specify finite-memory finite-state machines | 2010-09-24 | Paper |
| Verifying specifications in the language L against temporal properties nonexpressible in this language | 2010-01-19 | Paper |
| Approximation of sets of superwords by \(L\)-language formulas | 2008-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3440993 | 2007-05-29 | Paper |
| Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). II | 2006-11-28 | Paper |
| Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). I | 2006-10-20 | Paper |
| Effect of the state of the geomagnetic field and solar activity on chromosome aberrations frequencies dynamics | 2004-03-07 | Paper |
| The automata-theoretic approach to verification of reactive systems | 2003-09-16 | Paper |
| Construction of an automaton from a formula of the monadic first-order theory of natural numbers | 2003-09-09 | Paper |
| General method of testing the compatibility of interacting automata with finite memory | 2001-05-13 | Paper |
| Separable resolution method for checking the satisfiability of formulas in the language \({\mathfrak L}\) | 2000-10-17 | Paper |
| Inductive synthesis of an automaton from its specification in the logical language \({\mathfrak L}\) | 2000-01-01 | Paper |
| Modes of functioning of a population with possible nonequilibrium retainment of its size | 1999-10-19 | Paper |
| Synthesis of a procedural representation of an automaton specified in the logical language \({\mathfrak L}^*\). II | 1999-08-31 | Paper |
| Synthesis of a procedural representation of an automaton specified in the logical language \({\mathfrak L}^*\). I | 1999-04-28 | Paper |
| Resolution-based approach to compatibility analysis of interacting automata | 1998-08-13 | Paper |
| Extension of the automaton specification logical language and the synthesis problem | 1998-08-03 | Paper |
| Interacting automata | 1996-12-18 | Paper |
| Synthesis of a nondeterministic automaton from its logical specification. II | 1996-11-21 | Paper |
| Synthesis of a nondeterministic automaton from its logical specification. I | 1996-08-28 | Paper |
| Consistency test for simple specifications of automaton systems | 1996-04-22 | Paper |
| Determinization of logical specifications of automata | 1996-03-27 | Paper |
| Resolution approach to testing compatibility of interacting automata | 1996-01-08 | Paper |
| Approach to functional specification of automaton systems. I | 1995-08-06 | Paper |
| On an approach to functional specification of automata systems. III | 1995-05-17 | Paper |
| On an approach to functional specification of automata systems. II | 1994-10-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282171 | 1994-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282505 | 1994-03-17 | Paper |
| Hazard analysis in asynchronous logic circuits | 1987-01-01 | Paper |
| Models of asynchronous logical circuits and delays | 1983-01-01 | Paper |
| Analysis of asynchronous logic circuits | 1980-01-01 | Paper |
| Circuits and automata. II | 1979-01-01 | Paper |
| Circuits and automata. II | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4160848 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4168877 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4110935 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4115100 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5672565 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5611026 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5621330 | 1968-01-01 | Paper |
