编辑配置文件（在新选项卡中打开） Yi，Kwangkeun先生 合著者距离 作者ID： yi.kwangkeun先生 发布日期： Yi，Kwangkeun先生;Yi，Kwangkuen先生 已编制索引的文档： 25出版物自1998年以来 2作为编辑的贡献 合著者： 28位合著者具有22联合出版物 358位联合作者 全部的 前5名合著者 4 单作者的 5 Lee，Oukseh先生 4 容伯姆·荣格 4 Wang，船头偏航 4 杨红seok 三 Eo，Hyunjun先生 三 Kim、Ik-Soon 三 Lee，Wonchan先生 2 孔顺浩 1 巴尔尼什阿克特穆尔 1 布鲁奇，卢卡斯 1 克里斯蒂亚诺·加尔卡尼奥 1 成坤·赵 1 Choe，Kwang-Moo先生 1 霍西克·崔 1 Wontae Choi公司 1 克里斯蒂娜·大卫 1 金，Jaehwang 1 金永代（Kim，Yongdai） 1 Lee，Gyesik先生 1 Lee，Woosuk先生 1 安德烈·穆拉夫斯基。 1 哦，哈乔 1 布鲁诺·C·d·S·奥利维拉。 1 Paek、Yunheung 1 杰夫·波拉克 1 柳，苏京 1 苏奈·苏奥 1 Makoto Tatsuta 全部的 前5名系列 2 信息处理信件 2 计算机程序设计科学 2 新一代计算 2 计算机科学课堂讲稿 1 信息学报 1 声音与振动杂志 1 理论计算机科学 1 MSCS公司。计算机科学中的数学结构 1 函数编程杂志 1 计算机科学中的逻辑方法 字段 26 计算机科学（68至XX） 2 总体主题；集合（00-XX） 2 数学逻辑和基础（03-XX） 1 动力系统和遍历理论（37至XX） 1 可变形固体力学（74-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 18出版物有被引用54中的次48文件 引用人▼ 年份▼ 使用基于语法的形状分析自动验证指针程序。 Zbl 1108.68396号 Lee，Oukseh先生;杨红seok;Yi，Kwangkeun先生 7 2005 在有序逻辑框架中证明异常的语法属性。 Zbl 0977.68523号 杰夫·波拉克;Yi，Kwangkeun先生 7 2001 类Lisp多阶段语言的多态模式类型系统。 Zbl 1369.68076号 金一顺;Yi，Kwangkeun先生;克里斯蒂亚诺·加尔卡尼奥 6 2006 基于访问分析的抽象内存的严密定位。 Zbl 1317.68033号 哦，哈乔;卢卡斯·布鲁奇;Yi，Kwangkeun先生 5 2011 通过算法学习、决策过程和谓词抽象导出不变量。 Zbl 1248.68272号 容伯姆·荣格;孔顺浩;Wang，船头偏航;Yi，Kwangkeun先生 5 2010 具有几何非线性和平移加速度的轴向运动弦的振动。 Zbl 1237.74053号 钟，J。;韩，C.S。;Yi，K。 5 2001 对于一阶版本，重新访问了“校对调试”。 Zbl 1107.68427号 Yi，Kwangkeun先生 4 2006 从抽象解释结果自动构造Hoare证明。 兹比尔1254.68088 苏奈·苏奥;杨红seok;Yi，Kwangkeun先生 4 2003 GMeta：用于一阶表示的通用形式元理论框架。 Zbl 1352.68063号 Lee，Gyesik先生;布鲁诺·C·d·S·奥利维拉。;成坤·赵;Yi，Kwangkeun先生 三 2012 对标准ML程序中未捕获异常的经济高效的估计。 Zbl 0996.68029号 Yi，Kwangkeun先生;柳，苏京 三 2002 一组混合let-polymorphic类型推理算法的证明。 Zbl 1085.68028号 Eo，Hyunjun先生;Lee，Oukseh先生;Yi，Kwangkeun先生 2 2004 基于学习的无量词循环不变量推理的谓词生成。 Zbl 1315.68097号 容伯姆·荣格;Lee，Wonchan先生;Wang，船头偏航;Yi，Kwangkuen先生 2 2011 对错误导向静态C分析仪警报分类方法的实证研究。 Zbl 1184.68158号 Yi，Kwangkeun先生;霍西克·崔;金，Jaehwang;金永代（Kim，Yongdai） 1 2007 用于估计标准ML程序中未捕获异常的抽象解释。 Zbl 0941.68022号 Yi，Kwangkeun先生 1 1998 静态分析警报的良好非统计聚类。 Zbl 1326.68100号 Lee，Woosuk先生;Lee，Wonchan先生;Yi，Kwangkeun先生 1 2012 格上可定义函数的静态单调性分析。 Zbl 1057.68577号 安德烈·穆拉夫斯基。;Yi，Kwangkeun先生 1 2002 通过非静态翻译对多阶段程序进行静态分析。 Zbl 1284.68170号 Wontae Choi公司;巴里斯·阿克特穆尔;Yi，Kwangkeun先生;Makoto Tatsuta 1 2011 通过算法学习自动推断循环不变量。 Zbl 1361.68067号 容伯姆·荣格;孔顺浩;克里斯蒂娜·大卫;Wang，船头偏航;Yi，Kwangkeun先生 1 2015 通过算法学习自动推断循环不变量。 Zbl 1361.68067号 容伯姆·荣格;孔宋浩;克里斯蒂娜·大卫;Wang，船头偏航;Yi，Kwangkeun先生 1 2015 GMeta：用于一阶表示的通用形式元理论框架。 Zbl 1352.68063号 Lee，Gyesik先生;布鲁诺·C·d·S·奥利维拉。;成坤·赵;Yi，Kwangkeun先生 三 2012 静态分析警报的良好非统计聚类。 Zbl 1326.68100号 Lee，Woosuk先生;Lee，Wonchan先生;Yi，Kwangkeun先生 1 2012 基于访问分析的抽象内存的严密定位。 Zbl 1317.68033号 哦，哈乔;卢卡斯·布鲁奇;Yi，Kwangkeun先生 5 2011 基于学习的无量词循环不变量推理的谓词生成。 Zbl 1315.68097号 容伯姆·荣格;Lee，Wonchan先生;Wang，船头偏航;Yi，Kwangkuen先生 2 2011 通过非staging转换对多阶段程序进行静态分析。 Zbl 1284.68170号 Wontae Choi公司;巴里斯·阿克特穆尔;Yi，Kwangkeun先生;Makoto Tatsuta 1 2011 通过算法学习、决策过程和谓词抽象导出不变量。 Zbl 1248.68272号 容格;孔顺浩;Wang，船头偏航;Yi，Kwangkeun先生 5 2010 对错误导向静态C分析仪警报分类方法的实证研究。 兹比尔1184.68158 Yi，Kwangkeun先生;霍西克·崔;金，Jaehwang;金永代（Kim，Yongdai） 1 2007 类Lisp多阶段语言的多态模式类型系统。 Zbl 1369.68076号 Kim、Ik-Soon;Yi，Kwangkeun先生;克里斯蒂亚诺·加尔卡尼奥 6 2006 对于一阶版本，重新访问了“校对调试”。 Zbl 1107.68427号 Yi，Kwangkeun先生 4 2006 使用基于语法的形状分析自动验证指针程序。 Zbl 1108.68396号 Lee，Oukseh先生;杨红seok;Yi，Kwangkeun先生 7 2005 一组混合let-polymorphic类型推理算法的证明。 Zbl 1085.68028号 Eo，Hyunjun先生;Lee，Oukseh先生;Yi，Kwangkeun先生 2 2004 从抽象解释结果自动构造Hoare证明。 兹比尔1254.68088 苏奈·苏奥;杨红seok;Yi，Kwangkeun先生 4 2003 对标准ML程序中未捕获异常的经济高效的估计。 Zbl 0996.68029号 Yi，Kwangkeun先生;柳，苏京 三 2002 格上（lambda）可定义函数的静态单调性分析。 Zbl 1057.68577号 安德烈·穆拉夫斯基。;Yi，Kwangkeun先生 1 2002 在有序逻辑框架中证明异常的语法属性。 Zbl 0977.68523号 杰夫·波拉克;Yi，Kwangkeun先生 7 2001 具有几何非线性和平移加速度的轴向运动弦的振动。 Zbl 1237.74053号 钟，J。;韩，C.S。;Yi，K。 5 2001 用于估计标准ML程序中未捕获异常的抽象解释。 Zbl 0941.68022号 Yi，Kwangkeun先生 1 1998 所有引用出版物 前5名被引用出版物 全部的 前5名118位作者引用 5 Yi，Kwangkeun先生 2 纪尧姆·阿拉伊斯 2 陈明帅 2 陈盛 2 奥利维尔·丹维 2 克里斯蒂娜·大卫 2 艾米·费尔蒂（Amy P.Felty）。 2 Heo，Kihong先生 2 Atsushi Igarashi 2 容格 2 卡普尔，迪帕克 2 Lee，Wonchan先生 2 阿尔贝托·莫米利亚诺 2 诺尔，托马斯 2 哦，哈乔 2 汤姆·沃纳 2 Wang，船头偏航 2 詹乃军 1 安德烈亚斯·阿贝尔（Andreas M.Abel）。 1 艾肯，亚历克斯 1 安、杰 1 罗伯特·艾奇 1 霍尔格·博克·阿克塞尔森 1 珍妮特·巴恩斯 1 吉尔·巴特 1 伊娃·贝克舒尔泽 1 德克·拜尔 1 艾哈迈德·博阿贾尼 1 马吕斯·博兹加 1 Jörg Brauer 1 科什卡，米兰 1 詹姆斯·查普曼（James T.E.Chapman）。 1 罗德里克·查普曼 1 阿齐姆·查德哈里 1 陈一云 1 陈志远 1 魏恩根·钦 1 Choe，Kwang Moo先生 1 安德鲁·库克。 1 戴丽云 1 比尔·J·埃利斯。 1 Eo，Hyunjun先生 1 帕维尔·埃尔勒巴赫 1 马丁·埃尔维格 1 约塔姆·M·Y·费尔德曼。 1 安德烈·菲林斯基 1 Fluet，Matthew T。 1 甘婷 1 洛伦佐·盖里 1 罗伯特·格莱克 1 苏米特·古尔瓦尼 1 彼得·哈贝梅尔 1 Aliya Hameer 1 韩东洙 1 乔纳森·海宁 1 黄洪涛 1 黄绍斌 1 格雷厄姆·赫顿 1 Jun-Ichiro井上 1 拉杜·奥西夫 1 爱尔兰，安德鲁 1 玛丽·克里斯汀·雅各布斯 1 克里斯蒂娜·詹森 1 罗宾·卡斯加德 1 Kakutani、Yoshihiko 1 Yukiyoshi县Kameyama 1 Joost-Pieter卡托恩 1 安迪·金 1 奥列格·基塞利约夫 1 Ko，Yoonseok 1 小岛贤介 1 孔顺浩 1 斯特凡·科瓦列夫斯基 1 塞萨尔昆兹 1 Lee，Oukseh先生 1 Lee，Woosuk先生 1 李兆鹏 1 吕天阳 1 马哈茂德·穆罕默德·尤斯里 1 康诺·托马斯·麦克布莱德 1 詹姆斯·麦金纳 1 凯文·米利金 1 莫罗，皮埃尔 1 尤伊托·穆拉斯 1 阮秀海 1 Lasse R.尼尔森。 1 Yuichi Nishiwaki 1 努尔，Md Rabib 1 白云香 1 碧姬·品特卡 1 秦胜超 1 雷尼，迈克 1 约翰·H·Reppy。 1 斯特凡·里格尔 1 安藤萨巴斯 1 史蒂文·施费尔 1 戴维·施密特（David A.Schmidt）。 1 拉胡尔·夏尔马 1 亚当·肖 1 Shim，Jaeyong先生 …还有18位作者 全部的 前5名15篇连载文章中引用 7 函数编程杂志 5 自动推理杂志 5 系统设计中的形式化方法 2 信息处理信件 2 理论计算机科学 2 计算机程序设计科学 2 计算机科学与技术杂志 1 新一代计算 1 信息与计算 1 计算的形式化方面 1 MSCS公司。计算机科学中的数学结构 1 高阶和符号计算 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 计算机语言、系统和结构 全部的 前5名在6个字段中引用 46 计算机科学（68至XX） 9 数学逻辑和基础（03-XX） 2 量子理论（81-XX） 1 范畴理论；同调代数（18-XX） 1 运筹学、数学规划（90-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文