编辑配置文件（在新选项卡中打开） 丹尼尔·科宁 合著者距离 作者ID: 克罗宁·达尼尔 发布日期： 丹尼尔·克罗宁;丹尼尔·科宁;科隆，D。 更多。。。较少的 外部链接： ORCID公司 编入索引的文档： 89出版物自2000年以来，包括3本书 7作为编辑的贡献 合著者： 104位合著者具有95联合出版物 1831合著作者 全部的 前5名合著者 1 单作者的 11 斯特里赫曼（Ofer Strichman） 11 托马斯·沃尔 10 维杰·迪尔瓦 9 亚历山德罗·阿巴特 9 娜塔莎·莎莉吉娜 8 克里斯蒂娜·大卫 8 利奥波德·哈勒 8 菲利普·吕默 7 布莱恩，马丁 6 克拉克（Edmund Melson jun Clarke）。 6 帕斯卡·凯塞利 6 彼得·施拉梅尔 6 Christoph M.温特斯泰格。 5 尤里·切比里亚克 5 拜伦·库克 5 乔治·威森巴赫 4 安吉洛·布里洛特 4 达里奥·卡塔鲁扎 4 阿尔贝托·格里乔 4 亚历山大·凯泽。 4 乔尔·欧·瓦克宁。 4 迈克尔·陶奇尼格 三 伊奥里·贝萨 三 卢卡斯·科迪罗 三 阿拉斯泰尔·唐纳森。 三 米歇尔·马祖奇 三 伊丽莎白·波尔格林 三 米特拉·普兰达尔 三 马塞洛·索萨。 三 阿里亚克西·齐托维奇 三 伊戈尔·齐诺维克 2 约翰·A·阿伯特。 2 艾丽卡·阿尔布拉汉姆 2 杰拉德·巴斯勒 2 贝恩德·贝克尔 2 阿明·比尔 2 安娜·玛丽亚·比加蒂 2 布赫伯格，布鲁诺 2 哈娜·乔克勒 2 亚历山德罗·西马蒂 2 詹姆斯·哈罗德·达文波特 2 英格兰，马修 2 帕斯卡·方丹 2 史蒂芬·福雷斯特 2 亚历克斯·格罗斯 2 奥尔纳·格隆伯格 2 佛罗里达州勒达 2 鲁本·马丁斯 2 汤姆·梅尔姆 2 Péséreanu，s。 2 沃尔夫冈·雅各布·保罗 2 罗德里格斯，塞萨尔·马林 2 Werner M.塞勒。 2 桑吉特·阿伦库马尔·塞希亚 2 托马斯·斯特姆 2 斯特凡诺·托内塔 2 凯伦·约拉夫 1 阿尔加莱、杰德 1 哈尼尔·巴博萨 1 莎朗·巴纳 1 克拉克·W·巴雷特。 1 斯文·拜尔 1 汤姆·比恩米勒 1 尼古拉·S·比约纳。 1 布莱恩·布雷迪（Bryan A.Brady）。 1 Randal E.布莱恩特。 1 马丁·查普曼 1 列侬·查夫斯 1 莱昂纳多·德·莫拉 1 迪米特拉·吉安娜科波卢 1 莉安娜·哈达伦 1 霍森·哈桑贝格 1 穆罕默德·哈桑比格 1 何楠楠 1 亚历克斯·霍恩 1 黄晓伟 1 克里斯·雅各比 1 希曼舒·杰恩 1 娜塔莎·约加南达·杰普 1 托尼·尤西拉 1 希勒尔·库格勒 1 德克·莱恩巴赫（Dirk C.Leinenbach）。 1 杰罗姆·勒鲁 1 蒂齐亚娜·玛格丽亚 1 穆克吉，拉杰迪普 1 席尔维娅·梅丽塔·米勒 1 文森特·尼马尔 1 Doron A.Peled。 1 丹尼尔·波兹尔 1 奥纳·拉兹 1 安德鲁·雷诺兹 1 阮文杰 1 安德烈·里巴尔琴科 1 穆罕默德·纳西姆·塞吉尔 1 沙尔马，苏博德·K·。 1 詹姆斯·夏普。 1 卡斯滕·辛兹 1 孙友成 1 蒂诺·特伊格 1 埃梅塞·塔莫 ……还有7位合著者 全部的 前5名系列 11 系统设计中的形式化方法 4 自动推理杂志 4 计算的形式方面 4 计算机科学课堂讲稿 2 IEEE信息理论汇刊 2 理论计算机科学课文。EATCS系列 1 信息学报 1 人工智能 1 理论计算机科学 1 信息与计算 1 人工智能研究杂志 1 可满足性、布尔建模与计算杂志 1 计算机代数中的ACM通信 1 计算机科学评论 1 网络物理系统系列 全部的 前5名领域 90 计算机科学（68至XX） 13 数理逻辑与基础（03-XX） 7 总体主题；集合（00-XX） 三 系统论；控制（93至XX） 2 组合数学（05-XX） 2 数值分析（65-XX） 2 生物学和其他自然科学（92-XX） 1 阶、格、有序代数结构（06-XX） 1 运筹学、数学规划（90-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 75出版物被引用704中的次479文件 引用人▼ 年份▼ 用于检查ANSI-C程序的工具。 Zbl 1126.68470号 埃德蒙·克拉克;丹尼尔·克罗宁;弗拉维奥·勒尔达 78 2004 模型检查。第二次扩展和更新版本。 Zbl 1423.68002号 Edmund M.jun Clarke。;奥尔纳·格隆伯格;丹尼尔·克罗宁;多龙·贝利德;赫尔穆特·维思 76 2018 决策程序。算法观点。兰达尔·布莱恩特（Randal E.Bryant）的前言。 Zbl 1149.68071号 丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman） 57 2008 用时序逻辑进行深度强化学习。 Zbl 1455.68190号 穆罕默德·哈桑贝格;丹尼尔·克罗宁;亚历山德罗·阿巴特 26 2020 插值强度。 Zbl 1273.68225号 维杰·德·席尔瓦;丹尼尔·克罗宁;米特拉·普兰达尔;乔治·威森巴赫 24 2010 SATABS:ANSI-C的基于SAT的谓词抽象。 Zbl 1087.68586号 埃德蒙·克拉克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜;凯伦·约拉夫 21 2005 决策程序。算法观点。第二版。 Zbl 1358.68002号 丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman） 20 2016 通过程序转换对弱内存进行软件验证。 Zbl 1381.68143号 阿尔加莱、杰德;丹尼尔·克罗宁;Vincent尼马尔;迈克尔·陶奇尼格 18 2013 利用抽象冲突驱动子句学习确定浮点逻辑。 Zbl 1317.68110号 布莱恩，马丁;维杰·德·席尔瓦;阿尔贝托·格里乔;利奥波德·哈勒;丹尼尔·克罗宁 18 2014 无量词Presburger算法的插值序列演算。 Zbl 1291.03112号 安吉洛·布里洛特;丹尼尔·克罗宁;菲利普·吕默;托马斯·沃尔 17 2010 有界模型检查的完整性和复杂性。 Zbl 1202.68244号 埃德蒙·克拉克;丹尼尔·克罗宁;约尔·瓦克宁;斯特里赫曼（Ofer Strichman） 17 2004 用抽象方法确定位向量算法。 兹比尔1186.68281 Randal E.布莱恩特。;丹尼尔·克罗宁;约尔·瓦克宁;Sanjit A.Seshia。;斯特里赫曼（Ofer Strichman）;布莱恩·布雷迪 17 2007 使用SAT对ANSI-C程序进行谓词抽象。 Zbl 1090.68022号 埃德蒙·克拉克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜;凯伦·约拉夫 16 2004 QBF统一校对的第一步。 Zbl 1214.68334号 托尼·尤西拉;阿明·比尔;卡斯滕·辛兹;丹尼尔·科宁;Christoph M.温特斯泰格。 14 2007 有效计算重复直径。 Zbl 1022.68579号 丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman） 13 2003 联合国安全理事会\（^2）：可满足性检查满足符号计算。（项目文件）。 Zbl 1344.68198号 艾丽卡·阿尔布拉汉姆;约翰·阿伯特;贝恩德·贝克尔;安娜·比加蒂（Anna M.Bigatti）。;布莱恩，马丁;布赫伯格，布鲁诺;亚历山德罗·西马蒂;詹姆斯·H·达文波特。;英格兰，马修;帕斯卡·方丹;史蒂芬·福雷斯特;阿尔贝托·格里乔;丹尼尔·克罗宁;Werner M.塞勒。;托马斯·斯特姆 13 2016 位向量关系的排序函数综合。 Zbl 1284.68172号 拜伦·库克;丹尼尔·克罗宁;菲利普·吕默;克里斯托弗·温特斯泰格。 12 2010 深度神经网络的安全性和可信度调查：验证、测试、对抗性攻击和防御以及可解释性。 Zbl 1478.68308号 黄晓伟;丹尼尔·克罗宁;阮文杰;詹姆斯·夏普;孙友成;埃梅塞·塔莫;吴敏;Yi，新平 12 2020 在普雷斯伯格算法的扩展中超越了无量词插值。 Zbl 1318.03045号 安吉洛·布里洛特;丹尼尔·克罗宁;菲利普·吕默;托马斯·沃尔 11 2011 并发软件的符号计数器抽象。 Zbl 1242.68055号 杰拉德·巴斯勒;米歇尔·马祖奇;托马斯·沃尔;丹尼尔·克罗宁 9 2009 无量词Presburger算法的插值序列演算。 Zbl 1259.03043号 Brillout，安吉洛;丹尼尔·克罗宁;菲利普·吕默;托马斯·沃尔 9 2011 数字边界分析与冲突驱动学习。 Zbl 1352.68060号 维杰·德·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁;迈克尔·陶奇尼格 8 2012 抽象冲突驱动学习。 Zbl 1301.68156号 维杰·德·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁 8 2013 学习错误语言。 Zbl 1471.68101号 马丁·查普曼;哈娜·乔克勒;帕斯卡·凯塞利;丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman）;迈克尔·陶奇尼格 8 2015 回路总结和终止分析。 Zbl 1315.68106号 阿里亚克西·齐托维奇;娜塔莎·莎莉吉娜;Christoph M.温特斯泰格。;丹尼尔·克罗宁 7 2011 有界模型检查的线性完整性阈值。 Zbl 1360.68592号 丹尼尔·克罗宁;约尔·瓦克宁;斯特里赫曼（Ofer Strichman）;托马斯·沃尔;詹姆斯·沃雷尔 7 2011 使用SAT解算器通过穷举搜索计算二进制组合格雷码。 Zbl 1328.94095号 伊戈尔·齐诺维克;丹尼尔·克罗宁;尤里·切比里亚克 7 2008 C程序中用于快速反例检测的欠近似循环。 Zbl 1322.68054号 丹尼尔·克罗宁;马特·刘易斯;乔治·威森巴赫 7 2015 反例引导归纳综合模理论。 Zbl 1511.68064号 亚历山德罗·阿巴特;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林 7 2018 基于展开的部分顺序约简。 兹比尔1374.68342 塞萨尔·罗德里格斯;马塞洛·索萨;沙尔马，苏博德;丹尼尔·克罗宁 7 2015 理解反例解释. Zbl 1103.68620号 亚历克斯·格罗斯;丹尼尔·克罗宁;弗拉维奥·勒尔达 6 2004 六立方体中哈密顿圈的分类。 Zbl 1147.68703号 尤里·切比里亚克;丹尼尔·克罗宁 6 2008 通过最小化证明进行有效覆盖性分析。 Zbl 1364.68138号 亚历山大·凯撒;丹尼尔·克罗宁;托马斯·沃尔 6 2012 利用抽象加速度对具有输入的防护LTI系统进行无界时间分析。 Zbl 1419.68041号 达里奥·卡塔鲁扎;亚历山德罗·阿巴特;彼得·施拉梅尔;丹尼尔·克罗宁 5 2015 使用无限线程创建验证布尔程序。 Zbl 1143.68043号 拜伦·库克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜 5 2007 无量词插值Presburger算法。 兹比尔1306.68148 丹尼尔·克罗宁;杰罗姆·勒鲁;菲利普·吕默 5 2010 基于抽象的Presburger算法的可满足性求解。 Zbl 1103.68626号 丹尼尔·克罗宁;约尔·瓦克宁;Sanjit A.Seshia。;斯特里赫曼（Ofer Strichman） 5 2004 异步布尔程序的符号模型检查。 Zbl 1151.68367号 拜伦·库克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜 5 2005 位向量逻辑的近似谓词图像。 Zbl 1180.68175号 丹尼尔·克罗宁;娜塔莎·莎莉吉娜 5 2006 使用抽象变换器的循环摘要。 Zbl 1183.68377号 丹尼尔·克罗宁;娜塔莎·莎莉吉娜;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。 5 2008 抽象满意度。 Zbl 1284.68392号 维杰·德·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁 5 2014 基因调控网络Glass模型中的周期轨道和平衡。 Zbl 1366.92052号 伊戈尔·齐诺维克;尤里·切比里亚克;丹尼尔·克罗宁 5 2010 使用谓词抽象验证SpecC。 Zbl 1117.68046号 埃德蒙·克拉克;希曼舒·杰恩;丹尼尔·克罗宁 4 2007 基于SAT的模型检查。 Zbl 1392.68232号 阿明·比尔;丹尼尔·科宁 4 2018 位向量程序的无限制终止和非终止参数。 Zbl 1335.68050号 克里斯蒂娜·大卫;丹尼尔·克罗宁;马特·刘易斯 4 2015 实例化未解释的功能单元和存储系统：VAMP的功能验证。 Zbl 1179.68009号 斯文·贝尔;克里斯·雅各比;丹尼尔·科宁;德克·莱恩巴赫;沃尔夫冈·保罗。 4 2003 Cogent：程序验证的精确定理证明。 Zbl 1081.68673号 拜伦·库克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜 4 2005 位向量关系的排序函数综合。 Zbl 1291.68138号 拜伦·库克;丹尼尔·克罗宁;菲利普·吕默;Christoph M.温特斯泰格。 4 2013 使用模型检查和（k）-归纳法自动分析DMA竞争。 兹比尔1233.68124 阿拉斯泰尔·唐纳森。;丹尼尔·克罗宁;菲利普·吕默 4 2011 自动生成传播完整的SAT编码。 Zbl 1475.68218号 布莱恩，马丁;莉安娜·哈达伦;丹尼尔·克罗宁;鲁本·马丁斯 4 2016 基于插值的模型检查的近似精化。 Zbl 1138.68444号 维杰·德·席尔瓦;米特拉·普兰达尔;丹尼尔·克罗宁 三 2008 使用有界模型检查计算过逼近。 Zbl 1272.68264号 丹尼尔·克罗宁 三 2006 充分利用BMC反例。 Zbl 1272.68252号 亚历克斯·格罗斯;丹尼尔·克罗宁 三 2005 对DPLL（T）的抽象解释。 Zbl 1426.68249号 布莱恩，马丁;维杰·迪尔瓦;利奥波德·哈勒;阿尔贝托·格里乔;丹尼尔·克罗宁 三 2013 学习软件错误的语言。 Zbl 1437.68071号 哈娜·乔克勒;帕斯卡·凯塞利;丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman） 三 2020 通过轻量级静态分析加强基于导入的比赛检查。 Zbl 1317.68113号 阿拉斯泰尔·唐纳森。;利奥波德·哈勒;丹尼尔·克罗宁 2 2011 模块化需求驱动的程序版本语义差异分析。 Zbl 1420.68076号 安娜·特罗斯塔涅茨基;奥尔纳·格隆伯格;丹尼尔·克罗宁 2 2017 上下文软件计数器抽象。 Zbl 1213.68362号 杰拉德·巴斯勒;米歇尔·马祖奇;托马斯·沃尔;丹尼尔·克罗宁 2 2010 识别沿循环吸引子具有周期轨道的玻璃网络的代数算法。 Zbl 1127.92004号 伊戈尔·齐诺维克;丹尼尔·克罗宁;尤里·切比里亚克 2 2007 使用谓词抽象对带有循环的程序进行验证和证伪。 Zbl 1215.68130号 丹尼尔·克罗宁;乔治·威森巴赫 2 2010 用展开进行抽象解释。 Zbl 1494.68044号 马塞洛·索萨;塞萨尔·罗德里格斯;维杰·德·席尔瓦;丹尼尔·克罗宁 2 2017 对称并发程序的反示例引导抽象细化。 兹比尔1284.68179 阿拉斯泰尔·唐纳森。;亚历山大·凯撒;丹尼尔·克罗宁;迈克尔·陶奇尼格;托马斯·沃尔 2 2012 使用状态和转换不变量的循环摘要。 Zbl 1291.68262号 丹尼尔·克罗宁;娜塔莎·莎莉吉娜;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。 2 2013 连续设备可证明安全数字控制器的自动形式化综合。 兹比尔1441.93171 亚历山德罗·阿巴特;伊奥里·贝萨;卢卡斯·科迪罗;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林 2 2020 连续设备数字稳定控制器的声音和自动合成。 Zbl 1369.93189号 亚历山德罗·阿巴特;伊奥里·贝萨;达里奥·卡塔鲁扎;卢卡斯·科迪罗;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁 2 2017 嵌入式软件的增量有界模型检查。 Zbl 1375.68081号 彼得·施拉梅尔;丹尼尔·克罗宁;布莱恩，马丁;鲁本·马丁斯;蒂诺·特伊格;汤姆·比恩米勒 1 2017 基于SAT/SMT的弱内存并发符号编码的偏序语义。 Zbl 1347.68268号 亚历克斯·霍恩;丹尼尔·克罗宁 1 2015 迷失在抽象中：多线程程序中的单调性。 Zbl 1355.68055号 亚历山大·凯撒;丹尼尔·克罗宁;托马斯·沃尔 1 2017 Simulink模型基于变异的测试用例生成。 Zbl 1312.68130号 安吉洛·布里洛特;何楠楠;米歇尔·马祖奇;丹尼尔·克罗宁;米特拉普兰达雷;菲利普·吕默;乔治·威森巴赫 1 2010 将CDCL提升到基于模板的抽象域以进行程序验证。 Zbl 1495.68139号 拉杰迪普·穆克吉;彼得·施拉梅尔;利奥波德·哈勒;丹尼尔·克罗宁;汤姆·梅尔姆 1 2017 通过抽象加速度对具有输入的防护LTI模型进行无边界时间安全验证。 Zbl 07356971号 达里奥·卡塔鲁扎;亚历山德罗·阿巴特;彼得·施拉梅尔;丹尼尔·克罗宁 1 2021 抽象加速度中的合理数值计算。 Zbl 1515.65344号 达里奥·卡塔鲁扎;亚历山德罗·阿巴特;彼得·施拉梅尔;丹尼尔·克罗宁 1 2017 使用程序合成进行程序分析。 Zbl 1471.68056号 克里斯蒂娜·大卫;丹尼尔·克罗宁;马特·刘易斯 1 2015 使用跟踪自动机和有界模型检查证明安全性。 Zbl 1427.68047号 丹尼尔·克罗宁;马特·刘易斯;乔治·威森巴赫 1 2015 具有逻辑指导的认证强化学习。 Zbl 07732224号 霍森·哈桑贝格;丹尼尔·克罗宁;亚历山德罗·阿巴特 1 2023 具有逻辑指导的认证强化学习。 Zbl 07732224号 霍森·哈桑贝格;丹尼尔·克罗宁;亚历山德罗·阿巴特 1 2023 通过抽象加速度对具有输入的防护LTI模型进行无边界时间安全验证。 Zbl 07356971号 达里奥·卡塔鲁扎;亚历山德罗·阿巴特;彼得·施拉梅尔;丹尼尔·克罗宁 1 2021 用时序逻辑进行深度强化学习。 兹比尔1455.68190 穆罕默德·哈桑贝格;丹尼尔·克罗宁;亚历山德罗·阿巴特 26 2020 深度神经网络的安全性和可信度调查：验证、测试、对抗性攻击和防御以及可解释性。 Zbl 1478.68308号 黄晓伟;丹尼尔·克罗宁;阮文杰;詹姆斯·夏普;孙友成;埃梅塞·塔莫;吴敏;易新平 12 2020 学习软件错误的语言。 Zbl 1437.68071号 哈娜·乔克勒;帕斯卡·凯塞利;丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman） 三 2020 连续设备可证明安全数字控制器的自动形式化综合。 兹比尔1441.93171 亚历山德罗·阿巴特;伊奥里·贝萨;卢卡斯·科迪罗;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林 2 2020 模型检查。第二次扩展和更新版本。 Zbl 1423.68002号 Edmund M.jun Clarke。;奥尔纳·格隆伯格;丹尼尔·克罗宁;多龙·贝利德;赫尔穆特·维思 76 2018 反例引导归纳综合模理论。 Zbl 1511.68064号 亚历山德罗·阿巴特;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林 7 2018 基于SAT的模型检查。 Zbl 1392.68232号 阿明·比尔;丹尼尔·科宁 4 2018 程序版本语义差异的模块化需求驱动分析。 Zbl 1420.68076号 安娜·特罗斯塔涅茨基;奥尔纳·格隆伯格;丹尼尔·克罗宁 2 2017 用展开进行抽象解释。 Zbl 1494.68044号 马塞洛·索萨;塞萨尔·罗德里格斯;D&rsquo；维杰·席尔瓦;丹尼尔·克罗宁 2 2017 连续设备数字稳定控制器的声音和自动合成。 Zbl 1369.93189号 亚历山德罗·阿巴特;伊奥里·贝萨;达里奥·卡塔鲁扎;卢卡斯·科迪罗;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁 2 2017 嵌入式软件的增量有界模型检查。 Zbl 1375.68081号 彼得·施拉梅尔;丹尼尔·克罗宁;布莱恩，马丁;鲁本·马丁斯;蒂诺·特伊格;汤姆·比恩米勒 1 2017 迷失在抽象中：多线程程序中的单调性。 兹比尔1355.68055 亚历山大·凯撒;丹尼尔·克罗宁;托马斯·沃尔 1 2017 将CDCL提升到基于模板的抽象域以进行程序验证。 Zbl 1495.68139号 拉杰迪普·穆克吉;彼得·施拉梅尔;利奥波德·哈勒;丹尼尔·克罗宁;汤姆·梅尔姆 1 2017 抽象加速度中的合理数值计算。 Zbl 1515.65344号 达里奥·卡塔鲁扎;亚历山德罗·阿巴特;彼得·施拉梅尔;丹尼尔·克罗宁 1 2017 决策程序。算法观点。第二版。 兹比尔1358.68002 丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman） 20 2016 联合国安全理事会\（^2）：可满足性检查满足符号计算。（项目文件）。 Zbl 1344.68198号 艾丽卡·阿尔布拉汉姆;约翰·阿伯特;贝恩德·贝克尔;安娜·比加蒂（Anna M.Bigatti）。;布莱恩，马丁;布赫伯格，布鲁诺;亚历山德罗·西马蒂;詹姆斯·H·达文波特。;英格兰，马修;帕斯卡·方丹;史蒂芬·福雷斯特;阿尔贝托·格里乔;丹尼尔·克罗宁;Werner M.塞勒。;托马斯·斯特姆 13 2016 自动生成传播完整的SAT编码。 Zbl 1475.68218号 布莱恩，马丁;莉安娜·哈达伦;丹尼尔·克罗宁;鲁本·马丁斯 4 2016 学习错误语言。 Zbl 1471.68101号 马丁·查普曼;哈娜·乔克勒;帕斯卡·凯塞利;丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman）;迈克尔·陶奇尼格 8 2015 C程序中用于快速反例检测的欠近似循环。 Zbl 1322.68054号 丹尼尔·克罗宁;马特·刘易斯;乔治·威森巴赫 7 2015 基于展开的部分顺序约简。 Zbl 1374.68342号 塞萨尔·罗德里格斯;马塞洛·苏萨;沙尔马，苏博德;丹尼尔·克罗宁 7 2015 利用抽象加速度对具有输入的防护LTI系统进行无界时间分析。 Zbl 1419.68041号 达里奥·卡塔鲁扎;亚历山德罗·阿巴特;彼得·施拉梅尔;丹尼尔·克罗宁 5 2015 位向量程序的无限制终止和非终止参数。 Zbl 1335.68050号 克里斯蒂娜·大卫;丹尼尔·克罗宁;马特·刘易斯 4 2015 基于SAT/SMT的弱内存并发符号编码的偏序语义。 Zbl 1347.68268号 亚历克斯·霍恩;丹尼尔·克罗宁 1 2015 使用程序合成进行程序分析。 Zbl 1471.68056号 克里斯蒂娜·大卫;丹尼尔·克罗宁;马特·刘易斯 1 2015 使用跟踪自动机和有界模型检查证明安全性。 Zbl 1427.68047号 丹尼尔·克罗宁;马特·刘易斯;乔治·威森巴赫 1 2015 利用抽象冲突驱动子句学习确定浮点逻辑。 Zbl 1317.68110号 布莱恩，马丁;D&rsquo；维杰·席尔瓦;阿尔贝托·格里乔;利奥波德·哈勒;丹尼尔·克罗宁 18 2014 抽象满意度。 Zbl 1284.68392号 D&rsquo；维杰·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁 5 2014 通过程序转换对弱内存进行软件验证。 Zbl 1381.68143号 阿尔加莱、杰德;丹尼尔·克罗宁;文森特·尼马尔;迈克尔·陶奇尼格 18 2013 抽象冲突驱动的学习。 Zbl 1301.68156号 D&rsquo；维杰·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁 8 2013 位向量关系的排序函数综合。 Zbl 1291.68138号 拜伦·库克;丹尼尔·克罗宁;菲利普·吕默;Christoph M.温特斯泰格。 4 2013 对DPLL（T）的抽象解释。 Zbl 1426.68249号 布莱恩，马丁;D&rsquo；维杰·西尔瓦;利奥波德·哈勒;阿尔贝托·格里乔;丹尼尔·克罗宁 三 2013 使用状态和转换不变量的循环摘要。 Zbl 1291.68262号 丹尼尔·克罗宁;娜塔莎·莎莉吉娜;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。 2 2013 数字边界分析与冲突驱动学习。 Zbl 1352.68060号 D&rsquo；维杰·席尔瓦;哈勒，利奥波德;丹尼尔·克罗宁;迈克尔·陶奇尼格 8 2012 通过最小化证明进行有效覆盖性分析。 Zbl 1364.68138号 亚历山大·凯撒;丹尼尔·克罗宁;托马斯·沃尔 6 2012 对称并发程序的反示例引导抽象细化。 Zbl 1284.68179号 阿拉斯泰尔·唐纳森。;亚历山大·凯撒;丹尼尔·克罗宁;迈克尔·陶奇尼格;托马斯·沃尔 2 2012 在普雷斯伯格算法的扩展中超越了无量词插值。 Zbl 1318.03045号 安吉洛·布里洛特;丹尼尔·克罗宁;菲利普·吕默;托马斯·沃尔 11 2011 无量词Presburger算法的插值序列演算。 Zbl 1259.03043号 安吉洛·布里洛特;丹尼尔·克罗宁;菲利普·吕默;托马斯·沃尔 9 2011 回路总结和终止分析。 Zbl 1315.68106号 阿里亚克西·齐托维奇;娜塔莎·莎莉吉娜;Christoph M.温特斯泰格。;丹尼尔·克罗宁 7 2011 有界模型检查的线性完整性阈值。 Zbl 1360.68592号 丹尼尔·克罗宁;约尔·瓦克宁;斯特里赫曼（Ofer Strichman）;托马斯·沃尔;詹姆斯·沃雷尔 7 2011 使用模型检查和（k）-归纳法自动分析DMA竞争。 Zbl 1233.68124号 阿拉斯泰尔·唐纳森。;丹尼尔·克罗宁;菲利普·吕默 4 2011 通过轻量级静态分析加强基于导入的比赛检查。 Zbl 1317.68113号 阿拉斯泰尔·唐纳森。;利奥波德·哈勒;丹尼尔·克罗宁 2 2011 插值强度。 Zbl 1273.68225号 D&rsquo；维杰·席尔瓦;丹尼尔·克罗宁;米特拉·普兰达尔;乔治·威森巴赫 24 2010 一种用于无量词的Presburger算法的插值序列演算。 Zbl 1291.03112号 安吉洛·布里洛特;丹尼尔·克罗宁;菲利普·吕默;托马斯·沃尔 17 2010 位向量关系的排序函数综合。 Zbl 1284.68172号 拜伦·库克;丹尼尔·克罗宁;菲利普·吕默;Christoph M.温特斯泰格。 12 2010 无量词插值Presburger算法。 Zbl 1306.68148号 丹尼尔·克罗宁;杰罗姆·勒鲁;菲利普·吕默 5 2010 基因调控网络Glass模型中的周期轨道和平衡。 Zbl 1366.92052号 伊戈尔·齐诺维克;尤里·切比里亚克;丹尼尔·克罗宁 5 2010 上下文软件计数器抽象。 Zbl 1213.68362号 杰拉德·巴斯勒;米歇尔·马祖奇;托马斯·沃尔;丹尼尔·克罗宁 2 2010 使用谓词抽象对带有循环的程序进行验证和证伪。 Zbl 1215.68130号 丹尼尔·克罗宁;乔治·威森巴赫 2 2010 Simulink模型基于变异的测试用例生成。 Zbl 1312.68130号 安吉洛·布里洛特;何楠楠;米歇尔·马祖奇;丹尼尔·克罗宁;米特拉·普兰达尔;菲利普·吕默;乔治·威森巴赫 1 2010 并发软件的符号计数器抽象。 Zbl 1242.68055号 杰拉德·巴斯勒;米歇尔·马祖奇;托马斯·沃尔;丹尼尔·克罗宁 9 2009 决策程序。算法观点。兰达尔·布莱恩特（Randal E.Bryant）的前言。 Zbl 1149.68071号 丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman） 57 2008 使用SAT解算器通过穷举搜索计算二进制组合格雷码。 兹比尔1328.94095 伊戈尔·齐诺维克;丹尼尔·克罗宁;尤里·切比里亚克 7 2008 六立方体中哈密顿圈的分类。 Zbl 1147.68703号 尤里·切比里亚克;丹尼尔·克罗宁 6 2008 使用抽象变换器的循环摘要。 Zbl 1183.68377号 丹尼尔·克罗宁;娜塔莎·莎莉吉娜;斯特凡诺·托内塔;齐托维奇，阿利亚克塞;Christoph M.温特斯泰格。 5 2008 基于插值的模型检查的近似精化。 Zbl 1138.68444号 D&rsquo；维杰·席尔瓦;米特拉·普兰达尔;丹尼尔·克罗宁 三 2008 用抽象方法确定位向量算法。 兹比尔1186.68281 Randal E.布莱恩特。;丹尼尔·克罗宁;约尔·瓦克宁;Sanjit A.Seshia。;斯特里赫曼（Ofer Strichman）;布莱恩·布雷迪 17 2007 迈向QBF统一证明检查器的第一步。 Zbl 1214.68334号 托尼·尤西拉;阿明·比尔;卡斯滕·辛兹;丹尼尔·科宁;Christoph M.温特斯泰格。 14 2007 使用无限线程创建验证布尔程序。 Zbl 1143.68043号 拜伦·库克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜 5 2007 使用谓词抽象验证SpecC。 Zbl 1117.68046号 埃德蒙·克拉克;希曼舒·杰恩;丹尼尔·克罗宁 4 2007 识别沿循环吸引子具有周期轨道的玻璃网络的代数算法。 Zbl 1127.92004号 伊戈尔·齐诺维克;丹尼尔·克罗宁;尤里·切比里亚克 2 2007 位向量逻辑的近似谓词图像。 Zbl 1180.68175号 丹尼尔·克罗宁;娜塔莎·莎莉吉娜 5 2006 使用有界模型检查计算过逼近。 Zbl 1272.68264号 丹尼尔·克罗宁 三 2006 SATABS:ANSI-C基于SAT的谓词抽象。 Zbl 1087.68586号 埃德蒙·克拉克;丹尼尔·克罗宁;莎里吉娜，娜塔莎;凯伦·约拉夫 21 2005 异步布尔程序的符号模型检查。 Zbl 1151.68367号 拜伦·库克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜 5 2005 Cogent：程序验证的精确定理证明。 Zbl 1081.68673号 拜伦·库克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜 4 2005 充分利用BMC反例。 兹比尔1272.68252 亚历克斯·格罗斯;丹尼尔·克罗宁 三 2005 用于检查ANSI-C程序的工具。 Zbl 1126.68470号 埃德蒙·克拉克;丹尼尔·克罗宁;弗拉维奥·勒尔达 78 2004 有界模型检查的完整性和复杂性。 Zbl 1202.68244号 埃德蒙·克拉克;丹尼尔·克罗宁;约尔·瓦克宁;斯特里赫曼（Ofer Strichman） 17 2004 使用SAT对ANSI-C程序进行谓词抽象。 Zbl 1090.68022号 埃德蒙·克拉克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜;凯伦·约拉夫 16 2004 理解反例解释. 兹比尔1103.68620 亚历克斯·格罗斯;丹尼尔·克罗宁;弗拉维奥·勒尔达 6 2004 基于抽象的Presburger算法的可满足性求解。 Zbl 1103.68626号 丹尼尔·克罗宁;约尔·瓦克宁;Sanjit A.Seshia。;斯特里赫曼（Ofer Strichman） 5 2004 有效计算重复直径。 Zbl 1022.68579号 丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman） 13 2003 实例化未解释的功能单元和存储系统：VAMP的功能验证。 Zbl 1179.68009号 斯文·拜尔;克里斯·雅各比;丹尼尔·科宁;德克·莱恩巴赫;沃尔夫冈·保罗。 4 2003 所有引用出版物 前5名被引用出版物 全部的 前5名1068位作者引用 35 丹尼尔·科宁 12 亚历山德罗·阿巴特 12 菲利普·吕默 11 娜塔莎·莎莉吉娜 8 阿明·比尔 8 托马斯·沃尔 7 克拉克·W·巴雷特。 7 罗伯特·布鲁托梅索 7 亚历山德罗·西马蒂 7 詹姆斯·哈罗德·达文波特 7 阿尔贝托·格里乔 7 罗伯托·塞巴斯蒂亚尼 7 Christoph M.温特斯泰格。 6 艾丽卡·阿尔布拉汉姆 6 英格兰，马修 6 弗洛里安·弗洛恩 6 国王，安迪 6 赫尔穆特·维思 5 穆罕默德·法乌齐（Mohamed Faouzi Atig） 5 玛丽亚·保拉（Maria Paola Bonacina） 5 维杰·加内什 5 于尔根·吉斯尔 5 安德烈亚斯·波德尔斯基 5 桑吉特·阿伦库马尔·塞希亚 5 斯特里赫曼（Ofer Strichman） 5 塞萨尔·蒂内利 5 乔治·威森巴赫 4 帕罗什·阿齐兹·阿卜杜拉 4 艾哈迈德·博阿贾尼 4 布莱恩，马丁 4 克拉克（Edmund Melson jun Clarke）。 4 维杰·迪尔瓦 4 达纳·菲斯曼 4 哈达尔·弗兰克尔 4 西尔维奥·吉拉尔迪 4 阿里·古芬克尔 4 赫塞尔，杰拉 4 托马斯·亨辛格（Thomas A.Henzinger）。 4 Jochen Hoenicke公司 4 安蒂·E·J·海瓦·里宁。 4 艾娜·尼梅茨 4 伊丽莎白·波尔格林 4 马蒂亚斯·普雷纳 4 西尔维奥·兰伊斯 4 安德鲁·雷诺兹 4 托马斯·斯特姆 4 阿里亚克西·齐托维奇 4 海克·卫尔海姆 4 托马斯·怀斯 三 艾哈迈德·丹妮尔 三 塞皮德·阿萨迪 三 贝恩德·贝克尔 三 马可·波扎诺 三 Jörg Brauer 三 布莱特，柯蒂斯 三 安吉洛·布里洛特 三 马克·布罗克施米特 三 萨加·查基 三 查克拉波蒂，苏普拉特克 三 陈明帅 三 帕拉布·达斯古普塔 三 克里斯蒂娜·大卫 三 丹尼尔·迪特施 三 阿拉斯泰尔·唐纳森。 三 格里戈里·费迪尤科维奇 三 Masahiro Fujita 三 奥尔纳·格隆伯格 三 阿尔蒂·古普塔 三 利奥波德·哈勒 三 Heule，Marijn J.H。 三 黄晓伟 三 奥马尔·因弗索 三 穆阿·约翰逊 三 塞巴斯蒂安·荣格斯 三 迪帕克·卡普尔 三 伊戈尔·康诺夫（Igor V.Konnov）。 三 科齐里亚斯（Ilias S.Kotsireas）。 三 奥尔纳·库普弗曼 三 大卫·莫尼奥（David P.Monniaux）。 三 安德烈亚·佩鲁福 三 罗西（Matteo A.C.Rossi）。 三 阮文杰 三 彼得·施拉梅尔 三 斯特雷切克，Jan 三 托马斯·斯特罗德 三 唐启毅 三 斯特凡诺·托内塔 三 帕特里克·特伦丁 三 莫西·亚亚科夫·瓦尔迪 三 王，弯腰 三 王，季 三 奥列格·谢尔盖维奇·扎金 三 Aleksandar Zeljić 三 张丽君 2 约翰·A·阿伯特。 2 穆罕默德·阿卜杜勒·阿齐兹 2 奥马尔·巴塔内赫 2 达纳州安格鲁因 2 罗伯特·巴格纳拉 2 Balasubramanian，A.R。 …还有968位作者 全部的 前5名68篇连载文章中引用 54 系统设计中的形式化方法 37 自动推理杂志 19 计算的形式方面 14 程序设计中的逻辑和代数方法杂志 10 理论计算机科学 10 计算机科学中的逻辑方法 9 信息学报 6 符号计算杂志 6 信息与计算 5 人工智能 5 数学与人工智能年鉴 4 计算机基础理论 4 计算机科学中的数学 三 信息处理信件 三 Automatica公司 三 计算机与系统科学杂志 三 编程和计算机软件 三 计算机程序设计科学 三 机器学习 三 人工智能研究杂志 三 计算系统理论 三 逻辑程序设计理论与实践 2 离散应用数学 2 计算机科学与技术杂志 2 国际并行程序设计杂志 2 离散事件动态系统 2 设计、代码和密码 2 组合数学电子杂志 2 约束条件 2 国际应用数学与计算机科学杂志 2 逻辑与代数程序设计杂志 2 应用数学杂志 2 计算机语言、系统和结构 2 ACM计算逻辑事务 2 应用逻辑杂志 2 Modelirovanie i Analiz信息系统 1 倒排索引综述 1 美国数学月刊 1 国际通用系统杂志 1 计算 1 信息科学 1 组合理论杂志。B系列 1 纯逻辑与应用逻辑年鉴 1 图与组合 1 欧洲应用数学杂志 1 实时系统 1 国际计算机科学基础杂志 1 国际应用科学与工程分叉与混沌杂志 1 控制论与系统分析 1 国际计算机与系统科学杂志 1 信息计算杂志 1 优化方法和软件 1 组合优化期刊 1 美国医学会杂志 1 Informatica（维尔纽斯） 1 ACM实验算法杂志 1 数学生物科学与工程 1 离散优化 1 浙江大学学报。科学A 1 可满足性、布尔建模与计算杂志 1 非线性分析。混合动力系统 1 理论计算机科学的基础和发展趋势 1 计算机代数中的ACM通信 1 Diskretny®Analiz i Issledovanie Operati® 1 中欧计算机科学杂志 1 理论生物学杂志 1 计算机科学评论 1 SN运筹学论坛 全部的 前5名23个字段中引用 449 计算机科学（68至XX） 93 数理逻辑与基础（03-XX） 19 信息与通信理论、电路（94-XX） 17 组合数学（05-XX） 17 系统论；控制（93至XX） 15 运筹学、数学规划（90-XX） 10 博弈论、经济学、金融和其他社会和行为科学（91-XX） 7 生物学和其他自然科学（92-XX） 5 总体主题；集合（00-XX） 5 阶、格、有序代数结构（06-XX） 5 数值分析（65-XX） 4 常微分方程（34-XX） 4 概率论与随机过程（60-XX） 4 统计学（62-XX） 三 数论（11-XX） 2 代数几何（14-XX） 2 范畴理论；同调代数（18-XX） 2 凸和离散几何（52至XX） 1 场论和多项式（12-XX） 1 交换代数（13-XX） 1 动力系统和遍历理论（37至XX） 1 一般拓扑结构（54至XX） 1 流体力学（76-XX） 按年份列出的引文