Edit Profile (opens in new tab) Chebotarev, Anatoli N. Co-Author Distance Author ID: chebotarev.anatoli-n Published as: Chebotarev, A. N.; Chebotarev, Anatoli N.; Chebotarëv, A. N. more...less Documents Indexed: 59 Publications since 1968 Co-Authors: 9 Co-Authors with 11 Joint Publications 198 Co-Co-Authors all top 5 Co-Authors 46 single-authored 3 Morokhovets, Marina K. 2 Kryvyi, Serhiĭ L. 2 Volkov, I. K. 1 Kapitonova, Yu. V. 1 Korablev, N. 1 Krishchenko, Alexander P. 1 Krivoi, S. L. 1 Kurivchak, O. I. 1 Nikokenko, V. N. 1 Salyga, V. I. 1 Vinogradova, E. I. all top 5 Serials 38 Cybernetics and Systems Analysis 7 Kibernetika 5 Cybernetics 2 Prikladnaya Diskretnaya Matematika 1 Theoretical Computer Science 1 Automation and Remote Control 1 Russian Journal of Numerical Analysis and Mathematical Modelling 1 Tavricheskiĭ Vestnik Informatiki i Matematiki all top 5 Fields 51 Computer science (68-XX) 9 Information and communication theory, circuits (94-XX) 8 Mathematical logic and foundations (03-XX) 2 Biology and other natural sciences (92-XX) 1 Combinatorics (05-XX) 1 Ordinary differential equations (34-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications 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 all cited Publications top 5 cited Publications all top 5 Cited by 14 Authors 37 Chebotarev, Anatoli N. 3 Morokhovets, Marina K. 2 Kryvyi, Serhiĭ L. 1 Grebnev, V. A. 1 Gribov, A. F. 1 Kapitonova, Yu. V. 1 Karabed, Razmik 1 Krishchenko, Alexander P. 1 Kurivchak, O. I. 1 Letychevs’kyĭ, Oleksandr Adol’fovych 1 Lyaletski, Alexander V. 1 Malykh, Mikhail Dmitrievich 1 Marcus, Brian H. 1 Volkov, I. K. all top 5 Cited in 6 Serials 35 Cybernetics and Systems Analysis 2 Cybernetics 2 Prikladnaya Diskretnaya Matematika 1 Theoretical Computer Science 1 Computational Mathematics and Modeling 1 Journal of Mathematical Sciences (New York) all top 5 Cited in 9 Fields 38 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Information and communication theory, circuits (94-XX) 1 Field theory and polynomials (12-XX) 1 Ordinary differential equations (34-XX) 1 Probability theory and stochastic processes (60-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Citations by Year