Krasnenkova Anastasiya Vladimirovna

Publications in Math-Net.Ru

1. VeHa-2024 formal verification contest: two years of experience and prospects
   
   Proceedings of ISP RAS, 37:1 (2025),  159–184
2. Practical estimates of the complexity of regular expressions
   
   Intelligent systems. Theory and applications, 25:4 (2021),  53–57