277 citations to https://www.mathnet.ru/rus/sm2805
-
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukáš Holík, Ahmed Rezine, Philipp Rümmer, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017, 602
-
Pablo Barceló, Pablo Muñoz, “Graph Logics with Rational Relations”, ACM Trans. Comput. Logic, 18:2 (2017), 1
-
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukáš Holík, Ahmed Rezine, Philipp Rümmer, “Flatten and conquer: a framework for efficient analysis of string constraints”, SIGPLAN Not., 52:6 (2017), 602
-
Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang, “Z3str2: an efficient solver for strings, regular expressions, and length constraints”, Form Methods Syst Des, 50:2-3 (2017), 249
-
В. Г. Дурнев, О. В. Зеткина, А. И. Зеткина, “Об уравнениях и неравенствах в словах и длинах”, Чебышевский сб., 17:2 (2016), 137–145
-
Szabo P., Siekmann J., Hoche M., “What Is Essential Unification?”, Martin Davis on Computability, Computational Logic, and Mathematical Foundations, Outstanding Contributions to Logic, 10, eds. Omodeo E., Policriti A., Springer International Publishing Ag, 2016, 285–314
-
Clark Barrett, Cesare Tinelli, Morgan Deters, Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze, Proceedings of the Symposium and Bootcamp on the Science of Security, 2016, 4
-
Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze, Cesare Tinelli, Clark Barrett, Morgan Deters, “An efficient SMT solver for string constraints”, Form Methods Syst Des, 48:3 (2016), 206
-
Mariam Beriashvili, Besik Dundua, Advances in Intelligent Systems and Computing, 453, Advanced Computational Methods for Knowledge Engineering, 2016, 115
-
Artur Jeż, “One-Variable Word Equations in Linear Time”, Algorithmica, 74:1 (2016), 1