编辑配置文件（在新选项卡中打开） Bae，Kyungmin先生 合著者距离 作者ID： bae.kyungmin先生 发布日期： Bae，Kyungmin先生 已编制索引的文档： 9出版物自2010年起 1名编辑贡献 合著者： 9合著者具有9联合出版物 325位合作作者 全部的 前5名合著者 1 单作者的 6 何塞·梅塞盖尔·瓜伊塔 三 Peter Csaba，Olveczky 1 克拉克（Edmund Melson jun Clarke）。 1 圣地亚哥埃斯科瓦尔 1 冯、托马斯·惠宁 1 高思春 1 孔顺浩 1 李爱德华·阿什福德 1 斯塔夫罗斯·特里帕基斯 系列 1 计算机程序设计科学 1 计算机科学课堂讲稿 领域 10 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用59中的次46文件 引用人▼ 年份▼ 使用窄化对无限状态系统进行抽象逻辑模型检查。 Zbl 1356.68140号 Bae，Kyungmin先生;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 26 2011 用于重写的线性时态逻辑的基于重写的模型检查器。 Zbl 1291.68244号 Bae，Kyungmin先生;何塞·梅塞盖尔 9 2012 使用窄化对LTLR公式进行无限状态模型检查。 兹比尔1366.68162 Bae，Kyungmin先生;何塞·梅塞盖尔 6 2014 使用实时淡紫色验证等级托勒密二世离散事件模型。 Zbl 1264.68051号 Bae，Kyungmin先生;Ölveczky、Peter Csaba;冯、托马斯·惠宁;爱德华·A·李。;斯塔夫罗斯·特里帕基斯 5 2012 重写Maude模型检查器的线性时序逻辑。 Zbl 1306.68099号 Bae，Kyungmin先生;何塞·梅塞盖尔 4 2010 重写理论的谓词抽象。 Zbl 1416.68118号 Bae，Kyungmin先生;何塞·梅塞盖尔 三 2014 基于SMT的虚拟同步分布式混合系统分析。 Zbl 1364.68258号 Bae，Kyungmin先生;Ölveczky、Peter Csaba;孔顺浩;高思春;埃德蒙·克拉克（Edmund M.Clarke）。 三 2016 局部公平下的模型检验LTLR公式。 Zbl 1367.68180号 Bae，Kyungmin先生;何塞·梅塞盖尔 三 2012 基于SMT的虚拟同步分布式混合系统分析。 Zbl 1364.68258号 Bae，Kyungmin先生;Ölveczky、Peter Csaba;孔顺浩;高思春;埃德蒙·克拉克（Edmund M.Clarke）。 三 2016 使用窄化对LTLR公式进行无限状态模型检查。 Zbl 1366.68162号 Bae，Kyungmin先生;何塞·梅塞盖尔 6 2014 重写理论的谓词抽象。 Zbl 1416.68118号 Bae，Kyungmin先生;何塞·梅塞盖尔 三 2014 用于重写的线性时态逻辑的基于重写的模型检查器。 Zbl 1291.68244号 Bae，Kyungmin先生;何塞·梅塞盖尔 9 2012 使用实时淡紫色验证等级托勒密二世离散事件模型。 Zbl 1264.68051号 Bae，Kyungmin先生;Ölveczky、Peter Csaba;冯、托马斯·惠宁;爱德华·A·李。;斯塔夫罗斯·特里帕基斯 5 2012 局部公平条件下的模型检验LTLR公式。 Zbl 1367.68180号 Bae，Kyungmin先生;何塞·梅塞盖尔 三 2012 使用窄化对无限状态系统进行抽象逻辑模型检查。 Zbl 1356.68140号 Bae，Kyungmin先生;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 26 2011 重写Maude模型检查器的线性时序逻辑。 Zbl 1306.68099号 Bae，Kyungmin先生;何塞·梅塞盖尔 4 2010 所有引用出版物 前5名被引用出版物 全部的 前5名71位作者引用 11 马丁·奥列特，纳西索 10 圣地亚哥埃斯科瓦尔 9 何塞·梅塞盖尔·瓜伊塔 6 卡罗琳·塔尔科特。 5 高基町五指 5 朱莉娅·萨皮娜 4 弗朗西斯科·杜兰 4 史蒂文·艾克 4 鲁宾·鲁比奥 4 阿尔贝托·维尔德乔 三 玛丽亚·阿尔普特 三 巴利斯，德米斯 三 奥斯卡·马汀 三 Kazuhiro绪方 三 伊莎贝尔·皮塔 2 路易斯·安东尼奥·阿吉雷 2 安德烈·阿鲁索艾 2 李爱德华·阿什福德 2 米歇尔·洛雷蒂 2 Peter Csaba，Olveczky 2 米盖尔·帕洛米诺 2 阿德里安·里斯科 2 卡米洛·罗查 2 格里高·罗什乌 2 弗拉德·鲁苏 2 斯塔夫罗斯·特里帕基斯 1 艾丽卡·阿尔布拉汉姆 1 Al-Humaimedy，Abeer S。 1 穆萨布·A·阿尔图尔基。 1 阿帕里西奥·桑切斯，达米安 1 Bae，Kyungmin先生 1 马塞洛·巴尔杜奇尼 1 卢卡·博托卢西 1 文森佐·西安西亚 1 瑟·特凡·乔巴赫 1 曼纽尔·克莱维尔 1 兰斯·克莱维兰 1 冯、托马斯·惠宁 1 弗拉维奥·芬顿。 1 玛丽贝尔·费尔南德斯 1 拉杜·格罗苏 1 伊斯兰，马里兰州Ariful 1 保罗·L·琼斯。 1 Misaki小岛 1 基里恩·克莱默 1 艾米丽·勒布朗（Emily C.Leblanc）。 1 帕特里克·D·林肯。 1 多雷尔·卢卡努 1 丹尼尔·马加泽尼 1 马可·马拉提亚 1 恩里克·马丁·马汀 1 梅克·马西克 1 拉杜·梅鲁塔 1 黑山，曼努埃尔 1 布兰登·摩尔（Brandon M.Moore）。 1 塞萨尔·穆尼奥斯。 1 劳拉·内兹 1 直纪西田 1 大卫·E·诺瓦克。 1 朱莉娅·帕德伯格 1 Preining，诺伯特 1 米歇拉·夸迪尼 1 任尚平 1 胡安·罗德里格斯·霍塔拉 1 亚历山大·舒尔茨 1 ☑特拉安·弗洛林（Traian Florin） 1 克里斯·沙弗 1 马尔詹·西尔贾尼 1 斯科特·斯莫尔卡。 1 安德烈·特夫内斯库 1 克里斯托斯·斯特吉奥 全部的 前5名10篇连载文章中引用 10 程序设计中的逻辑和代数方法杂志 三 逻辑程序设计理论与实践 三 计算机科学中的逻辑方法 2 计算机程序设计科学 1 理论计算机科学 1 信息与计算 1 自动化推理杂志 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 逻辑与代数程序设计杂志 全部的 前5名在7个字段中引用 45 计算机科学（68至XX） 14 数学逻辑和基础（03-XX） 2 历史和传记（01-XX） 1 范畴理论；同调代数（18-XX） 1 常微分方程（34-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的引文