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
Mikhail R. Starchak, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2025, 44
Hao Wu, Yu-Fang Chen, Zhilin Wu, Bican Xia, Naijun Zhan, “A decision procedure for string constraints with string/integer conversion and flat regular constraints”, Acta Informatica, 61:1 (2024), 23
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
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell, “The monadic theory of toric words”, Theoretical Computer Science, 2024, 114959
Christian Servin, Olga Kosheleva, Vladik Kreinovich, Studies in Systems, Decision and Control, 484, Uncertainty, Constraints, and Decision Making, 2023, 135
Richard Mandel, Alexander Ushakov, “The Diophantine problem for systems of algebraic equations with exponents”, Journal of Algebra, 636 (2023), 779
Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Joël Ouaknine, James Worrell, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023, 1
Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell, “What's decidable about linear loops?”, Proc. ACM Program. Lang., 6:POPL (2022), 1