编辑配置文件（在新选项卡中打开） 彼得·甘米 合著者距离 作者ID： γ射线计 发布日期： 彼得·甘米 已编制索引的文档： 6出版物自2004年起 合著者： 9合著者具有4联合出版物 88位合作作者 全部的 前5名合著者 2 单作者的 2 格温·克莱恩 2 托比·默里 2 罗恩·范德梅登 1 Andronick，六月 1 马修·布拉西尔 1 凯·恩格哈特 1 丹尼尔·马提库克 1 托马斯·D·休厄尔。 1 西蒙·温伍德 系列 1 函数编程杂志 领域 6 计算机科学（68至XX） 1 数理逻辑与基础（03-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用46中的次42文件 引用人▼ 年份▼ MCK：模型检查知识的逻辑。 Zbl 1103.68614号 彼得·甘米；罗恩·范德梅登 33 2004 操作系统内核无干扰。 Zbl 1383.68021号 托比·默里；丹尼尔·马提库克；马修·布拉西尔；加米，彼得；格温·克莱恩 4 2012 模型检验知识和线性时间：PSPACE案例。 Zbl 1132.68729号 凯·恩格哈特；彼得·甘米；罗恩·范德梅登 4 2007 seL4加强了完整性。 Zbl 1342.68303号 托马斯·苏厄尔；西蒙·温伍德；彼得·甘米；托比·默里；Andronick，六月；格温·克莱恩 三 2011 简短提示：严格的拆封使工作程序/包装程序的融合完全正确。 Zbl 1221.68055号 彼得·甘米 1 2011 验证了有限同步环境中基于知识的程序的合成。 Zbl 1342.68284号 彼得·甘米 1 2011 操作系统内核无干扰。 Zbl 1383.68021号 托比·默里；丹尼尔·马提库克；马修·布拉西尔；加米，彼得；格温·克莱恩 4 2012 seL4加强了完整性。 Zbl 1342.68303号 托马斯·苏厄尔；西蒙·温伍德；彼得·甘米；托比·默里；Andronick，六月；格温·克莱恩 三 2011 简短说明：严格的拆封使工人/包装融合完全正确。 Zbl 1221.68055号 彼得·甘米 1 2011 验证了有限同步环境中基于知识的程序的综合。 Zbl 1342.68284号 彼得·甘米 1 2011 模型检验知识和线性时间：PSPACE案例。 Zbl 1132.68729号 凯·恩格哈特；彼得·甘米；罗恩·范德梅登 4 2007 MCK：模型检查知识的逻辑。 Zbl 1103.68614号 彼得·甘米；罗恩·范德梅登 33 2004 所有引用的出版物 前5名被引用出版物 全部的 前5名93位作者引用 9 阿莱西奥·洛穆西奥 6 弗朗西斯科·贝拉迪内利 5 罗恩·范德梅登 2 沃伊切赫·贾姆罗加 2 米查尔·乔泽夫·纳皮克 2 罗向宇 2 劳尔·帕尔多 2 沃伊切赫·彭泽克 2 曲洪阳 2 佛朗哥·雷蒙迪 2 杰拉尔多·施奈德 2 苏凯乐 2 安杰伊·兹布热兹尼 1 娜塔莎·亚历奇纳 1 穆萨德·巴利乌 1 吉尔·巴特 1 马里奥·贝尼维德斯。 1 古斯塔沃·贝塔特 1 尼尔森·比林 1 爱奥华纳州布尔亚努 1 马可·波扎诺 1 西蒙·巴斯德 1 胡安·迭戈·坎波 1 彼得·科马克 1 张正伟 1 陈爱祥 1 陈清亮 1 陈、陶璐 1 程淑 1 亚历山德罗·西马蒂 1 罗地卡康杜拉切 1 达姆，麦兹 1 马提亚斯·达姆 1 弗朗西安·戴奇森 1 柯特林·迪马 1 雷娜·迪米特洛娃 1 迪帕克·D’Souza 1 塞巴斯蒂安·艾格特 1 乔纳森·以西结 1 伯恩德·芬克贝纳 1 迈克尔·费希尔 1 鲁斯塔姆·加利姆林 1 彼得·甘米 1 马可·加里奥 1 顾，明 1 Dimitar P.Guelev。 1 郭文胜 1 Joseph Yehuda Halpern 1 侯萍 1 黄晓伟 1 格雷厄姆·赫顿 1 沃尔夫拉姆·卡尔 1 格温·克莱恩 1 萨瓦斯·科努尔 1 马塞·科瓦奇 1 达米安·库皮耶夫斯基 1 彼得·兰米奇 1 卡洛斯·卢纳 1 罗，程 1 马查多，维托 1 瓦迪姆·马尔沃内 1 丹尼尔·马提库克 1 克里斯蒂安·马塔雷 1 乌卡斯·米库尔斯基 1 法比奥·莫加维罗 1 阿尼埃洛·穆拉诺 1 托比·默里 1 帕特拉，马纳斯·K。 1 查尔斯·佩彻 1 安德烈·波佩斯库 1 朱塞佩·普里米埃罗 1 里卡多·普切拉 1 马库斯·拉贝。 1 福图纳特·拉乔纳 1 内哈·隆塔 1 弗朗西斯科·拉索 1 阿卜杜勒·萨塔尔 1 斯文·舍韦 1 尼尔·斯卡索普 1 赫尔穆特·塞德尔 1 汉斯·皮特 1 王拓 1 王燕京 1 马卡里乌斯·温策尔 1 詹姆斯·C·P·伍德科克。 1 沃纳·什尼亚克（Bożena） 1 沃纳、博埃纳 1 吴丽君 1 徐永生 1 杨国武 1 杨金吉 1 阿格涅斯卡·兹布列兹尼。 1 郑德胜 全部的 前5名14篇连载文章中引用 4 计算的形式方面 三 人工智能 三 信息与计算 三 自动推理杂志 2 Studia Logica公司 1 合成 1 理论计算机科学 1 逻辑、语言与信息杂志 1 函数编程杂志 1 逻辑与代数程序设计杂志 1 应用数学杂志 1 应用逻辑杂志 1 计算机科学前沿 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在7个字段中引用 41 计算机科学（68至XX） 21 数理逻辑与基础（03-XX） 4 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 2 信息与通信理论、电路（94-XX） 1 一般代数系统（08-XX） 1 范畴理论；同调代数（18-XX） 1 系统论；控制（93至XX） 按年份列出的引文