编辑配置文件(在新选项卡中打开) 马修·黑格 合著者距离 作者ID: 海牙马修 发布日期: 马修·黑格;M.海牙。 外部链接: ORCID公司 已编制索引的文档: 25出版物自2005年以来 2作为编辑的贡献 合著者: 25位合著者具有21联合出版物 517合著作者 全部的 前5名合著者 三 单作者的 6 Carayol,阿诺 4 Anthony Widjaja林 4 奥利维尔·塞雷 2 Christopher H.Broadbent。 2 罗兰·梅耶 2 安德烈·穆拉夫斯基。 2 塞巴斯蒂安·穆斯卡拉 2 伊戈尔·波塔波夫 2 菲利普·吕默 2 吴志林 1 罗兰·阿克塞尔森 1 克里斯·布罗德本特 1 克里斯蒂亚诺·加尔卡尼奥 1 陈、陶璐 1 菲利普·安·加德纳 1 何金龙 1 胡登庚 1 乔纳森·科切姆斯 1 斯蒂芬·克鲁泽 1 马丁·兰格 1 马库斯拿铁 1 卢克·翁 1 文森特·佩内尔 1 收件人:Anthony Widjaja 1 马丁·齐默尔曼 全部的 前5名系列 2 ACM计算逻辑事务 1 理论计算机科学 1 信息与计算 1 计算机基础理论 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 字段 27 计算机科学(68-XX) 6 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用95中的次78文件 引用人▼ 年份▼ 可折叠下推自动机和递归方案。 Zbl 1407.68256号 马修·黑格;安德烈·穆拉夫斯基。;Ong,C.-H.卢克;奥利维尔·塞雷 17 2017 高阶下推自动机的无界性和向下闭包。 Zbl 1347.68205号 马修·黑格;乔纳森·科切姆斯;Ong,C.-H.卢克 11 2016 从分离逻辑到一阶逻辑。 Zbl 1119.03022号 克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳;马修·黑格 10 2005 可折叠下推系统的饱和方法。 Zbl 1367.68163号 克里斯·布罗德本特;Carayol,阿诺;马修·黑格;奥利维尔·塞雷 8 2012 具有非原子写入的参数化下推系统。 兹比尔1246.68156 马修·黑格 5 2011 高阶下推系统的符号后向可达性分析。 Zbl 1195.68057号 马修·黑格;Ong,C.-H.卢克 4 2007 C-SHORe:一种可折叠的高阶验证方法。 Zbl 1323.68364号 克里斯托弗·布劳德本特;Carayol,阿诺;马修·黑格;奥利维尔·塞雷 4 2013 下推平价游戏的获胜区域:饱和方法。 Zbl 1254.68135号 马修·黑格;Ong,C.-H.卢克 4 2009 扩展计算树逻辑。 Zbl 1306.68098号 罗兰·阿克塞尔森;马修·黑格;斯蒂芬·克鲁泽;马丁·兰格;马库斯拿铁 4 2010 下推系统模态演算的饱和方法。 Zbl 1215.68151号 M.海牙。;Ong,C.-H.L.公司。 4 2011 衰老的地面树重写系统。 Zbl 1401.68135号 M.海牙。 三 2014 具有整数数据类型的字符串操作程序的路径可行性决策过程。 Zbl 1517.68074号 陈、陶璐;马修·黑格;何金龙;胡登庚;Anthony Widjaja林;菲利普·吕默;吴志林 三 2020 模型检查下推系统的饱和算法。 Zbl 1464.68196号 Carayol,阿诺;马修·黑格 三 2014 具有递归并行性的集成操作程序的可确定模型。 Zbl 1403.68125号 马修·黑格;Anthony Widjaja林 三 2016 下推可达性游戏中的常规策略。 Zbl 1448.68260号 Carayol,A.(甲酰)。;黑格,M。 2 2014 并发可折叠下推系统的饱和。 Zbl 1359.68222号 马修·黑格 2 2013 下推可达博弈中的最优策略。 Zbl 1512.68150号 Carayol,阿诺;马修·黑格 2 2018 整数线性算术中的一元分解。 Zbl 07614510号 马修·黑格;Anthony W·林。;菲利普·吕默;吴志林 2 2020 高阶游戏的域。 Zbl 1441.68125号 马修·黑格;罗兰·梅耶;塞巴斯蒂安·穆斯卡拉 1 2017 可达性问题。2017年9月7日至9日在英国伦敦举行的2017年RP第11届国际研讨会。诉讼程序。 Zbl 1371.68009号 1 2017 模型检查(可折叠)高阶下推系统的复杂性。 兹比尔1245.68137 马修·黑格;收件人:Anthony Widjaja 1 2010 在多项式时间内,下推和可折叠下推系统的安全性相等。 Zbl 1512.68154号 马修·黑格;罗兰·梅耶;塞巴斯蒂安·穆斯卡拉;马丁·齐默尔曼 1 2018 具有整数数据类型的字符串操作程序的路径可行性决策过程。 Zbl 1517.68074号 陈、陶璐;马修·黑格;何金龙;胡登庚;Anthony Widjaja林;菲利普·吕默;吴志林 三 2020 整数线性算术中的一元分解。 Zbl 07614510号 马修·黑格;Anthony W·林。;菲利普·吕默;吴志林 2 2020 下推可达博弈中的最优策略。 Zbl 1512.68150号 Carayol,阿诺;马修·黑格 2 2018 在多项式时间内,下推和可折叠下推系统的安全性相等。 Zbl 1512.68154号 马修·黑格;罗兰·梅耶;塞巴斯蒂安·穆斯卡拉;马丁·齐默尔曼 1 2018 可折叠下推自动机和递归方案。 Zbl 1407.68256号 马修·黑格;安德烈·穆拉夫斯基。;Ong,C.-H.卢克;奥利维尔·塞雷 17 2017 高阶游戏的域。 Zbl 1441.68125号 马修·黑格;罗兰·梅耶;塞巴斯蒂安·穆斯卡拉 1 2017 可达性问题。2017年9月7日至9日在英国伦敦举行的2017年RP第11届国际研讨会。诉讼程序。 Zbl 1371.68009号 1 2017 高阶下推自动机的无界性和向下闭包。 Zbl 1347.68205号 马修·黑格;乔纳森·科切姆斯;Ong,C.-H.卢克 11 2016 具有递归并行性的集成操作程序的可确定模型。 Zbl 1403.68125号 马修·黑格;Anthony Widjaja林 三 2016 衰老的地面树重写系统。 Zbl 1401.68135号 黑格,M。 三 2014 模型检查下推系统的饱和算法。 Zbl 1464.68196号 Carayol,阿诺;马修·黑格 三 2014 下推可达性游戏中的常规策略。 Zbl 1448.68260号 Carayol,A.(甲酰)。;M.海牙。 2 2014 C-SHORe:一种可折叠的高阶验证方法。 Zbl 1323.68364号 克里斯托弗·布劳德本特;Carayol,阿诺;马修·黑格;奥利维尔·塞雷 4 2013 并发可折叠下推系统的饱和。 Zbl 1359.68222号 马修·黑格 2 2013 可折叠下推系统的饱和方法。 Zbl 1367.68163号 布罗德本特,克里斯;Carayol,阿诺;马修·黑格;奥利维尔·塞雷 8 2012 具有非原子写入的参数化下推系统。 Zbl 1246.68156号 马修·黑格 5 2011 下推系统模态演算的饱和方法。 Zbl 1215.68151号 M.海牙。;Ong,C.-H.L.公司。 4 2011 扩展计算树逻辑。 Zbl 1306.68098号 罗兰·阿克塞尔森;马修·黑格;斯蒂芬·克鲁泽;马丁·兰格;马库斯拿铁 4 2010 模型检查(可折叠)高阶下推系统的复杂性。 Zbl 1245.68137号 马修·黑格;收件人:Anthony Widjaja 1 2010 下推平价博弈的获胜区域:一种饱和方法。 Zbl 1254.68135号 马修·黑格;Ong,C.-H.卢克 4 2009 高阶下推系统的符号后向可达性分析。 Zbl 1195.68057号 马修·黑格;Ong,C.-H.卢克 4 2007 从分离逻辑到一阶逻辑。 Zbl 1119.03022号 克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳;马修·黑格 10 2005 所有引用出版物 前5名被引用出版物 全部的 前5名133位作者引用 6 罗兰·梅耶 6 帕里斯(Pawe Parys) 6 伊戈尔·瓦卢基维奇 5 Stéphane P.德姆里。 5 马修·黑格 5 艾蒂安·洛兹 5 西尔万·萨尔瓦蒂 5 马丁·齐默尔曼 4 普拉卡什·塞瓦桑 4 乔治·泽采 三 彼得·奇尼 三 奥斯卡·H·伊巴拉。 三 伊恩·麦克奎伦 三 塞巴斯蒂安·穆斯卡拉 三 文森特·佩内尔 三 拉马纳森·S·蒂尼亚姆。 2 拉杰夫·阿鲁尔 2 穆罕默德·法乌齐(Mohamed Faouzi Atig) 2 帕斯卡·鲍曼 2 艾哈迈德·博阿贾尼 2 Christopher H.Broadbent。 2 雷米·布罗赫宁 2 陈玉芳 2 哈维尔·埃斯帕尔扎 2 摩西·加纳迪 2 詹斯·奥利弗·古斯菲尔德 2 卢卡什·霍利克 2 直纪小林 2 马库斯拿铁 2 卡罗琳娜·莱赫蒂宁 2 Anthony Widjaja林 2 鲁帕克·马朱姆达尔 2 阿莱西奥·曼苏蒂 2 马库斯·穆勒·奥尔姆 2 安德烈·穆拉夫斯基。 2 西尔万·施密茨 1 帕罗什·阿齐兹·阿卜杜拉 1 马哈穆杜尔·费萨尔·阿梅恩 1 大卫·巴罗齐尼 1 墨菲·贝尔齐什 1 弗兰蒂舍克·布拉胡德克 1 贝内迪克特·布吕奇 1 Carayol,阿诺 1 魏恩根·钦 1 德米特里五世·奇斯蒂科夫。 1 乔利亚特,大卫 1 皮埃尔·克莱兰堡 1 洛伦佐·克莱门特 1 托马斯·科尔科姆贝特 1 乌戈·达尔拉戈 1 弗拉维奥·达莱桑德罗 1 戴,乔尔·D·。 1 Deters,摩根 1 克里斯蒂安·迪利茨 1 比菲省迪普 1 亚历克斯·狄克逊 1 曼弗雷德·德罗斯特 1 杜洪伟 1 段振华 1 克莱门斯,杜布拉夫 1 安托万杜兰·加塞林 1 Fehnker,Ansgar公司 1 达纳·菲斯曼 1 塞维琳·弗拉塔尼 1 约翰·加拉赫(John P.Gallagher)。 1 Ganesh,维杰 1 格雷姆·恒河 1 皮埃尔·甘蒂 1 托马斯·杰奈特 1 斯特凡·格勒 1 查尔斯·格雷洛伊斯 1 什巴希斯·古哈 1 克里斯托夫·哈斯 1 沃伊特·哈夫勒纳 1 路易莎·赫尔曼 1 胡登庚 1 拉杜·奥西夫 1 伊斯马·杰克 1 比肖克桑·卡夫 1 亚历山大·卡尔佐夫 1 乔纳森·科尔伯格 1 安德烈亚斯·克雷布斯 1 安东尼·库塞拉 1 米贾·库尔琴斯基 1 萨尔瓦多拉托雷 1 马丁·兰格 1 兰科·拉齐奇 1 Ondřej Lengál 1 马库斯·洛伊 1 约翰·朗利。 1 卢、徐 1 鲁帕克·马朱姆达尔 1 弗罗林·马内亚 1 奥利弗·马克格拉夫 1 理查德·梅尔(Richard M.Mayr)。 1 安托万·梅耶 1 费德里科·莫拉 1 阿尼埃洛·穆拉诺 1 麝香草,安卡 1 那不勒斯,玛格丽塔 …还有33位作者 全部的 前5名18篇连载文章中引用 11 计算机科学中的逻辑方法 6 信息与计算 5 理论计算机科学 2 计算机与系统科学杂志 2 MSCS公司。计算机科学中的数学结构 2 系统设计中的形式化方法 2 计算系统理论 2 计算机基础理论 1 信息处理信件 1 计算 1 代数杂志 1 纯逻辑与应用逻辑年鉴 1 自动推理杂志 1 国际计算机科学基础杂志 1 应用非经典逻辑杂志 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 ACM计算理论汇刊 在4个字段中引用 76 计算机科学(68-XX) 33 数学逻辑和基础(03-XX) 6 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 群论与推广(20-XX) 按年份列出的引文