| Publication | Date of Publication | Type |
|---|
Complementation of - \( \omega \)-regular expressions. I
Cybernetics and Systems Analysis | 2025-01-10 | Paper |
Constructing the maximum prefix-closed subset for a set of \(-\omega \)-words defined by a \(-\omega \)-regular expression
Cybernetics and Systems Analysis | 2024-02-20 | Paper |
Constructing a \(-\omega\)-regular expression specified by a graph of elementary extensions
Cybernetics and Systems Analysis | 2022-12-09 | Paper |
Intersection of \(-\omega \)-regular expressions
Cybernetics and Systems Analysis | 2021-12-09 | Paper |
scientific article; zbMATH DE number 7301749 (Why is no real title available?)
| 2021-01-26 | Paper |
Solving inequalities over finite state machines in the reactive systems design
| 2021-01-26 | Paper |
From LP formulas of the form \(F(t)\) to \(-\omega \)-regular expressions
Cybernetics and Systems Analysis | 2020-12-14 | Paper |
Detecting fictitious states in a \(\Sigma \)-automaton synthesized from its specification in the language LP
Cybernetics and Systems Analysis | 2020-01-20 | Paper |
Synthesis of \(\Sigma\)-automata specified in the first order logical languages LP and LF
Cybernetics and Systems Analysis | 2018-11-01 | Paper |
Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \(\Sigma\)-automata
Cybernetics and Systems Analysis | 2018-04-05 | Paper |
Problems of synthesis of \(\Sigma\)-automata specified in languages LP and LF of first order logic
Cybernetics and Systems Analysis | 2018-02-13 | Paper |
Harmonization of automata specifications represented in the language L
Cybernetics and Systems Analysis | 2016-11-01 | Paper |
Harmonization of interacting automata
Cybernetics and Systems Analysis | 2016-01-13 | Paper |
Using the compatibility analysis of logical specifications of automata to solve game problems
Cybernetics and Systems Analysis | 2015-03-18 | Paper |
Design of reactive algorithms by solving equations over automata
Cybernetics and Systems Analysis | 2015-03-18 | Paper |
Improved method of synthesis of an automaton from its specification in the language \(L\)
Cybernetics and Systems Analysis | 2014-10-30 | Paper |
Fictitiousness analysis of states of a finite-state machine synthesized from its specification transformed from the language \(L^*\) to the language \(L\)
Cybernetics and Systems Analysis | 2014-10-24 | Paper |
Compositional approach to the development of reactive algorithms
Cybernetics and Systems Analysis | 2014-10-24 | Paper |
Transformation of a language \(L^\ast\) specification of an FSM into an automata equivalent specification in the language \(L\)
Cybernetics and Systems Analysis | 2014-06-05 | Paper |
On the class of L\(^*\)-language formulas that specify finite-memory finite-state machines
Cybernetics and Systems Analysis | 2010-09-24 | Paper |
Verifying specifications in the language L against temporal properties nonexpressible in this language
Cybernetics and Systems Analysis | 2010-01-19 | Paper |
Approximation of sets of superwords by \(L\)-language formulas
Cybernetics and Systems Analysis | 2008-09-04 | Paper |
scientific article; zbMATH DE number 5158957 (Why is no real title available?)
| 2007-05-29 | Paper |
Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). II
Cybernetics and Systems Analysis | 2006-11-28 | Paper |
Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). I
Cybernetics and Systems Analysis | 2006-10-20 | Paper |
Effect of the state of the geomagnetic field and solar activity on chromosome aberrations frequencies dynamics
Russian Journal of Numerical Analysis and Mathematical Modelling | 2004-03-07 | Paper |
The automata-theoretic approach to verification of reactive systems
Cybernetics and Systems Analysis | 2003-09-16 | Paper |
Construction of an automaton from a formula of the monadic first-order theory of natural numbers
Cybernetics and Systems Analysis | 2003-09-09 | Paper |
General method of testing the compatibility of interacting automata with finite memory
Cybernetics and Systems Analysis | 2001-05-13 | Paper |
Separable resolution method for checking the satisfiability of formulas in the language \({\mathfrak L}\)
Cybernetics and Systems Analysis | 2000-10-17 | Paper |
Inductive synthesis of an automaton from its specification in the logical language \({\mathfrak L}\)
Cybernetics and Systems Analysis | 2000-01-01 | Paper |
Modes of functioning of a population with possible nonequilibrium retainment of its size
Automation and Remote Control | 1999-10-19 | Paper |
Synthesis of a procedural representation of an automaton specified in the logical language \({\mathfrak L}^*\). II
Cybernetics and Systems Analysis | 1999-08-31 | Paper |
Synthesis of a procedural representation of an automaton specified in the logical language \({\mathfrak L}^*\). I
Cybernetics and Systems Analysis | 1999-04-28 | Paper |
Resolution-based approach to compatibility analysis of interacting automata
Theoretical Computer Science | 1998-08-13 | Paper |
Extension of the automaton specification logical language and the synthesis problem
Cybernetics and Systems Analysis | 1998-08-03 | Paper |
Interacting automata
Cybernetics and Systems Analysis | 1996-12-18 | Paper |
Synthesis of a nondeterministic automaton from its logical specification. II
Cybernetics and Systems Analysis | 1996-11-21 | Paper |
Synthesis of a nondeterministic automaton from its logical specification. I
Cybernetics and Systems Analysis | 1996-08-28 | Paper |
Consistency test for simple specifications of automaton systems
Cybernetics and Systems Analysis | 1996-04-22 | Paper |
Determinization of logical specifications of automata
Cybernetics and Systems Analysis | 1996-03-27 | Paper |
Resolution approach to testing compatibility of interacting automata
Cybernetics and Systems Analysis | 1996-01-08 | Paper |
Approach to functional specification of automaton systems. I
Cybernetics and Systems Analysis | 1995-08-06 | Paper |
On an approach to functional specification of automata systems. III
Cybernetics and Systems Analysis | 1995-05-17 | Paper |
On an approach to functional specification of automata systems. II
Cybernetics and Systems Analysis | 1994-10-05 | Paper |
scientific article; zbMATH DE number 516471 (Why is no real title available?)
| 1994-03-24 | Paper |
scientific article; zbMATH DE number 516988 (Why is no real title available?)
| 1994-03-17 | Paper |
Hazard analysis in asynchronous logic circuits
Cybernetics | 1987-01-01 | Paper |
Models of asynchronous logical circuits and delays
Cybernetics | 1983-01-01 | Paper |
Analysis of asynchronous logic circuits
Cybernetics | 1980-01-01 | Paper |
Circuits and automata. II
Cybernetics | 1979-01-01 | Paper |
Circuits and automata. II
Cybernetics | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3601533 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3595103 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3534418 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3539160 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3407552 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3333303 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3345400 (Why is no real title available?)
| 1968-01-01 | Paper |
