编辑配置文件（在新选项卡中打开） 马凯·曼 合著者距离 作者ID： 甘马凯 发布日期： 马凯·曼 已编制索引的文档： 6出版物自2000年起 合著者： 11位合著者具有4联合出版物 174位合作作者 全部的 前5名合著者 0 单作者的 4 克拉克·W·巴雷特。 三 艾哈迈德·埃尔凡 2 阿尔贝托·格里乔 2 奥德·帕顿 1 克里斯托弗·布朗 1 卡勒布·多诺维克 1 阿利森·古曼 1 Kapsokalivas，L。 1 凯瑟琳·斯坦尼费尔（Kathleen K.Steinhöfel）。 1 林赛·特恩茨 1 塞萨尔·蒂内利 1 A.Dayem乌拉 1 阿玛莉·威尔逊 1 尤尼·佐哈尔 系列 1 国际传热传质杂志 1 计算机科学中的逻辑方法 全部的 前5名领域 4 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 数值分析（65-XX） 1 流体力学（76-XX） 1 经典热力学，传热（80-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用5次5文件 引用人▼ 年份▼ 模型检验的反例指导预言模数为数组理论。 Zbl 1467.68089号 马凯·曼;艾哈迈德·埃尔凡;阿尔贝托·格里乔;奥德·帕顿;克拉克·巴雷特 5 2021 以阵列理论为模的模型检验的反例引导预测。 Zbl 1467.68089号 马凯·曼;艾哈迈德·埃尔凡;阿尔贝托·格里乔;奥德·帕顿;克拉克·巴雷特 5 2021 全部的 前5名12位作者引用 三 阿尔贝托·格里乔 2 克拉克·W·巴雷特。 2 艾哈迈德·埃尔凡 2 马凯·曼 2 奥德·帕顿 1 查克拉波蒂，苏普拉特克 1 亚历山德罗·西马蒂 1 阿什图什·古普塔 1 肯尼思·麦克米兰。 1 吉安卢卡·雷登迪 1 迪夫耶什·乌纳德卡特 1 科尔·维克 连载1篇 1 计算机科学中的逻辑方法 在2个字段中引用 5 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文