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
Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell, “Deciding ω-regular properties on linear recurrence sequences”, Proc. ACM Program. Lang., 5:POPL (2021), 1
Ф. А. Дудкин, А. В. Трейер, “Задача о рюкзаке для групп Баумслага–Солитера”, Сиб. журн. чист. и прикл. матем., 18:4 (2018), 43–55
Н. Н. Корнеева, “Автоматные преобразования префиксно разрешимых и разрешимых по Бюхи сверхслов”, Изв. вузов. Матем., 2016, № 7, 55–65 ; N. N. Korneeva, “Automata transformations of prefix decidable and decidable by Buchi superwords”, Russian Math. (Iz. VUZ), 60:7 (2016), 47–55