Egor Vladimirovich Kuzmin

According to our database, Egor Vladimirovich Kuzmin authored at least 27 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Linear Temporal Logic Specification of Bounded Counter Machines.

E. V. Kuzmin

Autom. Control. Comput. Sci., December, 2023

The Application of Majority Voting Functions to Estimate the Number of Monotone Self-Dual Boolean Functions.

Leonid Y. Bystrov, E. V. Kuzmin

Autom. Control. Comput. Sci., December, 2023

2022

Assessing Flaw Severity on Interpretation of Eddy-Current Defectograms.

E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin

Autom. Control. Comput. Sci., December, 2022

An Algorithm for Correcting Levels of Useful Signals on Interpretation of Eddy-Current Defectograms.

E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin

Autom. Control. Comput. Sci., December, 2022

LTL-Specification of Counter Machines.

E. V. Kuzmin

Autom. Control. Comput. Sci., December, 2022

2021

Application of Convolutional Neural Networks for Recognizing Long Structural Elements of Rails in Eddy Current Defectograms.

E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin

Autom. Control. Comput. Sci., 2021

2019

Application of Neural Networks for Recognizing Rail Structural Elements in Magnetic and Eddy Current Defectograms.

E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin

Autom. Control. Comput. Sci., 2019

2018

An Efficient Algorithm for Finding the Level of Useful Signals on Interpretation of Magnetic and Eddy Current Defectograms.

E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin

Autom. Control. Comput. Sci., 2018

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

2017

Construction of CFC-Programs by LTL-Specification.

D. A. Ryabukhin, E. V. Kuzmin, Valery A. Sokolov

Autom. Control. Comput. Sci., 2017

2016

On the expressiveness of the approach to constructing PLC-programs by LTL-specification.

E. V. Kuzmin, D. A. Ryabukhin, Valery A. Sokolov

Autom. Control. Comput. Sci., 2016

2015

Construction and verification of PLC-programs by LTL-specification.

E. V. Kuzmin, Valery A. Sokolov, D. A. Ryabukhin

Autom. Control. Comput. Sci., 2015

2014

Construction and verification of PLC LD programs by the LTL specification.

E. V. Kuzmin, Valery A. Sokolov, D. A. Ryabukhin

Autom. Control. Comput. Sci., 2014

Modeling, specification and construction of PLC-programs.

E. V. Kuzmin, Valery A. Sokolov

Autom. Control. Comput. Sci., 2014

Modeling a consistent behavior of PLC-sensors.

E. V. Kuzmin, D. A. Ryabukhin, Valery A. Sokolov

Autom. Control. Comput. Sci., 2014

2013

The modeling of counter machines by two-head finite automata.

E. V. Kuzmin, Valery A. Sokolov

Autom. Control. Comput. Sci., 2013

On construction and verification of PLC programs.

E. V. Kuzmin, Valery A. Sokolov

Autom. Control. Comput. Sci., 2013

2011

On languages of automaton counter machines.

E. V. Kuzmin, D. Ju. Chalyy

Autom. Control. Comput. Sci., 2011

On the reachability set of automaton counter machines.

E. V. Kuzmin, D. Ju. Chalyy

Autom. Control. Comput. Sci., 2011

2010

Boundedness problems for Minsky counter machines.

E. V. Kuzmin, Valery A. Sokolov, D. Ju. Chalyy

Program. Comput. Softw., 2010

On one class of counter machines.

E. V. Kuzmin, D. Ju. Chalyy

Autom. Control. Comput. Sci., 2010

On a reachability set of automation 3-counter machines.

E. V. Kuzmin, D. Ju. Chalyy

Autom. Control. Comput. Sci., 2010

Decidability of boundedness problems for Minsky counter machines.

E. V. Kuzmin, D. Ju. Chalyy

Autom. Control. Comput. Sci., 2010

Algorithms for the boundedness problem for Minsky counter machines.

E. V. Kuzmin, D. Ju. Chalyy

Autom. Control. Comput. Sci., 2010

Boundedness problem for lossy counter machines.

E. V. Kuzmin

Autom. Control. Comput. Sci., 2010

2009

Application of the trace assertion method to the specification, design, and verification of automaton programs.

E. V. Kuzmin, Valery A. Sokolov, D. Ju. Chalyy

Program. Comput. Softw., 2009

2008

Modeling, specification, and verification of automaton programs.

E. V. Kuzmin, Valery A. Sokolov

Program. Comput. Softw., 2008