容伯姆·荣格;孔顺浩;克里斯蒂娜·大卫;王，弯腰;Yi，Kwangkeun先生 通过算法学习自动推断循环不变量。 （英语） Zbl 1361.68067号 数学。结构。计算。科学。 25，第4期，892-915（2015）.MSC公司：68号30 68问题32 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Jung｝等人，数学。结构。计算。科学。25，第4号，892--915（2015；Zbl 1361.68067） 全文： 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程序
容伯姆·荣格;Lee，Wonchan先生;王，弯腰;Yi，Kwangkuen 基于学习的无量词循环不变量推理的谓词生成。 （英语） Zbl 1315.68097号 Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605205-219（2011）。MSC公司：68号30 68N25号 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{Y.Jung}等人，Lect。注释计算。科学。6605205-219（2011；Zbl 1315.68097） 全文： DOI程序 arXiv公司
Eo，Hyunjun先生;Yi，Kwangkeun先生;Choe，Kwang-Moo先生 格上（lambda）可定义函数的静态可拓性分析。 （英语） Zbl 1103.68035号 新一代计算。 24，第1期，53-78（2006）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{H.Eo}等人，《新一代计算》。24，第1号，53--78（2006；Zbl 1103.68035） 全文： DOI程序
Lee，Oukseh先生;Yi，Kwangkeun先生;Paek、Yunheung 模块化0CFA正确性的证明方法。 （英语） Zbl 1005.68511号 信息处理。莱特。 81，第4期，179-185（2002）.MSC公司：68N20型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{O.Lee}等人，《信息处理》。莱特。81，第4号，179--185（2002；Zbl 1005.68511） 全文： DOI程序