Mariam Beriashvili, Besik Dundua, Advances in Intelligent Systems and Computing, 453, Advanced Computational Methods for Knowledge Engineering, 2016, 115
Artur Jeż, “One-Variable Word Equations in Linear Time”, Algorithmica, 74:1 (2016), 1
Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar, Lecture Notes in Computer Science, 9779, Computer Aided Verification, 2016, 218
Przemysław Daca, Thomas A. Henzinger, Andrey Kupriyanov, Lecture Notes in Computer Science, 9780, Computer Aided Verification, 2016, 230
Adria Gascon, Ashish Tiwari, Manfred Schmidt Schaus, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, 499
Joseph D. Scott, Pierre Flener, Justin Pearson, Lecture Notes in Computer Science, 9075, Integration of AI and OR Techniques in Constraint Programming, 2015, 375
Volker Diekert, Lecture Notes in Computer Science, 9270, Algebraic Informatics, 2015, 22
Klaus-Dieter Schewe, Qing Wang, Mariam Rady, Lecture Notes in Computer Science, 9344, Model and Data Engineering, 2015, 128
Ferte J., Marin N., Senizergues G., “Word-Mappings of Level 2”, Theor. Comput. Syst., 54:1 (2014), 111–148
Temur Kutsia, Mircea Marin, “Regular expression order-sorted unification and matching”, Journal of Symbolic Computation, 2014