编辑配置文件（在新选项卡中打开） 希曼舒·杰恩 合著者距离 作者ID： jain.himanshu先生 发布日期： 希曼舒·杰恩 已编制索引的文档： 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。 兹伯利1117.68046 埃德蒙·克拉克;希曼舒·杰恩;丹尼尔·克罗宁 4 2007 使用一般匹配检查非子句公式的可满足性。 Zbl 1187.68549号 希曼舒·杰恩;君士坦丁·巴齐斯;埃德蒙·克拉克 2 2006 谓词抽象的本地化和寄存器共享。 Zbl 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号 Jain，希曼舒;埃德蒙·克拉克;奥尔纳·格伦伯格 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.伊玛兹。 1 弗兰乔·伊万契奇 1 John，Ajith K。 1 安迪·金 1 佐藤小松 1 Le，Thi Thieu Hoa先生 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） 按年份列出的引文