|
|
Publications in Math-Net.Ru |
Citations |
|
2023 |
1. |
A. N. Nepeivoda, Yu. A. Belikova, K. K. Shevchenko, M. R. Teriukha, D. P. Knyazihin, A. D. Delman, A. S. Terentyeva, “REDoS detection in “Domino” regular expressions by Ambiguity Analysis”, Proceedings of ISP RAS, 35:3 (2023), 109–124 |
|
2018 |
2. |
A. N. Nepeivoda, “On solving quadratic word equations”, Program Systems: Theory and Applications, 9:2 (2018), 3–21 |
|
2015 |
3. |
A. N. Nepeivoda, “A remark about long attacks on ping-pong protocols”, Program Systems: Theory and Applications, 6:4 (2015), 341–351 |
|
2012 |
4. |
A. N. Nepeivoda, “Verification of a technical system model with linear temporal logic”, Avtomat. i Telemekh., 2012, no. 9, 124–140 ; Autom. Remote Control, 73:9 (2012), 1539–1552 |
4
|
|
Organisations |
|
|