编辑配置文件（在新选项卡中打开） 菲利普·温德勒 合著者距离 作者ID： 温德勒·菲利普 发布日期： 菲利普·温德勒 已编制索引的文档： 3出版物自2016年起 合著者： 4位合著者具有3联合出版物 48位合作作者 合著者 0 单作者的 2 德克·拜尔 2 马蒂亚斯·丹格尔 1 埃戈尔·乔治·卡彭科夫 1 大卫·莫尼奥（David P.Monniaux）。 系列 2 自动推理杂志 领域 三 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用5中的次5文件 引用人▼ 年份▼ 基于SMT的软件验证的统一观点。 Zbl 1426.68041号 德克·拜尔;马蒂亚斯·丹格尔;菲利普·温德勒 4 2018 使用本地策略迭代进行程序分析。 Zbl 1475.68092号 埃戈尔·乔治·卡彭科夫;戴维·莫尼奥;菲利普·温德勒 1 2016 基于SMT的软件验证的统一观点。 Zbl 1426.68041号 德克·拜尔;马蒂亚斯·丹格尔;菲利普·温德勒 4 2018 使用本地策略迭代进行程序分析。 Zbl 1475.68092号 埃戈尔·乔治·卡彭科夫;戴维·莫尼奥;菲利普·温德勒 1 2016 全部的 前5名被10位作者引用 1 德克·拜尔 1 Boutonet，雷米 1 马蒂亚斯·丹格尔 1 吉登·恩斯特 1 阿科斯·哈伊杜 1 尼古拉斯·哈尔巴赫斯 1 佐尔坦·米斯克 1 阿里·萨拉马蒂 1 萨代赫·苏贾尼 1 马吉德·扎马尼 引用于3个系列 1 Automatica公司 1 自动推理杂志 1 系统设计中的形式化方法 在4个字段中引用 4 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 统计学（62-XX） 1 系统论；控制（93至XX） 按年份列出的引文