编辑配置文件（在新选项卡中打开） 克拉克（Edmund Melson jun Clarke）。（1945年2月20日） 合著者距离 作者ID： 克拉克·埃德蒙德·梅尔森·朱恩 发布日期： 埃德蒙·克拉克;埃德蒙·克拉克（Edmund M.Clarke）。;E.M.克拉克。;E.克拉克。;Edmund M.jun Clarke。;克拉克（Edmund Melson jun Clarke）。;E.M.jun Clarke。;克拉克、埃德蒙·梅尔森 更多。。。较少的 外部链接： MGP公司·维基数据·谷歌学者·数据库许可证·接地·ID参考 奖品： 图灵奖（2007） 编入索引的文档： 125出版物自1979年以来，包括1本书 7作为编辑的贡献·3进一步捐款 传记参考： 2出版物 合著者： 118位合著者具有125联合出版物 2424名合作作者 全部的 前5名合著者 8 单作者的 14 奥尔纳·格伦伯格 14 赫尔穆特·维思 11 萨加·查基 8 娜塔莎·莎莉吉娜 7 Jha，萨默什 7 乔尔·欧·瓦克宁。 7 尼尚·辛哈 6 迈克尔·C·布朗。 6 埃默森，欧内斯特·艾伦 6 高思春 6 丹尼尔·科宁 6 罗伯特·P·库尔珊（Robert P.Kurshan）。 6 安德烈·普拉泽 6 穆拉利达尔·塔卢普尔 6 保罗·祖利亚尼 5 阿明·比尔 5 布鲁斯·H·克罗。 5 王、董 4 托马斯·亨辛格（Thomas A.Henzinger）。 4 希曼舒·杰恩 4 Long，David E。 4 巴德·米什拉 4 阿拉文达·普拉萨德·西斯特拉 4 斯特里赫曼（Ofer Strichman） 4 凯伦·约拉夫 4 朱云山 三 拜尔，克里斯特尔 三 亚历山德罗·西马蒂 三 大卫·L·迪尔。 三 安斯加·芬克 三 德国人，Steven M。 三 福斯托·金奇利亚 三 Joseph Yehuda Halpern 三 威廉·克利伯 三 詹姆斯·H·库库拉。 三 弗拉维奥·勒尔达 三 卢、袁 三 马里乌斯·米尼亚 三 Doron A.Peled。 三 马可·罗维里 三 泰瑟·图利 三 赵旭东 2 杰里米·阿维加德 2 Soumitra Bose公司 2 Sérgio V.A.坎波斯。 2 乔恩，帕沃 2 Chauhan，潘卡杰 2 陈玉芳 2 德拉吉切斯库，I.A。 2 阿扎德法尔赞 2 亚历克斯·格罗斯 2 阿努巴夫·古普塔 2 韩、智 2 瓦西利基·哈特纳斯·加姆豪森 2 米科拉什·亚诺塔 2 苏米特·库马尔·贾阿 2 安维什·科穆拉维利 2 孔顺浩 2 Joáo P.塞尔瓦侯爵。 2 威尔·马里罗 2 肯尼思·麦克米兰。 2 艾伯特·罗纳德·梅耶 2 斯皮罗·米查洛夫 2 阿琼·拉德哈克利什纳 2 理查德·雷米 2 列奥尼德·雷日克 2 萨曼塔（Samanta，Roopsha） 2 萨米尔·萨普拉 2 奥拉夫·斯特斯伯格 2 托尔斯滕·塔拉赫 2 迈克尔·西奥博尔德 2 Tsay，Yih-Kuen先生 2 安德烈·沃伦科夫 2 王，弯腰 1 彼得·阿策尔 1 塞尔吉奥山谷阿吉亚尔·坎波斯 1 啊，阿尔弗雷德·瓦伊诺 1 阿南塔拉曼，T.S。 1 Sten F.安德勒。 1 格雷戈里·安德鲁斯。 1 Bae，Kyungmin先生 1 约翰·班宁 1 君士坦丁·巴齐斯 1 安德烈·鲍尔 1 乔什·伯丁 1 谢尔盖·贝雷津 1 菲利普·伯恩斯坦。 1 罗德里克·布洛姆 1 I.A.布朗。 1 杰里·伯奇。 1 罗伯特·卡特赖特 1 马可·安东尼奥·卡萨诺娃 1 诺曼·H·科恩。 1 理查德·科恩（Richard M.Cohen）。 1 Rina S.科恩。 1 罗伯特·李，警察 1 拜伦·库克 1 帕特里克·库索特 1 拉迪亚·库索特 1 阿德里安·克里彻 ……还有63位合著者 全部的 前5名系列 11 系统设计中的形式化方法 4 理论计算机科学 4 计算机科学课堂讲稿 三 计算机协会杂志 三 信息与计算 2 程序设计语言与系统学报 2 自动推理杂志 2 逻辑与计算杂志 1 信息学报 1 人工智能 1 信息处理信件 1 计算 1 电气电子工程师学会计算机期刊 1 信息和控制 1 伦敦皇家学会哲学学报。序列号。A类 1 软件。实践与经验 1 计算机程序设计科学 1 计算的形式方面 1 国际计算机科学基础杂志 1 美国医学会杂志 1 DIMACS系统。离散数学和理论计算机科学系列 1 计算机科学课文 1 网络物理系统系列 全部的 前5名领域 128 计算机科学（68至XX） 21 数学逻辑和基础（03-XX） 8 系统论；控制（93至XX） 8 信息与通信理论、电路（94-XX） 6 总体主题；集合（00-XX） 三 统计学（62-XX） 2 数论（11-XX） 1 场论和多项式（12-XX） 1 交换代数（13-XX） 1 特殊功能（33至XX） 1 算子理论（47-XX） 1 概率论与随机过程（60-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 125出版物有被引用2941中的次1967年文件 引用人▼ 年份▼ 使用时态逻辑规范对有限状态并发系统进行自动验证。 兹比尔0591.68027 E.M.克拉克。;艾默生，E.A。;西斯特拉，A.P。 316 1986 使用分支时间时序逻辑设计和合成同步骨架。 Zbl 0546.68014号 埃德蒙·克拉克（Edmund M.Clarke）。;艾默生·E·艾伦 248 1982 命题线性时序逻辑的复杂性。 Zbl 0632.68034号 西斯特拉，A.P。;E.M.克拉克。 234 1985 符号模型检查：（10^{20}）状态及以上。 Zbl 0753.68066号 J.R.伯奇。;E.M.克拉克。;麦克米兰，K.L。;迪尔·D·L。;黄，L.J。 195 1992 反例引导的抽象细化。 Zbl 0974.68517号 埃德蒙·克拉克;奥尔纳·格伦伯格;Jha，萨默什;卢、袁;赫尔穆特·维思 166 2000 用于符号模型检查的反例引导抽象细化。 Zbl 1325.68145号 埃德蒙·克拉克;奥尔纳·格伦伯格;Jha，萨默什;卢、袁;赫尔穆特·维思 124 2003 NuSMV 2：用于符号模型检查的OpenSource工具。 Zbl 1010.68766号 亚历山德罗·西马蒂;埃德蒙·克拉克;恩里科·金西格里亚;福斯托·金奇利亚;马尔科·皮斯托雷;马可·罗维里;罗伯托·塞巴斯蒂亚尼;塔切拉，阿曼多 114 2002 使用分支时间时序逻辑合成同步骨架。 Zbl 0514.68032号 艾默生·E·艾伦;埃德蒙·克拉克（Edmund M.Clarke）。 84 1982 用于检查ANSI-C程序的工具。 Zbl 1126.68470号 埃德蒙·克拉克;丹尼尔·克罗宁;弗拉维奥·勒尔达 78 2004 模型检查。第二次扩展和更新版本。 Zbl 1423.68002号 Edmund M.jun Clarke。;奥尔纳·格伦伯格;丹尼尔·克罗宁;多龙·贝利德;赫尔穆特·维思 76 2018 使用可满足性求解进行有界模型检查。 Zbl 0985.68038号 埃德蒙·克拉克;阿明·比尔;理查德·雷米;朱云山 71 2001 描述命题时序逻辑中有限Kripke结构的特征。 Zbl 0677.03011号 M.C.布朗。;E.M.克拉克。;O·格伦伯格。 69 1988 模型检查手册。 Zbl 1390.68001号 56 2018 使用固定点描述并行程序的正确性属性。 Zbl 0456.68016号 艾默生·E·艾伦;埃德蒙·克拉克（Edmund M.Clarke）。 52 1980 NuSMV：一种新的符号模型检查器。 Zbl 1059.68582号 亚历山德罗·西马蒂;埃德蒙·克拉克;福斯托·金奇利亚;马可·罗维里 47 2000 dReal：一个SMT解算器，用于实域上的非线性理论。 Zbl 1381.68268号 高思春;孔宋浩;埃德蒙·克拉克（Edmund M.Clarke）。 43 2013 模型检查。 Zbl 0847.68063号 E.克拉克。;O·格伦伯格。;龙，D。 40 1996 NuSMV：一种新的符号模型验证器。 Zbl 1046.68587号 A.西马蒂。;E.克拉克。;Giunchiglia，F。;Roveri，M。 37 1999 程序设计语言构造，对于这种构造，不可能获得好的霍尔公理系统。 兹比尔0388.868008 克拉克（Edmund Melson jun Clarke）。 33 1979 关于具有许多相同有限状态过程的网络的推理。 Zbl 0709.68610号 布朗，M.C。;E.M.克拉克。;O·格伦伯格。 29 1989 使用没有BDD的符号模型检查验证PowerPC（^{TM}）微处理器的安全属性。 Zbl 1046.68578号 阿明·比尔;埃德蒙·克拉克;理查德·雷米;朱云山 29 1999 用反例引导精化求解QBF。 Zbl 1273.68178号 米科拉什·亚诺塔;威廉·克利伯;若昂·西尔瓦侯爵;埃德蒙·克拉克 29 2012 一种改进的不动点表达式求值算法。 Zbl 0901.68118号 A.布朗。;E.M.克拉克。;Jha，S。;龙，D.E。;西马里罗。 26 1997 混合系统模型检验中的抽象和反例引导精化。 Zbl 1101.68678号 埃德蒙·克拉克;安斯加·芬克;韩、智;布鲁斯·克罗格;约尔·瓦克宁;奥拉夫·斯特斯伯格;迈克尔·西奥博尔德 25 2003 将自动合成验证扩展到整个欧米伽规则语言类。 Zbl 1134.68406号 阿扎德法尔赞;陈玉芳;埃德蒙·克拉克（Edmund M.Clarke）。;Tsay，Yih-Kuen先生;王，弯腰 24 2008 成分模型检查。 Zbl 0716.68035号 E.M.克拉克。;龙，D.E。;麦克米兰，K.L。 23 1989 用反例引导精化求解QBF。 Zbl 1351.68254号 米科拉什·亚诺塔;威廉·克利伯;若昂·西尔瓦侯爵;埃德蒙·克拉克 23 2016 \（delta）-完成reals上可满足性的决策过程。 Zbl 1358.03028号 高思春;杰里米·阿维加德;埃德蒙·克拉克（Edmund M.Clarke）。 22 2012 学习用于成分验证的最小分离DFA。 Zbl 1234.68166号 陈玉芳;阿扎德法尔赞;埃德蒙·克拉克（Edmund M.Clarke）。;Tsay，Yih-Kuen先生;王，弯腰 21 2009 SATABS:ANSI-C基于SAT的谓词抽象。 Zbl 1087.68586号 埃德蒙·克拉克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜;凯伦·约拉夫 21 2005 概率过程的符号模型检查。 Zbl 1401.68180号 拜尔，克里斯特尔;埃德蒙·克拉克（Edmund M.Clarke）。;瓦西利基·哈特纳斯·加姆豪森;玛尔塔·奎亚特科夫斯卡;马克·瑞恩 21 1997 使用递归调用验证并发消息传递C程序。 Zbl 1180.68109号 查基，S。;E.克拉克。;北卡罗来纳州基德。;代表，T。;Touili，T。 20 2006 计算机科学中的逻辑：关于系统的建模和推理。附有埃德蒙·克拉克的前言。 Zbl 0955.68001号 哈，迈克尔;马克·瑞恩 19 2000 具有游戏状态学习的非婚前协议、非子句QBF求解器。 Zbl 1306.68161号 威廉·克利伯;萨米尔·萨普拉;高思春;埃德蒙·克拉克 19 2010 计算混合系统的微分不变量作为固定点。 兹比尔1155.68445 安德烈·普拉泽;埃德蒙·克拉克（Edmund M.Clarke）。 19 2008 使用偏序技术的状态空间约简。 Zbl 1065.68506号 E.M.克拉克。;O·格伦伯格。;Minea，M。;D.贝利德。 18 1999 有界模型检查的完整性和复杂性。 Zbl 1202.68244号 埃德蒙·克拉克;丹尼尔·克罗宁;约尔·瓦克宁;斯特里赫曼（Ofer Strichman） 17 2004 通过网络分解进行验证。 Zbl 1099.68653号 埃德蒙·克拉克;穆拉利达尔·塔卢普尔;泰瑟·图利;赫尔穆特·维思 16 2004 模拟一致性的自动假设保证推理。 Zbl 1081.68612号 萨加·查基;埃德蒙·克拉克;尼尚·辛哈;普拉桑纳·塔蒂 16 2005 使用SAT对ANSI-C程序进行谓词抽象。 Zbl 1090.68022号 埃德蒙·克拉克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜;凯伦·约拉夫 16 2004 参数化验证的环境抽象。 Zbl 1176.68117号 埃德蒙·克拉克;穆拉利达尔·塔卢普尔;赫尔穆特·维思 16 2006 混合系统模型检测中的图像计算问题。 Zbl 1221.93118号 安德烈·普拉泽;埃德蒙·克拉克（Edmund M.Clarke）。 15 2007 使用时序逻辑对时序电路进行自动验证。 Zbl 0604.94011号 迈克尔·C·布朗。;埃德蒙·克拉克（Edmund M.Clarke）。;大卫·L·迪尔。;巴德·米什拉 15 1986 基于状态/事件的软件模型检查。 Zbl 1196.68129号 萨加·查基;埃德蒙·克拉克（Edmund M.Clarke）。;约尔·瓦克宁;娜塔莎·莎莉吉娜;尼尚·辛哈 14 2004 模型检查的诞生。 Zbl 1142.68046号 埃德蒙·克拉克（Edmund M.Clarke）。 14 2008 基于反例引导抽象求精的混合系统验证。 Zbl 1031.68078号 埃德蒙·克拉克;安斯加·芬克;韩、智;布鲁斯·克罗格;奥拉夫·斯特斯伯格;迈克尔·西奥博尔德 13 2003 线性时间和分支时间逻辑的可表达性结果。（技术贡献）。 Zbl 0683.68030号 E.M.克拉克。;基塞斯库博士，I.A。 11 1989 霍尔逻辑的有效公理化。 Zbl 0627.68010号 Edmund M.jun Clarke。;德国人，Steven M。;约瑟夫·霍尔珀（Joseph Y.Halpern）。 11 1983 解析-将定理证明和符号计算相结合的实验。 Zbl 0916.68143号 安德烈·鲍尔;埃德蒙·克拉克;赵旭东 10 1998 计算混合系统的微分不变量作为不动点。 Zbl 1180.93024号 安德烈·普拉泽;埃德蒙·克拉克（Edmund M.Clarke）。 10 2009 使用ILP和机器学习技术的基于SAT的抽象重定义。 Zbl 1010.68515号 埃德蒙·克拉克;阿努巴夫·古普塔;詹姆斯·库库拉;斯特里赫曼（Ofer Strichman） 10 2002 证明托勒密的正确性：用于模型检查并发系统的环境抽象框架。 兹比尔1134.68403 埃德蒙·克拉克;穆拉利·塔卢普尔;赫尔穆特·维思 10 2008 将不变量编程为固定点。 Zbl 0399.68022号 E.M.克拉克。 9 1979 线性丢番图方程和线性模方程的有效Craig插值。 兹比尔1155.68439 希曼舒·杰恩;埃德蒙·克拉克;奥尔纳·格伦伯格 9 2008 使用时序逻辑对异步电路进行分级验证。 兹伯利0584.94022 米什拉，B。;E.克拉克。 9 1985 描述时间逻辑中克里普克结构的特征。 Zbl 0626.03019号 M.C.布朗。;E.M.克拉克。;O·格伦伯格。 9 1987 使用迭代松弛抽象的线性混合自动机的可达性。 Zbl 1221.93115号 Jha，Sumit K。;布鲁斯·H·克罗。;詹姆斯·韦默（James E.Weimer）。;埃德蒙·克拉克（Edmund M.Clarke）。 8 2007 计算机物理系统的统计模型检查。 Zbl 1348.68128号 埃德蒙·克拉克（Edmund M.Clarke）。;保罗·祖利亚尼 8 2011 软件可靠性方法。Edmund M.Clarke的前言。 Zbl 0980.68014号 Doron A.Peled。 8 2001 模型检查。 Zbl 1066.68075号 埃德蒙·克拉克（Edmund M.Clarke）。;施林格洛夫，伯恩德·霍尔格 8 2001 使用分支时间时序逻辑设计和合成同步骨架。 Zbl 1142.68431号 埃德蒙·克拉克（Edmund M.Clarke）。;艾默生·E·艾伦 8 2008 贝叶斯统计模型检查及其在Stateflow/Simulink验证中的应用。 Zbl 1291.68273号 保罗·祖利亚尼;安德烈·普拉泽;埃德蒙·克拉克（Edmund M.Clarke）。 8 2013 贝叶斯统计模型检查及其在Simulink/Stateflow验证中的应用。 Zbl 1361.68154号 保罗·祖利亚尼;安德烈·普拉泽;埃德蒙·克拉克（Edmund M.Clarke）。 8 2010 使用状态、事件和死锁进行并发软件验证。 Zbl 1103.68609号 萨加·查基;埃德蒙·克拉克;约尔·瓦克宁;娜塔莎·莎莉吉娜;尼尚·辛哈 7 2005 使用惰性学习的基于SAT的成分验证。 Zbl 1135.68483号 尼尚·辛哈;埃德蒙·克拉克 7 2007 使用基于SAT的冲突分析对大型状态空间进行模型检查的自动抽象求精。 Zbl 1019.68618号 潘卡杰·乔汉;埃德蒙·克拉克;詹姆斯·库库拉;萨米尔·萨普拉;赫尔穆特·维思;王、董 7 2002 \（delta）-实域上的可判定性。 Zbl 1364.03065号 高思春;杰里米·阿维加德;埃德蒙·克拉克（Edmund M.Clarke）。 7 2012 形状分析的算术强化。 Zbl 1211.68094号 斯蒂芬·马吉尔;乔什·伯丁;埃德蒙·克拉克;拜伦·库克 6 2007 重新审视了反例：原理、算法、应用。 Zbl 1274.68179号 埃德蒙·克拉克;赫尔穆特·维思 6 2003 结合决策图和SAT程序进行有效的符号模型检查。 Zbl 0974.68526号 威廉姆斯，Poul F。;阿明·比尔;埃德蒙·克拉克（Edmund M.Clarke）。;阿努巴夫·古普塔 6 2000 使用状态接近和合并验证监控软件。 Zbl 1143.68457号 弗拉维奥·勒尔达;詹姆斯·卡宾斯基;埃德蒙·克拉克（Edmund M.Clarke）。;布鲁斯·H·克罗。 6 2008 动态组件替代性分析。 Zbl 1120.68421号 娜塔莎·莎莉吉娜;萨加·查基;埃德蒙·克拉克;尼尚·辛哈 6 2005 使用反例片段细化混合系统的抽象。 Zbl 1078.93041号 安斯加·芬克;埃德蒙·克拉克;苏米特·库马尔·贾阿;布鲁斯·克罗格 6 2005 用于硬件验证的基于SAT的谓词抽象。 Zbl 1204.68129号 埃德蒙·克拉克;穆拉利达尔·塔卢普尔;赫尔穆特·维思;王、董 6 2004 一种统一的方法，用于显示各种类型的\（\omega \）-自动机之间的语言包含和等价性。 Zbl 0925.68274号 E.M.克拉克。;德拉吉切斯库，I.A。;库尔山，R.P。 5 1993 两种有限状态并发系统验证方法的综合。 Zbl 0688.68019号 E.M.克拉克。;O·格伦伯格。;库尔山，R.P。 5 1989 帕特农神庙：非霍恩子句的并行定理证明程序。 Zbl 0716.68076号 Soumitra Bose公司;埃德蒙·克拉克（Edmund M.Clarke）。;Long，David E。;斯皮罗·米查洛夫 5 1989 消息缓冲区可以在线性时态逻辑中公理化吗？ Zbl 0591.68022号 西斯特拉，A.P。;E.M.克拉克。;北弗朗西兹。;A.R.梅耶。 5 1984 从树样本中学习概率系统。 Zbl 1362.68122号 安维什·科穆拉维利;科琳娜·s·佩斯勒诺。;埃德蒙·克拉克（Edmund M.Clarke）。 5 2012 分支时间规范的状态/事件软件验证。 Zbl 1137.68432号 萨加·查基;埃德蒙·克拉克;奥尔纳·格伦伯格;约尔·瓦克宁;娜塔莎·莎莉吉娜;泰瑟·图利;赫尔穆特·维思 4 2005 在语言L4中将过程作为参数进行推理。 Zbl 0692.68011号 德国人，Steven M。;埃德蒙·克拉克（Edmund M.Clarke）。;约瑟夫·霍尔珀（Joseph Y.Halpern）。 4 1989 使用定量符号算法分析和验证实时系统。 Zbl 1065.68505号 塞尔吉奥山谷阿吉亚尔·坎波斯;埃德蒙·克拉克 4 1999 基于仿真的混合模拟电路概率模型检查。 Zbl 1207.68205号 埃德蒙·克拉克;亚历山大·唐泽;Legay、Axel 4 2010 并发程序资源不变量的合成。 Zbl 0468.68024号 克拉克（Edmund Melson jun Clarke）。 4 1980 概率特性的统计验证，直到。 Zbl 1325.68158号 哈坎·L·S·尤尼斯。;埃德蒙·克拉克（Edmund M.Clarke）。;保罗·祖利亚尼 4 2011 用于编程、人工智能和推理的逻辑。第16届国际会议，LPAR-16，塞内加尔达喀尔，2010年4月25日至5月1日。修订了选定的论文。 Zbl 1203.68004号 4 2010 通过组件可替换性分析验证不断发展的软件。 兹比尔1147.68047 萨加·查基;埃德蒙·克拉克;娜塔莎·莎莉吉娜;尼尚·辛哈 4 2008 使用同步合成从非抢占调度到抢占调度。 Zbl 1381.68040号 乔恩，帕沃;埃德蒙·克拉克（Edmund M.Clarke）。;托马斯·亨辛格（Thomas A.Henzinger）。;阿琼·拉德哈克利什纳;列奥尼德·雷日克;萨曼塔（Samanta，Roopsha）;托尔斯滕·塔拉赫 4 2015 使用谓词抽象验证SpecC。 Zbl 1117.68046号 埃德蒙·克拉克;Jain，希曼舒;丹尼尔·克罗宁 4 2007 随机混合系统的Rareevent验证。 Zbl 1362.68192号 保罗·祖利亚尼;拜尔，克里斯特尔;埃德蒙·克拉克（Edmund M.Clarke）。 4 2012 癌症信号通路的计算建模和验证。 兹比尔1349.92074 龚海军;保罗·祖利亚尼;安维什·科穆拉维利;James R.Faeder。;埃德蒙·克拉克（Edmund M.Clarke）。 三 2012 安全协议验证的部分订单减少。 Zbl 0965.68053号 埃德蒙·克拉克;Jha，萨默什;威尔·马里罗 三 2000 基于SMT的虚拟同步分布式混合系统分析。 Zbl 1364.68258号 Bae，Kyungmin先生;彼得·塞巴·奥维茨基;孔顺浩;高思春;埃德蒙·克拉克（Edmund M.Clarke）。 三 2016 并发C程序的自动组合抽象细化：一种两级方法。 Zbl 1271.68081号 萨加·查基;约尔·瓦克宁;凯伦·约拉夫;埃德蒙·克拉克 三 2003 使用一般匹配检查非子句公式的可满足性。 Zbl 1187.68549号 希曼舒·杰恩;君士坦丁·巴齐斯;埃德蒙·克拉克 2 2006 一种统一的方法，用于显示各种类型的\（\omega \）-自动机之间的语言包含和等价性。 Zbl 0759.68063号 E.M.克拉克。;I.A.布朗。;库尔山，R.P。 2 1990 使谓词抽象高效：如何消除冗余谓词。 Zbl 1278.68163号 埃德蒙·克拉克;奥尔纳·格伦伯格;穆拉利达尔·塔卢普尔;王、董 2 2003 异步电路的自动验证。 Zbl 0541.94038号 E.克拉克。;米什拉，B。 2 1984 将程序作为参数进行推理。 Zbl 0539.68010号 德语，S.M。;E.M.jun Clarke。;J.Y.Halpern。 2 1984 顺序和并发C程序的有效验证。 Zbl 1101.68677号 查基，S。;E.克拉克。;A.格罗斯。;沃克宁，J。;O·斯特里赫曼。;约拉夫，K。 2 2004 模型检查。第二次扩展和更新版本。 Zbl 1423.68002号 Edmund M.jun Clarke。;奥尔纳·格伦伯格;丹尼尔·克罗宁;多龙·贝利德;赫尔穆特·维思 76 2018 模型检查手册。 Zbl 1390.68001号 56 2018 模型检查简介。 Zbl 1392.68242号 埃德蒙·克拉克（Edmund M.Clarke）。;托马斯·亨辛格（Thomas A.Henzinger）。;赫尔穆特·维思 1 2018 使用同步合成从非抢占调度到抢占调度。 Zbl 1360.68346号 乔恩，帕沃;埃德蒙·克拉克（Edmund M.Clarke）。;托马斯·亨辛格（Thomas A.Henzinger）。;阿琼·拉德哈克利什纳;列奥尼德·雷日克;萨曼塔（Samanta，Roopsha）;托尔斯滕·塔拉赫 1 2017 用反例引导精化求解QBF。 Zbl 1351.68254号 米科拉什·亚诺塔;威廉·克利伯;若昂·西尔瓦侯爵;埃德蒙·克拉克 23 2016 基于SMT的虚拟同步分布式混合系统分析。 Zbl 1364.68258号 Bae，Kyungmin先生;彼得·塞巴·奥维茨基;孔顺浩;高思春;埃德蒙·克拉克（Edmund M.Clarke）。 三 2016 使用同步合成从非抢占调度到抢占调度。 Zbl 1381.68040号 乔恩，帕沃;埃德蒙·克拉克（Edmund M.Clarke）。;托马斯·亨辛格（Thomas A.Henzinger）。;阿琼·拉德哈克利什纳;列奥尼德·雷日克;萨曼塔（Samanta，Roopsha）;托尔斯滕·塔拉赫 4 2015 \（2^｛5｝\）年的模型检查。 Zbl 1434.68296号 埃德蒙·克拉克（Edmund M.Clarke）。;王勤思 2 2015 dReal：一个SMT解算器，用于实域上的非线性理论。 Zbl 1381.68268号 高思春;孔宋浩;埃德蒙·克拉克（Edmund M.Clarke）。 43 2013 贝叶斯统计模型检查及其在Stateflow/Simulink验证中的应用。 Zbl 1291.68273号 保罗·祖利亚尼;安德烈·普拉泽;埃德蒙·克拉克（Edmund M.Clarke）。 8 2013 用反例引导精化求解QBF。 Zbl 1273.68178号 米科拉什·亚诺塔;威廉·克利伯;若昂·西尔瓦侯爵;埃德蒙·克拉克 29 2012 \（delta）-完成reals上可满足性的决策过程。 Zbl 1358.03028号 高思春;杰里米·阿维加德;埃德蒙·克拉克（Edmund M.Clarke）。 22 2012 \（delta）-实域上的可判定性。 Zbl 1364.03065号 高思春;杰里米·阿维加德;埃德蒙·克拉克（Edmund M.Clarke）。 7 2012 从树样本中学习概率系统。 Zbl 1362.68122号 安维什·科穆拉维利;科琳娜·s·佩斯勒诺。;埃德蒙·克拉克（Edmund M.Clarke）。 5 2012 随机混合系统的Rareevent验证。 Zbl 1362.68192号 保罗·祖利亚尼;拜尔，克里斯特尔;埃德蒙·克拉克（Edmund M.Clarke）。 4 2012 癌症信号通路的计算建模和验证。 兹比尔1349.92074 龚海军;保罗·祖利亚尼;安维什·科穆拉维利;James R.Faeder。;埃德蒙·克拉克（Edmund M.Clarke）。 三 2012 计算机物理系统的统计模型检查。 Zbl 1348.68128号 埃德蒙·克拉克（Edmund M.Clarke）。;保罗·祖利亚尼 8 2011 概率特性的统计验证，直到。 Zbl 1325.68158号 哈坎·L·S·尤尼斯。;埃德蒙·克拉克（Edmund M.Clarke）。;保罗·祖利亚尼 4 2011 使用Gröbner基消除有限域上的量词。 Zbl 1339.68321号 高思春;安德烈·普拉泽;埃德蒙·克拉克（Edmund M.Clarke）。 1 2011 具有游戏状态学习功能的非违约、非子句QBF解算器。 Zbl 1306.68161号 威廉·克利伯;萨米尔·萨普拉;高思春;埃德蒙·克拉克 19 2010 贝叶斯统计模型检查及其在Simulink/Stateflow验证中的应用。 Zbl 1361.68154号 保罗·祖利亚尼;安德烈·普拉泽;埃德蒙·克拉克（Edmund M.Clarke）。 8 2010 基于仿真的混合模拟电路概率模型检查。 Zbl 1207.68205号 埃德蒙·克拉克;亚历山大·唐泽;Legay、Axel 4 2010 用于编程、人工智能和推理的逻辑。第16届国际会议，LPAR-16，塞内加尔达喀尔，2010年4月25日至5月1日。修订了选定的论文。 Zbl 1203.68004号 4 2010 学习用于成分验证的最小分离DFA。 Zbl 1234.68166号 陈玉芳;阿扎德法尔赞;埃德蒙·克拉克（Edmund M.Clarke）。;Tsay，Yih-Kuen先生;王，弯腰 21 2009 计算混合系统的微分不变量作为不动点。 Zbl 1180.93024号 安德烈·普拉泽;埃德蒙·克拉克（Edmund M.Clarke）。 10 2009 线性丢番图方程和线性模方程的有效Craig插值。 Zbl 1186.68013号 Jain，希曼舒;埃德蒙·克拉克（Edmund M.Clarke）。;奥尔纳·格伦伯格 1 2009 将自动合成验证扩展到整个欧米伽规则语言类。 Zbl 1134.68406号 阿扎德法尔赞;陈玉芳;埃德蒙·克拉克（Edmund M.Clarke）。;Tsay，Yih-Kuen先生;王，弯腰 24 2008 计算混合系统的微分不变量作为固定点。 Zbl 1155.68445号 安德烈·普拉泽;埃德蒙·克拉克（Edmund M.Clarke）。 19 2008 模型检查的诞生。 Zbl 1142.68046号 埃德蒙·克拉克（Edmund M.Clarke）。 14 2008 证明托勒密的正确性：用于模型检查并发系统的环境抽象框架。 兹比尔1134.68403 埃德蒙·克拉克;穆拉利·塔卢普尔;赫尔穆特·维思 10 2008 线性丢番图方程和线性模方程的有效Craig插值。 Zbl 1155.68439号 希曼舒·杰恩;埃德蒙·克拉克;奥尔纳·格伦伯格 9 2008 使用分支时间时序逻辑设计和合成同步骨架。 Zbl 1142.68431号 埃德蒙·克拉克（Edmund M.Clarke）。;艾默生·E·艾伦 8 2008 使用状态接近和合并验证监控软件。 Zbl 1143.68457号 弗拉维奥·勒尔达;詹姆斯·卡宾斯基;埃德蒙·克拉克（Edmund M.Clarke）。;布鲁斯·H·克罗。 6 2008 通过组件可替换性分析验证不断发展的软件。 Zbl 1147.68047号 萨加·查基;埃德蒙·克拉克;娜塔莎·莎莉吉娜;尼尚·辛哈 4 2008 混合系统模型检测中的图像计算问题。 Zbl 1221.93118号 安德烈·普拉泽;埃德蒙·克拉克（Edmund M.Clarke）。 15 2007 使用迭代松弛抽象的线性混合自动机的可达性。 Zbl 1221.93115号 Jha，Sumit K。;布鲁斯·H·克罗。;詹姆斯·韦默（James E.Weimer）。;埃德蒙·克拉克（Edmund M.Clarke）。 8 2007 使用惰性学习的基于SAT的成分验证。 Zbl 1135.68483号 尼尚·辛哈;埃德蒙·克拉克 7 2007 形状分析的算术强化。 Zbl 1211.68094号 斯蒂芬·马吉尔;乔什·伯丁;埃德蒙·克拉克;拜伦·库克 6 2007 使用谓词抽象验证SpecC。 Zbl 1117.68046号 埃德蒙·克拉克;希曼舒·杰恩;丹尼尔·克罗宁 4 2007 使用递归调用验证并发消息传递C程序。 Zbl 1180.68109号 查基，S。;E.克拉克。;北卡罗来纳州基德。;代表，T。;Touili，T。 20 2006 参数化验证的环境抽象。 Zbl 1176.68117号 埃德蒙·克拉克;穆拉利达尔·塔卢普尔;赫尔穆特·维思 16 2006 使用一般匹配检查非子句公式的可满足性。 兹比尔1187.68549 希曼舒·杰恩;君士坦丁·巴齐斯;埃德蒙·克拉克 2 2006 程序兼容性方法。 Zbl 1196.68044号 埃德蒙·克拉克;娜塔莎·莎莉吉娜;尼尚·辛哈 1 2006 验证具有安全应用程序的无限状态系统。2005年3月17日至22日，罗马尼亚蒂马什瓦拉，北约无限状态系统验证及其安全应用高级研究研讨会论文集。 Zbl 1126.68054号 1 2006 SATABS:ANSI-C基于SAT的谓词抽象。 Zbl 1087.68586号 埃德蒙·克拉克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜;凯伦·约拉夫 21 2005 模拟一致性的自动假设保证推理。 兹比尔1081.68612 萨加·查基;埃德蒙·克拉克;尼尚·辛哈;普拉桑纳·塔蒂 16 2005 使用状态、事件和死锁进行并发软件验证。 Zbl 1103.68609号 萨加·查基;埃德蒙·克拉克;约尔·瓦克宁;娜塔莎·莎莉吉娜;尼尚·辛哈 7 2005 动态组件替代性分析。 Zbl 1120.68421号 娜塔莎·莎莉吉娜;萨加·查基;埃德蒙·克拉克;尼尚·辛哈 6 2005 使用反例片段细化混合系统的抽象。 Zbl 1078.93041号 安斯加·芬克;埃德蒙·克拉克;苏米特·库马尔·贾阿;布鲁斯·克罗格 6 2005 分支时间规范的状态/事件软件验证。 Zbl 1137.68432号 萨加·查基;埃德蒙·克拉克;奥尔纳·格伦伯格;约尔·瓦克宁;娜塔莎·莎莉吉娜;泰瑟·图利;赫尔穆特·维思 4 2005 用于检查ANSI-C程序的工具。 Zbl 1126.68470号 埃德蒙·克拉克;丹尼尔·克罗宁;弗拉维奥·勒尔达 78 2004 有界模型检查的完整性和复杂性。 Zbl 1202.68244号 埃德蒙·克拉克;丹尼尔·克罗宁;约尔·瓦克宁;斯特里赫曼（Ofer Strichman） 17 2004 通过网络分解进行验证。 Zbl 1099.68653号 埃德蒙·克拉克;穆拉利达尔·塔卢普尔;泰瑟·图利;赫尔穆特·维思 16 2004 使用SAT对ANSI-C程序进行谓词抽象。 Zbl 1090.68022号 埃德蒙·克拉克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜;凯伦·约拉夫 16 2004 基于状态/事件的软件模型检查。 Zbl 1196.68129号 萨加·查基;埃德蒙·克拉克（Edmund M.Clarke）。;约尔·瓦克宁;娜塔莎·莎莉吉娜;尼尚·辛哈 14 2004 用于硬件验证的基于SAT的谓词抽象。 Zbl 1204.68129号 埃德蒙·克拉克;穆拉利达尔·塔卢普尔;赫尔穆特·维思;王、董 6 2004 顺序和并发C程序的有效验证。 Zbl 1101.68677号 查基，S。;E.克拉克。;A.格罗斯。;沃克宁，J。;O·斯特里赫曼。;约拉夫，K。 2 2004 用于符号模型检查的反例引导抽象细化。 Zbl 1325.68145号 埃德蒙·克拉克;奥尔纳·格伦伯格;Jha，萨默什;卢、袁;赫尔穆特·维思 124 2003 混合系统模型检验中的抽象和反例引导精化。 Zbl 1101.68678号 埃德蒙·克拉克;安斯加·芬克;韩、智;布鲁斯·克罗格;约尔·瓦克宁;奥拉夫·斯特斯伯格;迈克尔·西奥博尔德 25 2003 基于反例引导抽象求精的混合系统验证。 Zbl 1031.68078号 埃德蒙·克拉克;安斯加·芬克;韩、智;布鲁斯·克罗格;奥拉夫·斯特斯伯格;迈克尔·西奥博尔德 13 2003 重温反例：原理、算法、应用。 Zbl 1274.68179号 埃德蒙·克拉克;赫尔穆特·维思 6 2003 并发C程序的自动组合抽象细化：一种两级方法。 Zbl 1271.68081号 萨加·查基;约尔·瓦克宁;凯伦·约拉夫;埃德蒙·克拉克 三 2003 使谓词抽象高效：如何消除冗余谓词。 兹比尔1278.68163 埃德蒙·克拉克;奥尔纳·格伦伯格;穆拉利达尔·塔卢普尔;王、董 2 2003 使用最少谓词的谓词抽象。 Zbl 1179.68033号 萨加·查基;埃德蒙·克拉克;亚历克斯·格罗斯;斯特里赫曼（Ofer Strichman） 1 2003 NuSMV 2：用于符号模型检查的OpenSource工具。 Zbl 1010.68766号 亚历山德罗·西马蒂;埃德蒙·克拉克;恩里科·金西格里亚;福斯托·金奇利亚;马尔科·皮斯托雷;马可·罗维里;罗伯托·塞巴斯蒂亚尼;塔切拉，阿曼多 114 2002 使用ILP和机器学习技术的基于SAT的抽象精化。 Zbl 1010.68515号 埃德蒙·克拉克;阿努巴夫·古普塔;詹姆斯·库库拉;斯特里赫曼（Ofer Strichman） 10 2002 使用基于SAT的冲突分析对大型状态空间进行模型检查的自动抽象求精。 兹伯利1019.68618 潘卡杰·乔汉;埃德蒙·克拉克;詹姆斯·库库拉;萨米尔·萨普拉;赫尔穆特·维思;王、董 7 2002 使用模型检查和轻量级完成功能验证无序处理器设计。 Zbl 1014.68147号 谢尔盖·贝雷津;埃德蒙·克拉克;阿明·比尔;朱云山 1 2002 基于SAT的反例引导抽象精化。 Zbl 1077.68681号 埃德蒙·克拉克（Edmund M.Clarke）。 1 2002 使用可满足性求解进行有界模型检查。 Zbl 0985.68038号 埃德蒙·克拉克;阿明·比尔;理查德·雷米;朱云山 71 2001 软件可靠性方法。Edmund M.Clarke的前言。 Zbl 0980.68014号 Doron A.Peled。 8 2001 模型检查。 Zbl 1066.68075号 埃德蒙·克拉克（Edmund M.Clarke）。;施林格洛夫，伯恩德·霍尔格 8 2001 使用组合优化方法进行量化调度。 Zbl 1002.68512号 乔汉，P。;E.克拉克。;Jha，S。;J.库库拉。;H.维思。;D.王。 1 2001 Verus语言：用BDD高效地表示时间。 Zbl 0954.68098号 Campos，S.V.A.公司。;E.克拉克。 1 2001 反例引导的抽象细化。 Zbl 0974.68517号 埃德蒙·克拉克;奥尔纳·格伦伯格;Jha，萨默什;卢、袁;赫尔穆特·维思 166 2000 NuSMV：一种新的符号模型检查器。 Zbl 1059.68582号 亚历山德罗·西马蒂;埃德蒙·克拉克;福斯托·金奇利亚;马可·罗维里 47 2000 计算机科学中的逻辑：关于系统的建模和推理。附有埃德蒙·克拉克的前言。 Zbl 0955.68001号 哈，迈克尔;马克·瑞恩 19 2000 结合决策图和SAT程序进行有效的符号模型检查。 Zbl 0974.68526号 鲍尔·威廉姆斯。;阿明·比尔;埃德蒙·克拉克（Edmund M.Clarke）。;阿努巴夫·古普塔 6 2000 安全协议验证的部分订单减少。 Zbl 0965.68053号 埃德蒙·克拉克;Jha，萨默什;威尔·马雷罗 三 2000 NuSMV：一种新的符号模型验证器。 Zbl 1046.68587号 A.西马蒂。;E.克拉克。;Giunchiglia，F。;Roveri，M。 37 1999 使用没有BDD的符号模型检查验证PowerPC（^{TM}）微处理器的安全属性。 Zbl 1046.68578号 阿明·比尔;埃德蒙·克拉克;理查德·雷米;朱，云山 29 1999 使用偏序技术的状态空间约简。 Zbl 1065.68506号 E.M.克拉克。;O·格伦伯格。;Minea，M。;D.贝利德。 18 1999 使用定量符号算法分析和验证实时系统。 Zbl 1065.68505号 塞尔吉奥山谷阿吉亚尔·坎波斯;埃德蒙·克拉克 4 1999 使用BDDS对半连续时间模型进行模型检验。 Zbl 0920.68076号 塞尔吉奥·坎波斯;马西奥·泰西拉;马吕斯·米娜;安德烈亚斯·库尔曼;埃德蒙·克拉克 1 1999 抽象BDD：一种在模型检查中使用抽象的技术。 Zbl 0949.68105号 埃德蒙·克拉克;Jha，萨默什;卢、袁;王、董 1 1999 解析-将定理证明和符号计算相结合的实验。 Zbl 0916.68143号 安德烈·鲍尔;埃德蒙·克拉克;赵旭东 10 1998 一种改进的不动点表达式求值算法。 Zbl 0901.68118号 A.布朗。;E.M.克拉克。;Jha，S。;龙，D.E。;西马里罗。 26 1997 概率过程的符号模型检查。 Zbl 1401.68180号 拜尔，克里斯特尔;埃德蒙·克拉克（Edmund M.Clarke）。;瓦西利基·哈特纳斯·加姆豪森;玛尔塔·奎亚特科夫斯卡;马克·瑞恩 21 1997 模型检查。 Zbl 0847.68063号 E.克拉克。;O·格伦伯格。;龙，D。 40 1996 多端二进制决策图和混合决策图。 Zbl 0855.94028号 埃德蒙·克拉克（Edmund M.Clarke）。;Masahiro Fujita;赵旭东 1 1996 结合符号计算和定理证明：Ramanujan的一些问题。 Zbl 1433.68541号 埃德蒙·克拉克;赵旭东 1 1994 一种统一的方法，用于显示各种类型的\（\omega \）-自动机之间的语言包含和等价性。 Zbl 0925.68274号 E.M.克拉克。;德拉吉切斯库，I.A。;库尔山，R.P。 5 1993 符号模型检查：（10^{20}）状态及以上。 Zbl 0753.68066号 J.R.伯奇。;E.M.克拉克。;麦克米兰，K.L。;迪尔·D·L。;黄，L.J。 195 1992 两种有限状态并发系统验证方法的综合。 Zbl 0782.68078号 E.M.克拉克。;O·格伦伯格。;库尔山，R.P。 2 1992 PARTHENON：非horn子句的并行定理证明程序。 Zbl 0759.68079号 Soumitra Bose公司;埃德蒙·克拉克（Edmund M.Clarke）。;Long，David E。;斯皮罗·米查洛夫 1 1992 时序逻辑模型检查：两种避免状态爆炸问题的技术。 兹比尔0786.68058 Edmund M.jun Clarke。 1 1991 90年计算机辅助验证。1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，第二届DIMACS研讨会论文集。 Zbl 0753.00020号 1 1991 计算机辅助验证。第二届国际会议，CAV’90，新泽西州新不伦瑞克，美国，1990年6月18-21日。诉讼程序。 Zbl 0756.00006号 1 1991 一种统一的方法，用于显示各种类型的\（\omega \）-自动机之间的语言包含和等价性。 Zbl 0759.68063号 E.M.克拉克。;I.A.布朗。;库尔山，R.P。 2 1990 关于具有许多相同有限状态过程的网络的推理。 Zbl 0709.68610号 M.C.布朗。;E.M.克拉克。;O·格伦伯格。 29 1989 …以及另外25个文档 所有引用出版物 前5名被引用出版物 全部的 前5名3069位作者引用 35 莫西·亚亚科夫·瓦尔迪 28 奥尔纳·库普弗曼 27 丹尼尔·科宁 25 段振华 24 克拉克（Edmund Melson jun Clarke）。 23 阿尼埃洛·穆拉诺 22 亚历山德罗·西马蒂 21 奥尔纳·格伦伯格 20 Doron A.Peled。 20 田聪 19 马丁·兰格 18 安德烈·普拉泽 17 拜尔，克里斯特尔 17 托马斯·亨辛格（Thomas A.Henzinger）。 16 帕罗什·阿齐兹·阿卜杜拉 16 张楠 14 劳拉·博泽利 14 尼古拉斯·马基 14 阿米尔·普努利 13 阿明·比尔 13 斯特凡·德姆里。 13 Joost-Pieter卡托恩 13 金·古德斯特兰·拉森 13 斯文·舍韦 12 斯特凡诺·托内塔 12 迈克尔·J·伍尔德里奇。 12 张丽君 11 亚历山德罗·阿巴特 11 伯恩德·芬克贝纳 11 朱利安·古铁雷斯 11 Marta Z.Kwiatkowska。 11 弗朗索瓦·拉鲁西尼 11 朱塞佩·佩雷利 11 Jean-François拉斯金 11 马克·亚历山大·雷诺兹 11 马可·罗维里 11 詹乃军 10 卢博什·布里姆 10 阿尔贝托·格里乔 10 Legay、Axel 10 娜塔莎·莎莉吉娜 10 约瑟夫·西法基斯 10 伯恩哈德·斯特芬 10 泰瑟·图利 10 赫尔穆特·维思 9 帕特里夏·鲍耶 9 克莱尔·狄克逊 9 达纳·菲斯曼 9 格内西、斯特凡尼亚 9 阿里·古芬克尔 9 沃伊切赫·贾姆罗加 9 伊戈尔·康诺夫（Igor V.Konnov）。 9 格钦·诺曼 9 马丁·齐默尔曼 8 克拉克·W·巴雷特。 8 尼古拉·贝内什 8 奥拉夫·拜尔斯多夫 8 罗德里克·布洛姆 8 克里希南德·查特吉 8 埃默森，欧内斯特·艾伦 8 马蒂·Järvisalo 8 诺里希罗·卡米德 8 马丁·奥列特，纳西索 8 阿德里亚诺·佩隆 8 斯特凡·拉特肖恩 8 马蒂娜·塞德尔 8 洛雷达纳·索伦蒂诺 7 Aceto，卢卡 7 穆罕默德·法乌齐（Mohamed Faouzi Atig） 7 亚历山大·博洛托夫 7 帕拉布·达斯古普塔 7 法语，蒂姆 7 盖奥尔吉，玛丽安 7 Joseph Yehuda Halpern 7 霍尔格赫尔曼斯 7 Heule，Marijn J.H。 7 佛罗伦萨伊帕特 7 萨瓦斯·科努尔 7 马丁·勒克 7 Joáo P.塞尔瓦侯爵。 7 肯尼思·麦克米兰。 7 阿恩·梅尔 7 法比奥·莫加维罗 7 科琳娜·s·佩斯勒诺。 7 亚历山大·拉比诺维奇 7 菲利普·吕默 7 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 7 罗伯托·塞巴斯蒂亚尼 7 桑吉特·阿伦库马尔·塞希亚 7 斯科特·斯莫尔卡。 7 斯特里赫曼（Ofer Strichman） 7 卡斯滕·沃尔夫 7 弗兰克·沃尔特 6 达纳州安格鲁因 6 贝恩德·贝克尔 6 萨德克·本萨勒姆 6 博尔祖·博纳克达尔普尔 6 艾哈迈德·布瓦贾尼 6 马吕斯·博兹加 6 Randal E.布莱恩特。 …还有2969名作者 全部的 前5名141篇连载文章中引用 197 理论计算机科学 143 系统设计中的形式化方法 104 信息与计算 81 计算的形式方面 54 人工智能 48 信息学报 42 自动推理杂志 30 计算机与系统科学杂志 29 逻辑与代数程序设计杂志 28 信息处理信件 25 程序设计中的逻辑和代数方法杂志 24 计算机科学中的逻辑方法 23 计算机程序设计科学 19 应用逻辑杂志 17 国际计算机科学基础杂志 17 数学与人工智能年鉴 16 Automatica公司 15 离散事件动态系统 15 ACM计算逻辑事务 12 纯逻辑与应用逻辑年鉴 12 符号计算杂志 11 分布式计算 10 计算机科学与技术杂志 10 应用非经典逻辑杂志 10 计算机基础理论 9 编程和计算机软件 9 MSCS公司。计算机科学中的数学结构 8 信息科学 8 Studia Logica公司 8 逻辑、语言与信息杂志 8 欧洲控制杂志 8 逻辑程序设计理论与实践 8 应用数学杂志 7 计算系统理论 6 非线性分析。混合动力系统 6 Modelirovanie i Analiz信息系统 5 离散应用数学 5 约束条件 5 计算机语言、系统和结构 4 国际近似推理杂志 4 实时系统 4 符号逻辑公报 4 RAIRO公司。理论信息学及其应用 4 萨达纳 4 科学中国。信息科学 三 合成 三 算法 三 人工智能研究杂志 三 国际应用数学与计算机科学杂志 三 可满足性、布尔建模与计算杂志 三 计算机科学前沿 三 计算机科学评论 2 国际通用系统杂志 2 比特币 2 计算 2 模糊集与系统 2 哲学逻辑杂志 2 符号逻辑杂志 2 圣母院形式逻辑杂志 2 SIAM计算机杂志 2 西伯利亚数学杂志 2 国际并行程序设计杂志 2 数学和计算机建模 2 并行与分布式计算杂志 2 机器学习 2 吉泰。实验与理论人工智能杂志 2 自动化和远程控制 2 控制论与系统分析 2 控制科学档案 2 组合优化期刊 2 美国医学会杂志 2 ACM实验算法杂志 2 中国科学。F系列 2 游戏 2 膜计算杂志 1 倒排索引综述 1 计算机与数学及其应用 1 离散数学 1 国际控制杂志 1 国际理论物理杂志 1 代数与逻辑 1 卡尔科洛 1 数学经济学杂志 1 苏联数学杂志 1 非线性分析。理论、方法和应用。系列A：理论与方法 1 RAIRO，Informatique Théorique公司 1 控制论 1 系统和控制信件 1 国际生产研究杂志 1 订单 1 新一代计算 1 计算机与运筹学 1 MCSS公司。控制、信号和系统数学 1 游戏与经济行为 1 线性代数及应用 1 RAIRO公司。Informatique Théorique et Applications公司 1 数学逻辑档案 1 工程、通信和计算中的应用代数 1 国际鲁棒非线性控制杂志 1 计算与决策科学基础 …还有41部连续剧 全部的 前5名34个领域被引用 1,794 计算机科学（68至XX） 625 数学逻辑和基础（03-XX） 119 系统论；控制（93至XX） 84 博弈论、经济学、金融和其他社会和行为科学（91-XX） 57 运筹学、数学规划（90-XX） 40 生物学和其他自然科学（92-XX） 35 信息与通信理论、电路（94-XX） 20 组合数学（05-XX） 19 概率论与随机过程（60-XX） 14 数值分析（65-XX） 9 阶、格、有序代数结构（06-XX） 8 常微分方程（34-XX） 8 统计学（62-XX） 6 数论（11-XX） 5 动力系统和遍历理论（37至XX） 5 量子理论（81-XX） 4 总体主题；集合（00-XX） 4 范畴理论；同调代数（18-XX） 三 历史和传记（01-XX） 三 变分法与最优控制；最优化（49至XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 2 群论与推广（20-XX） 2 实际功能（26年X月X日） 1 场论和多项式（12-XX） 1 交换代数（13-XX） 1 代数几何（14-XX） 1 特殊功能（33至XX） 1 算子理论（47-XX） 1 凸几何和离散几何（52至XX） 1 一般拓扑结构（54至XX） 1 代数拓扑（55-XX） 1 粒子和系统力学（70-XX） 1 流体力学（76-XX） 1 数学教育（97-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.