Харвестер відкритої науки НАН України

Joint using methods of structural decomposition for optimizing circuit of Moore FSM

за авторством A. A. Barkalov, L. A. Titarenko, A. V. Baev, A. V. Matvienko
Опубліковано 2021

Mixed encoding of collections of microoperations for microprogrammed automata

за авторством A. A. Barkalov, L. A. Titarenko, A. V. Baev, A. V. Matvienko
Опубліковано 2020

Optimizing the scheme of a combined automaton in the ASIC basis

за авторством A. A. Barkalov, L. A. Titarenko, A. V. Baev, A. V. Matvienko
Опубліковано 2020

Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas

за авторством M. S. Lvov, V. S. Peschanenko, A. A. Letichevskij, Ju. G. Tarasich, A. S. Baev
Опубліковано 2018