编辑配置文件（在新选项卡中打开） 不远处，罗宾·P·。 合著者距离 作者ID： neatherway.robin-p 发布方式： 不远处，罗宾·P·。 已编制索引的文档： 2出版物自2012年起 合著者： 2位合著者具有2联合出版物 合著者 0 单作者的 2 王志浩（音） 2 史蒂文·詹姆斯·拉姆齐 系列 领域 2 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用19中的次17文件 引用人▼ 年份▼ 一种用于高阶模型检查的类型定向抽象精化方法。 Zbl 1284.68414号 史蒂文·拉姆齐。;不远处，罗宾·P·。;C.·H·卢克·翁 18 2014 一种用于高阶模型检查的基于遍历的算法。 Zbl 1291.68264号 不远处，罗宾·P·。;史蒂文·拉姆齐。;王志浩（音） 1 2012 一种用于高阶模型检查的类型定向抽象精化方法。 Zbl 1284.68414号 史蒂文·拉姆齐。;不远处，罗宾·P·。;C.·H·卢克·翁 18 2014 一种基于遍历的高阶模型检查算法。 Zbl 1291.68264号 不远处，罗宾·P·。;史蒂文·拉姆齐。;王志浩（音） 1 2012 所有引用出版物 前5名被引用出版物 全部的 前5名被29位作者引用 5 直纪小林 5 帕里斯（Pawe Parys） 4 津田，武士 2 浅田和树 2 弗洛里安·布鲁斯 2 约格·克里克 2 马丁·兰格 2 马尔科·萨利泽 2 龙马Sin'ya 1 大卫·巴罗齐尼 1 尼古拉·S·比约纳。 1 洛伦佐·克莱门特 1 托马斯·科尔科姆贝特 1 达尔拉戈，乌戈 1 阿扎德法尔赞 1 富士马，Koichi 1 查尔斯·格雷洛伊斯 1 阿里·古芬克尔 1 马修·黑格 1 肯尼思·麦克米兰。 1 罗兰·梅耶 1 塞巴斯蒂安·穆斯卡拉 1 维克托·尼科莱特 1 安德烈·里巴尔琴科 1 西尔万·萨尔瓦蒂 1 铃木，Ryota 1 德劳、塔库 1 伊戈尔·瓦卢基维奇 1 马丁·齐默尔曼 引用于3个系列 4 计算机科学中的逻辑方法 1 信息与计算 1 计算机基础理论 在3个字段中引用 16 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 三 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的引文