×

Chebotarev, Anatoli N.

Author ID: chebotarev.anatoli-n Recent zbMATH articles by "Chebotarev, Anatoli N."
Published as: Chebotarev, A. N.; Chebotarev, Anatoli N.; Chebotarëv, A. N.
Documents Indexed: 59 Publications since 1968
Co-Authors: 9 Co-Authors with 11 Joint Publications
198 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

36 Publications have been cited 116 times in 42 Documents Cited by Year
Approach to functional specification of automaton systems. I. Zbl 0939.68709
Chebotarev, A. N.
12
1993
Extension of the automaton specification logical language and the synthesis problem. Zbl 0893.68099
Chebotarev, A. N.
8
1996
Synthesis of a procedural representation of an automaton specified in the logical language \({\mathfrak L}^*\). I. Zbl 0917.68143
Chebotarev, A. N.
8
1997
Consistency test for simple specifications of automaton systems. Zbl 0836.68067
Chebotarev, A. N.
7
1994
Interacting automata. Zbl 0875.68659
Chebotarev, A. N.
7
1991
General method of testing the compatibility of interacting automata with finite memory. Zbl 0968.68083
Chebotarev, A. N.
5
1999
On an approach to functional specification of automata systems. III. Zbl 0823.68070
Chebotarev, A. N.
4
1993
A method of the abstract design of automata with finite memory. Zbl 0800.68128
Chebotarev, A. N.
4
1988
Synthesis of a nondeterministic automaton from its logical specification. I. Zbl 0856.68105
Chebotarev, A. N.
4
1995
Approximation of sets of superwords by \(L\)-language formulas. Zbl 1156.68450
Chebotarev, A. N.; Kurivchak, O. I.
4
2007
Regular form of deterministic FSMs specifications in the language L. Zbl 1472.68084
Chebotarev, A. N.
4
2010
Synthesis of \(\Sigma\)-automata specified in the first order logical languages LP and LF. Zbl 1400.68122
Chebotarev, A. N.
4
2018
Separable resolution method for checking the satisfiability of formulas in the language \({\mathfrak L}\). Zbl 0946.68081
Chebotarev, A. N.
3
1998
Resolution approach to testing compatibility of interacting automata. Zbl 0837.68075
Morokhovets, M. K.; Chebotarev, A. N.
3
1994
Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \(\Sigma\)-automata. Zbl 1400.68100
Chebotarev, A. N.
3
2017
Synthesis of a procedural representation of an automaton specified in the logical language \({\mathfrak L}^*\). II. Zbl 0919.68088
Chebotarev, A. N.
3
1997
Compositional approach to the development of reactive algorithms. Zbl 1371.68177
Chebotarev, A. N.
3
2013
Harmonization of interacting automata. Zbl 1328.68110
Chebotarev, A. N.
3
2015
On the class of L\(^*\)-language formulas that specify finite-memory finite-state machines. Zbl 1204.68119
Chebotarev, A. N.
3
2010
Problems of synthesis of \(\Sigma\)-automata specified in languages LP and LF of first order logic. Zbl 1380.68271
Chebotarev, A. N.
2
2017
Inductive synthesis of an automaton from its specification in the logical language \({\mathfrak L}\). Zbl 1010.68080
Kapitonova, Yu. V.; Chebotarev, A. N.
2
2000
Consistency checking of automata functional specifications. Zbl 0793.68102
Chebotarev, Anatoli N.; Morokhovets, Marina K.
2
1993
Harmonization of automata specifications represented in the language L. Zbl 1392.68215
Chebotarev, A. N.
2
2016
Analysis of asynchronous logic circuits. Zbl 0476.94024
Chebotarev, A. N.
2
1980
Intersection of \(-\omega \)-regular expressions. Zbl 1484.68078
Chebotarev, A. N.
2
2021
Detecting fictitious states in a \(\Sigma \)-automaton synthesized from its specification in the language LP. Zbl 1448.68261
Chebotarev, A. N.
2
2019
Improved method of checking the satisfiability of the set of clauses in the L language. Zbl 1126.68457
Krivoi, S. L.; Chebotarev, A. N.
1
2006
Determinization of logical specifications of automata. Zbl 0844.68086
Chebotarev, A. N.
1
1995
Modes of functioning of a population with possible nonequilibrium retainment of its size. Zbl 0922.92035
Volkov, I. K.; Krishchenko, A. P.; Chebotarev, A. N.
1
1997
Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). I. Zbl 1102.68646
Kryvyj, S. L.; Chebotarev, A. N.
1
2005
Synthesis of a nondeterministic automaton from its logical specification. II. Zbl 0868.68079
Chebotarev, A. N.
1
1995
On an approach to functional specification of automata systems. II. Zbl 0823.68069
Chebotarev, A. N.
1
1993
Improved method of synthesis of an automaton from its specification in the language \(L\). Zbl 1298.68178
Timofeyev, V. G.; Chebotarev, A. N.
1
2011
From LP formulas of the form \(F(t)\) to \(-\omega \)-regular expressions. Zbl 1477.68149
Chebotarev, A. N.
1
2020
Transformation of a language \(L^\ast\) specification of an FSM into an automata equivalent specification in the language \(L\). Zbl 1288.68152
Chebotarev, A. N.
1
2010
Constructing a \(-\omega\)-regular expression specified by a graph of elementary extensions. Zbl 07630497
Chebotarev, A. N.
1
2022
Constructing a \(-\omega\)-regular expression specified by a graph of elementary extensions. Zbl 07630497
Chebotarev, A. N.
1
2022
Intersection of \(-\omega \)-regular expressions. Zbl 1484.68078
Chebotarev, A. N.
2
2021
From LP formulas of the form \(F(t)\) to \(-\omega \)-regular expressions. Zbl 1477.68149
Chebotarev, A. N.
1
2020
Detecting fictitious states in a \(\Sigma \)-automaton synthesized from its specification in the language LP. Zbl 1448.68261
Chebotarev, A. N.
2
2019
Synthesis of \(\Sigma\)-automata specified in the first order logical languages LP and LF. Zbl 1400.68122
Chebotarev, A. N.
4
2018
Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \(\Sigma\)-automata. Zbl 1400.68100
Chebotarev, A. N.
3
2017
Problems of synthesis of \(\Sigma\)-automata specified in languages LP and LF of first order logic. Zbl 1380.68271
Chebotarev, A. N.
2
2017
Harmonization of automata specifications represented in the language L. Zbl 1392.68215
Chebotarev, A. N.
2
2016
Harmonization of interacting automata. Zbl 1328.68110
Chebotarev, A. N.
3
2015
Compositional approach to the development of reactive algorithms. Zbl 1371.68177
Chebotarev, A. N.
3
2013
Improved method of synthesis of an automaton from its specification in the language \(L\). Zbl 1298.68178
Timofeyev, V. G.; Chebotarev, A. N.
1
2011
Regular form of deterministic FSMs specifications in the language L. Zbl 1472.68084
Chebotarev, A. N.
4
2010
On the class of L\(^*\)-language formulas that specify finite-memory finite-state machines. Zbl 1204.68119
Chebotarev, A. N.
3
2010
Transformation of a language \(L^\ast\) specification of an FSM into an automata equivalent specification in the language \(L\). Zbl 1288.68152
Chebotarev, A. N.
1
2010
Approximation of sets of superwords by \(L\)-language formulas. Zbl 1156.68450
Chebotarev, A. N.; Kurivchak, O. I.
4
2007
Improved method of checking the satisfiability of the set of clauses in the L language. Zbl 1126.68457
Krivoi, S. L.; Chebotarev, A. N.
1
2006
Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). I. Zbl 1102.68646
Kryvyj, S. L.; Chebotarev, A. N.
1
2005
Inductive synthesis of an automaton from its specification in the logical language \({\mathfrak L}\). Zbl 1010.68080
Kapitonova, Yu. V.; Chebotarev, A. N.
2
2000
General method of testing the compatibility of interacting automata with finite memory. Zbl 0968.68083
Chebotarev, A. N.
5
1999
Separable resolution method for checking the satisfiability of formulas in the language \({\mathfrak L}\). Zbl 0946.68081
Chebotarev, A. N.
3
1998
Synthesis of a procedural representation of an automaton specified in the logical language \({\mathfrak L}^*\). I. Zbl 0917.68143
Chebotarev, A. N.
8
1997
Synthesis of a procedural representation of an automaton specified in the logical language \({\mathfrak L}^*\). II. Zbl 0919.68088
Chebotarev, A. N.
3
1997
Modes of functioning of a population with possible nonequilibrium retainment of its size. Zbl 0922.92035
Volkov, I. K.; Krishchenko, A. P.; Chebotarev, A. N.
1
1997
Extension of the automaton specification logical language and the synthesis problem. Zbl 0893.68099
Chebotarev, A. N.
8
1996
Synthesis of a nondeterministic automaton from its logical specification. I. Zbl 0856.68105
Chebotarev, A. N.
4
1995
Determinization of logical specifications of automata. Zbl 0844.68086
Chebotarev, A. N.
1
1995
Synthesis of a nondeterministic automaton from its logical specification. II. Zbl 0868.68079
Chebotarev, A. N.
1
1995
Consistency test for simple specifications of automaton systems. Zbl 0836.68067
Chebotarev, A. N.
7
1994
Resolution approach to testing compatibility of interacting automata. Zbl 0837.68075
Morokhovets, M. K.; Chebotarev, A. N.
3
1994
Approach to functional specification of automaton systems. I. Zbl 0939.68709
Chebotarev, A. N.
12
1993
On an approach to functional specification of automata systems. III. Zbl 0823.68070
Chebotarev, A. N.
4
1993
Consistency checking of automata functional specifications. Zbl 0793.68102
Chebotarev, Anatoli N.; Morokhovets, Marina K.
2
1993
On an approach to functional specification of automata systems. II. Zbl 0823.68069
Chebotarev, A. N.
1
1993
Interacting automata. Zbl 0875.68659
Chebotarev, A. N.
7
1991
A method of the abstract design of automata with finite memory. Zbl 0800.68128
Chebotarev, A. N.
4
1988
Analysis of asynchronous logic circuits. Zbl 0476.94024
Chebotarev, A. N.
2
1980

Citations by Year