编辑配置文件（在新选项卡中打开） 马蒂亚斯·海兹曼 合著者距离 作者ID： 海兹曼·马提亚斯 发布日期： 马蒂亚斯·海兹曼 已编制索引的文档： 14出版物自2009年起 1作为编辑的贡献 合著者： 20位合著者具有15联合出版物 358位联合作者 全部的 前5名合著者 0 单作者的 9 安德烈亚斯·波德尔斯基 6 Jochen Hoenicke公司 5 丹尼尔·迪特施 三 简·莱克 2 亚历山大·纳茨 1 弗兰蒂舍克·布拉胡德克 1 阿扎德法尔赞 1 劳伦·弗里堡 1 尼尔·D·琼斯。 1 扎卡里·金凯德 1 多米尼克·克伦普 1 文森特·兰根菲尔德 1 迈赫迪·瑙阿尔 1 巴特·陈·罗森伯格 1 克劳斯·施瓦兹勒 1 斯文·舍韦 1 克里斯蒂安·席林 1 斯特雷切克，简 1 丹尼尔·蒂施纳 1 蔡明勋 系列 1 计算机科学中的逻辑方法 1 理论计算机科学电子论文集（EPTCS） 领域 15 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用88中的次75文件 引用人▼ 年份▼ 嵌套的插入物。 兹比尔1312.68059 马蒂亚斯·海兹曼；Jochen Hoenicke公司；安德烈亚斯·波德尔斯基 21 2010 改进跟踪抽象。 Zbl 1248.68146号 马蒂亚斯·海兹曼；Jochen Hoenicke公司；安德烈亚斯·波德尔斯基 13 2009 补充半确定性Büchi自动机。 Zbl 1420.68106号 弗兰蒂舍克·布拉胡德克；马蒂亚斯·海兹曼；斯文·舍韦；斯特雷切克，简；蔡明勋 10 2016 线性套索程序的线性排名。 Zbl 1410.68086号 马蒂亚斯·海兹曼；Jochen Hoenicke公司；简·莱克；安德烈亚斯·波德尔斯基 9 2013 线性循环的排名模板。 Zbl 1391.68020号 简·莱克；马蒂亚斯·海兹曼 8 2015 尺寸变化终止和转换不变量。 Zbl 1306.68028号 马蒂亚斯·海兹曼；尼尔·D·琼斯。；安德烈亚斯·波德尔斯基 6 2010 几何非终结参数。 Zbl 1423.68103号 简·莱克；马蒂亚斯·海兹曼 6 2018 公平模理论：LTL软件模型检查的新方法。 Zbl 1381.68157号 丹尼尔·迪特施；马蒂亚斯·海兹曼；文森特·兰根菲尔德；安德烈亚斯·波德尔斯基 5 2015 Ultimate TreeAutomizer（CHC-COMP工具描述）。 Zbl 1483.68243号 丹尼尔·迪特施；马蒂亚斯·海兹曼；Jochen Hoenicke公司；亚历山大·纳茨；安德烈亚斯·波德尔斯基 5 2019 使用跟踪抽象的增量验证。 Zbl 1511.68168号 巴特·陈·罗森伯格；丹尼尔·迪特施；马蒂亚斯·海兹曼 三 2018 使用部分Max-SAT最小化可视下推自动机。 Zbl 1452.68107号 马蒂亚斯·海兹曼；克里斯蒂安·席林；丹尼尔·蒂施纳 2 2017 Ultimate TreeAutomizer（CHC-COMP工具描述）。 Zbl 1483.68243号 丹尼尔·迪特施；马蒂亚斯·海兹曼；Jochen Hoenicke公司；亚历山大·纳茨；安德烈亚斯·波德尔斯基 5 2019 几何非终结参数。 兹比尔1423.68103 简·莱克；马蒂亚斯·海兹曼 6 2018 使用跟踪抽象进行增量验证。 Zbl 1511.68168号 巴特·陈·罗森伯格；丹尼尔·迪特施；马蒂亚斯·海兹曼 三 2018 使用部分Max-SAT最小化可视下推自动机。 Zbl 1452.68107号 马蒂亚斯·海兹曼；克里斯蒂安·席林；丹尼尔·蒂施纳 2 2017 补充半确定性Büchi自动机。 Zbl 1420.68106号 弗兰蒂舍克·布拉胡德克；马蒂亚斯·海兹曼；斯文·舍韦；斯特雷切克，简；蔡明勋 10 2016 线性循环的排名模板。 Zbl 1391.68020号 雷克，简；马蒂亚斯·海兹曼 8 2015 公平模理论：LTL软件模型检查的新方法。 Zbl 1381.68157号 丹尼尔·迪特施；马蒂亚斯·海兹曼；文森特·兰根菲尔德；安德烈亚斯·波德尔斯基 5 2015 线性套索程序的线性排名。 Zbl 1410.68086号 马蒂亚斯·海兹曼；Jochen Hoenicke公司；简·莱克；安德烈亚斯·波德尔斯基 9 2013 嵌套插值。 兹比尔1312.68059 马蒂亚斯·海兹曼；Jochen Hoenicke公司；安德烈亚斯·波德尔斯基 21 2010 尺寸变化终止和转换不变量。 Zbl 1306.68028号 马蒂亚斯·海兹曼；尼尔·D·琼斯。；安德烈亚斯·波德尔斯基 6 2010 改进跟踪抽象。 Zbl 1248.68146号 马蒂亚斯·海兹曼；Jochen Hoenicke公司；安德烈亚斯·波德尔斯基 13 2009 所有引用出版物 前5名被引用出版物 全部的 前5名180位作者引用 6 格里戈里·费迪尤科维奇 5 吉尔根·吉斯尔 5 Jochen Hoenicke公司 5 李勇 5 安德烈亚斯·波德尔斯基 5 张丽君 4 弗洛里安·弗洛恩 4 丹尼尔·科宁 4 娜塔莎·莎莉吉娜 三 亚历山德罗·西马蒂 三 段振华 三 约翰·加拉赫（John P.Gallagher）。 三 阿尔贝托·格里乔 三 阿里·古芬克尔 三 马蒂亚斯·海兹曼 三 杰拉·亨塞尔 三 恩里科·马格纳戈 三 托马斯·斯特罗德 三 田聪 三 安德烈亚·图里尼 三 莫西·亚亚科夫·瓦尔迪 三 张楠 2 塞皮德·阿萨迪 2 德克·拜尔 2 马丁·布利查 2 马克·布罗克施米特 2 伊曼纽尔·德·安吉利斯 2 丹尼尔·迪特施 2 冯伟志 2 伊莎贝尔·加西亚·孔特雷拉斯 2 阿尔蒂·古普塔 2 曼努埃尔五世（Manuel V.Hermenegildo）。 2 安蒂·E·J·海瓦·里宁。 2 比肖克桑·卡夫 2 扎卡里·金凯德 2 埃里克·科斯基宁 2 李毅 2 罗兰·梅耶 2 塞巴斯蒂安·穆斯卡拉 2 豪尔赫·纳瓦斯（Jorge A.Navas）。 2 亚历山大·纳茨 2 Jean-François拉斯金 2 菲利普·吕默 2 克里斯蒂安·席林 2 阿里亚克西·齐托维奇 2 王、孟 2 Christoph M.温特斯泰格。 1 亚历山德罗·阿巴特 1 阿尔巴古提·奥斯 1 达纳·安格鲁因 1 科尼利厄斯·阿舍曼 1 阿米尔·本·阿姆拉姆。 1 拉斯蒂斯拉夫·博迪克 1 乌迪·博克 1 克里斯蒂娜·博拉莱拉斯 1 弗兰克·卡塞兹 1 萨加·查基 1 玛莎·契契克 1 陈玉芳 1 陈振邦 1 利迪亚·切尔尼戈夫斯卡娅 1 杰根，基督 1 马克西米利安·科朗格 1 帕特里克·库索特 1 沃伊切赫，切尔文斯基 1 马蒂亚斯·丹格尔 1 杜洪伟 1 杜一德 1 杰罗姆·杜波伊斯 1 亚历山大·杜雷特·卢茨 1 吉登·恩斯特 1 哈维尔·埃斯帕尔扎 1 斯蒂芬·福克 1 阿扎德法尔赞 1 艾曼纽·菲利奥特 1 法比奥·菲奥拉万蒂 1 达纳·菲斯曼 1 奥利弗·弗里德曼 1 煎炸，伊曼纽尔 1 卡斯滕·福斯 1 格雷姆·恒河 1 皮埃尔·甘蒂 1 奥利维尔，高文 1 亚历山大·巴吉迪·艾塞 1 萨米尔·根奈姆 1 Clément吉拉德 1 拉森·金（Larsen Kim Guldstrand） 1 苏米特·古尔瓦尼 1 马修·黑格 1 马塞尔·哈克 1 霍森·哈桑贝格 1 沃伊特·哈夫勒纳 1 大卫·G·希思。 1 侯赛因·霍贾特 1 洪伟江 1 井上俊一郎 1 玛丽·克里斯汀·雅各布斯 1 彼得·格约尔·詹森 1 兰吉特·贾拉 1 迪帕克·卡普尔 …还有80多位作者 全部的 前5名15篇连载文章中引用 6 系统设计中的形式化方法 4 理论计算机科学 4 自动推理杂志 三 信息与计算 三 逻辑程序设计理论与实践 2 计算机科学中的逻辑方法 1 人工智能 1 计算机与系统科学杂志 1 函数编程杂志 1 组合优化期刊 1 美国计算机学会期刊 1 计算机基础理论 1 计算机语言、系统和结构 1 ACM计算逻辑汇刊 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在6个字段中引用 74 计算机科学（68至XX） 15 数学逻辑和基础（03-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 组合数学（05-XX） 1 数值分析（65-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文