希曼舒·杰恩;埃德蒙·克拉克（Edmund M.Clarke）。;奥尔纳·格伦伯格 线性丢番图方程和线性模方程的有效Craig插值。 （英语） Zbl 1186.68013号 形式方法系统。设计。 35，第1期，6-39页（2009年）.MSC公司：2007年7月68日 60年第68季度 2004年11月 PDF格式BibTeX公司 XML格式引用 \textit{H.Jain}等人，《形式方法系统》。设计。35，第1号，第6--39号（2009；Zbl 1186.68013） 全文： 内政部 链接
希曼舒·杰恩;埃德蒙·克拉克;奥尔纳·格伦伯格 线性丢番图方程和线性模方程的有效Craig插值。 （英语） Zbl 1155.68439号 Gupta，Aarti（编辑）等人，《计算机辅助验证》。第20届国际会议，CAV 2008，美国新泽西州普林斯顿，2008年7月7日至14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。计算机科学课堂讲稿5123254-267（2008）。MSC公司：60年第68季度 03C40号 2005年11月 PDF格式BibTeX公司 XML格式引用 \textit{H.Jain}等人，Lect。注释计算。科学。5123、254--267（2008；Zbl 1155.68439） 全文： 内政部
埃德蒙·克拉克;希曼舒·杰恩;丹尼尔·克罗宁 使用谓词抽象验证SpecC。 （英语） Zbl 1117.68046号 形式方法系统。设计。 30，第1期，5-28（2007）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人，《形式方法系统》。设计。30，第1号，第5--28号（2007；Zbl 1117.68046） 全文： 内政部
希曼舒·杰恩;君士坦丁·巴齐斯;埃德蒙·克拉克 使用一般匹配检查非子句公式的可满足性。 （英语） Zbl 1187.68549号 Biere，Armin（编辑）等人，《满意度测试的理论和应用——SAT 2006》。第九届国际会议，西雅图，华盛顿州，美国，2006年8月12-15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-37206-7/pbk）。计算机科学讲义412175-89（2006）。MSC公司：68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Jain}等人，Lect。注释计算。科学。4121,75-89（2006年；Zbl 1187.68549） 全文： 内政部