编辑配置文件（在新选项卡中打开） 大卫·L·迪尔。 合著者距离 作者ID： 迪尔·戴维德 发布日期： 大卫·L·迪尔。；大卫·迪尔；迪尔·D·L。 更多。。。较少的 已编制索引的文档： 45出版物自1986年起 1作为编辑的贡献 合著者： 50位合著者具有43联合出版物 824位合作作者 全部的 前5名合著者 三 单作者的 10 克拉克·W·巴雷特。 6 谢尔盖·贝雷津 6 阿伦·斯塔姆 4 拉杰夫·阿鲁尔 三 克拉克（Edmund Melson jun Clarke）。 三 维杰·加内什 三 萨布拉曼尼亚·伊耶。 三 贾瓦哈尔·贾因 三 Paul N.Loewenstein。 三 德巴希·萨胡 2 胡萨姆·阿布·海姆 2 迈克尔·C·布朗。 2 科斯塔斯·库库贝蒂斯。 2 Das、Satyaki 2 埃默森，欧内斯特·艾伦 2 沃尔夫冈·格里斯坎普 2 凯尔·D·朱利安。 2 卡茨，盖伊 2 Mykel J.Kochenderfer。 2 安德烈斯·诺兹利 2 Park，Junkil公园 2 Park，Seungjoon公园 2 沙兹·卡迪尔 2 安德鲁·雷诺兹 2 盛英 2 塞萨尔·蒂内利 2 Howard Wong-Toi，霍华德 2 尤尼·佐哈尔 1 杰里·伯奇。 1 查克拉波蒂，苏普拉特克 1 雅各布·张 1 玛莎·契契克 1 周庆孙 1 Shankar Govindaraju 1 阿里·古芬克尔 1 黄，L.J。 1 罗伯特·琼斯。 1 帕特里克·D·林肯。 1 肯尼思·麦克米兰。 1 巴德·米什拉 1 马丹拉尔·穆苏瓦蒂 1 阿米特·纳拉扬 1 史蒂文·诺威克（Steven M.Nowick）。 1 伊戈尔·什卡尼安 1 菅直人清水 1 Skakkebk，Jens U。 1 罗伯特·弗莱彻·斯普鲁尔 1 克里斯蒂安·斯坦吉尔 1 乌尔里希·斯特恩 1 Yun，Kenneth Y。 全部的 前5名系列 5 系统设计中的形式化方法 2 信息与计算 1 电气电子工程师学会计算机期刊 1 理论计算机科学 1 自动推理杂志 1 计算系统理论 1 萨达纳 1 计算机科学课堂讲稿 全部的 前5名领域 43 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 三 信息与通信理论、电路（94-XX） 1 总体主题；集合（00-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 29出版物有1476年被引用中的次1224文件 引用人▼ 年份▼ 时间自动机理论。 Zbl 0803.68071号 拉杰夫·阿鲁尔；大卫·L·迪尔。 752 1994 符号模型检查：（10^{20}）状态及以上。 Zbl 0753.68066号 J.R.伯奇。；E.M.克拉克。；麦克米兰，K.L。；迪尔·D·L。；黄，L.J。 195 1992 密集实时模型检查。 Zbl 0783.68076号 拉杰夫·阿鲁尔；科斯塔斯库尔库贝蒂斯；大卫·迪尔 122 1993 用于实时系统建模的自动机。 Zbl 0765.68150号 拉杰夫·阿鲁尔；大卫·迪尔 99 1990 Reluplex：用于验证深层神经网络的高效SMT求解器。 Zbl 1494.68167号 凯兹，盖伊；克拉克·巴雷特；大卫·L·迪尔。；凯尔·朱利安；Mykel J.Kochenderfer。 73 2017 概率实时系统的模型检查。 兹比尔0769.68088 拉杰夫·阿鲁尔；科斯塔斯库尔库贝蒂斯；大卫·迪尔 69 1991 位向量和数组的判定过程。 Zbl 1135.68472号 维杰·加内什；大卫·L·迪尔。 30 2007 具有谓词抽象的经验。 Zbl 1046.68589号 Das、Satyaki；大卫·L·迪尔。；Park，Seungjoon公园 19 1999 CVC：协同有效性检查器。 Zbl 1010.68720号 阿伦·斯塔姆；克拉克·W·巴雷特。；大卫·L·迪尔。 19 2002 通过增量转换到SAT来检查一阶公式的可满足性。 Zbl 1010.68531号 克拉克·W·巴雷特。；大卫·L·迪尔。；阿伦·斯塔姆 18 2002 使用时序逻辑对时序电路进行自动验证。 兹比尔0604.94011 迈克尔·C·布朗。；埃德蒙·克拉克（Edmund M.Clarke）。；大卫·L·迪尔。；巴德·米什拉 15 1986 肖斯塔克组合决策过程方法的推广。 Zbl 1057.68109号 克拉克·W·巴雷特。；大卫·L·迪尔。；阿伦·斯塔姆 13 2002 通过模型检验和与其他方法的比较确定Presburger算法。 Zbl 1019.68591号 维杰·加内什；谢尔盖·贝雷津；大卫·L·迪尔。 8 2002 并行化\（\text{Mur}\varphi\）验证器。 Zbl 1001.68073号 乌尔里希·斯特恩；大卫·迪尔 7 2001 CVC Lite中部分函数的实用方法。 Zbl 1272.03136号 谢尔盖·贝雷津；克拉克·巴雷特；伊戈尔·什卡尼安；玛莎·契契克；阿里·古芬克尔；大卫·L·迪尔。 6 2005 根据时间规范合成进程和调度程序。 Zbl 0765.68148号 Howard Wong-Toi，霍华德；大卫·L·迪尔。 6 1991 谓词抽象中基于反例的谓词发现。 Zbl 1019.68620号 Das、Satyaki；大卫·L·迪尔。 4 2002 合作决策程序的框架。 Zbl 0963.68177号 克拉克·W·巴雷特。；大卫·L·迪尔。；阿伦·斯塔姆 4 2000 混合整数线性算法的在线证明决策过程。 Zbl 1031.68584号 谢尔盖·贝雷津；维杰·加内什；大卫·L·迪尔。 三 2003 Reluplex：关于深层神经网络的推理演算。 Zbl 1522.68328号 凯兹，盖伊；克拉克·巴雷特；大卫·L·迪尔。；凯尔·朱利安；Mykel J.Kochenderfer。 2 2022 CAV’94，计算机辅助验证。第六届国际会议，1994年6月21日至23日，美国加利福尼亚州斯坦福市。诉讼程序。 Zbl 0875.00094号 2 1994 事件近似时间分离的高效算法。 Zbl 1018.68098号 查克拉波蒂，苏普拉特克；大卫·L·迪尔。；Yun，Kenneth Y。 2 2002 爱丁堡逻辑框架中更快的校对。 Zbl 1072.68594号 阿伦·斯塔姆；大卫·L·迪尔。 2 2002 使用SMT序列理论推理向量。 Zbl 07628185号 盛英；安德烈斯·诺兹利；安德鲁·雷诺兹；尤尼·佐哈尔；大卫·迪尔；沃尔夫冈·格里斯坎普；Park，Junkil公园；沙兹·卡迪尔；克拉克·巴雷特；塞萨尔·蒂内利 1 2022 基于BDD的验证的分区方法。 兹比尔1117.68435 德巴希·萨胡；萨布拉曼尼亚·伊耶；贾瓦哈尔·贾因；克里斯蒂安·斯坦吉尔；阿米特·纳拉扬；大卫·L·迪尔。；艾默生·E·艾伦 1 2004 增量堆规范化算法。 Zbl 1151.68377号 马丹拉尔·穆苏瓦蒂；大卫·L·迪尔。 1 2005 使用模拟关系和高阶逻辑验证多处理器缓存协议。 Zbl 0875.68135号 Loewenstein，Paul N。；大卫·L·迪尔。 1 1992 使用时序逻辑的自动电路验证：两个新示例。 Zbl 0613.94017号 迈克尔·C·布朗。；埃德蒙·克拉克（Edmund M.Clarke）。；大卫·L·迪尔。 1 1986 根据时间规范合成进程和调度程序。 Zbl 0786.68070号 Howard Wong-Toi，霍华德；大卫·L·迪尔。 1 1991 Reluplex：关于深层神经网络的推理演算。 Zbl 1522.68328号 凯兹，盖伊；克拉克·巴雷特；大卫·L·迪尔。；凯尔·朱利安；Mykel J.Kochenderfer。 2 2022 使用SMT序列理论推理向量。 Zbl 07628185号 盛英；安德烈斯·诺兹利；安德鲁·雷诺兹；尤尼·佐哈尔；大卫·迪尔；沃尔夫冈·格里斯坎普；Park，Junkil公园；沙兹·卡迪尔；克拉克·巴雷特；塞萨尔·蒂内利 1 2022 Reluplex：用于验证深层神经网络的高效SMT求解器。 Zbl 1494.68167号 凯兹，盖伊；克拉克·巴雷特；大卫·L·迪尔。；凯尔·朱利安；Mykel J.Kochenderfer。 73 2017 位向量和数组的判定过程。 Zbl 1135.68472号 维杰·加内什；大卫·L·迪尔。 30 2007 CVC Lite中部分函数的实用方法。 Zbl 1272.03136号 谢尔盖·贝雷津；克拉克·巴雷特；伊戈尔·什卡尼安；玛莎·契契克；阿里·古芬克尔；大卫·L·迪尔。 6 2005 增量堆规范化算法。 Zbl 1151.68377号 马丹拉尔·穆苏瓦蒂；大卫·L·迪尔。 1 2005 基于BDD的验证的分区方法。 Zbl 1117.68435号 德巴希·萨胡；萨布拉曼尼亚·伊耶；贾瓦哈尔·贾因；克里斯蒂安·斯坦吉尔；阿米特·纳拉扬；大卫·L·迪尔。；艾默生·E·艾伦 1 2004 混合整数线性算法的在线证明决策过程。 Zbl 1031.68584号 谢尔盖·贝雷津；维杰·加内什；大卫·L·迪尔。 三 2003 CVC：协同有效性检查器。 Zbl 1010.68720号 阿伦·斯塔姆；克拉克·W·巴雷特。；大卫·L·迪尔。 19 2002 通过增量转换到SAT来检查一阶公式的可满足性。 Zbl 1010.68531号 克拉克·W·巴雷特。；大卫·L·迪尔。；阿伦·斯塔姆 18 2002 肖斯塔克组合决策过程方法的推广。 Zbl 1057.68109号 克拉克·W·巴雷特。；大卫·L·迪尔。；阿伦·斯塔姆 13 2002 通过模型检验和与其他方法的比较确定Presburger算法。 Zbl 1019.68591号 维杰·加内什；谢尔盖·贝雷津；大卫·L·迪尔。 8 2002 谓词抽象中基于反例的谓词发现。 兹比尔1019.68620 Das、Satyaki；大卫·L·迪尔。 4 2002 事件近似时间分离的高效算法。 Zbl 1018.68098号 查克拉波蒂，苏普拉特克；大卫·L·迪尔。；Yun，Kenneth Y。 2 2002 爱丁堡逻辑框架中更快的校对。 Zbl 1072.68594号 阿伦·斯塔姆；大卫·L·迪尔。 2 2002 并行化\（\text{Mur}\varphi\）验证器。 Zbl 1001.68073号 乌尔里希·斯特恩；大卫·迪尔 7 2001 合作决策程序的框架。 兹伯利0963.68177 克拉克·W·巴雷特。；大卫·L·迪尔。；阿伦·斯塔姆 4 2000 具有谓词抽象的经验。 Zbl 1046.68589号 Das、Satyaki；大卫·L·迪尔。；Park，Seungjoon公园 19 1999 时间自动机理论。 Zbl 0803.68071号 拉杰夫·阿鲁尔；大卫·L·迪尔。 752 1994 CAV’94，计算机辅助验证。第六届国际会议，1994年6月21日至23日，美国加利福尼亚州斯坦福市。诉讼程序。 Zbl 0875.00094号 2 1994 密集实时模型检查。 Zbl 0783.68076号 拉杰夫·阿鲁尔；科斯塔斯库尔库贝蒂斯；大卫·迪尔 122 1993 符号模型检查：（10^{20}）状态及以上。 Zbl 0753.68066号 J.R.伯奇。；E.M.克拉克。；麦克米兰，K.L。；迪尔·D·L。；黄，L.J。 195 1992 使用模拟关系和高阶逻辑验证多处理器缓存协议。 兹伯利0875.68135 Paul N.Loewenstein。；大卫·L·迪尔。 1 1992 概率实时系统的模型检查。 兹比尔0769.68088 拉杰夫·阿鲁尔；科斯塔斯库尔库贝蒂斯；大卫·迪尔 69 1991 根据时间规范合成进程和调度程序。 Zbl 0765.68148号 Howard Wong-Toi，霍华德；大卫·L·迪尔。 6 1991 根据时间规范合成进程和调度程序。 Zbl 0786.68070号 Howard Wong-Toi，霍华德；大卫·L·迪尔。 1 1991 用于实时系统建模的自动机。 Zbl 0765.68150号 拉杰夫·阿鲁尔；大卫·迪尔 99 1990 使用时序逻辑对时序电路进行自动验证。 Zbl 0604.94011号 迈克尔·C·布朗。；埃德蒙·克拉克（Edmund M.Clarke）。；大卫·L·迪尔。；巴德·米什拉 15 1986 使用时序逻辑的自动电路验证：两个新示例。 Zbl 0613.94017号 迈克尔·C·布朗。；埃德蒙·克拉克（Edmund M.Clarke）。；大卫·L·迪尔。 1 1986 所有引用出版物 前5名被引用出版物 全部的 前5名1936年作者引用 41 金·古德斯特兰·拉森 31 帕特里夏·鲍耶 23 尼古拉斯·马基 21 埃蒂安·安德烈 19 当、哲 18 托马斯·亨辛格（Thomas A.Henzinger）。 17 Legay、Axel 17 莱姆，迪迪埃 16 托马斯·布里海耶 16 奥斯卡·H·伊巴拉。 16 莫西·亚亚科夫·瓦尔迪 15 尤金·亚萨林 15 Marta Z.Kwiatkowska。 14 Jean-François拉斯金 13 奥利维尔·H·鲁克斯。 12 克拉克·W·巴雷特。 12 保罗·加斯丁 11 贝拉德，贝特里奇 11 克拉克（Edmund Melson jun Clarke）。 11 乌里·法伦贝格 11 拉诺特，拉格罗 11 奥德·马勒 11 格钦·诺曼 11 杰里米·斯普洛斯顿 10 帕罗什·阿齐兹·阿卜杜拉 10 阿克沙伊，S。 10 劳拉·博泽利 10 亚历山德罗·西马蒂 10 蒂埃里·杰伦 10 奥尔纳·库普弗曼 10 斯塔夫罗斯·特里帕基斯 9 拉杰夫·阿鲁尔 9 Nathalie Bertrand 9 奥尔纳·格伦伯格 9 Joost-Pieter卡托恩 9 安德烈亚·马吉奥洛·谢蒂尼 9 阿米尔·普努利 9 詹姆斯·沃雷尔。 8 桑卡拉·纳拉亚南·克里希纳 8 马丁·兰格 8 乔尔·欧·瓦克宁。 8 乔治·帕帕斯。 8 皮埃尔·阿莱·雷尼尔 8 罗西（Matteo A.C.Rossi）。 8 奥坎·桑库尔 8 Vaandrager，Frits W。 8 塞尔吉奥·尤文 7 尼古拉斯·巴塞特 7 Marcelo Maria贝尔萨尼 7 弗兰克·卡塞兹 7 亚历山大·戴维 7 大卫·L·迪尔。 7 托马斯·罗伯特·菲舍尔 7 吉勒·杰勒茨 7 谢尔盖，哈达德 7 弗雷德里克·赫布雷托 7 本特·琼森 7 拉鲁西尼，弗朗索瓦 7 拉杜·马达尔 7 何塞·梅塞盖尔·瓜伊塔 7 卡琳·夸斯 7 罗伯托·塞巴斯蒂亚尼 7 吉·斯尔巴 7 孙骏 7 塞萨尔·蒂内利 7 易、王 6 克里斯特尔·拜尔 6 Stéphane P.德姆里。 6 曼弗雷德·德罗斯特 6 Fränzle，马丁 6 劳伦·弗里堡 6 维杰·加内什 6 马尔钦·尤尔季安斯基 6 阿德里亚诺·佩隆 6 卡拉广场 6 Pierluigi San彼得罗 6 苏菲·平奇纳特 6 巴拉古鲁·斯里瓦桑 6 Tran，Hoang-Dung村 6 阿舒托什·特里维迪 5 贝内迪克特·博利格 5 陈、陶璐 5 洛伦佐·克莱门特 5 奥尔德里克·德戈尔 5 劳伦特·多恩 5 阿兰·芬克尔 5 泰勒·T·约翰逊。 5 阿列克桑德拉·乔瓦诺维奇。 5 彼得·科普克（Peter W.Kopke）。 5 Sandeep S.Kulkarni。 5 萨尔瓦多拉托雷 5 Sławomir拉索塔 5 迪米特里·列斐伏尔 5 马丁·勒克 5 李宣东 5 Peter Csaba，Olveczky 5 帕维特拉·普拉巴卡 5 马可·罗维里 5 内达·赛德洛伊 5 杰拉尔多·施奈德 …还有1836位作者 全部的 前5名103篇连载文章中引用 155 理论计算机科学 75 系统设计中的形式化方法 62 信息与计算 39 计算的形式方面 23 信息学报 23 信息处理信件 23 自动推理杂志 23 逻辑与代数程序设计杂志 22 离散事件动态系统 19 人工智能 18 程序设计中的逻辑和代数方法杂志 17 实时系统 16 计算机科学中的逻辑方法 14 国际计算机科学基础杂志 13 计算机与系统科学杂志 12 Automatica公司 11 计算机程序设计科学 10 机器学习 8 计算机基础理论 7 国际控制杂志 7 计算机科学与技术杂志 7 分布式计算 7 数学与人工智能年鉴 6 编程和计算机软件 5 信息科学 5 纯逻辑与应用逻辑年鉴 5 MSCS公司。计算机科学中的数学结构 5 欧洲控制杂志 5 ACM计算逻辑汇刊 4 系统和控制信件 4 控制论与系统分析 4 逻辑、语言与信息杂志 4 应用非经典逻辑杂志 4 萨达纳 4 非线性分析。混合动力系统 4 计算机科学评论 三 离散应用数学 三 符号计算杂志 三 算法 三 计算系统理论 三 RAIRO公司。理论信息学及其应用 三 应用数学杂志 三 应用逻辑杂志 三 国际系统科学杂志。系统与集成原理与应用 2 国际通用系统杂志 2 应用数学与计算 2 模拟中的数学和计算机 2 国际生产研究杂志 2 复杂性杂志 2 国际近似推理杂志 2 国际鲁棒非线性控制杂志 2 符号逻辑公报 2 摘要与应用分析 2 软计算 2 自然计算 2 离散算法杂志 1 倒排索引综述 1 计算机与数学及其应用 1 离散数学 1 信息传输问题 1 模糊集与系统 1 计量经济学杂志 1 数学经济学杂志 1 非线性分析。理论、方法和应用。系列A：理论与方法 1 圣母院形式逻辑杂志 1 SIAM控制与优化杂志 1 国际并行程序设计杂志 1 数学和计算机建模 1 杰泰。实验与理论人工智能杂志 1 国际代数与计算杂志 1 全球优化杂志 1 设计、代码和密码 1 欧洲运筹学杂志 1 线性代数及应用 1 数学编程。A系列B系列 1 计算优化与应用 1 人工智能研究杂志 1 计算与数学组织理论 1 约束条件 1 Doklady数学 1 优化方法和软件 1 调度日志 1 应用数学与决策科学杂志 1 美国计算机学会期刊 1 武汉大学自然科学学报 1 动力系统的数学和计算机建模 1 高阶和符号计算 1 国际应用数学与计算机科学杂志 1 浙江大学学报。科学A 1 理论计算机科学电子笔记 1 计算机科学中的数学 1 国际语义计算杂志 1 符号逻辑述评 1 算法 1 科学中国。信息科学 1 RAIRO公司。理论信息学及其应用 1 亚洲控制杂志 1 中欧计算机科学杂志 1 中国计算机科学前沿 1 计算机科学前沿 …还有3部连续剧 全部的 前5名26个领域被引用 1,126 计算机科学（68至XX） 221 数学逻辑和基础（03-XX） 133 系统论；控制（93至XX） 47 运筹学、数学规划（90-XX） 45 博弈论、经济学、金融和其他社会和行为科学（91-XX） 28 信息与通信理论、电路（94-XX） 16 生物学和其他自然科学（92-XX） 15 概率论与随机过程（60-XX） 13 组合数学（05-XX） 10 常微分方程（34-XX） 8 动力系统和遍历理论（37至XX） 6 线性代数和多线性代数；矩阵理论（15-XX） 6 数值分析（65-XX） 5 统计学（62-XX） 4 数论（11-XX） 三 范畴理论；同调代数（18-XX） 三 变分法与最优控制；最优化（49至XX） 三 凸和离散几何（52至XX） 2 总体主题；集合（00-XX） 2 代数几何（14-XX） 2 算子理论（47-XX） 2 量子理论（81-XX） 1 阶、格、有序代数结构（06-XX） 1 场论和多项式（12-XX） 1 复变量的函数（30年XX月） 1 粒子和系统力学（70-XX） 按年份列出的引文