季凯良 解决图形问题的分辨率。 （英语） Zbl 1420.68188号 Blazy，Sandrine（编辑）等人，《验证软件》。理论、工具和实验。第八届国际会议，2016年VSTTE，加拿大安大略省多伦多，2016年7月17日至18日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9971, 166-180 (2016).MSC公司：68吨15 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{K.Ji}，莱克特。注释计算。科学。9971166--180（2016年；Zbl 1420.68188） 全文： 内政部 哈尔
季凯良 演绎模块中的CTL模型检查。 （英语） Zbl 1465.68180号 Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 295-310 (2015).MSC公司：60年第68季度 03B44号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{K.Ji}，莱克特。注释计算。科学。9195295-310（2015年；兹比尔1465.68180） 全文： 内政部 哈尔