编辑配置文件(在新选项卡中打开) Heo,Kihong先生 合著者距离 作者ID: heo.kihong先生 发布日期: Heo,Kihong先生 已编制索引的文档: 3出版物自2014年起 合著者: 3位合著者具有3联合出版物 66位合作作者 合著者 0 单作者的 三 哦,哈乔 2 Yang,宏石 1 Ko、Yoonseok 系列 1 系统设计中的形式化方法 1 计算机语言、系统和结构 字段 三 计算机科学(68-XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用3中的次3文件 引用人▼ 年份▼ 从静态分析生成的标记数据中学习Octagon的可变聚类策略。 Zbl 1425.68069号 何启宏;哦,哈乔;Yang,宏石 三 2016 从静态分析生成的标记数据中学习Octagon的可变聚类策略。 Zbl 1425.68069号 Heo,Kihong先生;哦,哈乔;Yang,宏石 三 2016 5位作者引用 2 阿齐姆·查德哈里 2 安迪·金 1 金成国 1 阿迪蒂亚·塔库尔。 1 阿尔诺·J·维内特。 连载1篇 1 系统设计中的形式化方法 在1个字段中引用 三 计算机科学(68-XX) 按年份列出的引文