Красненкова Анастасия Владимировна

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

1. Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы
   
   Труды ИСП РАН, 37:1 (2025),  159–184
2. Практические оценки сложности регулярных выражений
   
   Интеллектуальные системы. Теория и приложения, 25:4 (2021),  53–57