RUS
ENG
Full version
PEOPLE
Krasnenkova Anastasiya Vladimirovna
Publications in Math-Net.Ru
VeHa-2024 formal verification contest: two years of experience and prospects
Proceedings of ISP RAS
,
37
:1 (2025),
159–184
Practical estimates of the complexity of regular expressions
Intelligent systems. Theory and applications
,
25
:4 (2021),
53–57
©
Steklov Math. Inst. of RAS
, 2026