阿齐姆·查德哈里;罗宾斯，埃德;安迪·金 递增闭合八边形。 （英语） 兹比尔1425.68242 形式方法系统。设计。 54，第2号，232-277（2019）.MSC公司：68问题55 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Chawdhary}等人，《形式方法系统》。设计。54，No.2，232--277（2019；Zbl 1425.68242） 全文： DOI程序 arXiv公司 OA许可证
Ko、Yoonseok;Heo，Kihong先生;哦，哈乔 用于详细语义分析的稀疏评估技术。 （英语） Zbl 1308.68043号 计算。语言系统。结构。 40，编号3-4，99-111（2014）.MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ko}等人，计算。语言系统。结构。40，编号3--4，99-111（2014；Zbl 1308.68043） 全文： DOI程序
伊娃·贝克舒尔泽;斯特凡·科瓦列夫斯基;Jörg Brauer 八边形的基于访问的本地化。 （英语） Zbl 1294.68050号 Midtgaard，Jan（编辑）等人，第四届数字和符号抽象域国际研讨会论文集，NSAD 2012，法国多维尔，2012年9月10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记287，29-40（2012）。MSC公司：68号30 68问题55 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.Beckschulze}等人，《电子》。注释Theor。计算。科学。287、29--40（2012年；Zbl 1294.68050） 全文： DOI程序
Lee，Woosuk先生;Lee，Wonchan先生;Yi，Kwangkeun先生 静态分析警报的良好非统计聚类。 （英语） Zbl 1326.68100号 Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学讲义7148299-314（2012）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{W.Lee}等人，Lect。票据计算。科学。7148299--314（2012年；Zbl 1326.68100） 全文： DOI程序