×
作者ID: 贝齐什·墨菲“Berzish,Murphy”最近发表的zbMATH文章
发布日期: 墨菲·贝尔齐什
已编制索引的文档: 4出版物自2017年起
合著者: 11位合著者具有4联合出版物
218合著作者

按年份列出的出版物

zbMATH Open中包含的引文

出版物有被引用13中的次9文件 引用人 年份
用于字符串长度上的正则表达式和线性算法的SMT解算器。 Zbl 1493.68182号
墨菲·贝尔齐什;米贾·库尔琴斯基;费德里科·莫拉;弗罗林·马内亚;戴,乔尔·D·。;德克·诺沃特卡;Ganesh,维杰
5
2021
涉及正则成员谓词的字符串理论:从实践到理论再到实践。 Zbl 1528.68425号
Murphy贝尔齐什;戴,乔尔·D·。;Ganesh,维杰;米贾·库尔琴斯基;弗罗林·马内亚;费德里科·莫拉;德克·诺沃特卡
4
2021
Z3str2:字符串、正则表达式和长度约束的高效求解器。 Zbl 1360.68773号
郑云辉;Ganesh,维杰;萨努苏布拉曼尼亚语;奥马尔·特里普;墨菲·贝尔齐什;朱利安·杜比;张湘玉
4
2017
用于字符串长度上的正则表达式和线性算法的SMT解算器。 Zbl 1493.68182号
墨菲·贝尔齐什;米贾·库尔琴斯基;费德里科·莫拉;弗罗林·马内亚;戴,乔尔·D·。;德克·诺沃特卡;Ganesh,维杰
5
2021
涉及正则成员谓词的字符串理论:从实践到理论再到实践。 Zbl 1528.68425号
墨菲·贝尔齐什;戴,乔尔·D·。;Ganesh,维杰;米贾·库尔琴斯基;弗罗林·马内亚;费德里科·莫拉;德克·诺沃特卡
4
2021
Z3str2:字符串、正则表达式和长度约束的高效求解器。 Zbl 1360.68773号
郑云辉;Ganesh,维杰;萨努苏布拉曼尼亚语;奥马尔·特里普;墨菲·贝尔齐什;朱利安·杜比;张湘玉
4
2017

在1个字段中引用

9 计算机科学(68-XX)

按年份列出的引文