编辑配置文件(在新选项卡中打开) Lee,Oukseh先生 合著者距离 作者ID: lee.oukseh先生 发布日期: Lee,Oukseh先生 已编制索引的文档: 8出版物自2002年起 合著者: 13合著者具有8联合出版物 206合著作者 全部的 前5名合著者 0 单作者的 5 杨红seok 5 Yi,Kwangkeun先生 1 乔什·伯丁 1 克里斯蒂亚诺·加尔卡尼奥 1 崔泰雄 1 拜伦·库克 1 迪诺·迪斯特法诺 1 Doh、Kyung-Goo 1 Eo,Hyunjun先生 1 Kim、Hyunha 1 彼得·奥赫恩。 1 Paek、Yunheung 1 Rasmus Lerchedahl彼得森 系列 1 信息处理信件 1 计算机程序设计科学 1 新一代计算 1 系统设计中的形式化方法 领域 8 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用38中的次35文件 引用人▼ 年份▼ 系统代码的可缩放形状分析。 Zbl 1155.68359号 杨红seok;Lee,Oukseh先生;乔什·伯丁;克里斯蒂亚诺·加尔卡尼奥;拜伦·库克;迪诺·迪斯特法诺;彼得·奥赫恩 24 2008 使用基于语法的形状分析自动验证指针程序。 Zbl 1108.68396号 Lee,Oukseh先生;杨红seok;Yi,Kwangkeun先生 7 2005 采用加宽方法的实用字符串分析器。 Zbl 1168.68359号 崔泰雄;Lee,Oukseh先生;Kim、Hyunha;Doh、Kyung-Goo 5 2006 一组混合let-polymorphic类型推理算法的证明。 兹比尔1085.68028 Eo,Hyunjun先生;Lee,Oukseh先生;Yi,Kwangkeun先生 2 2004 系统代码的可缩放形状分析。 Zbl 1155.68359号 杨红seok;Lee,Oukseh先生;乔什·伯丁;克里斯蒂亚诺·加尔卡尼奥;拜伦·库克;迪诺·迪斯特法诺;O&rsquo的;彼得·赫恩 24 2008 采用加宽方法的实用字符串分析器。 Zbl 1168.68359号 崔泰铉;Lee,Oukseh先生;Kim、Hyunha;Doh、Kyung-Goo 5 2006 使用基于语法的形状分析自动验证指针程序。 Zbl 1108.68396号 Lee,Oukseh先生;杨红seok;Yi,Kwangkeun先生 7 2005 一组混合let-polymorphic类型推理算法的证明。 Zbl 1085.68028号 Eo,Hyunjun先生;Lee,Oukseh先生;Yi,Kwangkeun先生 2 2004 所有引用出版物 前5名被引用出版物 全部的 前5名82位作者引用 5 托马斯·沃伊纳尔 三 魏恩根·钦 三 卢卡什·霍利克 三 秦胜超 2 陈盛 2 拜伦·库克 2 阿戈斯蒂诺·科尔特斯 2 Stéphane P.德姆里。 2 彼得·哈贝梅尔 2 何冠华 2 Ondřej Lengál 2 诺尔,托马斯 2 Rasmus Lerchedahl彼得森 2 亚当·罗加列维奇 1 帕罗什·阿齐兹·阿卜杜拉 1 穆阿特·阿尔卡拉夫 1 文森佐·阿塞里 1 乔什·伯丁 1 艾哈迈德·博阿贾尼 1 马里乌斯·博兹加 1 詹姆斯·布罗瑟斯顿 1 卢卡斯·布鲁奇 1 特夫菲克·布尔坦 1 科什卡,米兰 1 陈一云 1 Choe,Kwang-Moo先生 1 佛罗里达州克拉丘 1 克雷斯波、胡安·曼努埃尔 1 克里斯蒂娜·大卫 1 Deters,摩根 1 迪诺·迪斯特法诺 1 帕维尔·埃尔勒巴赫 1 马丁·埃尔维格 1 皮埃特罗·费拉拉 1 阿列克谢·戈茨曼 1 乔纳森·海宁 1 马丁·赫鲁斯卡 1 奥斯卡·H·伊巴拉。 1 拉杜·奥西夫 1 克里斯蒂娜·詹森 1 彼得·吉普森 1 本特·琼森 1 Max Iosifovich,卡诺维奇 1 Joost-Pieter卡托恩 1 Kim,Se-Won先生 1 约格·克里克 1 丹尼尔·科宁 1 塞萨尔昆兹 1 Lee,Oukseh先生 1 李兆鹏 1 塔德乌兹·利塔克 1 刘江超 1 罗晨光 1 阿莱西奥·曼苏蒂 1 皮埃尔·莫罗 1 穆提林(V.S.Mutilin)。 1 卢卡·内格里尼 1 阮秀海 1 努尔,Md Rabib 1 哦,哈乔 1 彼得·奥赫恩。 1 斯特凡·里格尔 1 诺姆·里内茨基 1 对手,泽维尔 1 菲利普·吕默 1 穆利·萨吉夫 1 赫尔穆特·塞德尔 1 Šimáckek,Jiří 1 埃洛迪·西蒙斯-简 1 哈拉尔德·森德加德 1 聪奎·特里恩 1 阿列克斯·瓦西尔·埃夫 1 沃伊达尼,维萨尔 1 Reinhard威廉 1 Christoph M.温特斯泰格。 1 叶哈夫,埃兰 1 杨红丽 1 杨红seok 1 Yi,Kwangkeun先生 1 于、方 1 马泰奥·扎尼奥利 1 张宇 全部的 前5名12篇连载文章中引用 6 系统设计中的形式化方法 2 计算机语言、系统和结构 1 信息学报 1 编程和计算机软件 1 理论计算机科学 1 计算机程序设计科学 1 符号计算杂志 1 计算机科学与技术杂志 1 计算的形式方面 1 应用非经典逻辑杂志 1 函数编程杂志 1 美国医学会杂志 在2个字段中引用 33 计算机科学(68至XX) 12 数学逻辑和基础(03-XX) 按年份列出的引文