编辑配置文件（在新选项卡中打开） 迈克尔·R·A·胡特。 合著者距离 作者ID： 胡思·迈克尔·r-a 发布日期： 胡特，迈克尔；迈克尔·R·A·胡特。 已编制索引的文档： 57出版物自1990年以来，包括4本书 4作为编辑的贡献 合著者： 32位合著者具有37联合出版物 1138合著作者 全部的 前5名合著者 21 单作者的 6 亚当·安东尼 5 尼尔·皮特曼 4 哈拉尔德·费彻 4 Kuo、Jim Huan-Pu 4 金·古德斯特兰·拉森 4 乌尔里克·尼曼 4 安德烈·索夫斯基 三 啊，帕特里克 三 拉德哈·贾加迪桑 2 纳撒尼尔查尔顿 2 莱因霍尔德·赫克曼 2 阿尔塔夫·侯赛因 2 阿希姆·荣格 2 克劳斯·凯梅尔 2 戴维·施密特（David A.Schmidt）。 1 格茨·E·阿勒费尔德。 1 克里斯特尔·拜尔 1 克拉克（Edmund Melson jun Clarke）。 1 阿德里安·菲奇 1 帕特丽斯·戈德弗里德 1 奥尔纳·格伦伯格 1 海因茨·伊斯曼 1 Mark Kattenbelt公司 1 弗拉基克·雅科夫列维奇（Vladik Yakovlevich Kreinovich） 1 Marta Z.Kwiatkowska。 1 Günter Mayer 1 弗莱明·尼尔森 1 谢哈尔·普拉丹 1 鲁兴，奥利弗 1 海科·A·施密特。 1 Jens Schönborn 1 Steffen，伯恩哈德 1 Rainer Tichatschke 1 丹尼尔·瓦格纳 全部的 前5名系列 4 MSCS公司。计算机科学中的数学结构 三 理论计算机科学 2 信息与计算 2 理论计算机科学电子笔记 1 IEEE信息理论汇刊 1 半群论坛 1 拓扑及其应用 1 计算的形式方面 1 应用的分类结构 1 可靠的计算 1 欧洲理论计算机科学协会公报 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 全部的 前5名领域 54 计算机科学（68至XX） 15 数学逻辑和基础（03-XX） 10 博弈论、经济学、金融和其他社会和行为科学（91-XX） 8 阶、格、有序代数结构（06-XX） 6 范畴理论；同调代数（18-XX） 5 总体主题；集合（00-XX） 三 信息与通信理论、电路（94-XX） 2 一般拓扑结构（54-XX） 2 数值分析（65-XX） 2 运筹学、数学规划（90-XX） 1 组合数学（05-XX） 1 代数几何（14-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 概率论与随机过程（60-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 41出版物有被引用283中的次215文件 引用人▼ 年份▼ 计算机科学中的逻辑。系统建模和推理。第2版。 兹比尔1073.68001 哈，迈克尔；马克·瑞恩 71 2004 模态转换系统：三值程序分析的基础。 Zbl 0987.68849号 哈，迈克尔；拉德哈·贾加迪桑；戴维·施密特 33 2001 使用模态转换系统的基于抽象的模型检查。 Zbl 1006.68077号 帕特丽斯·戈德弗里德；哈，迈克尔；拉德哈·贾加迪桑 24 2001 计算机科学中的逻辑：关于系统的建模和推理。附有埃德蒙·克拉克的前言。 Zbl 0955.68001号 哈，迈克尔；马克·瑞恩 19 2000 20年的模态和混合规范。 兹比尔1169.68498 亚当·安东尼；哈，迈克尔；Larsen，Kim G。；乌尔里克·尼曼；安德烈·索夫斯基 19 2008 概率计算树逻辑的有限状态逼近。 Zbl 1080.68064号 哈，迈克尔 8 2005 混合和模态规范的决策问题的复杂性。 Zbl 1139.68035号 亚当·安东尼；哈，迈克尔；Larsen，Kim G。；乌尔里克·尼曼；安德烈·索夫斯基 8 2008 定量语义、拓扑和可能性度量。 Zbl 0927.06004号 莱因霍尔德·赫克曼；哈，迈克尔 7 1998 在模型上检查多个混合视图。 Zbl 1151.68030号 阿尔塔夫·侯赛因；哈，迈克尔 7 2008 定量语义学的对偶理论。 Zbl 0908.06004号 莱因霍尔德·赫克曼；哈，迈克尔 6 1998 分支时间的分级谓词抽象：完整、增量和精确。 Zbl 1161.68566号 哈拉尔德·费彻；哈，迈克尔 5 2006 将过渡系统标记为Stone空间。 Zbl 1125.68083号 迈克尔·R·A·胡特。 5 2005 局部系统求精的区域方程。 Zbl 1085.68090号 迈克尔·R·A·胡特。；拉德哈·贾加迪桑；戴维·施密特（David A.Schmidt）。 4 2004 用于构建和分析系统的工具和算法。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007，是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。 Zbl 1116.68006号 4 2007 一致的部分模型检查。 兹比尔1273.68231 哈，迈克尔 4 2004 非确定性和概率性混合系统的抽象框架。 Zbl 1203.68099号 哈，迈克尔 4 2004 奇偶博弈中获胜区域近似下的多项式时间。 Zbl 1336.68286号 亚当·安东尼；纳撒尼尔查尔顿；哈，迈克尔 4 2008 可能性测度的幂域。 Zbl 0911.68110号 哈，迈克尔 4 1997 使用Kripke结构对模态转换系统进行模型检查。 兹比尔1057.68066 哈，迈克尔 三 2002 奇偶博弈中的致命吸引子。 Zbl 1260.68231号 哈，迈克尔；Kuo、Jim Huan-Pu；尼尔·皮特曼 三 2013 混合逻辑的抽象和概率。 Zbl 1272.03141号 哈，迈克尔 三 2005 用于多模型检查的自动游戏。 Zbl 1273.68230号 侯赛因，阿尔塔夫；哈，迈克尔 三 2006 CTL\（\cap\）LTL中模型检查部分状态空间的有效模式。 Zbl 1273.68218号 亚当·安东尼；哈，迈克尔 三 2006 EXPTIME——模态和混合规范的完整决策问题。 Zbl 1291.68172号 亚当·安东尼；哈，迈克尔；Larsen，Kim G。；乌尔里克·尼曼；安德烈·索夫斯基 三 2009 线性类型和近似值。 Zbl 0982.06007号 哈，迈克尔；阿希姆·荣格；克劳斯·凯梅尔 三 2000 已完成对实现的优化。 Zbl 1101.68682号 哈，迈克尔 三 2005 线性域和线性映射。 Zbl 1509.18005号 哈，迈克尔 三 1994 安全通信系统。设计、分析和实施。 Zbl 1057.68612号 迈克尔·R·A·胡特。 2 2001 通过游戏验证和反驳概率规范。 Zbl 1248.68333号 Mark Kattenbelt公司；哈，迈克尔 2 2009 模态和混合规范：关键决策问题及其复杂性。 Zbl 1191.68426号 亚当·安东尼；哈，迈克尔；Larsen，Kim G。；乌尔里克·尼曼；安德烈·索夫斯基 2 2010 马尔可夫链的三值抽象：PCTL相当大片段的完整性。 Zbl 1252.03037号 哈，迈克尔；尼尔·皮特曼；丹尼尔·瓦格纳 2 2009 奇偶博弈的静态分析：奇偶下的交替可达性。 Zbl 1474.68053号 哈，迈克尔；Kuo、Jim Huan-Pu；尼尔·皮特曼 2 2016 分配代数域的最大单体闭范畴。 Zbl 0818.68112号 哈，迈克尔 2 1995 域和空间的笛卡尔闭范畴\（\operatorname{Proj}（D）\）。 Zbl 1522.06012号 哈，迈克尔 1 1992 基于可能性和概率抽象的模型检查。 兹比尔1065.68593 哈，迈克尔 1 2002 精化的拓扑分析。 Zbl 1276.68104号 哈，迈克尔 1 2006 平价博弈的拉宾指数：复杂性和近似性。 Zbl 1332.68060号 哈，迈克尔；Kuo、Jim Huan-Pu；尼尔·皮特曼 1 2015 自然变换的代数域。 Zbl 0874.68182号 阿德里安·菲奇；哈，迈克尔 1 1994 使用持久选择细化状态机的敏感形式语义。 Zbl 1339.68158号 哈拉尔德·费彻；哈，迈克尔；海科·施密特；Jens Schönborn 1 2009 更精确的分区抽象。 兹比尔1132.68469 哈拉尔德·费彻；哈，迈克尔 1 2007 主动安全性的静态分析。 Zbl 1482.68069号 哈，迈克尔；弗莱明·尼尔森 1 2019 主动安全性的静态分析。 Zbl 1482.68069号 哈，迈克尔；弗莱明·尼尔森 1 2019 奇偶博弈的静态分析：奇偶下的交替可达性。 Zbl 1474.68053号 哈，迈克尔；Kuo、Jim Huan Pu；尼尔·皮特曼 2 2016 平价博弈的拉宾指数：复杂性和近似性。 Zbl 1332.68060号 哈，迈克尔；Kuo、Jim Huan-Pu；尼尔·皮特曼 1 2015 奇偶博弈中的致命吸引子。 Zbl 1260.68231号 哈，迈克尔；Kuo、Jim Huan-Pu；尼尔·皮特曼 三 2013 模态和混合规范：关键决策问题及其复杂性。 Zbl 1191.68426号 亚当·安东尼；哈，迈克尔；Larsen，Kim G。；乌尔里克·尼曼；安德烈·索夫斯基 2 2010 EXPTIME——模态和混合规范的完整决策问题。 兹比尔1291.68172 亚当·安东尼；哈，迈克尔；Larsen，Kim G。；乌尔里克·尼曼；安德烈·索夫斯基 三 2009 通过游戏验证和反驳概率规范。 Zbl 1248.68333号 Mark Kattenbelt公司；哈，迈克尔 2 2009 马尔可夫链的三值抽象：PCTL相当大片段的完整性。 Zbl 1252.03037号 哈，迈克尔；尼尔·皮特曼；丹尼尔·瓦格纳 2 2009 使用持久选择细化状态机的敏感形式语义。 Zbl 1339.68158号 哈拉尔德·费彻；哈，迈克尔；海科·施密特；Jens Schönborn 1 2009 20年的模态和混合规范。 Zbl 1169.68498号 亚当·安东尼；哈，迈克尔；Larsen，Kim G。；乌尔里克·尼曼；安德烈·索夫斯基 19 2008 混合和模态规范的决策问题的复杂性。 Zbl 1139.68035号 亚当·安东尼；胡特，迈克尔；Larsen，Kim G。；乌尔里克·尼曼；安德烈·索夫斯基 8 2008 关于模型检查多个混合视图。 Zbl 1151.68030号 阿尔塔夫·侯赛因；哈，迈克尔 7 2008 奇偶博弈中获胜区域近似下的多项式时间。 Zbl 1336.68286号 亚当·安东尼；纳撒尼尔查尔顿；哈，迈克尔 4 2008 用于构建和分析系统的工具和算法。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007，是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。 Zbl 1116.68006号 4 2007 更精确的分区抽象。 Zbl 1132.68469号 哈拉尔德·费彻；哈，迈克尔 1 2007 分支时间的排序谓词抽象：完整、增量和精确。 Zbl 1161.68566号 哈拉尔德·费彻；哈，迈克尔 5 2006 用于多模型检查的自动游戏。 Zbl 1273.68230号 阿尔塔夫·侯赛因；哈，迈克尔 三 2006 CTL\（\cap\）LTL中模型检查部分状态空间的有效模式。 Zbl 1273.68218号 亚当·安东尼；哈，迈克尔 三 2006 精化的拓扑分析。 兹比尔1276.68104 哈，迈克尔 1 2006 概率计算树逻辑的有限状态逼近。 Zbl 1080.68064号 哈，迈克尔 8 2005 将过渡系统标记为Stone空间。 Zbl 1125.68083号 迈克尔·R·A·胡特。 5 2005 混合逻辑的抽象和概率。 Zbl 1272.03141号 哈，迈克尔 三 2005 已完成对实现的优化。 Zbl 1101.68682号 哈，迈克尔 三 2005 计算机科学中的逻辑。系统建模和推理。第2版。 兹比尔1073.68001 哈，迈克尔；马克·瑞恩 71 2004 用于精化部分系统的域方程。 Zbl 1085.68090号 迈克尔·R·A·胡特。；拉德哈·贾加迪桑；戴维·施密特（David A.Schmidt）。 4 2004 一致的部分模型检查。 Zbl 1273.68231号 哈，迈克尔 4 2004 非确定性和概率性混合系统的抽象框架。 Zbl 1203.68099号 哈，迈克尔 4 2004 使用Kripke结构对模态转换系统进行模型检查。 Zbl 1057.68066号 哈，迈克尔 三 2002 基于可能性和概率抽象的模型检查。 Zbl 1065.68593号 哈，迈克尔 1 2002 模态转换系统：三值程序分析的基础。 Zbl 0987.68849号 哈，迈克尔；拉德哈·贾加迪桑；戴维·施密特 33 2001 使用模态转换系统的基于抽象的模型检查。 Zbl 1006.68077号 帕特丽斯·戈德弗里德；哈，迈克尔；拉德哈·贾加迪桑 24 2001 安全通信系统。设计、分析和实施。 兹比尔1057.68612 迈克尔·R·A·胡特。 2 2001 计算机科学中的逻辑：关于系统的建模和推理。附有埃德蒙·克拉克的前言。 Zbl 0955.68001号 哈，迈克尔；马克·瑞恩 19 2000 线性类型和近似值。 Zbl 0982.06007号 哈，迈克尔；阿希姆·荣格；克劳斯·凯梅尔 三 2000 定量语义、拓扑和可能性度量。 Zbl 0927.06004号 莱因霍尔德·赫克曼；哈，迈克尔 7 1998 定量语义学的对偶理论。 Zbl 0908.06004号 莱因霍尔德·赫克曼；哈，迈克尔 6 1998 可能性测度的幂域。 Zbl 0911.68110号 哈，迈克尔 4 1997 分配代数域的一个最大单oid闭范畴。 Zbl 0818.68112号 哈，迈克尔 2 1995 线性域和线性映射。 Zbl 1509.18005号 哈，迈克尔 三 1994 自然变换的代数域。 Zbl 0874.68182号 阿德里安·菲奇；哈，迈克尔 1 1994 域和空间的笛卡尔闭范畴\（\operatorname{Proj}（D）\）。 兹比尔1522.06012 哈，迈克尔 1 1992 所有引用出版物 前5名被引用出版物 全部的 前5名403位作者引用 15 迈克尔·R·A·胡特。 10 金·古德斯特兰·拉森 8 奥尔纳·库普弗曼 7 Legay、Axel 6 奥尔纳·格伦伯格 5 亚当·安东尼 5 乌里·法伦贝格 5 哈拉尔德·费彻 5 沙龙·肖姆 4 玛莎·契契克 4 格内西、斯特凡尼亚 4 Joost-Pieter卡托恩 4 李永明 4 罗比·马利克 4 阿尼埃洛·穆拉诺 4 吉·斯尔巴 4 莫里斯·比克。 4 安德烈·索夫斯基 三 亚历山德罗·阿巴特 三 陈一香 三 Jean-Paul彗星 三 斯乔德·克兰恩 三 Dov M.加巴伊。 三 阿里·古芬克尔 三 Marta Z.Kwiatkowska。 三 Leucker，马丁 三 弗兰西斯卡，李维 三 阿莱西奥·洛穆西奥 三 弗朗科·马扎蒂 三 克劳迪奥·蒙吉 三 格钦·诺曼 三 Oleh R.Nykyforchyn。 三 乌尔里克·尼曼 三 莱恩，马克·德莫特 三 海科·A·施密特。 三 Tim A.C.Willemse。 三 吴，衡阳 2 罗伯托·巴布蒂 2 尼古拉·贝内什 2 安娜·伯纳斯科尼 2 纳撒尼尔查尔顿 2 赫莱内·科拉维扎 2 阿图尔·达维拉·加塞斯。 2 德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德 2 安东尼奥·迪·斯塔西奥 2 克莱尔·狄克逊 2 罗伊·戴克霍夫 2 托马斯·埃尔哈德 2 亚历山德罗·范特奇 2 洛伦佐·盖里 2 莱蒂蒂亚·吉巴特 2 尼科斯·戈罗甘尼斯 2 莱因霍尔德·赫克曼 2 维姆·赫塞林克。 2 乌尔里希·赫斯塔特 2 沃伊切赫·贾姆罗加 2 里扎德·贾尼基 2 Juhl，Line公司 2 Mark Kattenbelt公司 2 寇，惠 2 简·Křetínsk 2 圣菲拉福顿 2 路易斯·兰姆。 2 马丁·兰格 2 雷、李辉 2 Linares Arévalo，皮拉尔·塞琳 2 尤德·卢斯蒂格 2 保罗·米拉佐 2 米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 2 奥克萨那州米基西 2 弗莱明·尼尔森 2 直纪西田 2 西蒙娜·奥尔赞 2 劳伦斯·查尔斯·保尔森 2 沃伊切赫·彭泽克 2 苏菲·平奇纳特 2 保罗·蓬塞特 2 瓦苏马提·拉曼 2 汉内·里斯·尼尔森 2 亚历山德罗·玛丽亚·里齐 2 米哈伊尔·尼古拉埃维奇·里巴科夫 2 梅赫努什·萨德扎德 2 圭多·斯卡纳 2 桑吉特·阿伦库马尔·塞希亚 2 德米特里·什卡托夫 2 鲍拉·斯波莱蒂尼 2 范格拉贝克、罗伯特·扬 2 王燕京 2 魏、欧 2 威格·威瑟林克 2 袁亚燕 2 张，兰 1 罗莎·阿巴斯 1 艾丽卡·阿尔布拉汉姆 1 Abreu Jünior，Joáo Carlos 1 啊，帕特里克 1 马哈穆杜尔·费萨尔·阿梅恩 1 阿尔弗雷兹，German H。 1 毛里西奥·阿尔弗雷兹 1 沙乌尔·阿尔马戈 …还有303位作者 全部的 前5名50篇连载文章中引用 22 理论计算机科学 17 信息与计算 12 计算的形式方面 7 系统设计中的形式化方法 6 离散事件动态系统 5 自动推理杂志 5 数学与人工智能年鉴 5 程序设计中的逻辑和代数方法杂志 4 信息学报 4 MSCS公司。计算机科学中的数学结构 4 逻辑与代数程序设计杂志 4 ACM计算逻辑汇刊 三 模糊集与系统 三 信息科学 2 人工智能 2 Automatica公司 2 拓扑及其应用 2 计算机程序设计科学 2 符号计算杂志 2 逻辑、语言与信息杂志 2 逻辑程序设计理论与实践 2 应用数学杂志 2 应用逻辑杂志 2 泛逻辑 1 国际系统科学杂志 1 计算机与系统科学杂志 1 斯洛伐克数学 1 编程和计算机软件 1 订单 1 国际近似推理杂志 1 机器学习 1 欧洲运筹学杂志 1 线性代数及应用 1 国际鲁棒非线性控制杂志 1 应用的分类结构 1 应用非经典逻辑杂志 1 高阶和符号计算 1 科学基础 1 计算机基础理论 1 智能与模糊系统杂志 1 伊朗模糊系统杂志 1 中国科学。F系列 1 计算机科学中的逻辑方法 1 理论计算机科学的基础和发展趋势 1 科学中国。信息科学 1 游戏 1 理论生物学杂志 1 计算机科学评论 1 伦敦皇家学会会刊。A.数学、物理和工程科学 1 Logicheskie Issledovaniya逻辑 全部的 前5名18个领域被引用 175 计算机科学（68至XX） 77 数学逻辑和基础（03-XX） 19 博弈论、经济学、金融和其他社会和行为科学（91-XX） 12 阶、格、有序代数结构（06-XX） 11 系统论；控制（93至XX） 7 概率论与随机过程（60-XX） 7 运筹学、数学规划（90-XX） 5 范畴理论；同调代数（18-XX） 5 一般拓扑结构（54-XX） 5 生物学和其他自然科学（92-XX） 三 组合数学（05-XX） 2 测量和集成（28-XX） 1 历史和传记（01-XX） 1 功能分析（46倍X倍） 1 变分法与最优控制；最优化（49至XX） 1 数值分析（65-XX） 1 信息与通信理论、电路（94-XX） 1 数学教育（97-XX） 按年份列出的引文