From LP formulas of the form F(T) to k -ω-regular expressions

за авторством A. N. Chebotarev
Опубліковано 2020

Detecting fictitious states in a Σ-automaton synthesized from the specification in the language LP

за авторством A. N. Chebotarev
Опубліковано 2019

Some subsets of monadic first order logic (MFO) used for specification and synthesis of У-automata

за авторством A. N. Chebotarev
Опубліковано 2017

Problems of synthesis of Σ-automata specified in languages LP and LF of first order logic

за авторством A. N. Chebotarev
Опубліковано 2017

Synthesis of Σ-automata specified in the first-order logical languages LP and LF

за авторством A. N. Chebotarev
Опубліковано 2018

On Automata Minimization by Hopcroft's Algorithm

за авторством A. N. Chebotarev
Опубліковано 2016

Harmonization of automata specifications represented in the language L

за авторством A. N. Chebotarev
Опубліковано 2016

Transformation of restrictions to the behavior of operational part of a reactive algorithm into the restrictions to the behavior of its control part

за авторством A. N. Chebotarev
Опубліковано 2013

Complexation of vanadium(V) with 4-sulfo-2(4'-sulfonaphthalene-1'-azo)naphthol-1 in water and water-organic solutions

за авторством A. N. Chebotarev, E. V. Raboshvil, I. S. Efimova
Опубліковано 2012

Spectrophotometric determination of vanadium (V) with 4-sulfo-2-(4'-sulfonaphthalene-1'-azo)naphthol-1

за авторством A. N. Chebotarev, E. V. Raboshvil, I. S. Efimova, A. N. Zakharija
Опубліковано 2014

Karmoazin as a redox reagent for Mn, Cr, Se, and V spectrophotometric determination of in the waters of different categories

за авторством A. N. Chebotarev, E. V. Raboshvil, D. V. Snigur, A. A. Polishchuk
Опубліковано 2015

Direct electrothermal atomic absorption determination of nickel in vegetable fats and oils

за авторством A. N. Zakharija, A. S. Zhuravlev, A. N. Chebotarev, R. N. Kolpak, A. A. Polishchuk
Опубліковано 2011