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

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

Number of views:
This page:661
Abstract pages:4220
Full texts:1430
References:659
Associate 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
2018
1. 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
2. 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
3. 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
4. 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
5. 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
6. 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
7. 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
8. 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
9. 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
10. E. V. Kuzmin, V. A. Sokolov, “Modeling, Specification and Construction of PLC-programs”, Model. Anal. Inform. Sist., 20:2 (2013),  104–120  mathnet
2012
11. 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
12. E. V. Kuzmin, V. A. Sokolov, “On Construction and Verification of PLC-Programs”, Model. Anal. Inform. Sist., 19:4 (2012),  25–36  mathnet
13. 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
14. E. V. Kuz'min, D. Yu. Chalyi, “On languages of automaton counter machines”, Model. Anal. Inform. Sist., 17:2 (2010),  48–71  mathnet
15. 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
16. 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
17. E. V. Kuzmin, D. Yu. Chalyy, “On a class of counter machines”, Model. Anal. Inform. Sist., 16:2 (2009),  75–82  mathnet
2008
18. 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
19. E. V. Kuz'min, “The boundedness problem for lossy counter machines”, Model. Anal. Inform. Sist., 15:3 (2008),  14–27  mathnet
20. 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
21. 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  Logotypes © Steklov Mathematical Institute RAS, 2020