|
|
|
Publications in Math-Net.Ru |
Citations |
|
2025 |
| 1. |
D. A. Kondrat'ev, S. M. Staroletov, I. V. Shoshmina, A. V. Krasnenkova, K. V. Ziborov, N. V. Shilov, N. O. Garanina, T. Yu. Cherganov, “VeHa-2024 formal verification contest: two years of experience and prospects”, Proceedings of ISP RAS, 37:1 (2025), 159–184  |
|
2021 |
| 2. |
D. E. Alexandrov, A. V. Krasnenkova, “Practical estimates of the complexity of regular expressions”, Intelligent systems. Theory and applications, 25:4 (2021), 53–57 |
|
