编辑配置文件（在新选项卡中打开） Kedar S.Namjoshi。 合著者距离 作者ID： 纳姆乔什·凯达尔 发布日期： Kedar S.Namjoshi。;基达尔·纳姆乔什 外部链接： MGP公司 编入索引的文档： 39出版物自1998年以来 5名编辑的贡献 合著者： 31位合著者具有38联合出版物 371位联合作者 全部的 前5名合著者 6 单作者的 9 理查德·特雷弗（Richard J.Trefler）。 7 埃默森，欧内斯特·艾伦 5 达姆，丹尼斯·雷内 4 尼娜·阿姆拉 4 科恩，阿里尔 三 邓朝强 三 罗伯特·P·库尔珊（Robert P.Kurshan）。 2 克里斯托弗·康韦。 2 亚尼夫·萨阿尔 2 Tomohiro Yoneda公司 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 自动化作为抽象。 Zbl 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 1132.68476号 Kedar S.Namjoshi。 4 2007 安全特性过程间分析的增量算法。 Zbl 1081.68615号 克里斯托弗·康韦。;Kedar S.Namjoshi。;亲爱的，丹尼斯;斯蒂芬·爱德华兹。 4 2005 揭示不规则过程网络中的对称性。 兹比尔1426.68019 Kedar S.Namjoshi。;理查德·特雷弗（Richard J.Trefler）。 4 2013 猎户座：C和C++程序静态错误分析的高精度方法。 Zbl 1196.68039号 丹尼斯·R·达姆。;Kedar S.Namjoshi。 三 2006 全球安全特性的本地证明。 Zbl 1135.68470号 科恩，阿里尔;Kedar S.Namjoshi。 三 2007 合成推理的抽象模式。 Zbl 1274.68217号 尼娜·阿姆拉;艾默生·E·艾伦;基达尔·纳姆乔什;理查德·特雷弗勒 三 2003 并发程序线性时间特性的局部证明。 Zbl 1155.68363号 科恩，阿里尔;Kedar S.Namjoshi。 三 2008 局部对称性和成分验证。 Zbl 1326.68103号 Kedar S.Namjoshi。;理查德·特雷弗（Richard J.Trefler）。 2 2012 假设同步时序图的基于保证的组合推理。 Zbl 0978.68537号 尼娜·阿姆拉;艾默生·E·艾伦;基达尔·纳姆乔什;理查德·特雷弗勒 2 2001 将定理证明和模型检查与基础良好的互模拟联系起来。 Zbl 1046.68602号 Manolios，Panagiotis公司;基达尔·纳姆乔什;罗伯特·萨默斯 2 1999 从时间规范合成异步反应式程序。 Zbl 1511.68068号 苏古曼·班萨尔;Kedar S.Namjoshi。;亚尼夫·萨阿尔 2 2018 组合推理。 Zbl 1392.68249号 迪米特拉·吉安娜科波卢;Kedar S.Namjoshi。;科琳娜·s·佩斯勒诺。 2 2018 参数化组合模型检查。 Zbl 1420.68136号 Kedar S.Namjoshi。;理查德·特雷弗（Richard J.Trefler）。 2 2016 通过抽象提升时间证明。 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 1325.68146号 科恩，阿里尔;Kedar S.Namjoshi。;亚尼夫·萨阿尔;Lenore D.扎克。;卡提亚·基西奥娃。 1 2011 指针分析、条件稳健性和证明无错误。 兹比尔1149.68348 克里斯托弗·康韦。;亲爱的，丹尼斯;Kedar S.Namjoshi。;克拉克·巴雷特 1 2008 循环定义的有效分析。 Zbl 1046.68604号 Kedar S.Namjoshi。;罗伯特·P·库尔珊（Robert P.Kurshan）。 1 1999 从验证到优化。 Zbl 1432.68067号 Gjomemo，参宿七;Kedar S.Namjoshi。;Phung、Phu H。;Venkatakrishnan，V.N.公司。;Lenore D.扎克。 1 2015 保护编译器转换。 Zbl 1394.68069号 邓朝强;Kedar S.Namjoshi。 1 2016 局部微积分的对称约简。 Zbl 1423.68316号 Kedar S.Namjoshi。;理查德·特雷弗（Richard J.Trefler）。 1 2018 确保SSA转换的安全。 Zbl 1420.68055号 邓朝强;Kedar S.Namjoshi。 1 2017 见证安全编译。 Zbl 07228499号 Kedar S.Namjoshi。;卢卡斯·塔巴哈拉。 1 2020 见证安全编译。 Zbl 07228499号 Kedar S.Namjoshi。;卢卡斯·塔巴哈拉。 1 2020 从时间规范合成异步反应式程序。 Zbl 1511.68068号 苏古曼·班萨尔;Kedar S.Namjoshi。;Sa&rsquo；亚尼夫·阿尔 2 2018 组合推理。 兹比尔1392.68249 迪米特拉·吉安娜科波卢;Kedar S.Namjoshi。;科琳娜·s·佩斯勒诺。 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 关于组合推理方法的完备性。 兹比尔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 参数化系统分析中的对称性和完备性。 Zbl 1132.68476号 Kedar S.Namjoshi。 4 2007 全球安全特性的本地证明。 Zbl 1135.68470号 科恩，阿里尔;Kedar S.Namjoshi。 三 2007 猎户座：C和C++程序静态错误分析的高精度方法。 兹比尔1196.68039 丹尼斯·R·达姆。;Kedar S.Namjoshi。 三 2006 自动化作为抽象。 Zbl 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 非确定性无限状态系统的模型检验。 Zbl 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、Fathiyeh 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 罗马克里希南，C.R。 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） 按年份列出的引文