编辑配置文件（在新选项卡中打开） 戴维·戴哈贝 合著者距离 作者ID： 大卫 发布日期： 戴维·戴哈贝；戴维·德哈比 已编制索引的文档： 14出版物自1992年起 2作为编辑的贡献 合著者： 22合著者具有14份联合出版物 314位合作作者 全部的 前5名合著者 2 单作者的 4 马丁斯·莫雷拉，阿纳玛丽亚 三 帕斯卡·方丹 三 西尔维奥·兰伊斯 2 安娜·卡瓦尔坎蒂 2 德奥利维拉，迭戈·卡米尼亚B。 2 克里斯托夫·林盖森 1 多米尼克·博里奥内 1 Sérgio V.A.坎波斯。 1 翁贝托·科斯塔 1 巴蒂拉·丹塔斯 1 汉斯·伊夫金 1 斯蒂芬森·S·L·加尔沃。 1 玛丽·克劳德·高德尔 1 斯特凡·Höreth 1 阿卜杜萨马德·伊明 1 格雷德森·利马 1 瓦莱里奥·梅德罗斯·朱尼尔 1 斯蒂芬·默兹 1 约旦维达尔 1 维埃拉（Newton José） 1 布鲁诺沃尔岑洛格尔古 1 詹姆斯·C·P·伍德科克。 系列 2 计算机程序设计科学 1 理论计算机科学 1 逻辑与代数程序设计杂志 1 计算机科学课堂讲稿 领域 16 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用24中的次22文件 引用人▼ 年份▼ 利用SMT问题中的对称性。 Zbl 1341.68187号 戴维·戴哈贝；帕斯卡·方丹；斯蒂芬·默兹；布鲁诺沃尔岑洛格尔古 10 2011 将轻量级定理证明应用于指针程序的调试和验证。 Zbl 1261.68106号 西尔维奥·兰伊斯；戴维·戴哈贝 7 2003 SMT-solver在B和Event-B开发环境中的集成。 Zbl 1264.68056号 戴维·戴哈贝 三 2013 通过（模型-）等式传播组合决策过程。 Zbl 1243.68150号 de Oliveira，Diego Caminha B。；戴维·戴哈贝；帕斯卡·方丹 1 2012 数组程序的抽象驱动验证。 Zbl 1109.68578号 戴维·戴哈贝；阿卜迪萨马德·伊明；西尔维奥·兰伊斯 1 2004 通过（模型-）等式传播组合决策过程。 Zbl 1347.68309号 de Oliveira，Diego Caminha B。；戴维·戴哈贝；帕斯卡·方丹 1 2009 通过重写时序逻辑公式改进符号模型检查。 Zbl 1045.68091号 戴维·戴哈贝；阿纳玛丽亚·马丁斯·莫雷拉；克里斯托夫·林盖森 1 2002 SMT-solver在B和Event-B开发环境中的集成。 Zbl 1264.68056号 戴维·戴哈贝 三 2013 通过（模型-）等式传播组合决策过程。 Zbl 1243.68150号 de Oliveira，Diego Caminha B。；戴维·戴哈贝；帕斯卡·方丹 1 2012 利用SMT问题中的对称性。 Zbl 1341.68187号 戴维·戴哈贝；帕斯卡·方丹；斯蒂芬·默兹；布鲁诺沃尔岑洛格尔古 10 2011 通过（模型-）等式传播组合决策过程。 Zbl 1347.68309号 de Oliveira，Diego Caminha B。；戴维·戴哈贝；帕斯卡·方丹 1 2009 数组程序的抽象驱动验证。 Zbl 1109.68578号 戴维·戴哈贝；阿卜杜萨马德·伊明；西尔维奥·兰伊斯 1 2004 将轻量级定理证明应用于指针程序的调试和验证。 Zbl 1261.68106号 西尔维奥·兰伊斯；戴维·戴哈贝 7 2003 通过重写时态逻辑公式改进符号模型检查。 Zbl 1045.68091号 戴维·戴哈贝；阿纳玛丽亚·马丁斯·莫雷拉；克里斯托夫·林盖森 1 2002 所有引用出版物 前5名被引用出版物 全部的 前5名69位作者引用 4 帕斯卡·方丹 三 克拉克·W·巴雷特。 三 戴维·戴哈贝 三 西尔维奥·兰伊斯 三 安德鲁·雷诺兹 三 塞萨尔·蒂内利 2 哈尼尔·巴博萨 2 穆纳乔·埃切宁 2 德坎·特兰 1 卡洛斯·阿雷塞斯 1 贾斯敏·克里斯蒂安·布兰切特 1 西蒙·布利兹 1 玛丽亚·保拉（Maria Paola Bonacina） 1 马可·波扎诺 1 布莱特，柯蒂斯 1 罗伯特·布鲁托梅索 1 Cheng，Xi（西成） 1 亚历山德罗·西马蒂 1 马克西米利亚诺·克里斯蒂亚 1 Czarnecki、Krzysztof 1 德奥利维拉，迭戈·卡米尼亚B。 1 邓玉欣 1 Deters，摩根 1 巴勃罗·费德里科·多巴尔 1 段振华 1 马蒂亚斯·弗勒里 1 维杰·加内什 1 西尔维奥·吉拉尔迪 1 阿尔伯特·海因勒 1 侯泽晨 1 安蒂·E·J·海瓦·里宁。 1 马克西米利安·亚罗斯切克 1 汤米·A·琼蒂拉。 1 科齐里亚斯（Ilias S.Kotsireas）。 1 基里恩·克莱默 1 维克多·昆卡 1 汉娜·拉奇尼特 1 马，钱 1 艾瑞克·马德琳 1 马特奥·马雷斯科蒂 1 约翰·克里斯托弗（John Christopher McCabe-Dansted） 1 斯蒂芬·默兹 1 恩里卡·尼科里尼 1 艾娜·尼梅茨 1 安德烈斯·诺兹利 1 伊泽基尔·奥贝 1 亚历克斯·奥兹德米尔 1 尼古拉斯·佩尔蒂埃 1 马蒂亚斯·普雷纳 1 秦旭东 1 马克·亚历山大·雷诺兹 1 吉安弗兰科·罗西 1 罗伯托·塞巴斯蒂亚尼 1 娜塔莎·莎莉吉娜 1 宋晓宇 1 孙家光 1 Ta、Quang-Trung 1 彼得·范·罗苏姆 1 约旦维达尔 1 阿琼·维斯瓦纳坦 1 斯科特·维特里 1 王晓兵 1 布鲁诺沃尔岑洛格尔古 1 张敏 1 张楠 1 周敏 1 尤尼·佐哈尔 1 丹尼尔·祖切利 1 爱德华·祖尔科斯基 全部的 前5名12篇连载文章中引用 5 自动推理杂志 1 信息学报 1 人工智能 1 理论计算机科学 1 计算机程序设计科学 1 符号计算杂志 1 信息与计算 1 计算的形式方面 1 系统设计中的形式化方法 1 数学与人工智能年鉴 1 逻辑程序设计理论与实践 1 应用逻辑杂志 在3个字段中引用 22 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 1 组合数学（05-XX） 按年份列出的引文