编辑配置文件（在新选项卡中打开） 丹尼尔·马提库克 合著者距离 作者ID： 马蒂查克·丹尼尔 发布日期： 丹尼尔·马提库克 已编制索引的文档： 5出版物自2012年起 合著者： 12位合著者具有5联合出版物 249名Co-Co作者 全部的 前5名合著者 0 单作者的 3 托比·默里 2 马卡里乌斯·温策尔 1 Andronick，六月 1 贾斯敏·克里斯蒂安·布兰切特 1 马修·布拉西尔 1 彼得·甘米 1 马克西米利安·哈斯贝克。 1 格温·克莱恩 1 科里·刘易斯 1 卡罗尔·C·摩根。 1 托比亚斯·尼普科 1 克里斯汀·里兹卡拉 系列 1 自动推理杂志 领域 5 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用27中的次26文件 引用人▼ 年份▼ 挖掘正式证据的档案。 Zbl 1417.68176号 贾斯敏·克里斯蒂安·布兰切特;马克西米利安·哈斯贝克;丹尼尔·马提库克;托比亚斯·尼普科 11 2015 艾斯巴赫：伊莎贝尔的证明方法语言。 Zbl 1356.68195号 丹尼尔·马提库克;托比·默里;马卡里乌斯·温策尔 8 2016 操作系统内核无干扰。 Zbl 1383.68021号 托比·默里;丹尼尔·马提库克;马修·布拉西尔;彼得·甘米;格温·克莱恩 4 2012 一种Isabelle证明方法语言。 Zbl 1416.68172号 丹尼尔·马提库克;马卡里乌斯·温策尔;托比·默里 3 2014 存在中断诱导并发时操作系统调度行为的证明。 Zbl 1478.68050号 Andronick，六月;科里·刘易斯;丹尼尔·马提库克;卡罗尔·摩根;克里斯汀·里兹卡拉 1 2016 艾斯巴赫：伊莎贝尔的证明方法语言。 Zbl 1356.68195号 丹尼尔·马提库克;托比·默里;马卡里乌斯·温策尔 8 2016 存在中断诱导并发时操作系统调度行为的证明。 Zbl 1478.68050号 Andronick，六月;科里·刘易斯;丹尼尔·马提库克;卡罗尔·摩根;克里斯汀·里兹卡拉 1 2016 挖掘正式证据的档案。 Zbl 1417.68176号 贾斯敏·克里斯蒂安·布兰切特;马克西米利安·哈斯贝克;丹尼尔·马提库克;托比亚斯·尼普科 11 2015 一种Isabelle证明方法语言。 Zbl 1416.68172号 丹尼尔·马提库克;马卡里乌斯·温策尔;托比·默里 3 2014 操作系统内核无干扰。 Zbl 1383.68021号 托比·默里;丹尼尔·马提库克;马修·布拉西尔;彼得·甘米;格温·克莱恩 4 2012 所有引用出版物 前5名被引用出版物 全部的 前5名60位作者引用 3 亚当·格拉博夫斯基 3 塞萨里·卡利西克 3 Pąk，卡罗尔 2 Jose Divasón 2 雅克·弗莱里奥特。 2 费边·胡奇 2 彼得·兰米奇 2 安德烈·波佩斯库 2 德米特里·特拉泰尔 2 马卡里乌斯·温策尔 1 阿兰赛，Jesús 1 格拉泽戈兹·班塞雷克 1 贝拉德，贝特里奇 1 账单，Nelson 1 Joshua A.Bockenek。 1 贝内迪克特·博利格 1 乍得·布朗·爱德华 1 阿希姆·D·布鲁克。 1 Czesław拜林斯基 1 陈浩 1 马提亚斯·达姆 1 莱昂纳多·德·莫拉 1 塞巴斯蒂安·艾格特 1 Thibault Gauthier 1 米洛什·格里戈里奇。 1 顾荣辉 1 什特·潘·霍卢布 1 约翰·Hölzl 1 侯萍 1 格温·克莱恩 1 阿图尔·科尔尼·奥维茨 1 库马尔，拉马纳 1 马修·勒豪特 1 李俊毅·杰西 1 安德烈亚斯·洛赫比勒 1 约书亚·洛克曼 1 卡林·麦肯齐 1 丹尼尔·马提库克 1 罗马人Matuszewski 1 托比·默里 1 亚当·纳莫维奇 1 聂鹏宇 1 托比亚斯·尼普科 1 迈克尔·诺里什 1 史蒂文·奥布阿 1 卡尔·帕尔姆斯科格 1 鲍尔森、劳伦斯·查尔斯 1 比诺伊·拉文德兰 1 菲尔·斯科特 1 邵，钟 1 什蒂·潘·斯塔罗斯塔 1 斯泰尔，艾米 1 纳塔利·斯兹纳杰德 1 勒内，蒂曼 1 塞巴斯蒂安·乌尔里奇 1 约瑟夫·乌尔班 1 罗恩·范德梅登 1 詹姆斯·沃恩 1 弗里克·韦贝克 1 吴雄南 引用于4个系列 9 自动推理杂志 3 计算的形式方面 1 计算机基础理论 1 计算机科学中的逻辑方法 在4个字段中引用 26 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 1 交换代数（13-XX） 按年份列出的引文