编辑配置文件(在新选项卡中打开) 肯尼思·麦克米兰。 合著者距离 作者ID: 麦克米兰·肯尼思-1 发布日期: 肯尼思·麦克米兰。;麦克米兰,K.L。;肯·麦克米兰;Ken L.麦克米兰。;肯尼思·麦克米兰 更多。。。较少的 已编制索引的文档: 54出版物自1989年以来,包括1本书 2作为编辑的贡献 合著者: 41位合著者具有32联合出版物 1251名合著作者 全部的 前5名合著者 24 单作者的 6 兰吉特·贾拉 5 尼娜·阿姆拉 三 罗伯特·P·库尔珊(Robert P.Kurshan)。 三 穆利·萨吉夫 三 Lenore D.扎克。 2 拉杰夫·阿鲁尔 2 克拉克(Edmund Melson jun Clarke)。 2 伊西尔·迪利格 2 傅朝辉 2 阿努巴夫·古普塔 2 安德烈亚斯·库尔曼 2 奥德·帕顿 2 Doron A.Peled。 1 格雷格·安德森。 1 尼古拉·S·比约纳。 1 杰里·伯奇。 1 卢卡·卡洛尼(Luca P.Carloni)。 1 大卫·L·迪尔。 1 托马斯·迪利格 1 杜晓群 1 方,易 1 阿里·古芬克尔 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 Jochen Hoenicke公司 1 黄,L.J。 1 李伯阳 1 Long,David E。 1 鲁帕克·马朱姆达尔 1 里卡多·梅德尔 1 阿尔特·米德尔多普 1 阿米尔·普努利 1 安德烈亚斯·波德尔斯基 1 沙兹·卡迪尔 1 对手,泽维尔 1 安德烈·里巴尔琴科 1 Alberto L.Sangiovanni-Vincentelli。 1 詹姆斯·B·萨克斯。 1 沙龙·肖姆 1 Jordan N.托夫。 1 科尔·维克 1 安德烈·沃伦科夫 全部的 前5名系列 4 系统设计中的形式化方法 三 信息与计算 2 计算机科学课堂讲稿 1 理论计算机科学 1 计算机程序设计科学 1 计算机科学中的逻辑方法 领域 56 计算机科学(68至XX) 13 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 45出版物有被引用1073中的次704文件 引用人▼ 年份▼ 符号模型检查:(10^{20})状态及以上。 Zbl 0753.68066号 J.R.伯奇。;E.M.克拉克。;麦克米兰,K.L。;迪尔·D·L。;黄,L.J。 195 1992 符号模型检查。埃德蒙·克拉克的前言。 Zbl 0784.68004号 肯尼思·麦克米兰。 126 1993 插值和基于SAT的模型检查。 兹比尔1278.68184 麦克米兰,K.L。 111 2003 证据摘要。 Zbl 1325.68147号 托马斯·亨辛格(Thomas A.Henzinger)。;兰吉特·贾拉;鲁帕克·马朱姆达尔;肯尼思·麦克米兰。 66 2004 带有插入项的懒惰抽象。 Zbl 1188.68196号 肯尼思·麦克米兰。 61 2006 插值定理证明器。 Zbl 1079.68092号 麦克米兰,K.L。 46 2005 用于程序验证的Horn子句求解器。 Zbl 1465.68044号 尼古拉·比约纳;阿里·古芬克尔;麦克米兰,肯;安德烈·里巴尔琴科 46 2015 插值和符号模型检查。 Zbl 1132.68474号 麦克米兰,K.L。 40 2007 使用插值饱和校准器的量化不变量生成。 Zbl 1134.68416号 麦克米兰,K.L。 29 2008 一种实用而完整的谓词求精方法。 Zbl 1180.68118号 兰吉特·贾拉;麦克米兰,K.L。 28 2006 基于展开的状态空间搜索技术。 Zbl 0829.68085号 麦克米兰,K.L。 25 1995 SAT方法在无界符号模型检查中的应用。 Zbl 1010.68509号 Ken L.麦克米兰。 24 2002 成分模型检查。 Zbl 0716.68035号 E.M.克拉克。;龙,D.E。;麦克米兰,K.L。 23 1989 Craig插值在模型检验中的应用。 Zbl 1087.68597号 麦克米兰,K.L。 23 2005 无反例的自动抽象。 Zbl 1031.68520号 肯尼思·麦克米兰。;尼娜·阿姆拉 22 2003 通过外推合成循环合成程序证明。 Zbl 1381.68057号 李伯阳;伊西尔·迪利格;托马斯·迪利格;肯·麦克米兰;穆利·萨吉夫 20 2013 过程的结构归纳定理。 Zbl 0828.68096号 库尔山,R.P。;麦克米兰,K.L。 19 1995 从证明中提取数组。 兹比尔1135.68474 兰吉特·贾拉;肯尼思·麦克米兰。 19 2007 并发对象正确性条件的模型检查。 Zbl 1003.68067号 拉杰夫·阿鲁尔;肯·麦克米兰;多龙·贝利德 17 2000 基于插值的过渡关系近似。 Zbl 1081.68622号 兰吉特·贾拉;麦克米兰,K.L。 17 2005 插值定理证明器。 Zbl 1126.68573号 麦克米兰,K.L。 14 2004 通过组合模型检查验证有限状态系统。 Zbl 0957.68068号 麦克米兰,K.L。 12 1999 通过组合模型检查对FLASH缓存一致性协议进行参数化验证。 Zbl 1002.68674号 麦克米兰,K.L。 9 2001 将DPLL推广到更丰富的逻辑。 Zbl 1242.68282号 肯尼思·麦克米兰。;安德烈亚斯·库尔曼;穆利·萨吉夫 9 2009 插值和模型检查。 Zbl 1392.68260号 肯尼思·麦克米兰。 7 2018 成分验证的自动假设生成。 Zbl 1147.68050号 阿努巴夫·古普塔;麦克米兰,K.L。;傅朝辉 7 2008 成分验证的自动假设生成。 Zbl 1135.68473号 阿努巴夫·古普塔;肯尼思·麦克米兰。;傅朝辉 7 2007 使用组合模型检查进行硬件验证的方法。 Zbl 0954.68005号 麦克米兰,K.L。 6 2000 基于插值的过渡关系近似。 Zbl 1131.68062号 兰吉特·贾拉;肯尼思·麦克米兰。 5 2007 通过组合模型检查进行微架构验证。 兹比尔0991.68639 兰吉特·贾拉;肯尼思·麦克米兰。 4 2001 合成模型检查中的归纳。 Zbl 0974.68520号 肯尼思·麦克米兰。;沙兹·卡迪尔;詹姆斯·B·萨克斯。 4 2000 渴望符号模型检查的抽象。 Zbl 1511.68164号 肯尼思·麦克米兰。 4 2018 用常春藤对可判定片段进行演绎验证。 Zbl 1511.68165号 肯尼思·麦克米兰。;奥德·帕顿 4 2018 基于反例和基于证明的抽象的混合。 Zbl 1117.68420号 尼娜·阿姆拉;Ken L.麦克米兰。 三 2004 延迟不敏感协议。 Zbl 1046.68585号 卢卡·卡洛尼(Luca P.Carloni)。;肯尼思·麦克米兰。;Alberto L.Sangiovanni-Vincentelli。 三 1999 克雷格插值在模型检验中的应用。 Zbl 1095.68610号 肯尼思·麦克米兰 三 2004 用于编程、人工智能和推理的逻辑。第19届国际会议,LPAR-19,南非斯特伦博什,2013年12月14-19日。诉讼程序。 Zbl 1277.68016号 三 2013 工业环境中基于sAT的模型检查技术分析。 Zbl 1159.68307号 尼娜·阿姆拉;杜晓群;安德烈亚斯·库尔曼;罗伯特·P·库尔珊(Robert P.Kurshan)。;肯尼思·麦克米兰。 2 2005 结合抽象精化和基于SAT的模型检查。 Zbl 1186.68274号 尼娜·阿姆拉;肯尼思·麦克米兰。 2 2007 不同有界模型检查技术的实验分析。 Zbl 1031.68541号 尼娜·阿姆拉;罗伯特·库尔珊;肯尼思·麦克米兰。;里卡多·梅德尔 2 2003 符号模型检查。 Zbl 0957.68062号 肯尼思·麦克米兰。 2 2000 证明无限状态系统时间特性的时间预言。 兹比尔1522.68340 奥德·帕顿;Jochen Hoenicke公司;肯尼思·麦克米兰。;安德烈亚斯·波德尔斯基;穆利·萨吉夫;沙龙·肖姆 1 2021 克雷格插值和可达性分析。 Zbl 1067.68580号 Ken L.麦克米兰。 1 2003 克雷格插值在模型检验中的应用。 Zbl 1128.68384号 肯尼思·麦克米兰 1 2005 不可见不变量的生动性。 Zbl 1225.68114号 方,易;肯尼思·麦克米兰。;阿米尔·普努利;Lenore D.扎克。 1 2006 证明无限状态系统时间特性的时间预言。 兹比尔1522.68340 奥德·帕顿;Jochen Hoenicke公司;肯尼思·麦克米兰。;安德烈亚斯·波德尔斯基;穆利·萨吉夫;沙龙·肖姆 1 2021 插值和模型检查。 Zbl 1392.68260号 肯尼思·麦克米兰。 7 2018 渴望符号模型检查的抽象。 Zbl 1511.68164号 肯尼思·麦克米兰。 4 2018 用常春藤对可判定片段进行演绎验证。 Zbl 1511.68165号 肯尼思·麦克米兰。;奥德·帕顿 4 2018 用于程序验证的Horn子句求解器。 Zbl 1465.68044号 尼古拉·比约纳;阿里·古芬克尔;肯·麦克米兰;安德烈·里巴尔琴科 46 2015 通过外推合成循环合成程序证明。 Zbl 1381.68057号 李伯阳;伊西尔·迪利格;托马斯·迪利格;肯·麦克米兰;穆利·萨吉夫 20 2013 用于编程、人工智能和推理的逻辑。第19届国际会议,LPAR-19,南非斯特伦博什,2013年12月14-19日。诉讼程序。 Zbl 1277.68016号 三 2013 将DPLL推广到更丰富的逻辑。 Zbl 1242.68282号 肯尼思·麦克米兰。;安德烈亚斯·库尔曼;穆利·萨吉夫 9 2009 使用插值饱和校准器的量化不变量生成。 Zbl 1134.68416号 麦克米兰,K.L。 29 2008 成分验证的自动假设生成。 Zbl 1147.68050号 阿努巴夫·古普塔;麦克米兰,K.L。;傅朝辉 7 2008 插值和符号模型检查。 Zbl 1132.68474号 麦克米兰,K.L。 40 2007 从证明中提取数组。 Zbl 1135.68474号 兰吉特·贾拉;肯尼思·麦克米兰。 19 2007 成分验证的自动假设生成。 Zbl 1135.68473号 阿努巴夫·古普塔;肯尼思·麦克米兰。;傅朝辉 7 2007 基于插值的过渡关系近似。 Zbl 1131.68062号 兰吉特·贾拉;肯尼思·麦克米兰。 5 2007 结合抽象精化和基于SAT的模型检查。 Zbl 1186.68274号 尼娜·阿姆拉;肯尼思·麦克米兰。 2 2007 带有插入项的懒惰抽象。 Zbl 1188.68196号 肯尼思·麦克米兰。 61 2006 一种实用而完整的谓词求精方法。 Zbl 1180.68118号 兰吉特·贾拉;麦克米兰,K.L。 28 2006 不可见不变量的生动性。 Zbl 1225.68114号 方,易;肯尼思·麦克米兰。;阿米尔·普努利;Lenore D.扎克。 1 2006 插值定理证明器。 Zbl 1079.68092号 麦克米兰,K.L。 46 2005 Craig插值在模型检验中的应用。 Zbl 1087.68597号 麦克米兰,K.L。 23 2005 基于插值的过渡关系近似。 Zbl 1081.68622号 兰吉特·贾拉;麦克米兰,K.L。 17 2005 工业环境中基于sAT的模型检查技术分析。 兹比尔1159.68307 尼娜·阿姆拉;杜晓群;安德烈亚斯·库尔曼;罗伯特·P·库尔珊(Robert P.Kurshan)。;肯尼思·麦克米兰。 2 2005 克雷格插值在模型检验中的应用。 Zbl 1128.68384号 肯尼思·麦克米兰 1 2005 证据摘要。 Zbl 1325.68147号 托马斯·亨辛格(Thomas A.Henzinger)。;兰吉特·贾拉;鲁帕克·马朱姆达尔;肯尼思·麦克米兰。 66 2004 插值定理证明器。 Zbl 1126.68573号 麦克米兰,K.L。 14 2004 基于反例和基于证明的抽象的混合。 Zbl 1117.68420号 尼娜·阿姆拉;Ken L.麦克米兰。 三 2004 克雷格插值在模型检验中的应用。 Zbl 1095.68610号 肯尼思·麦克米兰 三 2004 插值和基于SAT的模型检查。 兹比尔1278.68184 麦克米兰,K.L。 111 2003 无反例的自动抽象。 Zbl 1031.68520号 肯尼思·麦克米兰。;尼娜·阿姆拉 22 2003 有界模型检查的不同技术的实验分析。 Zbl 1031.68541号 尼娜·阿姆拉;罗伯特·库尔珊;肯尼思·麦克米兰。;里卡多·梅德尔 2 2003 克雷格插值和可达性分析。 Zbl 1067.68580号 Ken L.麦克米兰。 1 2003 SAT方法在无界符号模型检查中的应用。 Zbl 1010.68509号 Ken L.麦克米兰。 24 2002 通过组合模型检查对FLASH缓存一致性协议进行参数化验证。 Zbl 1002.68674号 麦克米兰,K.L。 9 2001 通过组合模型检查进行微架构验证。 兹比尔0991.68639 兰吉特·贾拉;肯尼思·麦克米兰。 4 2001 并发对象正确性条件的模型检查。 Zbl 1003.68067号 拉杰夫·阿鲁尔;肯·麦克米兰;多龙·贝利德 17 2000 使用组合模型检查进行硬件验证的方法。 Zbl 0954.68005号 麦克米兰,K.L。 6 2000 合成模型检查中的归纳。 Zbl 0974.68520号 肯尼思·麦克米兰。;沙兹·卡迪尔;詹姆斯·B·萨克斯。 4 2000 符号模型检查。 Zbl 0957.68062号 肯尼思·麦克米兰。 2 2000 通过组合模型检查验证有限状态系统。 Zbl 0957.68068号 麦克米兰,K.L。 12 1999 延迟不敏感协议。 Zbl 1046.68585号 卢卡·卡洛尼(Luca P.Carloni)。;肯尼思·麦克米兰。;Alberto L.Sangiovanni-Vincentelli。 三 1999 基于展开的状态空间搜索技术。 Zbl 0829.68085号 麦克米兰,K.L。 25 1995 过程的结构归纳定理。 Zbl 0828.68096号 库尔山,R.P。;麦克米兰,K.L。 19 1995 符号模型检查。埃德蒙·克拉克的前言。 Zbl 0784.68004号 肯尼思·麦克米兰。 126 1993 符号模型检查:(10^{20})状态及以上。 Zbl 0753.68066号 J.R.伯奇。;E.M.克拉克。;麦克米兰,K.L。;迪尔·D·L。;黄,L.J。 195 1992 成分模型检查。 Zbl 0716.68035号 E.M.克拉克。;龙,D.E。;麦克米兰,K.L。 23 1989 所有引用出版物 前5名被引用出版物 全部的 前5名1297位作者引用 17 莫西·亚亚科夫·瓦尔迪 15 亚历山德罗·西马蒂 14 奥尔纳·格伦伯格 13 丹尼尔·科宁 12 菲利普·吕默 11 克拉克(Edmund Melson jun Clarke)。 11 段振华 11 西尔维奥·吉拉尔迪 10 阿尔贝托·格里乔 9 保罗·巴尔丹 9 田聪 8 伊曼纽尔·德·安吉利斯 8 迪帕克·卡普尔 8 肯尼思·麦克米兰。 8 沙龙·肖姆 7 艾哈迈德·博阿贾尼 7 安德烈亚·科拉迪尼 7 曼弗雷德·德罗斯特 7 法比奥·菲奥拉万蒂 7 亚历山德罗·吉亚诺拉 7 托马斯·亨辛格(Thomas A.Henzinger)。 7 阿米尔·普努利 7 毛里齐奥·普罗埃蒂 7 安德烈·里巴尔琴科 7 娜塔莎·莎莉吉娜 7 斯特里赫曼(Ofer Strichman) 7 张楠 6 帕罗什·阿齐兹·阿卜杜拉 6 康斯坦丁·埃纳 6 格里戈里·费迪尤科维奇 6 Jochen Hoenicke公司 6 直纪小林 6 巴巴拉·科尼格 6 奥尔纳·库普弗曼 6 爱丽丝·安·米勒 6 阿尔贝托·佩特罗西 6 安德烈亚斯·波德尔斯基 6 马可·罗维里 6 安东内拉·桑顿 6 斯特凡诺·托内塔 6 乔治·威森巴赫 5 阿明·比尔 5 玛丽亚·保拉(Maria Paola Bonacina) 5 Randal E.布莱恩特。 5 阿里·古芬克尔 5 凯乔·赫尔扬科 5 科瓦奇,劳拉·伊尔迪科 5 科琳娜·s·佩斯勒诺。 5 罗伯托·塞巴斯蒂亚尼 5 塞萨尔·蒂内利 5 安德烈·沃伦科夫 4 克里斯特尔·拜尔 4 克拉克·W·巴雷特。 4 安吉洛·布里洛特 4 罗伯特·布鲁托梅索 4 詹皮埃罗·卡波迪 4 查克拉波蒂,苏普拉特克 4 大卫·L·迪尔。 4 迈克尔·埃米 4 阿尔蒂·古普塔 4 曼努埃尔五世(Manuel V.Hermenegildo)。 4 尤尼特·凯斯滕 4 Sandeep S.Kulkarni。 4 Stefan Kupferschmid 4 Marta Z.Kwiatkowska。 4 拉鲁西尼,弗朗索瓦 4 阿莱西奥·洛穆西奥 4 帕塔萨拉西马杜苏丹 4 伊斯特万·马齐克 4 沙拉德·马利克 4 Joáo P.塞尔瓦侯爵。 4 Jean-François拉斯金 4 瓦迪姆·里夫钦 4 佐藤隆介 4 维克多·舒潘 4 维奥里卡Sofrone-Stokkerman 4 宋晓宇 4 汤姆·沃纳 4 托马斯·沃尔 4 王,弯腰 4 Lenore D.扎克。 三 福阿德·阿布贾拉德 三 萨德克·本萨勒姆 三 德克·拜尔 三 罗德里克·布洛姆 三 博尔祖·博纳克达尔普尔 三 马可·波扎诺 三 卢博什·布里姆 三 特夫菲克·布尔坦 三 迭戈·卡尔瓦内斯 三 萨加·查基 三 陈明帅 三 斯特凡·迪什 三 维杰·迪尔瓦 三 斯特凡·爱德坎普 三 菲克斯,利莫 三 哈达尔·弗兰克尔 三 约翰·加拉赫(John P.Gallagher)。 三 玛丽安·盖奥吉 三 恩里科·金西格里亚 …还有1197位作者 全部的 前5名79篇连载文章中引用 72 系统设计中的形式化方法 50 理论计算机科学 32 自动推理杂志 23 信息与计算 22 计算的形式方面 18 人工智能 15 信息学报 9 计算机程序设计科学 8 离散事件动态系统 8 逻辑与代数程序设计杂志 8 逻辑程序设计理论与实践 6 计算机与系统科学杂志 6 数学与人工智能年鉴 6 ACM计算逻辑汇刊 6 程序设计中的逻辑和代数方法杂志 5 离散应用数学 5 编程和计算机软件 5 分布式计算 5 应用逻辑杂志 5 计算机科学中的逻辑方法 4 信息处理信件 4 信息科学 4 约束条件 4 应用数学杂志 三 合成 三 纯逻辑与应用逻辑年鉴 三 符号计算杂志 三 MSCS公司。计算机科学中的数学结构 2 计算机科学与技术杂志 2 机器学习 2 国际计算机科学基础杂志 2 控制论与系统分析 2 逻辑、语言与信息杂志 2 应用非经典逻辑杂志 2 符号逻辑公报 2 欧洲控制杂志 2 计算机语言、系统和结构 2 离散算法杂志 2 科学中国。信息科学 1 离散数学 1 国际通用系统杂志 1 计算 1 模糊集与系统 1 计算与应用数学杂志 1 数学经济学杂志 1 纯粹与应用代数杂志 1 模拟中的数学和计算机 1 Studia Logica公司 1 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 1 系统和控制信件 1 国际生产研究杂志 1 算法 1 国际近似推理杂志 1 线性代数及应用 1 RAIRO公司。Informatique Théorique et Applications公司 1 俄罗斯数学 1 组合设计杂志 1 计算与数学组织理论 1 运筹学国际交易 1 计算系统理论 1 组合优化期刊 1 武汉大学自然科学学报 1 数据挖掘与知识发现 1 自然与社会中的离散动力学 1 LMS计算与数学杂志 1 国际应用数学与计算机科学杂志 1 计算机基础理论 1 离散优化 1 中国科学。F系列 1 浙江大学学报。科学A 1 理论计算机科学电子笔记 1 泛逻辑 1 可满足性、布尔建模与计算杂志 1 算法 1 亚洲控制杂志 1 中国计算机科学前沿 1 理论生物学杂志 1 计算机科学评论 1 膜计算杂志 全部的 前5名22个领域被引用 653 计算机科学(68至XX) 188 数学逻辑和基础(03-XX) 26 运筹学、数学规划(90-XX) 21 系统论;控制(93至XX) 13 组合数学(05-XX) 13 博弈论、经济学、金融和其他社会和行为科学(91-XX) 12 信息与通信理论、电路(94-XX) 9 生物学和其他自然科学(92-XX) 6 阶、格、有序代数结构(06-XX) 5 数值分析(65-XX) 4 概率论与随机过程(60-XX) 三 范畴理论;同调代数(18-XX) 2 总体主题;集合(00-XX) 2 数论(11-XX) 2 交换代数(13-XX) 2 常微分方程(34-XX) 2 量子理论(81-XX) 1 历史和传记(01-XX) 1 代数几何(14-XX) 1 群论与推广(20-XX) 1 变分法与最优控制;最优化(49至XX) 1 凸和离散几何(52至XX) 按年份列出的引文