×
作者ID: 海牙马修Hague,Matthew最近发表的zbMATH文章
发布日期: 马修·黑格;M.海牙。
外部链接: ORCID公司
已编制索引的文档: 25出版物自2005年以来
2作为编辑的贡献
合著者: 25位合著者具有21联合出版物
517合著作者

按年份列出的出版物

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名

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位作者

按年份列出的引文