Непейвода Антонина Николаевна

Публикации в базе данных Math-Net.Ru

1. REDoS detection in “Domino” regular expressions by Ambiguity Analysis
   
   Труды ИСП РАН, 35:3 (2023),  109–124
2. Заметка об автоматическом решении квадратичных уравнений в словах
   
   Программные системы: теория и приложения, 9:2 (2018),  3–21
3. О длинных атаках на пинг-понг протоколы
   
   Программные системы: теория и приложения, 6:4 (2015),  341–351
4. Верификация модели технической системы средствами линейной темпоральной логики
   
   Автомат. и телемех., 2012, № 9,  124–140