|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2025 |
| 1. |
Д. А. Кондратьев, С. М. Старолетов, И. В. Шошмина, А. В. Красненкова, К. В. Зиборов, Н. В. Шилов, Н. О. Гаранина, Т. Ю. Черганов, “Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы”, Труды ИСП РАН, 37:1 (2025), 159–184  |
|
2021 |
| 2. |
Д. Е. Александров, А. В. Красненкова, “Практические оценки сложности регулярных выражений”, Интеллектуальные системы. Теория и приложения, 25:4 (2021), 53–57 |
|
