Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Kuz'min, Egor Vladimirovich
Statistics
Total publications: 35
Scientific articles: 35

Number of views:
This page:13
Abstract pages:387
Full texts:209
References:64
Professor
Doctor of physico-mathematical sciences
E-mail:

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

Publications in Math-Net.Ru Citations
2025
1. L. Yu. Bystrov, A. N. Gladkov, E. V. Kuzmin, “Detection of square wave impulse interference in eddy current rail defectograms”, Model. Anal. Inform. Sist., 32:2 (2025),  172–205  mathnet
2. A. N. Gladkov, L. Yu. Bystrov, E. V. Kuz'min, “Application of YOLO family neural networks for useful signals detection on eddy current rail defectograms”, Proceedings of ISP RAS, 37:62 (2025),  131–150  mathnet
2024
3. M. V. Neyzov, E. V. Kuzmin, “Using TLA+/TLC for modeling and verification of cryptographic protocols”, Model. Anal. Inform. Sist., 31:4 (2024),  446–473  mathnet
4. M. V. Neyzov, E. V. Kuzmin, “LTL-specification for development and verification of logical control programs in feedback systems”, Model. Anal. Inform. Sist., 31:3 (2024),  240–279  mathnet
5. L. Y. Bystrov, A. N. Gladkov, E. V. Kuz'min, “Suppression of additive periodic low-frequency interference on eddy current defectograms”, Model. Anal. Inform. Sist., 31:2 (2024),  164–181  mathnet 1
6. M. V. Neyzov, E. V. Kuz'min, “Verification of declarative LTL-specification of control programs behavior”, Model. Anal. Inform. Sist., 31:2 (2024),  120–141  mathnet 1
2023
7. M. V. Neyzov, E. V. Kuzmin, “Ltl-specification for development and verification of control programs”, Model. Anal. Inform. Sist., 30:4 (2023),  308–339  mathnet 2
8. L. Yu. Bystrov, E. V. Kuzmin, “The zhegalkin polynomial of multiseat sole sufficient operator”, Model. Anal. Inform. Sist., 30:2 (2023),  106–127  mathnet
2022
9. L. Yu. Bystrov, E. V. Kuz'min, “Application of election functions to estimate the number of monotone self-dual boolean functions”, Model. Anal. Inform. Sist., 29:2 (2022),  78–91  mathnet  mathscinet
10. E. V. Kuzmin, “LTL-specification of bounded counter machines”, Model. Anal. Inform. Sist., 29:1 (2022),  44–59  mathnet  mathscinet 1
2021
11. 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
12. E. V. Kuzmin, “LTL-specification of counter machines”, Model. Anal. Inform. Sist., 28:1 (2021),  104–119  mathnet 2
13. 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 2
2020
14. 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 2
2018
15. 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
16. 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 3
2017
17. 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 6
2016
18. 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 1
2015
19. 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 5
2014
20. 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 4
21. 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 4
2013
22. 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 5
23. 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 6
24. E. V. Kuzmin, V. A. Sokolov, “Modeling, Specification and Construction of PLC-programs”, Model. Anal. Inform. Sist., 20:2 (2013),  104–120  mathnet 7
2012
25. 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
26. E. V. Kuzmin, V. A. Sokolov, “On Construction and Verification of PLC-Programs”, Model. Anal. Inform. Sist., 19:4 (2012),  25–36  mathnet 6
27. 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 5
2010
28. E. V. Kuz'min, D. Yu. Chalyi, “On languages of automaton counter machines”, Model. Anal. Inform. Sist., 17:2 (2010),  48–71  mathnet
29. 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
30. 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 1
31. E. V. Kuzmin, D. Yu. Chalyy, “On a class of counter machines”, Model. Anal. Inform. Sist., 16:2 (2009),  75–82  mathnet 3
2008
32. 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
33. E. V. Kuz'min, “The boundedness problem for lossy counter machines”, Model. Anal. Inform. Sist., 15:3 (2008),  14–27  mathnet
34. 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 3
2007
35. K. A. Vasileva, E. V. Kuzmin, “LTL Verification of Automaton Programs”, Model. Anal. Inform. Sist., 14:1 (2007),  31–43  mathnet 3

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