编辑配置文件（在新选项卡中打开） 马蒂亚斯·霍巴赫 合著者距离 作者ID： 霍巴赫·马提亚斯 发布日期： 马提亚斯·霍巴赫 已编制索引的文档： 12出版物自2008年起 合著者： 9合著者具有9联合出版物 264位合作作者 全部的 前5名合著者 三 单作者的 5 克里斯托夫·韦登巴赫 三 维奥里卡Sofrone-Stokkerman 1 达姆，沃纳 1 迪帕克·卡普尔 1 鲁，齐 1 Nguyen，Thanhvu H。 1 马可·沃伊格特 1 张志海 1 赵恒军 系列 1 ACM计算逻辑事务 领域 8 数学逻辑和基础（03-XX） 7 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用30中的次16文件 引用人▼ 年份▼ 固定域的叠加。 Zbl 1351.03021号 马提亚斯·霍巴赫;克里斯托夫·韦登巴赫 5 2010 决定（对于所有存在的^{*}）查询的归纳有效性。 Zbl 1257.03031号 马提亚斯·霍巴赫;克里斯托夫·韦登巴赫 5 2009 基于饱和度的模型构建的可判定性结果。 Zbl 1250.03014号 马提亚斯·霍巴赫;克里斯托夫·韦登巴赫 三 2009 固定域的叠加。 Zbl 1156.03313号 马提亚斯·霍巴赫;克里斯托夫·韦登巴赫 三 2008 自动生成八角不变量和max-plus不变量的几何量词消除启发式。 Zbl 1385.68013号 迪帕克·卡普尔;张志海;马提亚斯·霍巴赫;赵恒军;鲁，齐;阮，ThanhVu 三 2013 关于Bernays-Schönfinkel-Ramsey片段与简单线性整数算法的组合。 Zbl 1496.03046号 马提亚斯·霍巴赫;马可·沃伊格特;克里斯托夫·韦登巴赫 2 2017 通过饱和获得有限局部理论公理化。 Zbl 1398.68482号 马提亚斯·霍巴赫;维奥里卡Sofrone-Stokkerman 2 2013 最终定期解释的不统一。 Zbl 1310.68123号 马提亚斯·霍巴赫 2 2010 位置转移：从约束公理化到可达性谓词。 Zbl 1423.68420号 马提亚斯·霍巴赫;维奥里卡Sofrone-Stokkerman 2 2014 非Horn子句集的谓词完成。 Zbl 1341.68022号 马提亚斯·霍巴赫 1 2011 系统描述：SPASS-FD。 Zbl 1341.68190号 马提亚斯·霍巴赫 1 2011 线性混合自动机空间族安全属性验证的可判定性。 兹比尔1471.68114 达姆，维尔纳;马提亚斯·霍巴赫;维奥里卡Sofrone-Stokkerman 1 2015 关于Bernays-Schönfinkel-Ramsey片段与简单线性整数算法的组合。 Zbl 1496.03046号 马提亚斯·霍巴赫;马可·沃伊格特;克里斯托夫·韦登巴赫 2 2017 线性混合自动机空间族安全属性验证的可判定性。 Zbl 1471.68114号 达姆，沃纳;马提亚斯·霍巴赫;维奥里卡Sofrone-Stokkerman 1 2015 位置转移：从约束公理化到可达性谓词。 Zbl 1423.68420号 马提亚斯·霍巴赫;维奥里卡Sofrone-Stokkerman 2 2014 自动生成八角不变量和max-plus不变量的几何量词消除启发式。 Zbl 1385.68013号 迪帕克·卡普尔;张志海;马提亚斯·霍巴赫;赵恒军;鲁，齐;阮，ThanhVu 三 2013 通过饱和获得有限局部理论公理化。 Zbl 1398.68482号 马提亚斯·霍巴赫;维奥里卡Sofrone-Stokkerman 2 2013 非Horn子句集的谓词补全。 Zbl 1341.68022号 马提亚斯·霍巴赫 1 2011 系统描述：SPASS-FD。 Zbl 1341.68190号 马提亚斯·霍巴赫 1 2011 固定域的叠加。 兹比尔1351.03021 马提亚斯·霍巴赫;克里斯托夫·韦登巴赫 5 2010 最终定期解释的不统一。 Zbl 1310.68123号 马提亚斯·霍巴赫 2 2010 决定（对于所有存在的^{*}）查询的归纳有效性。 Zbl 1257.03031号 马蒂亚斯·霍巴赫;克里斯托夫·韦登巴赫 5 2009 基于饱和度的模型构建的可决策性结果。 Zbl 1250.03014号 马提亚斯·霍巴赫;克里斯托夫·韦登巴赫 三 2009 固定域的叠加。 Zbl 1156.03313号 马提亚斯·霍巴赫;克里斯托夫·韦登巴赫 三 2008 所有引用出版物 前5名被引用出版物 全部的 前5名34位作者引用 6 克里斯托夫·韦登巴赫 5 马提亚斯·霍巴赫 三 维奥里卡Sofrone-Stokkerman 2 丹尼斯·佩特尔 1 玛丽亚·保拉（Maria Paola Bonacina） 1 马丁·布隆伯格 1 洛伦佐·坎迪戈 1 魏恩根·钦 1 安德烈亚·科斯蒂亚 1 达姆，沃纳 1 伊琳娜·德拉古斯特 1 穆纳乔·埃切宁 1 安德烈亚斯·艾格斯 1 拉沙·法奎 1 克里斯托夫·费泽尔 1 阿诺德·菲埃茨克 1 穆阿·约翰逊 1 迪帕克·卡普尔 1 马库斯·科洛奇 1 叶夫根·克鲁格洛夫（Evgeni Kruglov）ĭ瓦伦蒂诺维奇（Valentinovich） 1 斯特凡·库普弗施米德 1 丹尼尔·拉拉兹 1 罗伯特·纽文胡斯 1 阿尔伯特·奥利弗拉斯 1 尼古拉斯·佩尔蒂埃 1 恩里克·罗德里格斯-卡博内尔 1 阿尔伯特·鲁比奥 1 卡斯滕·谢布勒 1 阿桑卡亚·夏尔马 1 蒂诺·特伊格 1 马可·沃伊格特 1 安德烈·沃伦科夫 1 王圣一 1 莱因哈德·威廉 2篇连载文章中引用 三 自动推理杂志 1 计算机科学中的数学 在3个字段中引用 14 计算机科学（68至XX） 9 数学逻辑和基础（03-XX） 1 历史和传记（01-XX） 按年份列出的引文