编辑配置文件（在新选项卡中打开） 迈克尔·陶奇尼格 合著者距离 作者ID： tautschnig-michael公司 发布日期： 迈克尔·陶奇尼格 已编制索引的文档： 11出版物自2009年起 合著者： 22合著者具有11联合出版物 378位合作作者 全部的 前5名合著者 0 单作者的 5 安德烈亚斯·霍尔泽 5 赫尔穆特·维思 4 丹尼尔·科宁 4 克里斯蒂安·夏尔哈特 1 阿尔加莱、杰德 1 德克·贝尔 1 马丁·查普曼 1 哈娜·乔克勒 1 阿拉斯泰尔·唐纳森。 1 维杰·迪尔瓦 1 赫尔曼·格鲁伯 1 利奥波德·哈勒 1 马库斯·霍尔泽 1 亚历山大·凯泽。 1 帕斯卡·凯塞利 1 文森特·尼马尔 1 苏曼特·普拉布 1 彼得·施拉梅尔 1 曼达扬·K·斯利瓦斯。 1 斯特里赫曼（Ofer Strichman） 1 托马斯·沃尔 1 阿南德·约勒卡尔 系列 1 理论计算机科学 1 系统设计中的形式化方法 领域 11 计算机科学（68至XX） 1 数值分析（65-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用49中的次45文件 引用人▼ 年份▼ 通过程序转换对弱内存进行软件验证。 Zbl 1381.68143号 阿尔加莱、杰德;丹尼尔·克罗宁;文森特·尼马尔;迈克尔·陶奇尼格 18 2013 具有冲突驱动学习的数值边界分析。 Zbl 1352.68060号 维杰·德·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁;迈克尔·陶奇尼格 8 2012 学习错误语言。 Zbl 1471.68101号 马丁·查普曼;哈娜·乔克勒;帕斯卡·凯塞利;丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman）;迈克尔·陶奇尼格 8 2015 用于多目标可达性分析的信息重用。 Zbl 1381.68148号 德克·贝尔;安德烈亚斯·霍尔泽;迈克尔·陶奇尼格;赫尔穆特·维思 4 2013 查询驱动程序测试。 Zbl 1206.68089号 安德烈亚斯·霍尔泽;克里斯蒂安·夏尔哈特;迈克尔·陶奇尼格;赫尔穆特·维思 三 2009 FQL测试规范简介。 Zbl 1325.68148号 安德烈亚斯·霍尔泽;迈克尔·陶奇尼格;克里斯蒂安·夏尔哈特;赫尔穆特·维思 2 2011 对称并发程序的反示例引导抽象细化。 Zbl 1284.68179号 阿拉斯泰尔·唐纳森。;亚历山大·凯撒;丹尼尔·克罗宁;迈克尔·陶奇尼格;托马斯·沃尔 2 2012 有限自动机的短正则表达式：经验结果。 Zbl 1248.68296号 赫尔曼·格鲁伯;马库斯·霍尔泽;迈克尔·陶奇尼格 2 2009 正则语言有理集的结构和复杂性。 Zbl 1359.68170号 安德烈亚斯·霍尔泽;克里斯蒂安·夏尔哈特;迈克尔·陶奇尼格;赫尔穆特·维思 1 2013 使用不变量引导下的欠近似进行并发程序验证。 Zbl 1495.68140号 苏曼特·普拉布;彼得·施拉梅尔;斯利瓦斯，曼达扬;迈克尔·陶奇尼格;阿南德·约勒卡尔 1 2017 使用不变量引导下的欠近似进行并发程序验证。 Zbl 1495.68140号 苏曼特·普拉布;彼得·施拉梅尔;斯利瓦斯，曼达扬;迈克尔·陶奇尼格;阿南德·约勒卡尔 1 2017 学习错误语言。 Zbl 1471.68101号 马丁·查普曼;哈娜·乔克勒;帕斯卡·凯塞利;丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman）;迈克尔·陶奇尼格 8 2015 通过程序转换对弱内存进行软件验证。 Zbl 1381.68143号 阿尔加莱、杰德;丹尼尔·克罗宁;文森特·尼马尔;迈克尔·陶奇尼格 18 2013 用于多目标可达性分析的信息重用。 兹比尔1381.68148 德克·贝尔;安德烈亚斯·霍尔泽;迈克尔·陶奇尼格;赫尔穆特·维思 4 2013 正则语言有理集的结构和复杂性。 Zbl 1359.68170号 安德烈亚斯·霍尔泽;克里斯蒂安·夏尔哈特;迈克尔·陶奇尼格;赫尔穆特·维思 1 2013 具有冲突驱动学习的数值边界分析。 Zbl 1352.68060号 D&rsquo；维杰·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁;迈克尔·陶奇尼格 8 2012 对称并发程序的反示例引导抽象细化。 Zbl 1284.68179号 阿拉斯泰尔·唐纳森。;亚历山大·凯撒;丹尼尔·克罗宁;迈克尔·陶奇尼格;托马斯·沃尔 2 2012 FQL测试规范简介。 Zbl 1325.68148号 安德烈亚斯·霍尔泽;迈克尔·陶奇尼格;克里斯蒂安·夏尔哈特;赫尔穆特·维思 2 2011 查询驱动程序测试。 Zbl 1206.68089号 安德烈亚斯·霍尔泽;克里斯蒂安·夏尔哈特;迈克尔·陶奇尼格;赫尔穆特·维思 三 2009 有限自动机的简短正则表达式：经验结果。 兹比尔1248.68296 赫尔曼·格鲁伯;马库斯·霍尔泽;迈克尔·陶奇尼格 2 2009 所有引用出版物 前5名被引用出版物 全部的 前5名124位作者引用 7 丹尼尔·科宁 三 穆罕默德·法乌齐（Mohamed Faouzi Atig） 三 艾哈迈德·博阿贾尼 三 达纳·菲斯曼 三 菲利普·吕默 三 海克·卫尔海姆 三 Christoph M.温特斯泰格。 2 帕罗什·阿齐兹·阿卜杜拉 2 达纳州安格鲁因 2 布莱恩，马丁 2 陈玉芳 2 萨迪·达尔瓦迪 2 西蒙·多尔蒂 2 布里杰什·多戈尔 2 维杰·迪尔瓦 2 托比亚斯·卡佩 2 斯蒂芬·科切马佐夫 2 李勇 2 刘德鹏 2 Aleksandr Anatol’evich塞梅诺夫 2 亚历山德拉·席尔瓦 2 奥列格·谢尔盖维奇·扎金 2 张丽君 1 坦比尔·艾哈迈德 1 阿罗尼斯·斯塔夫罗斯 1 罗伯特·巴格纳拉 1 西迪·穆罕默德·贝拉希 1 德克·贝尔 1 汤姆·比恩米勒 1 阿明·比尔 1 乌迪·博克 1 安吉洛·布里洛特 1 保罗·布鲁内 1 卡利埃、马蒂厄 1 普兰提克·查特吉 1 罗伯特·J·科尔文。 1 Sylvain Conchon公司 1 拜伦·库克 1 安德烈·玛丽安（Andrei Marian Dan） 1 戴维·德克勒克 1 邓惠杰 1 迪奇，丹尼尔 1 康斯坦丁·埃纳 1 尼尔斯·弗利什哈克 1 帕特丽斯·戈德弗里德 1 罗伯塔·戈里 1 阿尔诺·哥特利布 1 伊琳娜·格里巴诺娃 1 阿尔贝托·格里乔 1 赫尔曼·格鲁伯 1 苏米特·古尔瓦尼 1 利奥波德·哈勒 1 何楠楠 1 马蒂亚斯·海兹曼 1 安德烈亚斯·霍尔泽 1 马库斯·霍尔泽 1 玛丽·克里斯汀·雅各布斯 1 Jonsson，孟加拉人 1 亚历山大·凯泽。 1 Khanh，To Van先生 1 赫里蒂·卡纳 1 雷蒙·科纳 1 多米尼克·克伦普 1 约翰内斯·克虏伯 1 奥利弗·库尔曼 1 马丁·库特里布 1 赖俊佐 1 拉尔，阿卡什 1 Leonardsson，卡尔 1 马，常熟 1 亨德里克·马兰德 1 朱利奥·马拉沃尔塔 1 鲁本·马丁斯 1 米歇尔，马祖奇 1 杰德普辛·麦达 1 尤里·梅什曼 1 安托万·米内 1 拉斐尔·莫纳特 1 迈赫迪·瑙阿尔 1 Ngo、Tuan Phong 1 小川，水井裕人 1 伊利亚·奥特普申尼科夫。 1 Gennaro帕拉托 1 安德烈亚斯·波德尔斯基 1 米特拉·普兰达尔 1 拉胡尔·普兰达雷 1 罗德里格斯，塞萨尔·马林 1 朱里安·罗特 1 罗伊，苏巴吉特 1 康斯坦蒂诺斯·萨戈纳斯 1 雅克·萨卡罗维奇 1 樱井，口一 1 克里斯蒂安·夏尔哈特 1 克劳斯·施瓦兹勒 1 施密特，大卫·A。 1 乔纳斯·施耐德 1 彼得·施拉姆 1 多米尼克·施罗德 1 塞·库什克 1 沙尔马，苏博德·K·。 …还有24位作者 全部的 前5名13篇连载文章中引用 4 系统设计中的形式化方法 4 计算机科学中的逻辑方法 三 自动推理杂志 2 信息与计算 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 离散应用数学 1 理论计算机科学 1 计算的形式方面 1 实时系统 1 信息计算杂志 1 计算机语言、系统和结构 1 ACM计算逻辑事务 全部的 前5名在6个字段中引用 43 计算机科学（68至XX） 三 信息与通信理论、电路（94-XX） 1 数学逻辑和基础（03-XX） 1 组合数学（05-XX） 1 数值分析（65-XX） 1 运筹学、数学编程（90-XX） 按年份列出的引文