编辑配置文件（在新选项卡中打开） 王，弯腰 合著者距离 作者ID： 王保佑 发布日期： 王，弯腰 已编制索引的文档： 31出版物自1994年以来 合著者： 37位合著者具有27联合出版物 1019合著作者 全部的 前5名合著者 4 单作者的 5 张丽君 4 陈玉芳 4 他，费 4 容伯姆·荣格 4 Tsay，Yih-Kuen先生 4 Yi，Kwangkeun先生 三 刘德鹏 三 于、方 2 克拉克（Edmund Melson jun Clarke）。 2 阿扎德法尔赞 2 黄耿典 2 孔顺浩 2 Lee，Wonchan先生 2 孙家光 2 蔡明勋 2 杨伯寅 2 Yen、Hsuchun 2 周敏 1 拉杰夫·阿鲁尔 1 克里斯蒂娜·大卫 1 付，陈 1 傅玉福 1 高晓伟 1 顾，明 1 顾，明 1 Chih-Duo洪 1 黄耀文 1 刘嘉祥 1 孟文瑞 1 穆冠宇 1 安迪·波利亚科夫 1 石小木 1 杨明尚 1 杨明生 1 甄子丹，狄德 1 尹良泽 1 张连毅 全部的 前5名系列 4 国际计算机科学基础杂志 1 理论计算机科学 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 1 计算系统理论 1 应用数学杂志 1 计算机科学中的逻辑方法 全部的 前5名领域 31 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 三 运筹学、数学规划（90-XX） 2 数论（11-XX） 2 概率论与随机过程（60-XX） 1 近似和展开（41至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用78中的次66文件 引用人▼ 年份▼ 将自动合成验证扩展到整个欧米伽规则语言类。 Zbl 1134.68406号 阿扎德法尔赞；陈玉芳；埃德蒙·克拉克（Edmund M.Clarke）。；Tsay，Yih-Kuen先生；王，弯腰 24 2008 学习用于成分验证的最小分离DFA。 Zbl 1234.68166号 陈玉芳；阿扎德法尔赞；埃德蒙·克拉克（Edmund M.Clarke）。；Tsay，Yih-Kuen先生；王，弯腰 21 2009 在并发概率系统的组合推理中利用加权自动机。 Zbl 1346.68133号 他，费；高晓伟；王，弯腰；张丽君 5 2015 通过算法学习、决策过程和谓词抽象导出不变量。 Zbl 1248.68272号 容伯姆·荣格；孔顺浩；王，弯腰；Yi，Kwangkeun先生 5 2010 有界元素的数组理论及其应用。 Zbl 1314.03017号 周敏；他，费；王，弯腰；顾，明；孙家光 4 2014 用基于SAT的模型检查来证明\（\ for all \ mu \）-微积分属性。 Zbl 1169.68519号 王，弯腰 三 2005 反例引导的拉格朗日插值多项式循环不变量生成。 Zbl 1381.68049号 陈玉芳；Chih-Duo洪；王，弯腰；张丽君 三 2015 模型检查差异私有属性。 Zbl 1519.68137号 刘德鹏；王，弯腰；张丽君 三 2018 通过符号细化检查验证网络协议实现。 Zbl 0991.68546号 拉杰夫·阿鲁尔；王，弯腰 2 2001 基于学习的无量词循环不变量推理的谓词生成。 Zbl 1315.68097号 容伯姆·荣格；Lee，Wonchan先生；王，弯腰；Yi，Kwangkuen先生 2 2011 \Maude中的（mu）-微积分模型检查。 Zbl 1272.68201号 王，弯腰 2 2005 自动合成推理中合成规则的自动推导。 Zbl 1151.68491号 王，弯腰 1 2007 通过算法学习自动推断循环不变量。 Zbl 1361.68067号 容伯姆·荣格；孔顺浩；克里斯蒂娜·大卫；王，弯腰；Yi，Kwangkeun先生 1 2015 验证加密原语中的算术汇编程序（受邀演讲）。 Zbl 1520.68078号 安迪·波利亚科夫；蔡明勋；王，弯腰；杨伯寅 1 2018 在隐马尔可夫模型中验证Pufferfish隐私。 兹比尔1498.68104 刘德鹏；王，弯腰；张丽君 1 2022 在隐马尔可夫模型中验证Pufferfish隐私。 Zbl 1498.68104号 刘德鹏；王，弯腰；张丽君 1 2022 模型检查差异私有属性。 Zbl 1519.68137号 刘德鹏；王，弯腰；张丽君 三 2018 验证加密原语中的算术汇编程序（受邀演讲）。 Zbl 1520.68078号 安迪·波利亚科夫；蔡明勋；王，弯腰；杨伯寅 1 2018 在并发概率系统的组合推理中利用加权自动机。 Zbl 1346.68133号 他，费；高晓伟；王，弯腰；张丽君 5 2015 反例引导的拉格朗日插值多项式循环不变量生成。 Zbl 1381.68049号 陈玉芳；Chih-Duo洪；王，弯腰；张丽君 三 2015 通过算法学习自动推断循环不变量。 Zbl 1361.68067号 容伯姆·荣格；孔顺浩；克里斯蒂娜·大卫；王，弯腰；Yi，Kwangkeun先生 1 2015 有界元素的数组理论及其应用。 Zbl 1314.03017号 周敏；他，费；王，弯腰；顾，明；孙家光 4 2014 基于学习的无量词循环不变量推理的谓词生成。 兹比尔1315.68097 容伯姆·荣格；Lee，Wonchan先生；王，弯腰；Yi，Kwangkuen先生 2 2011 通过算法学习、决策过程和谓词抽象导出不变量。 Zbl 1248.68272号 容伯姆·荣格；孔顺浩；王，弯腰；Yi，Kwangkeun先生 5 2010 学习用于成分验证的最小分离DFA。 Zbl 1234.68166号 陈玉芳；阿扎德法尔赞；埃德蒙·克拉克（Edmund M.Clarke）。；Tsay，Yih-Kuen先生；王，弯腰 21 2009 将自动合成验证扩展到整个欧米伽规则语言类。 Zbl 1134.68406号 阿扎德法尔赞；陈玉芳；埃德蒙·克拉克（Edmund M.Clarke）。；Tsay，Yih-Kuen先生；王，弯腰 24 2008 自动合成推理中合成规则的自动推导。 Zbl 1151.68491号 王，弯腰 1 2007 使用基于SAT的模型检查证明\（\对于所有\ mu\）-演算属性。 Zbl 1169.68519号 王，弯腰 三 2005 \Maude中的（mu）-微积分模型检查。 Zbl 1272.68201号 王，弯腰 2 2005 通过符号细化检查验证网络协议实现。 Zbl 0991.68546号 拉杰夫·阿鲁尔；王，弯腰 2 2001 所有引用出版物 前5名被引用出版物 全部的 前5名147位作者引用 8 王，弯腰 7 达纳·菲斯曼 6 达纳·安格鲁因 6 奥尔纳·格伦伯格 6 张丽君 5 卢卡什，霍利克 5 沙龙·肖姆 5 汤姆·沃纳 4 陈玉芳 4 Ondřej Lengál 4 刘德鹏 4 科琳娜·s·佩斯勒诺。 4 詹乃军 三 安、杰 三 陈明帅 三 詹伯华 2 卡拉姆Abd Elkader 2 埃齐奥·巴托西 2 克里斯蒂安·艾森特罗 2 汤姆·菲多尔 2 哈达尔·弗兰克尔 2 佩德罗·加西亚 2 Jens Chr.Godskesen。 2 沃伊特·哈夫勒纳 2 海姆，皮尔雷·科里尔 2 霍尔格·赫尔曼斯 2 容伯姆·荣格 2 迪帕克·卡普尔 2 科瓦奇，劳拉·伊尔迪科 2 李勇 2 达米安·洛佩斯 2 西里尔·尼科德 2 西尔万·施密茨 2 莎莱·申瓦尔德 2 宋磊 2 米罗斯拉夫斯坦科维奇 2 Tsay，Yih-Kuen先生 2 曼努埃尔·Vázquez de Parga 2 Yi，Kwangkeun先生 2 张苗苗 2 张文辉 1 帕罗什·阿齐兹·阿卜杜拉 1 亚历克斯·艾肯 1 蒂莫斯·安东尼奥普洛斯 1 普拉纳夫，阿沙尔 1 豪克·巴勒 1 鲍嘉璐 1 斯蒂芬·巴特 1 德克·拜尔 1 亨利克·比约克隆德 1 约翰娜·比约克隆德 1 乌迪·博克 1 保罗·布鲁内特 1 陈志远 1 Stephen Chong先生 1 文森佐·西安西亚 1 克拉克（Edmund Melson jun Clarke）。 1 戴丽云 1 克里斯蒂娜·大卫 1 吉安·彼得罗·法里纳 1 阿扎德法尔赞 1 约塔姆·M·Y·费尔德曼。 1 亨宁费尔瑙 1 尼尔斯·弗利什哈克 1 杰弗里·福斯特。 1 付，陈 1 傅玉福 1 马可·加博阿迪 1 甘婷 1 马来K·加奈。 1 普拉纳夫·加格 1 玛丽安·盖奥吉 1 迪米特拉·吉安娜科波卢 1 苏米特·古尔瓦尼 1 阿尔蒂·古普塔 1 Heggenes，皮纳尔 1 贾斯汀·徐 1 黄耿典 1 黄洪涛 1 黄绍斌 1 佛罗伦萨伊帕特 1 弗兰乔·伊万契奇 1 彼得·扬克 1 大卫·詹森（David N.Jansen）。 1 金、项羽 1 托比亚斯·卡佩 1 孔顺浩 1 约翰内斯·克虏伯 1 Marta Z.Kwiatkowska。 1 Lee，Wonchan先生 1 拉卢卡左翼 1 Lin，Anthony Widjaja 1 刘嘉祥 1 马耳他州洛豪 1 克里斯托夫·Löding 1 阿莱西奥·洛穆西奥 1 克里斯蒂安·卢梅扎努 1 吕天阳 1 帕塔萨拉西马杜苏丹 1 朱利奥·马拉沃尔塔 …还有47位作者 全部的 前5名15篇连载文章中引用 10 理论计算机科学 6 信息与计算 三 程序设计中的逻辑和代数方法杂志 2 信息学报 2 计算的形式方面 2 系统设计中的形式化方法 2 计算机科学中的逻辑方法 1 人工智能 1 信息处理信件 1 信息科学 1 计算机与系统科学杂志 1 计算机科学与技术杂志 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 全部的 前5名在7个字段中引用 62 计算机科学（68至XX） 11 数学逻辑和基础（03-XX） 2 运筹学、数学规划（90-XX） 1 概率论与随机过程（60-XX） 1 统计学（62-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文