编辑配置文件(在新选项卡中打开) Christopher H.Broadbent。 合著者距离 作者ID: 宽边.克里斯托弗-h 发布日期: 克里斯托弗·布劳德本特;Christopher H.Broadbent。 已编制索引的文档: 8出版物自2009年起 合著者: 7合著者具有5联合出版物 195位合作作者 全部的 前5名合著者 三 单作者的 2 Carayol,阿诺 2 马修·黑格 2 奥利维尔·塞雷 1 斯特凡·格勒 1 直纪小林 1 安德烈·穆拉夫斯基。 1 卢克·翁 系列 1 计算系统理论 1 ACM计算逻辑事务 字段 8 计算机科学(68-XX) 2 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 6出版物有被引用30中的次23文件 引用人▼ 年份▼ 高阶递归格式的基于饱和度的模型检查。 Zbl 1356.68141号 克里斯托弗·布劳德本特;直纪小林 15 2013 关于由高阶递归方案生成的全局模型检查树。 Zbl 1234.68252号 克里斯托弗·布劳德本特;卢克·翁 5 2009 C-SHORe:一种可折叠的高阶验证方法。 Zbl 1323.68364号 克里斯托弗·布劳德本特;Carayol,阿诺;马修·黑格;奥利维尔·塞雷 4 2013 CPDA图上一阶逻辑的可判定极限。 兹比尔1245.68121 Christopher H.Broadbent。 三 2012 关于高阶下推自动机的双相似性:二阶不可判定性。 兹比尔1354.68191 克里斯托弗·布劳德本特;斯特凡·格勒 2 2012 嵌套字和可折叠下推自动机的前缀重写。 Zbl 1367.68164号 克里斯托弗·布劳德本特 1 2012 高阶递归格式的基于饱和度的模型检查。 兹比尔1356.68141 克里斯托弗·布劳德本特;直纪小林 15 2013 C-SHORe:一种可折叠的高阶验证方法。 Zbl 1323.68364号 克里斯托弗·布劳德本特;Carayol,阿诺;马修·黑格;奥利维尔·塞雷 4 2013 CPDA图上一阶逻辑的可判定极限。 Zbl 1245.68121号 Christopher H.Broadbent。 三 2012 关于高阶下推自动机的双相似性:二阶不可判定性。 Zbl 1354.68191号 克里斯托弗·布劳德本特;斯特凡·格勒 2 2012 嵌套字和可折叠下推自动机的前缀重写。 兹比尔1367.68164 克里斯托弗·布劳德本特 1 2012 关于由高阶递归方案生成的全局模型检查树。 Zbl 1234.68252号 克里斯托弗·布劳德本特;卢克·翁 5 2009 所有引用出版物 排名前五的出版物 全部的 前5名29位作者引用 5 直纪小林 5 帕里斯(Pawe Parys) 4 西尔万·萨尔瓦蒂 4 津田,武士 三 伊戈尔·瓦卢基维奇 2 川崎朝田 2 弗洛里安·布鲁斯 2 马修·黑格 2 彼得·扬查尔 2 约格·克里克 2 马丁·兰格 2 罗兰·梅耶 2 塞巴斯蒂安·穆斯卡拉 2 马尔科·萨利泽 2 龙马Sin'ya 1 大卫·巴罗齐尼 1 Christopher H.Broadbent。 1 洛伦佐·克莱门特 1 托马斯·科尔科姆贝特 1 乌戈·达尔拉戈 1 富士马,Koichi 1 托马斯·杰奈特 1 查尔斯·格雷洛伊斯 1 格雷戈里·科贝尔。 1 艾蒂安·洛兹 1 亚恩鲑鱼 1 铃木,Ryota 1 德劳、塔库 1 马丁·齐默尔曼 5篇连载文章中引用 5 计算机科学中的逻辑方法 三 信息与计算 2 计算机与系统科学杂志 1 计算系统理论 1 计算机基础理论 在3个字段中引用 22 计算机科学(68-XX) 10 数学逻辑和基础(03-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文