啊，帕特里克;哈，迈克尔 奇偶博弈的部分解算器：有效的多项式时间合成。 （英语） Zbl 1478.68139号 Cantone，Domenico（ed.）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）2261-15（2016）。MSC公司：60年第68季度 65年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Ah-Fat}和\textit{M.Huth}，电子。程序。西奥。计算。科学。（EPTCS）226，1--15（2016；Zbl 1478.68139） 全文： arXiv公司 链接
哈，迈克尔;Kuo、Jim Huan-Pu;皮特曼，尼尔 奇偶博弈的静态分析：奇偶下的交替可达性。 （英语） Zbl 1474.68053号 普罗布斯特（Christian W.Probst）（编辑）等人，《语义学、逻辑学和计算》。在汉内·里斯·尼尔森和弗莱明·尼尔森60岁生日之际，为他们撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9560, 159-177 (2016).MSC公司：68纳米30 65年第68季度 60年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Huth}等人，Lect。注释计算。科学。9560、159--177（2016；Zbl 1474.68053） 全文： 内政部 链接
哈，迈克尔;Kuo、Jim Huan-Pu;尼尔·皮特曼 奇偶博弈中的致命吸引子。 （英语） Zbl 1260.68231号 Pfenning，Frank（编辑），《软件科学和计算结构基础》。2013年3月16日至24日在意大利罗马举行的第16届国际会议FOSSACS 2013，是欧洲软件理论与实践联合会议ETAPS 2013的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37074-8/pbk）。计算机科学课堂讲稿7794，34-49（2013）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Huth}等人，Lect。注释计算。科学。7794，34-49（2013；Zbl 1260.68231） 全文： 内政部
亚当·安东尼克;哈，迈克尔;Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 模态和混合规范：关键决策问题及其复杂性。 （英语） Zbl 1191.68426号 数学。结构。计算。科学。 20，第1期，75-103（2010）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Antonik}等人，《数学》。结构。计算。科学。20，编号1，75-103（2010年；兹bl 1191.68426） 全文： 内政部
亚当·安东尼克;哈，迈克尔;Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 EXPTIME——模态和混合规范的完整决策问题。 （英语） Zbl 1291.68172号 Hildebrandt，Thomas（编辑）等人，第15届并发表达性国际研讨会论文集（EXPRESS 2008），加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》242，第1期，19-33页（2009年）。MSC公司：2017年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Antonik}等人，《电子》。注释Theor。计算。科学。242，第1号，19--33（2009；Zbl 1291.68172） 全文： 内政部
Mark Kattenbelt公司;哈，迈克尔 通过游戏验证和反驳概率规范。 （英语） Zbl 1248.68333号 Kannan，Ravi（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2009），2009年12月15日至17日，印度坎普尔。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-13-2）。LIPIcs–莱布尼茨国际信息学会议录4，251-262，仅电子版（2009年）。MSC公司：60年第68季度 91A15型 87年第68季度 03B45号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kattenbelt}和\textit{M.Huth}，LIPIcs——莱布尼茨国际程序。通知。4251-262（2009年；Zbl 1248.68333） 全文： 内政部 链接
亚当·安东尼克;纳撒尼尔·查尔顿;哈，迈克尔 平价游戏中获胜区域的多项式时间欠近似。 （英语） Zbl 1336.68286号 Seda，Anthony（编辑）等人，《爱尔兰计算机科学和信息技术数学基础会议论文集》（MFCSIT 2006），爱尔兰科克国立爱尔兰大学，2006年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记225，115-139（2009）。MSC公司：68周25 65年第68季度 60年第68季度 68兰特 91A05型 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{A.Antonik}等人，《电子》。注释Theor。计算。科学。225115-139（2008年；Zbl 1336.68286） 全文： 内政部
亚当·安东尼克;哈，迈克尔;Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 20年的模态和混合规范。 （英语） Zbl 1169.68498号 牛市。欧洲协会。计算。科学。EATCS公司 95, 94-129 (2008).MSC公司：60年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Antonik}等人，公牛。欧洲协会。计算。科学。EATCS 95，94--129（2008；Zbl 1169.68498）
阿尔塔夫·侯赛因;哈，迈克尔 关于模型检查多个混合视图。 （英语） Zbl 1151.68030号 西奥。计算。科学。 404，第3期，186-201（2008）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Hussain}和\textit{M.Huth}，Theor。计算。科学。404，第3号，186--201（2008；Zbl 1151.68030） 全文： 内政部 链接
亚当·安东尼;哈，迈克尔;Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 混合和模态规范的决策问题的复杂性。 （英语） Zbl 1139.68035号 Amadio，Roberto（编辑），《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008，该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78497-5/pbk）。计算机科学课堂讲稿4962112-126（2008）。MSC公司：60年第68季度 2017年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Antonik}等人，Lect。注释计算。科学。4962、112-126（2008年；Zbl 1139.68035） 全文： 内政部
哈拉尔德·费彻;哈，迈克尔 动作抽象的模型检查。 （英语） Zbl 1138.68447号 Logozzo，Francesco（编辑）等人，《验证、模型检查和抽象解释》。2008年1月7日至9日，第九届国际会议，VMCAI 2008，美国旧金山。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78162-2/pbk）。计算机科学课堂讲稿4905112-126（2008）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Fecher}和\textit{M.Huth}，莱克特。注释计算。科学。4905112-126（2008年；Zbl 1138.68447） 全文： 内政部
哈拉尔德·费彻;哈，迈克尔 更精确的分区抽象。 （英语） Zbl 1132.68469号 Cook，Byron（编辑）等人，《验证、模型检查和抽象解释》。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69735-0/pbk）。《计算机科学讲义》4349、167-181（2007）。MSC公司：60年第68季度 03B45号 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Fecher}和\textit{M.Huth}，莱克特。注释计算。科学。4349167--181（2007年；Zbl 1132.68469） 全文： 内政部
哈，迈克尔 精化的拓扑分析。 （英语） Zbl 1276.68104号 Seda，Anthony K.（编辑）等人，《第三届爱尔兰计算机科学和信息技术数学基础会议论文集》（MFCSIT 2004），爱尔兰都柏林，2004年7月22日至23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记161，3-23（2006）。MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Huth}，电子。注释Theor。计算。科学。161、3--23（2006年；Zbl 1276.68104） 全文： 链接
亚当·安东尼克;哈，迈克尔 CTL\（\cap\）LTL中模型检查部分状态空间的有效模式。 （英语） Zbl 1273.68218号 Brookes，Steve（ed.）等人，第22届编程语义数学基础年会（MFPS XXII）会议记录，意大利热那亚，2006年5月23日至27日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记158，41-57（2006）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Antonik}和\textit{M.Huth}，电子。注释Theor。计算。科学。158、41-57（2006年；Zbl 1273.68218） 全文： 链接
阿尔塔夫·侯赛因;胡特，迈克尔 用于多模型检查的自动游戏。 （英语） Zbl 1273.68230号 Escardó，M.（ed.）等人，《第21届编程语义数学基础年会论文集》，英国伯明翰伯明翰大学，2005年5月18日至21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记155，401-421（2006）。MSC公司：60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit｛A.Hussain｝和\textit｛M.Huth｝，Electron。注释Theor。计算。科学。155、401-421（2006年；Zbl 1273.68230） 全文： 链接
哈拉尔德·费彻;哈，迈克尔 分支时间的分级谓词抽象：完整、增量和精确。 （英语） Zbl 1161.68566号 Graf，Susanne（编辑）等人，《验证和分析自动化技术》。2006年10月23日至26日，第四届国际研讨会，ATVA 2006，中国北京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-47237-7/pbk）。计算机科学课堂讲稿4218，322-336（2006）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Fecher}和\textit{M.Huth}，莱克特。注释计算。科学。4218322-336（2006年；兹bl 1161.68566） 全文： 内政部
哈，迈克尔 混合逻辑的抽象和概率。 （英语） Zbl 1272.03141号 Cerone，A.（ed.）等人，《编程语言定量方面第二次研讨会论文集》（QAPL 2004），西班牙巴塞罗那，2004年3月27日至28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记112，61-76（2005）。MSC公司：03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Huth}，电子。注释Theor。计算。科学。112、61-76（2005年；Zbl 1272.03141） 全文： 链接
迈克尔·R·A·胡特。（编辑） 2004年9月4日，英国伦敦，第四届关键系统自动验证国际研讨会会议记录（AVoCS 2004）。 （英语） Zbl 1271.68044号 理论计算机科学电子笔记128，编号6。阿姆斯特丹：爱思唯尔。第324页。，仅电子版（2005）。MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.R.A.Huth}（编辑），《关键系统自动验证第四次国际研讨会论文集》（AVoCS 2004），英国伦敦，2004年9月4日。阿姆斯特丹：Elsevier（2005；Zbl 1271.68044） 全文： 链接
哈，迈克尔 概率计算树逻辑的有限状态逼近。 （英语） Zbl 1080.68064号 西奥。计算。科学。 346，第1期，113-134（2005）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{M.Huth}，Theor。计算。科学。346，编号1，113--134（2005；Zbl 1080.68064） 全文： 内政部
哈，迈克尔 已完成对实现的优化。 （英语） Zbl 1101.68682号 正式Asp。计算。 第2113-137号第17页（2005年）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Huth}，正式Asp。计算。17，No.2，113--137（2005；Zbl 1101.68682） 全文： 内政部
哈，迈克尔 一致的部分模型检查。 （英语） Zbl 1273.68231号 Escardo，M.（ed.）等人，领域VI研讨会论文集，英国伯明翰，2002年9月16日至19日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记73，45-85（2004）。MSC公司：60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit｛M.Huth｝，电子。注释Theor。计算。科学。73、45-85（2004年；Zbl 1273.68231） 全文： 链接
哈，迈克尔 非确定性和概率性混合系统的抽象框架。 （英语） Zbl 1203.68099号 Baier，Christel（编辑）等人，《随机系统的验证》。当前研究指南。柏林：施普林格出版社（ISBN 3-540-22265-0/pbk）。计算机科学课堂讲稿2925419-444（2004）。MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Huth}，莱克特。注释计算。科学。2925419--444（2004年；Zbl 1203.68099） 全文： 内政部
哈，迈克尔;马克·瑞恩 计算机科学中的逻辑。系统建模和推理。第2版。 （英语） 兹比尔1073.68001 剑桥：剑桥大学出版社（ISBN 0-521-54310-X/pbk；978-0-521-83536-7/hbk）。xiv，427页。(2004). 审核人：阿尔弗雷多·布里耶扎·穆尼兹（马拉加） MSC公司：68-01 03-01 03B70号 60年第68季度 68T27型 第68季度55 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛M.Huth｝和\textit｛M.Ryan｝，计算机科学中的逻辑。系统建模和推理。第二版剑桥：剑桥大学出版社（2004；Zbl 1073.68001） 全文： 内政部
迈克尔·R·A·胡特。;拉德哈·贾加迪桑;戴维·施密特（David A.Schmidt）。 局部系统精化的区域方程。 （英语） Zbl 1085.68090号 数学。结构。计算。科学。 14，第4期，469-505（2004）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.R.A.Huth}等人，数学。结构。计算。科学。14，第4号，469--505（2004；Zbl 1085.68090） 全文： 内政部
哈，迈克尔 基于可能性和概率抽象的模型检查。 （英语） Zbl 1065.68593号 Hermanns，Holger（编辑）等人，《过程代数和概率方法》。性能建模和验证。2002年PAPM-PROBMIV第二次联合国际研讨会，丹麦哥本哈根，2002年7月25-26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43913-7）。莱克特。注释计算。科学。2399, 115-134 (2002).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Huth}，莱克特。注释计算。科学。2399115-134（2002年；Zbl 1065.68593） 全文： 链接
哈，迈克尔 使用Kripke结构对模态转换系统进行模型检查。 （英语） Zbl 1057.68066号 Cortesi，Agostino（编辑），验证、模型检查和抽象解释。第三届国际研讨会，VMCAI 2002，意大利威尼斯，2002年1月21日至22日。修订论文。柏林：施普林格出版社（ISBN 3-540-43631-6）。莱克特。注释计算。科学。2294, 302-316 (2002).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Huth}，莱克特。注释计算。科学。2294302-316（2002年；Zbl 1057.68066） 全文： 链接
哈，迈克尔;谢哈尔·普拉丹 基于模型检查视图的部分规范。 （英语） Zbl 1260.68100号 Brooks，Stephen（编辑）等人，MFPS 2001。2001年5月23日至26日在丹麦奥胡斯奥胡斯大学举行的第17届编程语义数学基础会议上发表的论文。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记45，174-196（2001）。MSC公司：68纳米30 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Huth}和\textit{S.Pradhan}，电子。注释Theor。计算。科学。45174-196（2001年；Zbl 1260.68100） 全文： 内政部
哈，迈克尔;拉德哈·贾加迪桑;施密特，大卫 模态转换系统：三值程序分析的基础。 （英语） Zbl 0987.68849号 David Sands（编辑），《编程语言和系统》。2001年4月2日至6日在意大利热那瓦举行的第十届欧洲程序设计研讨会（ESOP 2001），是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2028, 155-169 (2001).MSC公司：68单位99 60年第68季度 03B70号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Huth}等人，Lect。注释计算。科学。2028155-169（2001年；Zbl 0987.68849）
哈，迈克尔;马克·瑞恩 [埃德蒙·克拉克（Edmund M.Clarke）。] 计算机科学中的逻辑：关于系统的建模和推理。附有埃德蒙·克拉克的前言。 （英语） Zbl 0955.68001号 剑桥：剑桥大学出版社。第十八章，第387页（2000年）。 审核人：Marat M.Arslanov（喀山） MSC公司：68-01 03-01 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛M.Huth｝和\textit｛M.Ryan｝，计算机科学中的逻辑：关于系统的建模和推理。Edmund M.Clarke引言。剑桥：剑桥大学出版社（2000；Zbl 0955.68001）
哈，迈克尔 用于模型检查的统一框架标记为Kripke结构、模态转换系统和区间转换系统。 （英语） Zbl 0958.68118号 Pandu Rangan，C.（编辑）等人，《软件技术和理论计算机科学基础》。第19届会议，印度钦奈，1999年12月13日至15日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1738, 369-380 (1999).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Huth}，莱克特。注释计算。科学。1738369-380（1999年；Zbl 0958.68118）