Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Kuz'min, Egor Vladimirovich
Statistics Math-Net.Ru
Total publications: 33
Scientific articles: 33

Number of views:
This page:1335
Abstract pages:9790
Full texts:6942
References:1744
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
2024
1. 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
2. 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
3. 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
4. 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
5. 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
6. 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
7. 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
8. E. V. Kuzmin, “LTL-specification of bounded counter machines”, Model. Anal. Inform. Sist., 29:1 (2022),  44–59  mathnet  mathscinet 1
2021
9. 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
10. E. V. Kuzmin, “LTL-specification of counter machines”, Model. Anal. Inform. Sist., 28:1 (2021),  104–119  mathnet 2
11. 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
12. 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
13. 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
14. 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 2
2017
15. 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
16. 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
17. 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
18. 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
19. 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
20. 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
21. 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
22. 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
23. 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
24. E. V. Kuzmin, V. A. Sokolov, “On Construction and Verification of PLC-Programs”, Model. Anal. Inform. Sist., 19:4 (2012),  25–36  mathnet 6
25. 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
26. E. V. Kuz'min, D. Yu. Chalyi, “On languages of automaton counter machines”, Model. Anal. Inform. Sist., 17:2 (2010),  48–71  mathnet
27. 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
28. 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
29. E. V. Kuzmin, D. Yu. Chalyy, “On a class of counter machines”, Model. Anal. Inform. Sist., 16:2 (2009),  75–82  mathnet 3
2008
30. 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
31. E. V. Kuz'min, “The boundedness problem for lossy counter machines”, Model. Anal. Inform. Sist., 15:3 (2008),  14–27  mathnet
32. 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
33. 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, 2025