格雷姆·恒河;豪尔赫·纳瓦斯（Jorge A.Navas）。;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯图基（Peter J.Stuckey）。 利用差分矩阵的稀疏性。 （英语） Zbl 1394.68074号 对手，Xavier（编辑），静态分析。2016年9月8日至10日在英国爱丁堡举行的第23届SAS国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-53412-0/pbk；978-3-562-53413-7/电子书）。计算机科学讲座笔记9837189-211（2016）。MSC公司：68纳米30 68兰特 PDF格式BibTeX公司 XML格式引用 \textit｛G.Gange｝等人，Lect。注释计算。科学。9837、189--211（2016；Zbl 1394.68074） 全文： 内政部
格雷姆·恒河;豪尔赫·纳瓦斯（Jorge A.Navas）。;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯图基（Peter J.Stuckey）。 无上下文语言规则可分性的完整细化过程。 （英语） Zbl 1338.68147号 西奥。计算。科学。 625, 1-24 (2016).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Gange}等人，Theor。计算。科学。625，1--24（2016；Zbl 1338.68147） 全文： 内政部 arXiv公司
格雷姆·恒河;豪尔赫·纳瓦斯（Jorge A.Navas）。;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯图基（Peter J.Stuckey）。 未解释函数的抽象域。 （英语） Zbl 1475.68086号 Jobstmann，Barbara（编辑）等人，《验证、模型检查和抽象解释》。第17届国际会议，2016年VMCAI，美国佛罗里达州圣彼得堡，2016年1月17日至19日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9583, 85-103 (2016).MSC公司：68纳米30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Gange}等人，Lect。注释计算。科学。9583，85-103（2016；Zbl 1475.68086） 全文： 内政部
格雷姆·恒河;豪尔赫·纳瓦斯（Jorge A.Navas）。;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯图基（Peter J.Stuckey）。 Horn子句作为程序分析和转换的中间表示。 （英语） Zbl 1379.68089号 理论与实践。日志。程序。 15，No.4-5，526-542（2015）.MSC公司：68N20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{G.Gange}等人，《理论与实践》。日志。程序。15，编号4--5526-542（2015年；兹bl 1379.68089） 全文： 内政部 arXiv公司
J.Robert M.科尼什。;格雷姆·恒河;豪尔赫·纳瓦斯（Jorge A.Navas）。;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯图基（Peter J.Stuckey）。 通过程序转换分析数组操作程序。 （英语） Zbl 1457.68060号 Proietti，Maurizio（编辑）等，基于逻辑的程序合成和转换。2014年9月9日至11日在英国坎特伯雷举行的2014年LOPSTR第24届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。8981, 3-20 (2015).MSC公司：68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{J.R.M.Cornish}等人，Lect。注释计算。科学。8981，3--20（2015；Zbl 1457.68060） 全文： 内政部 链接
格雷姆·恒河;豪尔赫·纳瓦斯（Jorge A.Navas）。;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯图基（Peter J.Stuckey）。 通过插值进行故障表约束逻辑编程。 （英语） Zbl 1286.68043号 理论与实践。日志。程序。 13，编号4-5，593-607（2013）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit｛G.Gange｝等人，《理论与实践》。日志。程序。13、编号4--5、593--607（2013；Zbl 1286.68043） 全文： 内政部
格雷姆·恒河;豪尔赫·纳瓦斯（Jorge A.Navas）。;彼得·斯图基（Peter J.Stuckey）。;哈拉尔德·森德加德;彼得·沙赫特 针对正则语言约束的带插值的无边界模型检查。 （英语） Zbl 1381.68162号 Piterman，Nir（编辑）等人，《系统构建和分析的工具和算法》。2013年3月16日至24日，第19届国际会议（TACAS 2013）在意大利罗马举行，作为欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36741-0/pbk）。计算机科学课堂讲稿7795277-291（2013）。MSC公司：60年第68季度 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Gange}等人，Lect。注释计算。科学。7795，277--291（2013；Zbl 1381.68162） 全文： 内政部