编辑配置文件（在新选项卡中打开） 希曼舒·杰恩 合著者距离 作者ID： 耆那·希曼舒 发布日期： 希曼舒·杰恩 已编制索引的文档： 6出版物自2005年以来 合著者： 7合著者具有5联合出版物 303合著作者 全部的 前5名合著者 0 单作者的 4 克拉克（Edmund Melson jun Clarke）。 2 奥尔纳·格伦伯格 1 拉梅什·阿加瓦尔。 1 君士坦丁·巴齐斯 1 W.W.Bower。 1 安德鲁·卡里（Andrew W.Cary）。 1 马来K·加奈。 1 阿尔蒂·古普塔 1 弗兰乔·伊万契奇 1 丹尼尔·科宁 1 瓦迪略，J.A。 系列 2 系统设计中的形式化方法 领域 5 计算机科学（68至XX） 2 数论（11-XX） 1 数学逻辑和基础（03-XX） 1 流体力学（76-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用18中的次17文件 引用人▼ 年份▼ 线性丢番图方程和线性模方程的有效Craig插值。 Zbl 1155.68439号 希曼舒·杰恩；埃德蒙·克拉克；奥尔纳·格伦伯格 9 2008 使用谓词抽象验证SpecC。 Zbl 1117.68046号 埃德蒙·克拉克；希曼舒·杰恩；丹尼尔·克罗宁 4 2007 使用一般匹配检查非子句公式的可满足性。 Zbl 1187.68549号 希曼舒·杰恩；君士坦丁·巴齐斯；埃德蒙·克拉克 2 2006 谓词抽象的本地化和寄存器共享。 兹比尔1087.68593 希曼舒·杰恩；弗兰乔·伊万契奇；阿尔蒂·古普塔；马来K·加奈。 2 2005 线性丢番图方程和线性模方程的有效Craig插值。 Zbl 1186.68013号 希曼舒·杰恩；埃德蒙·克拉克（Edmund M.Clarke）。；奥尔纳·格伦伯格 1 2009 线性丢番图方程和线性模方程的有效Craig插值。 Zbl 1186.68013号 希曼舒·杰恩；埃德蒙·克拉克（Edmund M.Clarke）。；奥尔纳·格伦伯格 1 2009 线性丢番图方程和线性模方程的有效Craig插值。 Zbl 1155.68439号 希曼舒·杰恩；埃德蒙·克拉克；奥尔纳·格伦伯格 9 2008 使用谓词抽象验证SpecC。 Zbl 1117.68046号 埃德蒙·克拉克；希曼舒·杰恩；丹尼尔·克罗宁 4 2007 使用一般匹配检查非子句公式的可满足性。 Zbl 1187.68549号 希曼舒·杰恩；君士坦丁·巴齐斯；埃德蒙·克拉克 2 2006 谓词抽象的本地化和寄存器共享。 Zbl 1087.68593号 希曼舒·杰恩；弗兰乔·伊万契奇；阿尔蒂·古普塔；马来K·加奈。 2 2005 所有引用出版物 前5名被引用出版物 全部的 前5名32位作者引用 4 丹尼尔·科宁 2 安吉洛·布里洛特 2 克拉克（Edmund Melson jun Clarke）。 2 Masahiro Fujita 2 阿尔贝托·格里乔 2 希曼舒·杰恩 2 菲利普·吕默 2 罗伯托·塞巴斯蒂亚尼 2 托马斯·沃尔 1 亚历克斯·艾肯 1 比扬·阿里扎德 1 普拉纳夫，阿沙尔 1 阿明·比尔 1 Randal E.布莱恩特。 1 查克拉波蒂，苏普拉特克 1 亚历山德罗·西马蒂 1 伊西尔·迪利格 1 托马斯·迪利格 1 马来K·加奈。 1 奥尔纳·格伦伯格 1 阿尔蒂·古普塔 1 冈萨洛·伊玛兹（Gonzalo E.Imaz）。 1 弗兰乔·伊万契奇 1 John，Ajith K。 1 国王，安迪 1 佐藤小松 1 黎锡秋和 1 肯尼思·麦克米兰。 1 塔卡马萨·奥库多诺 1 萨库孔恰克，Thanyapat 1 唐岳峰 1 杨紫江 4篇连载文章中引用 4 系统设计中的形式化方法 1 模糊集与系统 1 理论计算机科学 1 自动推理杂志 在5个字段中引用 16 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 1 数论（11-XX） 1 数值分析（65-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文