Nepeivoda Antonina Nikolaevna

Publications in Math-Net.Ru

1. Bisimulations in memory finite automata
   
   Proceedings of ISP RAS, 37:6(3) (2025),  7–18
2. Disambiguation of regular expressions with backreferences via term rewriting
   
   Model. Anal. Inform. Sist., 31:4 (2024),  426–445
3. REDoS detection in “Domino” regular expressions by Ambiguity Analysis
   
   Proceedings of ISP RAS, 35:3 (2023),  109–124
4. On solving quadratic word equations
   
   Program Systems: Theory and Applications, 9:2 (2018),  3–21
5. A remark about long attacks on ping-pong protocols
   
   Program Systems: Theory and Applications, 6:4 (2015),  341–351
6. Verification of a technical system model with linear temporal logic
   
   Avtomat. i Telemekh., 2012, no. 9,  124–140