zbMATH中的参考文献（参考文献17条)

1. 贝齐什，墨菲；白天，乔尔D。；加内什，维杰；库尔钦斯基，米佳；玛尼娅，弗洛林；莫拉，费德里科；Nowotka，Dirk:涉及正则成员谓词的字符串理论：从实践到理论再到回来（2021）
2. 加雷塔，阿尔伯特；Gray，Robert D.：关于单关联幺半群的方程和一阶理论（2021）
3. 阿玛蒂尼，罗伯托；恒河，格雷姆；Stuckey，Peter J.：字符串约束求解的虚线字符串（2020）
4. 阿卜杜拉，帕罗什·阿齐兹；阿蒂格，Mohamed Faouzi；迪普，比菲；霍利克，卢卡什；Janků，Petr:自由链约束（2019）
5. 白天，乔尔D。；加内什，维杰；他，保罗；玛尼娅，弗洛林；Nowotka，Dirk:词方程的可满足性：可判定与不可判定理论（2018）
6. 阿玛蒂尼，罗伯托；弗莱纳，皮埃尔；皮尔逊，贾斯汀；斯科特，约瑟夫D。；斯图基，彼得J。；Tack，Guido:MiniZinc with strings（2017年）
7. Wüstholz，瓦伦丁；奥利沃，奥斯瓦尔多；海勒，玛丽安·J·H。；Dillig，Isil:使用正则表达式的程序中DoS漏洞的静态检测（2017）
8. 郑云辉；加内什，维杰；苏布拉曼尼亚，萨努；特里普，奥默；贝齐什，墨菲；杜比，朱利安；张向宇：Z3str2：字符串、正则表达式和长度约束的高效求解器（2017）
9. 梁天一；雷诺兹，安德鲁；内斯坦，卡里兹；蒂内利，塞萨尔；巴雷特，克拉克；Deters，Morgan：字符串约束的有效SMT解算器（2016）
10. 普罗霍伦科，维克托；周金光雷蒙德；Ashman，Helen:面向上下文的web应用程序保护模型（2016）
11. 梁天一；内斯坦，卡里兹；雷诺兹，安德鲁；蒂内利，塞萨尔；Barrett，Clark:无界弦上正则成员和长度约束的决策过程（2015）
12. 余方；阿尔卡拉夫、穆阿特；布尔坦、特夫菲克；Ibarra，Oscar H.：用于漏洞检测的基于自动机的符号字符串分析（2014）
13. 福、香；鲍威尔，迈克尔·C。；班特吉，迈克尔；李忠志：简单线性字符串约束（2013）
14. 小牛肉，马格斯；比约纳，尼古拉：《符号自动机：工具箱》（2012）
15. 胡伊梅杰，彼得；Veanes，Margus:字符串分析的自动机算法评估（2011）
16. 余方；布尔坦、特夫菲克；Ibarra，Oscar H.：使用多轨道自动机进行关系字符串验证（2011）
17. 余方；阿尔卡拉夫、穆阿特；Bultan，Tevfik:ranger:PHP的基于自动机的字符串分析工具（2010）ioport公司