编辑配置文件(在新选项卡中打开) 墨菲·贝尔齐什 合著者距离 作者ID: 贝齐什·墨菲 发布日期: 墨菲·贝尔齐什 已编制索引的文档: 4出版物自2017年起 合著者: 11位合著者具有4联合出版物 218合著作者 全部的 前5名合著者 0 单作者的 4 Ganesh,维杰 三 戴,乔尔·D·。 三 米贾·库尔琴斯基 三 弗罗林·马内亚 三 费德里科·莫拉 三 德克·诺沃特卡 1 朱利安·杜比 1 萨努苏布拉曼尼亚语 1 奥马尔·特里普 1 张向宇 1 郑云辉 系列 1 理论计算机科学 1 系统设计中的形式化方法 字段 4 计算机科学(68-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 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 所有引用出版物 排名前五的出版物 全部的 前5名26位作者引用 5 米贾·库尔琴斯基 5 德克·诺沃特卡 三 Murphy贝尔齐什 三 戴,乔尔·D·。 三 Ganesh,维杰 三 弗罗林·马内亚 三 费德里科·莫拉 2 丹尼·鲍尔森(Danny Bougsted Poulsen) 2 凯文·洛茨 1 安德鲁·W·阿佩尔。 1 弗兰蒂舍克·布拉胡德克 1 陈玉芳 1 乔利亚特,大卫 1 弗朗西斯科·杜兰 1 史蒂文·艾克 1 圣地亚哥埃斯科瓦尔 1 沃伊特·哈夫勒纳 1 卢卡什·霍利克 1 Ondřej Lengál 1 马丁·奥列特,纳西索 1 何塞·梅塞盖尔·瓜伊塔 1 鲁本·卢比奥 1 安德斯·施利奇特克鲁尔 1 尤拉吉·西奇 1 卡罗琳·塔尔科特。 1 王钦石 3篇连载文章中引用 1 理论计算机科学 1 自动推理杂志 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 9 计算机科学(68-XX) 按年份列出的引文