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