Nepeivoda Antonina Nikolaevna

Publications in Math-Net.Ru

1. REDoS detection in “Domino” regular expressions by Ambiguity Analysis
   
   Proceedings of ISP RAS, 35:3 (2023),  109–124
2. On solving quadratic word equations
   
   Program Systems: Theory and Applications, 9:2 (2018),  3–21
3. A remark about long attacks on ping-pong protocols
   
   Program Systems: Theory and Applications, 6:4 (2015),  341–351
4. Verification of a technical system model with linear temporal logic
   
   Avtomat. i Telemekh., 2012, no. 9,  124–140