Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen, Lecture Notes in Computer Science, 11674, Reachability Problems, 2019, 93
Aleksi Saarela, Lecture Notes in Computer Science, 11682, Combinatorics on Words, 2019, 60
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukáš Holík, Petr Janků, Lecture Notes in Computer Science, 11781, Automated Technology for Verification and Analysis, 2019, 277
А. Н. Непейвода, “Заметка об автоматическом решении квадратичных уравнений в словах”, Программные системы: теория и приложения, 9:2 (2018), 3–21
С. И. Адян, “Об исследованиях Геннадия Семёновича Маканина по алгоритмическим вопросам теории групп и полугрупп”, УМН, 73:3(441) (2018), 183–196 ; S. I. Adian, “On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups”, Russian Math. Surveys, 73:3 (2018), 553–568
Anthony W. Lin, Rupak Majumdar, Lecture Notes in Computer Science, 11138, Automated Technology for Verification and Analysis, 2018, 352
Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu, “What is decidable about string constraints with the ReplaceAll function”, Proc. ACM Program. Lang., 2:POPL (2018), 1
Lukáš Holík, Petr Janků, Anthony W. Lin, Philipp Rümmer, Tomáš Vojnar, “String constraints with concatenation and transducers solved efficiently”, Proc. ACM Program. Lang., 2:POPL (2018), 1
Lars Kristiansen, Juvenal Murwanashyaka, Lecture Notes in Computer Science, 10936, Sailing Routes in the World of Computation, 2018, 244
Quang Loc Le, Mengda He, Lecture Notes in Computer Science, 11275, Programming Languages and Systems, 2018, 350