Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Kuz'min, Egor Vladimirovich

Statistics Math-Net.Ru
Total publications: 25
Scientific articles: 25

Number of views:
This page:783
Abstract pages:5139
Full texts:2274
References:694
Professor
Doctor of physico-mathematical sciences
E-mail:

http://www.mathnet.ru/eng/person63383
List of publications on Google Scholar
List of publications on ZentralBlatt
http://orcid.org/0000-0003-0500-306X

Publications in Math-Net.Ru
2021
1. E. V. Kuz'min, O. E. Gorbunov, P. O. Plotnikov, V. A. Tyukin, V. A. Bashkin, “Severity estimation of defects on interpretation of eddy-current defectograms”, Model. Anal. Inform. Sist., 28:2 (2021),  170–185  mathnet
2. E. V. Kuzmin, “LTL-specification of counter machines”, Model. Anal. Inform. Sist., 28:1 (2021),  104–119  mathnet
3. E. V. Kuzmin, O. E. Gorbunov, P. O. Plotnikov, V. A. Tyukin, V. A. Bashkin, “An algorithm for correcting levels of useful signals on interpretation of eddy-current defectograms”, Model. Anal. Inform. Sist., 28:1 (2021),  74–88  mathnet
2020
4. E. V. Kuzmin, O. E. Gorbunov, P. O. Plotnikov, V. A. Tyukin, V. A. Bashkin, “Application of convolutional neural networks for recognizing long structural elements of rails in eddy-current defectograms”, Model. Anal. Inform. Sist., 27:3 (2020),  316–329  mathnet
2018
5. E. V. Kuzmin, O. E. Gorbunov, P. O. Plotnikov, V. A. Tyukin, V. A. Bashkin, “Application of neural networks for recognizing rail structural elements in magnetic and eddy current defectograms”, Model. Anal. Inform. Sist., 25:6 (2018),  667–679  mathnet
6. E. V. Kuz'min, O. E. Gorbunov, P. O. Plotnikov, V. A. Tyukin, “An efficient algorithm for finding a threshold of useful signals in the analysis of magnetic and eddy current defectograms”, Model. Anal. Inform. Sist., 25:4 (2018),  382–387  mathnet  elib
2017
7. E. V. Kuzmin, O. E. Gorbunov, P. O. Plotnikov, V. A. Tyukin, “On finding a threshold of useful signals in the analysis of magnetic and eddy current defectograms”, Model. Anal. Inform. Sist., 24:6 (2017),  760–771  mathnet  elib
2016
8. D. A. Ryabukhin, E. V. Kuzmin, V. A. Sokolov, “Construction of CFC-programs by LTL-specification”, Model. Anal. Inform. Sist., 23:2 (2016),  173–184  mathnet  mathscinet  elib
2015
9. E. V. Kuzmin, D. A. Ryabukhin, V. A. Sokolov, “On the expressiveness of the approach to constructing PLC-programs by LTL-specification”, Model. Anal. Inform. Sist., 22:4 (2015),  507–520  mathnet  mathscinet  elib
2014
10. E. V. Kuzmin, D. A. Ryabukhin, V. A. Sokolov, “Modeling a Consistent Behavior of PLC-Sensors”, Model. Anal. Inform. Sist., 21:4 (2014),  75–90  mathnet
11. D. A. Ryabukhin, E. V. Kuzmin, V. A. Sokolov, “Construction of PLC IL-Programs by LTL-Specification”, Model. Anal. Inform. Sist., 21:2 (2014),  26–38  mathnet
2013
12. E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin, “Construction and Verification of PLC LD-programs by LTL-specification”, Model. Anal. Inform. Sist., 20:6 (2013),  78–94  mathnet
13. E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin, “Construction and Verification of PLC-programs by LTL-specification”, Model. Anal. Inform. Sist., 20:4 (2013),  5–22  mathnet
14. E. V. Kuzmin, V. A. Sokolov, “Modeling, Specification and Construction of PLC-programs”, Model. Anal. Inform. Sist., 20:2 (2013),  104–120  mathnet
2012
15. E. V. Kuzmin, V. A. Sokolov, “The Modeling of Counter Machines by Two-Head Finite Automata”, Model. Anal. Inform. Sist., 19:5 (2012),  69–73  mathnet
16. E. V. Kuzmin, V. A. Sokolov, “On Construction and Verification of PLC-Programs”, Model. Anal. Inform. Sist., 19:4 (2012),  25–36  mathnet
17. E. V. Kuz'min, V. A. Sokolov, “On verification of PLC-programs written in the LD-language”, Model. Anal. Inform. Sist., 19:2 (2012),  138–144  mathnet
2010
18. E. V. Kuz'min, D. Yu. Chalyi, “On languages of automaton counter machines”, Model. Anal. Inform. Sist., 17:2 (2010),  48–71  mathnet
19. E. V. Kuz'min, D. Yu. Chalyi, “On a reachability set of automaton counter machines”, Model. Anal. Inform. Sist., 17:1 (2010),  52–64  mathnet
2009
20. E. V. Kuz'min, D. Yu. Chalyi, “On a reachability set of automaton 3-counter machines”, Model. Anal. Inform. Sist., 16:3 (2009),  77–84  mathnet
21. E. V. Kuzmin, D. Yu. Chalyy, “On a class of counter machines”, Model. Anal. Inform. Sist., 16:2 (2009),  75–82  mathnet
2008
22. E. V. Kuzmin, D. Ju. Chalyy, “Algorithms for the boundedness problem for Minsky counter machines”, Model. Anal. Inform. Sist., 15:4 (2008),  42–55  mathnet
23. E. V. Kuz'min, “The boundedness problem for lossy counter machines”, Model. Anal. Inform. Sist., 15:3 (2008),  14–27  mathnet
24. E. V. Kuzmin, D. Ju. Chalyy, “On the decidability of boundedness problems for counter Minsky machines”, Model. Anal. Inform. Sist., 15:1 (2008),  16–26  mathnet
2007
25. K. A. Vasileva, E. V. Kuzmin, “LTL Verification of Automaton Programs”, Model. Anal. Inform. Sist., 14:1 (2007),  31–43  mathnet

Organisations
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021