А. Л. Семенов, М. А. Бабенко, А. Я. Белов, Н. К. Верещагин, М. Е. Вишникин, Е. Е. Золин, В. Н. Крупский, С. Л. Кузнецов, В. А. Любецкий, А. А. Оноприенко, М. Р. Пентус, С. Ф. Сопрунов, А. А. Сорокин, В. Б. Шехтман, Т. Л. Яворская, “Кафедра математической логики и теории алгоритмов”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2025, № 1, 23–32 ; A. L. Semenov, M. A. Babenko, A. Ya. Belov, N. K. Vereshchagin, M. E. Vishnikin, E. E. Zolin, V. N. Krupski, S. L. Kuznetsov, V. A. Lyubetskii, A. A. Onoprienko, M. R. Pentus, S. F. Soprunov, A. A. Sorokin, V. B. Shehtman, T. L. Yavorskaya, “Chair of Mathematical Logic and Theory of Algorithms”, Moscow University Mathematics Bulletin, 80:1 (2025), 23–33
О. И. Егорушкин, И. В. Колбасина, К. В. Сафонов, “О решении линейных однородных грамматик, порождающих линейные языки”, ПДМ. Приложение, 2024, № 17, 123–125
О. И. Егорушкин, И. В. Колбасина, К. В. Сафонов, “О решении общего алгебраического уравнения степенными рядами и приложении в теории формальных грамматик”, ПДМ, 2023, № 60, 106–113
О. И. Егорушкин, И. В. Колбасина, К. В. Сафонов, “Аналог теоремы Кронекера — Капелли для систем некоммутативных линейных уравнений, порождающих линейные языки”, ПДМ. Приложение, 2023, № 16, 124–126
О. И. Егорушкин, И. В. Колбасина, К. В. Сафонов, “О полиномиальных грамматиках, порождающих бесконечное множество языков”, ПДМ. Приложение, 2022, № 15, 78–80
О. И. Егорушкин, И. В. Колбасина, К. В. Сафонов, “О решении полиномиальных грамматик и общего алгебраического уравнения”, ПДМ. Приложение, 2021, № 14, 176–178
О. И. Егорушкин, И. В. Колбасина, К. В. Сафонов, “Геометрическое условие разрешимости формальных грамматик”, ПДМ. Приложение, 2020, № 13, 106–108
И. В. Колбасина, К. В. Сафонов, “Условие разрешимости произвольных формальных грамматик”, ПДМ. Приложение, 2019, № 12, 196–198
О. И. Егорушкин, И. В. Колбасина, К. В. Сафонов, “Синтаксический анализ программ методом интегральных представлений”, ПДМ. Приложение, 2018, № 11, 128–130
О. И. Егорушкин, И. В. Колбасина, К. В. Сафонов, “Аналог теоремы о неявном отображении для формальных грамматик”, ПДМ. Приложение, 2017, № 10, 149–151