Christoph Haase, Mikhail Starchak, Lecture Notes in Computer Science, 16036, Developments in Language Theory, 2026, 1
А. Л. Семенов, М. А. Бабенко, А. Я. Белов, Н. К. Верещагин, М. Е. Вишникин, Е. Е. Золин, В. Н. Крупский, С. Л. Кузнецов, В. А. Любецкий, А. А. Оноприенко, М. Р. Пентус, С. Ф. Сопрунов, А. А. Сорокин, В. Б. Шехтман, Т. Л. Яворская, “Кафедра математической логики и теории алгоритмов”, Вестн. Моск. ун-та. Сер. 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
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell, Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024, 1
Mikhail R. Starchak, Lecture Notes in Computer Science, 14773, Twenty Years of Theoretical and Practical Synergies, 2024, 218
V. V. Verbovskiy, A. D. Yershigeshova, “On o-Stable Expansions of $\boldsymbol{(\mathbb{Z},<,+)}$”, Lobachevskii J Math, 44:12 (2023), 5485
Alexei Semenov, Sergei Soprunov, “Automorphisms and Definability (of Reducts) for Upward Complete Structures”, Mathematics, 10:20 (2022), 3748
А. Л. Семенов, С. Ф. Сопрунов, “Решетка определимости. Источники и направления исследований”, Чебышевский сб., 22:1 (2021), 304–327 ; A. L. Semenov, S. F. Soprunov, “The lattice of definability. Origins and directions of research”, Doklady Mathematics (Supplementary issues), 106:2 (2022), 288–298
Gabriel Conant, “Multiplicative structure in stable expansions of the group of integers”, Illinois J. Math., 62:1-4 (2018)
Alexei Semenov, Sergey Soprunov, Vladimir Uspensky, Lecture Notes in Computer Science, 8476, Computer Science - Theory and Applications, 2014, 23
Ю. Л. Притыкин, “Почти периодичность, конечно-автоматные преобразования и вопросы эффективности”, Изв. вузов. Матем., 2010, № 1, 74–87 ; Yu. L. Pritykin, “Almost periodicity, finite automata mappings, and related effectiveness issues”, Russian Math. (Iz. VUZ), 54:1 (2010), 59–69