Pablo Barceló, Pablo Muñoz, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014, 1
Volker Diekert, Artur Jeż, Wojciech Plandowski, Lecture Notes in Computer Science, 8476, Computer Science - Theory and Applications, 2014, 1
Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé, Michaël Larouche, Lecture Notes in Computer Science, 8370, Language and Automata Theory and Applications, 2014, 186
Baader F., Okhotin A., “On Language Equations with One-Sided Concatenation”, Fundam. Inform., 126:1 (2013), 1–35
Yunhui Zheng, Xiangyu Zhang, Vijay Ganesh, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, 2013, 114
Michaël Larouche, Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé, Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013, 104
Xiang Fu, Michael C. Powell, Michael Bantegui, Chung-Chih Li, “Simple linear string constraints”, Form Asp Comp, 2012
Kiezun A., Ganesh V., Artzi Sh., Guo Ph.J., Hooimeijer P., Ernst M.D., “Hampi: a Solver for Word Equations Over Strings, Regular Expressions, and Context-Free Grammars”, ACM Trans. Softw. Eng. Methodol., 21:4 (2012), 25
Ernest Davis, Advances in Geospatial Technologies, Qualitative Spatio-Temporal Representation and Reasoning, 2012, 97
Mari Huova, Juhani Karhumäki, Lecture Notes in Computer Science, 7300, Languages Alive, 2012, 99