|
|
|
Publications in Math-Net.Ru |
Citations |
|
2024 |
| 1. |
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  |
| 2. |
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 |
| 3. |
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 |
1
|
|
2023 |
| 4. |
M. V. Neyzov, E. V. Kuzmin, “Ltl-specification for development and verification of control programs”, Model. Anal. Inform. Sist., 30:4 (2023), 308–339 |
2
|
| 5. |
L. Yu. Bystrov, E. V. Kuzmin, “The zhegalkin polynomial of multiseat sole sufficient operator”, Model. Anal. Inform. Sist., 30:2 (2023), 106–127 |
|
2022 |
| 6. |
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  |
| 7. |
E. V. Kuzmin, “LTL-specification of bounded counter machines”, Model. Anal. Inform. Sist., 29:1 (2022), 44–59 |
1
|
|
2021 |
| 8. |
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 |
| 9. |
E. V. Kuzmin, “LTL-specification of counter machines”, Model. Anal. Inform. Sist., 28:1 (2021), 104–119 |
2
|
| 10. |
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 |
2
|
|
2020 |
| 11. |
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 |
2
|
|
2018 |
| 12. |
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 |
| 13. |
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  |
2
|
|
2017 |
| 14. |
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 |
6
|
|
2016 |
| 15. |
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 |
1
|
|
2015 |
| 16. |
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 |
5
|
|
2014 |
| 17. |
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 |
4
|
| 18. |
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 |
4
|
|
2013 |
| 19. |
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 |
5
|
| 20. |
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 |
6
|
| 21. |
E. V. Kuzmin, V. A. Sokolov, “Modeling, Specification and Construction of PLC-programs”, Model. Anal. Inform. Sist., 20:2 (2013), 104–120 |
7
|
|
2012 |
| 22. |
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 |
| 23. |
E. V. Kuzmin, V. A. Sokolov, “On Construction and Verification of PLC-Programs”, Model. Anal. Inform. Sist., 19:4 (2012), 25–36 |
6
|
| 24. |
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 |
5
|
|
2010 |
| 25. |
E. V. Kuz'min, D. Yu. Chalyi, “On languages of automaton counter machines”, Model. Anal. Inform. Sist., 17:2 (2010), 48–71 |
| 26. |
E. V. Kuz'min, D. Yu. Chalyi, “On a reachability set of automaton counter machines”, Model. Anal. Inform. Sist., 17:1 (2010), 52–64 |
|
2009 |
| 27. |
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 |
1
|
| 28. |
E. V. Kuzmin, D. Yu. Chalyy, “On a class of counter machines”, Model. Anal. Inform. Sist., 16:2 (2009), 75–82 |
3
|
|
2008 |
| 29. |
E. V. Kuzmin, D. Ju. Chalyy, “Algorithms for the boundedness problem for Minsky counter machines”, Model. Anal. Inform. Sist., 15:4 (2008), 42–55 |
| 30. |
E. V. Kuz'min, “The boundedness problem for lossy counter machines”, Model. Anal. Inform. Sist., 15:3 (2008), 14–27 |
| 31. |
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 |
3
|
|
2007 |
| 32. |
K. A. Vasileva, E. V. Kuzmin, “LTL Verification of Automaton Programs”, Model. Anal. Inform. Sist., 14:1 (2007), 31–43 |
3
|
|
| Organisations |
|
| |
|
|
Contact us: