Kuz'min Egor Vladimirovich

Publications in Math-Net.Ru

1. Detection of square wave impulse interference in eddy current rail defectograms
   
   Model. Anal. Inform. Sist., 32:2 (2025),  172–205
2. Application of YOLO family neural networks for useful signals detection on eddy current rail defectograms
   
   Proceedings of ISP RAS, 37:6(2) (2025),  131–150
3. Using TLA+/TLC for modeling and verification of cryptographic protocols
   
   Model. Anal. Inform. Sist., 31:4 (2024),  446–473
4. LTL-specification for development and verification of logical control programs in feedback systems
   
   Model. Anal. Inform. Sist., 31:3 (2024),  240–279
5. Suppression of additive periodic low-frequency interference on eddy current defectograms
   
   Model. Anal. Inform. Sist., 31:2 (2024),  164–181
6. Verification of declarative LTL-specification of control programs behavior
   
   Model. Anal. Inform. Sist., 31:2 (2024),  120–141
7. Ltl-specification for development and verification of control programs
   
   Model. Anal. Inform. Sist., 30:4 (2023),  308–339
8. The zhegalkin polynomial of multiseat sole sufficient operator
   
   Model. Anal. Inform. Sist., 30:2 (2023),  106–127
9. Application of election functions to estimate the number of monotone self-dual boolean functions
   
   Model. Anal. Inform. Sist., 29:2 (2022),  78–91
10. LTL-specification of bounded counter machines
    
    Model. Anal. Inform. Sist., 29:1 (2022),  44–59
11. Severity estimation of defects on interpretation of eddy-current defectograms
    
    Model. Anal. Inform. Sist., 28:2 (2021),  170–185
12. LTL-specification of counter machines
    
    Model. Anal. Inform. Sist., 28:1 (2021),  104–119
13. An algorithm for correcting levels of useful signals on interpretation of eddy-current defectograms
    
    Model. Anal. Inform. Sist., 28:1 (2021),  74–88
14. 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
15. Application of neural networks for recognizing rail structural elements in magnetic and eddy current defectograms
    
    Model. Anal. Inform. Sist., 25:6 (2018),  667–679
16. 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
17. 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
18. Construction of CFC-programs by LTL-specification
    
    Model. Anal. Inform. Sist., 23:2 (2016),  173–184
19. On the expressiveness of the approach to constructing PLC-programs by LTL-specification
    
    Model. Anal. Inform. Sist., 22:4 (2015),  507–520
20. Modeling a Consistent Behavior of PLC-Sensors
    
    Model. Anal. Inform. Sist., 21:4 (2014),  75–90
21. Construction of PLC IL-Programs by LTL-Specification
    
    Model. Anal. Inform. Sist., 21:2 (2014),  26–38
22. Construction and Verification of PLC LD-programs by LTL-specification
    
    Model. Anal. Inform. Sist., 20:6 (2013),  78–94
23. Construction and Verification of PLC-programs by LTL-specification
    
    Model. Anal. Inform. Sist., 20:4 (2013),  5–22
24. Modeling, Specification and Construction of PLC-programs
    
    Model. Anal. Inform. Sist., 20:2 (2013),  104–120
25. The Modeling of Counter Machines by Two-Head Finite Automata
    
    Model. Anal. Inform. Sist., 19:5 (2012),  69–73
26. On Construction and Verification of PLC-Programs
    
    Model. Anal. Inform. Sist., 19:4 (2012),  25–36
27. On verification of PLC-programs written in the LD-language
    
    Model. Anal. Inform. Sist., 19:2 (2012),  138–144
28. On languages of automaton counter machines
    
    Model. Anal. Inform. Sist., 17:2 (2010),  48–71
29. On a reachability set of automaton counter machines
    
    Model. Anal. Inform. Sist., 17:1 (2010),  52–64
30. On a reachability set of automaton 3-counter machines
    
    Model. Anal. Inform. Sist., 16:3 (2009),  77–84
31. On a class of counter machines
    
    Model. Anal. Inform. Sist., 16:2 (2009),  75–82
32. Algorithms for the boundedness problem for Minsky counter machines
    
    Model. Anal. Inform. Sist., 15:4 (2008),  42–55
33. The boundedness problem for lossy counter machines
    
    Model. Anal. Inform. Sist., 15:3 (2008),  14–27
34. On the decidability of boundedness problems for counter Minsky machines
    
    Model. Anal. Inform. Sist., 15:1 (2008),  16–26
35. LTL Verification of Automaton Programs
    
    Model. Anal. Inform. Sist., 14:1 (2007),  31–43