编辑配置文件（在新选项卡中打开） 马提亚斯·达姆 合著者距离 作者ID： 达姆·马提亚斯 发布日期： 马蒂亚斯·道姆 已编制索引的文档： 4出版物自2005年以来 合著者： 9合著者具有4联合出版物 99位合作作者 全部的 前5名合著者 0 单作者的 2 格温·克莱恩 1 尼尔森·比林 1 蒂莫西·布鲁克 1 德伦巴切，简 1 拉斐尔·科兰斯基 1 斯特凡·莫斯 1 Norbert W.Schirmer。 1 穆罕默德·纳西姆·塞吉尔 1 沃尔夫，伯克哈特 系列 1 自动推理杂志 1 计算的形式方面 领域 4 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用7中的次6文件 引用人▼ 年份▼ 证明微内核调度器的公平性和实现正确性。 Zbl 1191.68409号 马提亚斯·达姆;德伦巴切，简;沃尔夫，伯克哈特 2 2009 管理大规模证据的挑战和经验。 Zbl 1359.68264号 蒂莫西·布鲁克;马提亚斯·达姆;格温·克莱恩;拉斐尔·科兰斯基 2 2012 将软件模型检查器集成到Isabelle中。 Zbl 1143.68449号 马蒂亚斯·道姆;斯特凡·莫斯;诺伯特·希默;M.Nassim塞吉尔 2 2005 关注无特权：内核优化中的用户程序。 Zbl 1342.68079号 马提亚斯·达姆;尼尔森·比林;格温·克莱恩 1 2014 关注无特权：内核优化中的用户程序。 Zbl 1342.68079号 马提亚斯·达姆;尼尔森·比林;格温·克莱恩 1 2014 管理大规模证据的挑战和经验。 Zbl 1359.68264号 蒂莫西·布鲁克;马蒂亚斯·道姆;格温·克莱恩;拉斐尔·科兰斯基 2 2012 证明微内核调度器的公平性和实现正确性。 Zbl 1191.68409号 马提亚斯·达姆;Dörrenbächer，简;沃尔夫，伯克哈特 2 2009 将软件模型检查器集成到Isabelle中。 Zbl 1143.68449号 马提亚斯·达姆;斯特凡·莫斯;诺伯特·希默;M.Nassim塞吉尔 2 2005 所有引用出版物 前5名被引用出版物 全部的 前5名17位作者引用 2 格温·克莱恩 2 马卡里乌斯·温泽尔 1 艾亚德·阿尔卡萨 1 Böhme，萨沙 1 Hillebrand，Mark A。 1 迈克尔·科尔哈斯 1 德克·莱恩巴赫（Dirk C.Leinenbach）。 1 丹尼尔·马提库克 1 米查·莫斯卡尔 1 托比·默里 1 弗洛里安·拉贝 1 Norbert W.Schirmer。 1 沃尔夫拉姆·舒尔特 1 阿特姆·斯塔罗斯汀 1 Syeda、Hira Taqdees 1 亚历山德拉·茨班 1 沃尔夫，伯克哈特 2篇连载文章中引用 4 自动推理杂志 1 萨达纳 在2个字段中引用 6 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文