编辑配置文件（在新选项卡中打开） Kedar S.Namjoshi。 合著者距离 作者ID： 纳姆乔什·凯达尔 发布日期： Kedar S.Namjoshi。；基达尔·纳姆乔什 外部链接： 管理程序 已编制索引的文档： 39出版物自1998年以来 5名编辑的贡献 合著者： 31位合著者具有38联合出版物 370位合作作者 全部的 前5名合著者 6 单作者的 9 理查德·特雷弗（Richard J.Trefler）。 7 埃默森，欧内斯特·艾伦 5 达姆，丹尼斯·雷内 4 尼娜·阿姆拉 4 科恩，阿里尔 三 邓朝强 三 罗伯特·P·库尔珊（Robert P.Kurshan）。 2 克里斯托弗·康韦。 2 亚尼夫·萨阿尔 2 友大义达 2 Lenore D.扎克。 1 苏古曼·班萨尔 1 克拉克·W·巴雷特。 1 塞萨拉·德拉戈伊 1 斯蒂芬·爱德华兹。 1 迪米特拉·吉安娜科波卢 1 Gjomemo，参宿七 1 东野东彦 1 卡提亚·基西奥娃。 1 Manolios，Panagiotis公司 1 苏瓦姆·穆克吉 1 冈村义雄 1 科琳娜·s·佩斯勒诺。 1 茨沃尼米尔·帕夫利诺维奇 1 Phung、Phu H。 1 萨默斯，罗伯特 1 卢卡斯·塔巴哈拉。 1 Venkatakrishnan，V.N.公司。 1 薛安东 1 安德烈亚斯·泽勒 1 阿维·齐夫 系列 4 计算机科学课堂讲稿 2 国际计算机科学基础杂志 2 系统设计中的形式化方法 1 ACM计算逻辑汇刊 领域 44 计算机科学（68至XX） 5 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 34出版物有被引用187中的次150文件 引用人▼ 年份▼ 关于环的推理。 Zbl 1101.68371号 艾默生·E·艾伦；Kedar S.Namjoshi。 33 2003 非确定性无限状态系统的模型检验。 Zbl 0945.68523号 艾默生·E·艾伦；Kedar S.Namjoshi。 28 1998 认证模型检查员。 Zbl 0996.68105号 Kedar S.Namjoshi。 19 2001 模型检查中有效的可检查、基于证明的真空公式。 Zbl 1103.68075号 Kedar S.Namjoshi。 11 2004 自动化作为抽象。 兹比尔1112.68088 亲爱的，丹尼斯；Kedar S.Namjoshi。 11 2005 关于组合推理的完备性。 Zbl 0974.68127号 Kedar S.Namjoshi。；理查德·特雷弗（Richard J.Trefler）。 10 2000 自动抽象的语法程序转换。 Zbl 0974.68524号 Kedar S.Namjoshi。；罗伯特·P·库尔珊（Robert P.Kurshan）。 9 2000 全局安全特性的局部证明。 Zbl 1176.68118号 科恩，阿里尔；Kedar S.Namjoshi。 8 2009 分支时间属性的抽象。 Zbl 1278.68186号 Kedar S.Namjoshi。 6 2003 关于组合推理方法的完备性。 Zbl 1351.68184号 Kedar S.Namjoshi。；理查德·特雷弗（Richard J.Trefler）。 5 2010 揭示不规则过程网络中的对称性。 Zbl 1426.68019号 Kedar S.Namjoshi。；理查德·特雷弗（Richard J.Trefler）。 4 2013 安全特性过程间分析的增量算法。 Zbl 1081.68615号 克里斯托弗·康韦。；Kedar S.Namjoshi。；亲爱的，丹尼斯；斯蒂芬·爱德华兹。 4 2005 参数化系统分析中的对称性和完备性。 Zbl 1132.68476号 Kedar S.Namjoshi。 4 2007 猎户座：C和C++程序静态错误分析的高精度方法。 Zbl 1196.68039号 丹尼斯·R·达姆斯。；Kedar S.Namjoshi。 三 2006 合成推理的抽象模式。 Zbl 1274.68217号 尼娜·阿姆拉；艾默生·E·艾伦；基达尔·纳姆乔什；理查德·特雷弗勒 三 2003 并发程序线性时间特性的局部证明。 Zbl 1155.68363号 科恩，阿里尔；Kedar S.Namjoshi。 三 2008 全球安全特性的本地证明。 Zbl 1135.68470号 科恩，阿里尔；Kedar S.Namjoshi。 三 2007 将定理证明和模型检验与有充分依据的互模拟联系起来。 Zbl 1046.68602号 Manolios，Panagiotis公司；基达尔·纳姆乔什；罗伯特·萨默斯 2 1999 同步时序图的基于假设保证的组合推理。 兹比尔0978.68537 尼娜·阿姆拉；艾默生·E·艾伦；基达尔·纳姆乔什；理查德·特雷弗勒 2 2001 组合推理。 Zbl 1392.68249号 迪米特拉·吉安娜科波卢；Kedar S.Namjoshi。；科琳娜·s·佩斯勒诺。 2 2018 局部对称性和成分验证。 Zbl 1326.68103号 Kedar S.Namjoshi。；理查德·特雷弗（Richard J.Trefler）。 2 2012 从时间规范合成异步反应式程序。 Zbl 1511.68068号 苏古曼·班萨尔；Kedar S.Namjoshi。；亚尼夫·萨阿尔 2 2018 参数化合成模型检查。 兹比尔1420.68136 Kedar S.Namjoshi。；理查德·特雷弗（Richard J.Trefler）。 2 2016 循环定义的有效分析。 Zbl 1046.68604号 Kedar S.Namjoshi。；罗伯特·P·库尔珊（Robert P.Kurshan）。 1 1999 异步系统模块化推理的可视化规范。 Zbl 1037.68506号 尼娜·阿姆拉；艾默生·E·艾伦；Kedar S.Namjoshi。；理查德·特雷弗（Richard J.Trefler）。 1 2002 通过抽象提升时间证明。 Zbl 1022.68082号 Kedar S.Namjoshi。 1 2003 通过谓词抽象和模型检查进行形状分析。 Zbl 1022.68578号 亲爱的，丹尼斯；Kedar S.Namjoshi。 1 2003 并行化符号组合模型检查算法。 Zbl 1325.68146号 科恩，阿里尔；Kedar S.Namjoshi。；亚尼夫·萨阿尔；Lenore D.扎克。；卡提亚·基西奥娃。 1 2011 指针分析、条件稳健性和证明无错误。 Zbl 1149.68348号 克里斯托弗·康韦。；亲爱的，丹尼斯；Kedar S.Namjoshi。；克拉克·巴雷特 1 2008 局部微积分的对称约简。 Zbl 1423.68316号 Kedar S.Namjoshi。；理查德·特雷弗（Richard J.Trefler）。 1 2018 保护SSA转换。 Zbl 1420.68055号 邓朝强；Kedar S.Namjoshi。 1 2017 保护编译器转换。 Zbl 1394.68069号 邓朝强；Kedar S.Namjoshi。 1 2016 从验证到优化。 Zbl 1432.68067号 Gjomemo，参宿七；Kedar S.Namjoshi。；Phung、Phu H。；Venkatakrishnan，V.N.公司。；Lenore D.扎克。 1 2015 见证安全编译。 Zbl 07228499号 Kedar S.Namjoshi。；卢卡斯·塔巴哈拉。 1 2020 见证安全编译。 Zbl 07228499号 Kedar S.Namjoshi。；卢卡斯·塔巴哈拉。 1 2020 组合推理。 Zbl 1392.68249号 迪米特拉·吉安娜科波卢；Kedar S.Namjoshi。；科琳娜·s·佩斯勒诺。 2 2018 从时间规范合成异步反应式程序。 Zbl 1511.68068号 苏古曼·班萨尔；Kedar S.Namjoshi。；Sa&rsquo；亚尼夫省 2 2018 局部微积分的对称约简。 Zbl 1423.68316号 Kedar S.Namjoshi。；理查德·特雷弗（Richard J.Trefler）。 1 2018 保护SSA转换。 Zbl 1420.68055号 邓朝强；Kedar S.Namjoshi。 1 2017 参数化组合模型检查。 Zbl 1420.68136号 Kedar S.Namjoshi。；理查德·特雷弗（Richard J.Trefler）。 2 2016 保护编译器转换。 Zbl 1394.68069号 邓朝强；Kedar S.Namjoshi。 1 2016 从验证到优化。 Zbl 1432.68067号 Gjomemo，参宿七；Kedar S.Namjoshi。；Phung、Phu H。；Venkatakrishnan，V.N.公司。；Lenore D.扎克。 1 2015 揭示不规则过程网络中的对称性。 Zbl 1426.68019号 Kedar S.Namjoshi。；理查德·特雷弗（Richard J.Trefler）。 4 2013 局部对称性和成分验证。 Zbl 1326.68103号 Kedar S.Namjoshi。；理查德·特雷弗（Richard J.Trefler）。 2 2012 并行化符号组合模型检查算法。 Zbl 1325.68146号 科恩，阿里尔；Kedar S.Namjoshi。；Sa&rsquo；亚尼夫·阿尔；Lenore D.扎克。；卡提亚·基西奥娃。 1 2011 关于组合推理方法的完备性。 Zbl 1351.68184号 Kedar S.Namjoshi。；理查德·特雷弗（Richard J.Trefler）。 5 2010 全球安全特性的本地证明。 Zbl 1176.68118号 科恩，阿里尔；Kedar S.Namjoshi。 8 2009 并发程序线性时间特性的局部证明。 Zbl 1155.68363号 科恩，阿里尔；Kedar S.Namjoshi。 三 2008 指针分析、条件稳健性和证明无错误。 Zbl 1149.68348号 克里斯托弗·康韦。；亲爱的，丹尼斯；Kedar S.Namjoshi。；克拉克·巴雷特 1 2008 参数化系统分析中的对称性和完备性。 兹比尔1132.68476 Kedar S.Namjoshi。 4 2007 全球安全特性的本地证明。 Zbl 1135.68470号 科恩，阿里尔；Kedar S.Namjoshi。 三 2007 猎户座：C和C++程序静态错误分析的高精度方法。 Zbl 1196.68039号 丹尼斯·R·达姆斯。；Kedar S.Namjoshi。 三 2006 自动化作为抽象。 兹比尔1112.68088 亲爱的，丹尼斯；Kedar S.Namjoshi。 11 2005 安全特性过程间分析的增量算法。 Zbl 1081.68615号 克里斯托弗·康韦。；Kedar S.Namjoshi。；亲爱的，丹尼斯；斯蒂芬·爱德华兹。 4 2005 模型检查中有效的可检查、基于证明的真空公式。 Zbl 1103.68075号 Kedar S.Namjoshi。 11 2004 关于戒指的推理。 Zbl 1101.68371号 艾默生·E·艾伦；Kedar S.Namjoshi。 33 2003 分支时间属性的抽象。 Zbl 1278.68186号 Kedar S.Namjoshi。 6 2003 合成推理的抽象模式。 Zbl 1274.68217号 尼娜·阿姆拉；艾默生·E·艾伦；基达尔·纳姆乔什；理查德·特雷弗勒 三 2003 通过抽象提升时间证明。 Zbl 1022.68082号 Kedar S.Namjoshi。 1 2003 通过谓词抽象和模型检查进行形状分析。 Zbl 1022.68578号 亲爱的，丹尼斯；Kedar S.Namjoshi。 1 2003 异步系统模块化推理的可视化规范。 Zbl 1037.68506号 尼娜·阿姆拉；艾默生·E·艾伦；Kedar S.Namjoshi。；理查德·特雷弗（Richard J.Trefler）。 1 2002 认证模型检查员。 Zbl 0996.68105号 Kedar S.Namjoshi。 19 2001 同步时序图的基于假设保证的组合推理。 Zbl 0978.68537号 尼娜·阿姆拉；艾默生·E·艾伦；基达尔·纳姆乔什；理查德·特雷弗勒 2 2001 关于组合推理的完备性。 Zbl 0974.68127号 Kedar S.Namjoshi。；理查德·特雷弗（Richard J.Trefler）。 10 2000 自动抽象的语法程序转换。 Zbl 0974.68524号 Kedar S.Namjoshi。；罗伯特·P·库尔珊（Robert P.Kurshan）。 9 2000 将定理证明和模型检查与基础良好的互模拟联系起来。 Zbl 1046.68602号 Manolios，Panagiotis公司；基达尔·纳姆乔什；罗伯特·萨默斯 2 1999 循环定义的有效分析。 Zbl 1046.68604号 Kedar S.Namjoshi。；罗伯特·P·库尔珊（Robert P.Kurshan）。 1 1999 非确定性无限状态系统的模型检验。 兹比尔0945.68523 艾默生·E·艾伦；Kedar S.Namjoshi。 28 1998 所有引用出版物 前5名被引用出版物 全部的 前5名287位作者引用 7 阿兰·芬克尔 7 奥尔纳·格伦伯格 6 帕罗什·阿齐兹·阿卜杜拉 5 迈克尔·布隆丁 5 哈娜·乔克勒 5 阿尔贝托·格里乔 5 伊戈尔·康诺夫（Igor V.Konnov）。 5 Kedar S.Namjoshi。 5 赫尔穆特·维思 4 乔治·德尔扎诺 4 哈拉尔德·费彻 4 奥尔纳·库普弗曼 4 科琳娜·s·佩斯勒诺。 4 阿米尔·普努利 4 沙龙·肖姆 4 斯特里赫曼（Ofer Strichman） 三 本杰明·阿米诺夫 三 克里斯特尔·拜尔 三 克拉克·W·巴雷特。 三 博尔祖·博纳克达尔普尔 三 保罗·加斯丁 三 吉勒·杰勒茨 三 让·古鲍特·拉雷克 三 阿里·古芬克尔 三 迈克尔·R·A·胡特。 三 Jean-François拉斯金 三 米哈伊尔·拉斯金 三 艾哈迈德·雷兹 三 萨沙·鲁宾 三 海科·A·施密特。 三 弗朗西斯科·斯佩尼 三 劳伦特·范·贝京 三 约瑟夫·威德 2 卡拉姆Abd Elkader 2 安娜·伯纳斯科尼 2 罗德里克·布洛姆 2 贝内迪克特·博利格 2 皮埃尔·香巴特 2 亚历山德罗·西马蒂 2 马苏德·易卜拉希米 2 Faghih，法提耶 2 伯恩德·芬克贝纳 2 达纳·菲斯曼 2 哈达尔·弗兰克尔 2 弗洛里安·芬克 2 马西耶·加兹达。 2 阿尔蒂·古普塔 2 克里斯托夫·哈斯 2 弗雷德里克·哈齐扎 2 玛丽克·赫斯曼 2 艾哈迈德·埃尔凡 2 斯特凡·贾克斯 2 瑞典雅各布斯 2 雅克·朱利亚德 2 尤尼特·凯斯滕 2 奥尔加·库什纳伦科 2 马丁·勒克 2 帕塔萨拉西马杜苏丹 2 恩里科·马格纳戈 2 马凯·曼 2 皮埃尔·阿莱·马森 2 菲利普·马佐维耶基 2 克劳迪奥·蒙吉 2 何塞·梅塞盖尔·瓜伊塔 2 纳哈尔·米尔扎伊 2 奥德·帕顿 2 雅各布皮里鲍尔 2 罗摩克里希南。 2 亚历山德罗·玛丽亚·里齐 2 塞萨尔·桑切斯 2 西尔万·施密茨 2 维克多·舒潘 2 莎莱·申瓦尔德 2 卢卡·斯帕拉齐 2 吉·斯尔巴 2 普拉桑纳·塔蒂 2 泰瑟·图利 2 理查德·特雷弗（Richard J.Trefler）。 2 范德波尔，扬·科内利斯 2 莫西·亚亚科夫·瓦尔迪 2 Tim A.C.Willemse。 2 西蒙·威默 2 扎哈罗夫，弗拉基米尔·安纳托利耶维奇 2 罗宾·齐梅克 2 Lenore D.扎克。 1 萨伊德·阿贝德 1 西里亚克·艾斯瓦里亚 1 奥特曼·阿伊特·穆罕默德 1 拉杰夫·阿鲁尔 1 加尔阿姆拉姆 1 安德里亚诺夫，P.S。 1 塞皮德·阿萨迪 1 保罗·C·阿蒂。 1 伊塔·巴拉班 1 高格尔·巴拉克利什南 1 苏古曼·班萨尔 1 萨米克·巴苏 1 鲍迈斯特，简 1 肖姆·本·达维德 1 尼古拉·贝内什 …还有187位作者 全部的 前5名21篇连载文章中引用 17 系统设计中的形式化方法 14 理论计算机科学 10 信息与计算 6 信息学报 5 计算的形式方面 4 计算机科学中的逻辑方法 三 编程和计算机软件 2 人工智能 2 计算机与系统科学杂志 2 符号计算杂志 2 自动推理杂志 2 分布式计算 1 计算机程序设计科学 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 高阶和符号计算 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 ACM计算逻辑汇刊 1 计算机科学评论 全部的 前5名在6个字段中引用 150 计算机科学（68至XX） 25 数学逻辑和基础（03-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 信息与通信理论、电路（94-XX） 2 运筹学、数学规划（90-XX） 1 一般拓扑结构（54-XX） 按年份列出的引文