马修·黑格
人员信息
附属: 皇家霍洛威大学
SPARQL查询
优化列表
2020年–今天
2024 [j13] 马修·黑格 , 阿图尔·杰兹 , 安东尼·W·林 :
帕里克定理成为象征。 程序。 ACM计划。 语言。 8 ( POPL公司 ) : 1945-1977 ( 2024 ) 2023 [第23条] 马修·黑格 , 阿图尔·杰兹 , 安东尼·W·林 :
帕里克定理成为象征。 CoRR公司 abs/2311.03901 ( 2023 ) 2022 [公元12年] 陈陶璐 , 亚历杭德罗·弗洛雷斯-拉马 , 马修·黑格 , 韩志磊 , 胡登亨 , 双龙坎 , 安东尼·W·林 , 菲利普·吕默 , 吴志林 :
通过具有优先级和变量的传感器,使用Regex相关函数解决字符串约束。 程序。 ACM计划。 语言。 6 ( POPL公司 ) : 1-31 ( 2022 ) 2021 [公元11年] 马修·黑格 , 伊戈尔·波塔波夫 :
前言。 芬丹。 信息学 178 ( 1-2 ) ( 2021 ) [公元10年] 克里斯托弗·布劳德本特 , 阿诺焦油醇 , 马修·黑格 , 安德烈·穆拉夫斯基 , C.-H.卢克·翁 , 奥利维尔·塞雷 :
可折叠下推平价游戏。 ACM事务处理。 计算。 日志。 22 ( 三 ) : 16:1-16:51 ( 2021 ) [i22] 陈陶璐 , 亚历杭德罗·弗洛雷斯-拉马 , 马修·黑格 , 韩志磊 , 胡登亨 , 双龙坎 , 安东尼·威贾贾·林 , 菲利普·吕默 , 吴志林 :
通过具有优先级和变量的传感器,使用Regex相关函数解决字符串约束。 CoRR公司 abs/2111.04298 ( 2021 ) 2020 [公元28年] 陈陶璐 , 马修·黑格 , 金龙河 , 胡登亨 , 安东尼·威贾贾·林 , 菲利普·吕默 , 吴志林 :
整数数据类型字符串操作程序路径可行性的决策过程。 ATVA公司 2020 : 325-342 [公元27年] 马修·黑格 , 安东尼·W·林 , 菲利普·吕默 , 吴志林 :
整数线性算法中的一元分解。 国际JCAR(1) 2020 : 122-140 【i21】 马修·黑格 , 安东尼·威贾贾·林 , 菲利普·吕默 , 吴志林 :
整数线性算法中的一元分解(技术报告)。 CoRR公司 abs/2004.12371 ( 2020 ) [i20] 陈陶璐 , 马修·黑格 , 金龙河 , 胡登亨 , 安东尼·威贾贾·林 , 菲利普·吕默 , 吴志林 :
整数数据类型字符串操作程序路径可行性的决策过程。 CoRR公司 abs/2007.06913 ( 2020 ) [i19] 克里斯托弗·布劳德本特 , 阿诺焦油醇 , 马修·黑格 , 安德烈·穆拉夫斯基 , C.-H.卢克·翁 , 奥利维尔·塞雷 :
可折叠下推平价游戏。 CoRR公司 abs/2010.06361 ( 2020 )
2010 – 2019
2019 [公元9年] 陈陶璐 , 马修·黑格 , 安东尼·W·林 , 菲利普·吕默 , 吴志林 :
具有复杂操作的字符串操作程序的路径可行性的决策过程。 程序。 ACM计划。 语言。 三 ( POPL公司 ) : 49:1-49:30 ( 2019 ) [j8] 马修·黑格 :
MOSCA的字符串。 ACM SIGLOG新闻 6 ( 4 ) : 4-22 ( 2019 ) [j7] 马修·黑格 , 安东尼·W·林 , Chih-Duo Hong先生 :
通过约束求解缩小CSS。 ACM事务处理。 程序。 语言系统。 41 ( 2 ) : 12:1-12:76 ( 2019 ) 2018 [j6] 马修·黑格 :
2018年BCTCS报告。 牛市。 EATCS公司 126 ( 2018 ) [j5] 陈陶璐 , 闫晨 , 马修·黑格 , 安东尼·W·林 , 吴志林 :
使用ReplaceAll函数可以决定字符串约束的内容。 程序。 ACM计划。 语言。 2 ( POPL公司 ) : 3:1-3:29 ( 2018 ) 【j4】 马修·黑格 , 安东尼·W·林 :
具有递归并行性的集成操作程序的可确定模型。 西奥。 计算。 科学。 750 : 24-37 ( 2018 ) [公元26年] 阿诺焦油醇 , 马修·黑格 :
下推可达性博弈中的最优策略。 MFCS公司 2018 : 42:1-42:14 [公元25年] 马修·黑格 , 罗兰·梅耶 , 塞巴斯蒂安·穆斯卡拉 , 马丁·齐默尔曼 :
下推和可折叠下推系统多项式时间内的安全平价。 MFCS公司 2018 : 57:1-57:15 [公元24年] 马修·黑格 , 文森特·佩内尔 :
约束动态树网络。 RP公司 2018 : 45-58 [i18] 马修·黑格 , 罗兰·梅耶 , 塞巴斯蒂安·穆斯卡拉 , 马丁·齐默尔曼 :
下推和可折叠下推系统多项式时间内的安全平价。 CoRR公司 abs/1805.02963 ( 2018 ) [i17] 克里斯托弗·布劳德本特 , 阿诺焦油醇 , 马修·黑格 , 奥利维尔·塞雷 :
堆栈自动机的空是NEXPTIME完成的:一个修正。 CoRR公司 abs/1805.11873 ( 2018 ) [i16] 陈陶璐 , 马修·黑格 , 安东尼·W·林 , 菲利普·吕默 , 吴志林 :
复杂操作字符串操作程序的路径可行性决策程序。 CoRR公司 abs/1811.03167 ( 2018 ) 【i15】 马修·黑格 , 安东尼·W·林 , Chih-Duo Hong先生 :
通过约束求解实现CSS小型化(技术报告)。 CoRR公司 abs/1812.02989 ( 2018 ) 2017 [j3] 马修·黑格 , 安德烈·穆拉夫斯基 , C.-H.卢克·翁 , 奥利维尔·塞雷 :
可折叠下推自动机和递归方案。 ACM事务处理。 计算。 日志。 18 ( 三 ) : 25:1-25:42 ( 2017 ) 【c23】 马修·黑格 , 罗兰·梅耶 , 塞巴斯蒂安·穆斯卡拉 :
高阶游戏的域名。 MFCS公司 2017 : 59:1-59:15 [电子1] 马修·黑格 , 伊戈尔·波塔波夫 :
可达性问题——第11届国际研讨会,RP 2017,英国伦敦,2017年9月7-9日,会议记录。 计算机科学课堂讲稿 10506, 施普林格 2017 ,国际标准图书编号 978-3-319-67088-1 [目录] [第14条] 克里斯托弗·布劳德本特 , 阿诺焦油醇 , 马修·黑格 , 奥利维尔·塞雷 :
C-SHORe:通过可折叠下推系统饱和进行高阶验证。 CoRR公司 abs/1703.04429 ( 2017 ) [i13] 马修·黑格 , 罗兰·梅耶 , 塞巴斯蒂安·穆斯卡拉 :
高阶游戏的域名。 CoRR公司 abs/1705.00355 ( 2017 ) [i12] 陈陶璐 , 闫晨 , 马修·黑格 , 安东尼·W·林 , 吴志林 :
使用ReplaceAll函数可以决定字符串约束的内容。 CoRR公司 腹肌/1711.03363 ( 2017 ) 2016 [公元22年] 乔纳森·霍兰德 , 马修·黑格 :
自动生成并发检查。 FTfJP@ECOOP 2016 : 4 【c21】 马修·黑格 , 乔纳森·科切姆斯 , C.-H.卢克·翁 :
高阶下推自动机的无界性和向下闭包。 POPL公司 2016 : 151-163 [公元20年] 马修·黑格 , 安东尼·威贾贾·林 :
具有递归并行性的整数操作程序的可判定模型。 RP公司 2016 : 148-162 [i11] 乔纳森·霍兰德 , 马修·黑格 :
自动生成并发检查。 CoRR公司 abs/1604.06747 ( 2016 ) [i10] 马修·黑格 , 安东尼·威贾贾·林 :
具有递归并行性的集成操作程序的可确定模型(技术报告)。 CoRR公司 abs/1605.06868 ( 2016 ) 2015 [第19条] 马修·黑格 , 安东尼·威贾贾·林 , C.-H.卢克·翁 :
检测HTML5应用程序中的冗余CSS规则:树重写方法。 OOPSLA公司 2015 : 1-19 [第九章] 马修·黑格 , 文森特·佩内尔 :
带注释的堆栈树。 CoRR公司 abs/1502.05873 ( 2015 ) [i8] 马修·黑格 , 乔纳森·科切姆斯 , C.-H.卢克·翁 :
高阶下推自动机的无界性和向下闭包。 CoRR公司 abs/1507.03304 ( 2015 ) 2014 [第18条] 马修·黑格 :
衰老的地面树重写系统。 CSL-LICS公司 2014 : 48:1-48:10 [c17] 阿诺焦油醇 , 马修·黑格 :
下推可达性游戏中的常规策略。 RP公司 2014 : 58-71 [第16条] 阿诺焦油醇 , 马修·黑格 :
模型检查下推系统的饱和算法。 AFL公司 2014 : 1-24 [i7] 马修·黑格 , 安东尼·威贾贾·林 , 卢克·翁 :
检测HTML5应用程序中的冗余CSS规则:树重写方法。 CoRR公司 abs/1412.5143 ( 2014 ) 2013 [第15条] 马修·黑格 :
并发可折叠下推系统的饱和。 FSTTCS公司 2013 : 313-325 [第14条] 克里斯托弗·布劳德本特 , 阿诺焦油醇 , 马修·黑格 , 奥利维尔·塞雷 :
C-SHORe:一种可折叠的高阶验证方法。 ICFP公司 2013 : 13-24 [i6] 马修·黑格 :
并发可折叠下推系统的饱和。 CoRR公司 abs/1310.2631 ( 2013 ) [i5] 马修·黑格 :
衰老地树重写系统。 CoRR公司 腹肌/1311.4915 ( 2013 ) 2012 [第13条] 马修·黑格 , 安东尼·威贾贾·林 :
带计数器的多线程程序的同步和反向有界分析。 CAV汽车 2012 : 260-276 [第12条] 克里斯托弗·布劳德本特 , 阿诺焦油醇 , 马修·黑格 , 奥利维尔·塞雷 :
可折叠下推系统的饱和方法。 ICALP(二) 2012 : 165-176 2011 [注2] 马修·黑格 , C.-H.卢克·翁 :
下推系统模态μ-演算的饱和方法。 Inf.计算。 209 ( 5 ) : 799-821 ( 2011 ) [第11条] 马修·黑格 , 安东尼·威贾贾·林 :
具有数字数据类型的模型检查递归程序。 CAV汽车 2011 : 743-759 [第10条] 马修·黑格 :
具有非原子写入的参数化下推系统。 FSTTCS公司 2011 : 457-468 [i4] 马修·黑格 :
具有非原子写入的参数化下推系统。 CoRR公司 腹肌/1109.6264 ( 2011 ) 2010 【c9】 马修·黑格 , 安东尼·威贾贾(Anthony Widjaja To) :
模型检查(可折叠)高阶下推系统的复杂性。 FSTTCS公司 2010 : 228-239 【c8】 罗兰·阿克塞尔森 , 马修·黑格 , 斯蒂芬·克鲁泽 , 马丁·兰格 , 马库斯拿铁 :
扩展计算树逻辑。 LPAR(日惹) 2010 : 67-81 【c7】 马修·黑格 , C.-H.卢克·翁 :
下推系统的Mu-Calculus性质分析。 自旋 2010 : 187-192 【c6】 杰拉德·巴斯勒 , 马修·黑格 , 丹尼尔·克罗宁 , C.-H.卢克·翁 , 托马斯·沃尔 , 赵浩贤 :
Boom:进一步检查布尔程序模型。 TACAS公司 2010 : 145-149 [i3] 罗兰·阿克塞尔森 , 马修·黑格 , 斯蒂芬·克鲁泽 , 马丁·兰格 , 马库斯拿铁 :
扩展计算树逻辑。 CoRR公司 abs/1006.3709 ( 2010 ) [i2] 马修·黑格 , C.-H.卢克·翁 :
下推系统上具有向后模态的模态Mu-Calculus的饱和方法。 CoRR公司 abs/1006.5906 ( 2010 )
2000 – 2009
2009 【b1】 马修·黑格 :
全局模型检查下推系统的饱和方法。 英国牛津大学, 2009 【c5】 马修·黑格 , C.-H.卢克·翁 :
下推平价游戏的获胜区域:一种饱和方法。 CONCUR公司 2009 : 384-398 2008 [j1] 马修·黑格 , C.-H.卢克·翁 :
高阶下推系统的符号向后可达性分析。 日志。 方法计算。 科学。 4 ( 4 ) ( 2008 ) 【c4】 阿诺焦油醇 , 马修·黑格 , 安托万·梅耶 , C.-H.卢克·翁 , 奥利维尔·塞雷 :
高阶推下游戏的获胜地区。 低收入国家 2008 : 193-204 【c3】 马修·黑格 , 安德烈·穆拉夫斯基 , C.-H.卢克·翁 , 奥利维尔·塞雷 :
可折叠下推自动机和递归方案。 低收入国家 2008 : 452-461 [i1] 马修·黑格 , C.-H.卢克·翁 :
高阶下推系统的符号向后可达性分析。 CoRR公司 abs/0811.1103 ( 2008 ) 2007 【c2】 马修·黑格 , C.-H.卢克·翁 :
高阶下推系统的符号向后可达性分析。 FoSSaCS公司 2007 : 213-227 2005 【c1】 克里斯蒂亚诺·卡尔卡尼奥 , 菲利帕·加德纳 , 马修·黑格 :
从分离逻辑到一阶逻辑。 FoSSaCS公司 2005 : 395-409