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
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina, “Decision Procedures for Flat Array Properties”, J Autom Reasoning, 2015
Alberti F., Ghilardi S., Sharygina N., “A New Acceleration-Based Combination Framework for Array Properties”, Frontiers of Combining Systems, Lecture Notes in Computer Science, 9322, eds. Lutz C., Ranise S., Springer-Verlag Berlin, 2015, 169–185
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina, Lecture Notes in Computer Science, 8413, Tools and Algorithms for the Construction and Analysis of Systems, 2014, 15
М. Н. Вялый, А. А. Рубцов, “Алгоритмическая разрешимость задач о поведении автоматов на сверхсловах”, Дискретн. анализ и исслед. опер., 19:2 (2012), 3–18
Alexander Rabinovich, “The Church problem for expansions of by unary predicates”, Information and Computation, 2012
Alla Sirokofskich, “Decidability questions for a ring of Laurent polynomials”, Annals of Pure and Applied Logic, 2011
Alexis Bès, Alexander Rabinovich, Bruno Courcelle, “Decidable Expansions of Labelled Linear Orderings”, Log.Meth.Comput.Sci, 7:2 (2011)