Modeling, specification, and verification of automaton programs. - E. V. Kuzmin 001; Valery A. Sokolov (Program. Comput. Softw., 2008)

Application of the trace assertion method to the specification, design, and verification of automaton programs. - E. V. Kuzmin 001; Valery A. Sokolov; D. Ju. Chalyy (Program. Comput. Softw., 2009)

Boundedness problem for lossy counter machines. - E. V. Kuzmin 001 (Autom. Control. Comput. Sci., 2010)

Algorithms for the boundedness problem for Minsky counter machines. - E. V. Kuzmin 001; D. Ju. Chalyy (Autom. Control. Comput. Sci., 2010)

Decidability of boundedness problems for Minsky counter machines. - E. V. Kuzmin 001; D. Ju. Chalyy (Autom. Control. Comput. Sci., 2010)

On a reachability set of automation 3-counter machines. - E. V. Kuzmin 001; D. Ju. Chalyy (Autom. Control. Comput. Sci., 2010)

On one class of counter machines. - E. V. Kuzmin 001; D. Ju. Chalyy (Autom. Control. Comput. Sci., 2010)

Boundedness problems for Minsky counter machines. - E. V. Kuzmin 001; Valery A. Sokolov; D. Ju. Chalyy (Program. Comput. Softw., 2010)

On the reachability set of automaton counter machines. - E. V. Kuzmin 001; D. Ju. Chalyy (Autom. Control. Comput. Sci., 2011)

On languages of automaton counter machines. - E. V. Kuzmin 001; D. Ju. Chalyy (Autom. Control. Comput. Sci., 2011)

On construction and verification of PLC programs. - E. V. Kuzmin 001; Valery A. Sokolov (Autom. Control. Comput. Sci., 2013)

The modeling of counter machines by two-head finite automata. - E. V. Kuzmin 001; Valery A. Sokolov (Autom. Control. Comput. Sci., 2013)

Modeling a consistent behavior of PLC-sensors. - E. V. Kuzmin 001; D. A. Ryabukhin; Valery A. Sokolov (Autom. Control. Comput. Sci., 2014)

Modeling, specification and construction of PLC-programs. - E. V. Kuzmin 001; Valery A. Sokolov (Autom. Control. Comput. Sci., 2014)

Construction and verification of PLC LD programs by the LTL specification. - E. V. Kuzmin 001; Valery A. Sokolov; D. A. Ryabukhin (Autom. Control. Comput. Sci., 2014)

Construction and verification of PLC-programs by LTL-specification. - E. V. Kuzmin 001; Valery A. Sokolov; D. A. Ryabukhin (Autom. Control. Comput. Sci., 2015)

On the expressiveness of the approach to constructing PLC-programs by LTL-specification. - E. V. Kuzmin 001; D. A. Ryabukhin; Valery A. Sokolov (Autom. Control. Comput. Sci., 2016)

Construction of CFC-Programs by LTL-Specification. - D. A. Ryabukhin; E. V. Kuzmin 001; Valery A. Sokolov (Autom. Control. Comput. Sci., 2017)

Finding the Level of Useful Signals on Interpretation of Magnetic and Eddy-Current Defectograms. - Egor Vladimirovich Kuzmin; Oleg E. Gorbunov; Petr O. Plotnikov; Vadim A. Tyukin (Autom. Control. Comput. Sci., 2018)

An Efficient Algorithm for Finding the Level of Useful Signals on Interpretation of Magnetic and Eddy Current Defectograms. - E. V. Kuzmin 001; Oleg E. Gorbunov; Petr O. Plotnikov; Vadim A. Tyukin (Autom. Control. Comput. Sci., 2018)

Application of Neural Networks for Recognizing Rail Structural Elements in Magnetic and Eddy Current Defectograms. - E. V. Kuzmin 001; Oleg E. Gorbunov; Petr O. Plotnikov; Vadim A. Tyukin; Vladimir A. Bashkin (Autom. Control. Comput. Sci., 2019)

Application of Convolutional Neural Networks for Recognizing Long Structural Elements of Rails in Eddy Current Defectograms. - E. V. Kuzmin 001; Oleg E. Gorbunov; Petr O. Plotnikov; Vadim A. Tyukin; Vladimir A. Bashkin (Autom. Control. Comput. Sci., 2021)

LTL-Specification of Counter Machines. - E. V. Kuzmin 001 (Autom. Control. Comput. Sci., 2022)

An Algorithm for Correcting Levels of Useful Signals on Interpretation of Eddy-Current Defectograms. - E. V. Kuzmin 001; Oleg E. Gorbunov; Petr O. Plotnikov; Vadim A. Tyukin; Vladimir A. Bashkin (Autom. Control. Comput. Sci., 2022)

Assessing Flaw Severity on Interpretation of Eddy-Current Defectograms. - E. V. Kuzmin 001; Oleg E. Gorbunov; Petr O. Plotnikov; Vadim A. Tyukin; Vladimir A. Bashkin (Autom. Control. Comput. Sci., 2022)

The Application of Majority Voting Functions to Estimate the Number of Monotone Self-Dual Boolean Functions. - Leonid Y. Bystrov; E. V. Kuzmin 001 (Autom. Control. Comput. Sci., 2023)

Linear Temporal Logic Specification of Bounded Counter Machines. - E. V. Kuzmin 001 (Autom. Control. Comput. Sci., 2023)

Zhegalkin Polynomial of a Multiary Sole Sufficient Operator. - Leonid Y. Bystrov; Egor Vladimirovich Kuzmin (Autom. Control. Comput. Sci., 2024)

LTL-Specification for Development and Verification of Control Programs. - Maxim V. Neyzov; Egor Vladimirovich Kuzmin (Autom. Control. Comput. Sci., 2024)