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

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

1. Bisimulations in memory finite automata
   
   Труды ИСП РАН, 37:6(3) (2025),  7–18
2. Disambiguation of regular expressions with backreferences via term rewriting
   
   Модел. и анализ информ. систем, 31:4 (2024),  426–445
3. REDoS detection in “Domino” regular expressions by Ambiguity Analysis
   
   Труды ИСП РАН, 35:3 (2023),  109–124
4. Заметка об автоматическом решении квадратичных уравнений в словах
   
   Программные системы: теория и приложения, 9:2 (2018),  3–21
5. О длинных атаках на пинг-понг протоколы
   
   Программные системы: теория и приложения, 6:4 (2015),  341–351
6. Верификация модели технической системы средствами линейной темпоральной логики
   
   Автомат. и телемех., 2012, № 9,  124–140