|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
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”, Труды ИСП РАН, 35:3 (2023), 109–124  |
|
2018 |
| 2. |
А. Н. Непейвода, “Заметка об автоматическом решении квадратичных уравнений в словах”, Программные системы: теория и приложения, 9:2 (2018), 3–21 |
|
2015 |
| 3. |
А. Н. Непейвода, “О длинных атаках на пинг-понг протоколы”, Программные системы: теория и приложения, 6:4 (2015), 341–351 |
|
2012 |
| 4. |
А. Н. Непейвода, “Верификация модели технической системы средствами линейной темпоральной логики”, Автомат. и телемех., 2012, № 9, 124–140  ; A. N. Nepeivoda, “Verification of a technical system model with linear temporal logic”, Autom. Remote Control, 73:9 (2012), 1539–1552   |
4
|
|
Обратная связь: