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
Xuan-Bach Le, Aquinas Hobor, Anthony W. Lin, Lecture Notes in Computer Science, 11275, Programming Languages and Systems, 2018, 89
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott, Lecture Notes in Computer Science, 11152, Rewriting Logic and Its Applications, 2018, 98