编辑配置文件（在新选项卡中打开） 马库斯，马特 合著者距离 作者ID： 马库斯·马特 发布日期： 马库斯，马特 已编制索引的文档： 3出版物自2001年起 合著者： 5位合著者具有2联合出版物 8位合作作者 全部的 前5名合著者 0 单作者的 1 贾科·加尔维 1 尤尼特·凯斯滕 1 奥德·马勒 1 家长，肖恩 1 彼得·皮尔克鲍尔 1 阿米尔·普努利 1 伊拉德·沙哈尔 1 Jacob N.史密斯。 1 Bjarne斯特劳斯特鲁普 系列 2 计算机程序设计科学 1 理论计算机科学 领域 三 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用2中的次2文件 引用人▼ 年份▼ 使用丰富的断言语言进行符号模型检查。 Zbl 0973.68119号 Y.Kesten。；马勒，O。；马库斯，M。；A.普努利。；沙哈尔，E。 41 2001 运行时概念的动态算法选择。 兹比尔1197.68036 彼得·皮尔克鲍尔；家长，肖恩；马库斯，马特；Bjarne斯特劳斯特鲁普 2 2010 运行时概念的动态算法选择。 Zbl 1197.68036号 彼得·皮尔克鲍尔；家长，肖恩；马库斯，马特；Bjarne斯特劳斯特鲁普 2 2010 使用丰富的断言语言进行符号模型检查。 Zbl 0973.68119号 Y.Kesten。；马勒，O。；马库斯，M。；A.普努利。；沙哈尔，E。 41 2001 5位作者引用 2 彼得·皮尔克鲍尔 2 Bjarne斯特劳斯特鲁普 1 马库斯，马特 1 家长Sean 1 尤里·索洛德基 连载1篇 2 计算机程序设计科学 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文