编辑配置文件（在新选项卡中打开） 克雷伯斯，罗伯特 合著者距离 作者ID： 克雷伯斯·罗伯特 发布日期： 克雷伯斯，罗伯特 已编制索引的文档： 19出版物自2011年起 合著者： 16位合著者具有15联合出版物 344位合作作者 全部的 前5名合著者 4 单作者的 6 拉尔斯·比克达尔 3 德里克·德雷尔（Derek R.Dreyer）。 3 丹·弗鲁明 3 拉尔夫·荣格 2 阿列舍·比兹亚克 2 简·赫尔曼·杰弗斯 2 雅克·亨利·乔尔丹 2 溅出物，Bas 2 弗里克·威迪杰克 1 杰斯珀·本特森 1 莱昂·冈德尔曼 1 乔纳斯·卡斯伯格·辛里奇森 1 詹姆斯·麦金纳 1 路易斯·帕兰特 1 亚历山德拉·席尔瓦 1 阿明·蒂曼尼 系列 3 计算机科学中的逻辑方法 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 自动推理杂志 1 函数编程杂志 领域 18 计算机科学（68至XX） 13 数学逻辑和基础（03-XX） 2 数值分析（65-XX） 1 数论（11-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用105中的次70文件 引用人▼ 年份▼ 从头开始的Iris：高阶并发分离逻辑的模块化基础。 Zbl 1476.68062号 拉尔夫·荣格;克雷伯斯，罗伯特;雅克·亨利·乔尔丹;阿列舍·比兹亚克;拉尔斯·比克达尔;德雷克·德雷尔 30 2018 高阶幻影状态。 Zbl 1361.68066号 拉尔夫·荣格;克雷伯斯，罗伯特;拉尔斯·比克达尔;德雷克·德雷尔 13 2016 高阶并发分离逻辑中的交互式证明。 Zbl 1380.68341号 克雷伯斯，罗伯特;阿明·蒂曼尼;拉尔斯·比克达尔 12 2017 高阶并发分离逻辑的本质。 Zbl 1485.68069号 克雷伯斯，罗伯特;拉尔夫·荣格;阿列舍·比兹亚克;雅克·亨利·乔尔丹;德雷克·德雷尔;拉尔斯·比克达尔 10 2017 中高效精确实数运算的类型类Coq公司. Zbl 1260.68378号 克雷伯斯，罗伯特;溅出物，Bas 8 2013 C语言中非确定性和序列点的操作语义和公理语义。 Zbl 1284.68404号 克雷伯斯，罗伯特 7 2014 Coq中形式化的C11重叠限制。 Zbl 1426.68055号 克雷伯斯，罗伯特 6 2013 ReLoC：用于细粒度并发的机械化关系逻辑。 Zbl 1497.68337号 丹·弗鲁明;克雷伯斯，罗伯特;拉尔斯·比克达尔 6 2018 Coq中的计算机认证有效精确实数。 Zbl 1260.68377号 克雷伯斯，罗伯特;溅出物，Bas 4 2011 非本地控制流和块范围变量的分离逻辑。 Zbl 1260.68101号 克雷伯斯，罗伯特;弗里克·威迪杰克 3 2013 HOL、Isabelle和Coq中C99标准的形式化。 Zbl 1335.68233号 克雷伯斯，罗伯特;弗里克·威迪杰克 2 2011 （lambda\mu^{mathbf{T}}）-演算。 Zbl 1273.03053号 赫尔曼·格乌弗斯;克雷伯斯，罗伯特;詹姆斯·麦金纳 1 2013 关于C表达式中非决定论的半自动推理。 Zbl 1524.68085号 丹·弗鲁明;莱昂·冈德尔曼;克雷伯斯，罗伯特 1 2019 Actris 2.0版：分离逻辑中基于异步会话类型的推理。 Zbl 07566072号 乔纳斯·卡斯伯格·辛里奇森;杰斯珀·本特森;克雷伯斯，罗伯特 1 2022 莫斯纳定理：中的共导推理练习Coq公司. 兹比尔1475.68456 克雷伯斯，罗伯特;路易斯·帕兰特;亚历山德拉·席尔瓦 1 2016 Actris 2.0版：分离逻辑中基于异步会话类型的推理。 Zbl 07566072号 乔纳斯·卡斯伯格·辛里奇森;杰斯珀·本特森;克雷伯斯，罗伯特 1 2022 关于C表达式中非确定性的半自动推理。 Zbl 1524.68085号 丹·弗鲁明;莱昂·冈德尔曼;克雷伯斯，罗伯特 1 2019 从头开始的Iris：高阶并发分离逻辑的模块化基础。 Zbl 1476.68062号 拉尔夫·荣格;克雷伯斯，罗伯特;雅克·亨利·乔尔丹;阿列舍·比兹亚克;拉尔斯·比克达尔;德雷克·德雷尔 30 2018 ReLoC：用于细粒度并发的机械化关系逻辑。 Zbl 1497.68337号 丹·弗鲁明;克雷伯斯，罗伯特;拉尔斯·比克达尔 6 2018 高阶并发分离逻辑中的交互式证明。 Zbl 1380.68341号 克雷伯斯，罗伯特;阿明·蒂曼尼;拉尔斯·比克达尔 12 2017 高阶并发分离逻辑的本质。 Zbl 1485.68069号 克雷伯斯，罗伯特;拉尔夫·荣格;阿列舍·比兹亚克;雅克·亨利·乔尔丹;德雷克·德雷尔;拉尔斯·比克达尔 10 2017 高阶幻影状态。 Zbl 1361.68066号 拉尔夫·荣格;克雷伯斯，罗伯特;拉尔斯·比克达尔;德雷克·德雷尔 13 2016 Moessner定理：在Coq公司. Zbl 1475.68456号 克雷伯斯，罗伯特;路易斯·帕兰特;亚历山德拉·席尔瓦 1 2016 C语言中非确定性和序列点的操作语义和公理语义。 Zbl 1284.68404号 克雷伯斯，罗伯特 7 2014 中高效精确实数运算的类型类Coq公司. Zbl 1260.68378号 克雷伯斯，罗伯特;溅出物，Bas 8 2013 Coq中形式化的C11重叠限制。 Zbl 1426.68055号 克雷伯斯，罗伯特 6 2013 非本地控制流和块范围变量的分离逻辑。 Zbl 1260.68101号 克雷伯斯，罗伯特;弗里克·威迪杰克 3 2013 （lambda\mu^{mathbf{T}}）-演算。 Zbl 1273.03053号 赫尔曼·格乌弗斯;克雷伯斯，罗伯特;詹姆斯·麦金纳 1 2013 Coq中的计算机认证有效精确实数。 Zbl 1260.68377号 克雷伯斯，罗伯特;溅出物，Bas 4 2011 HOL、Isabelle和Coq中C99标准的形式化。 Zbl 1335.68233号 克雷伯斯，罗伯特;弗里克·威迪杰克 2 2011 所有引用出版物 前5名被引用出版物 全部的 前5名被163位作者引用 7 拉尔斯·比克达尔 6 克雷伯斯，罗伯特 4 弗雷德里克·贝松 4 阿列舍·比兹亚克 4 布兰奇，桑德琳 4 皮埃尔·威尔克 3 安德鲁·W·阿佩尔。 3 伦纳特·贝林格 3 多米尼克·德夫里塞 3 雅克·亨利·乔尔丹 3 拉尔夫·荣格 3 弗朗索瓦·波蒂埃 2 马克·比克福德 2 西尔维·博尔多 2 亚瑟·查古埃罗 2 路易斯·克鲁兹·菲利佩 2 德里克·德雷尔（Derek R.Dreyer）。 2 乔纳森·赫拉斯 2 悉达哈·克里希纳 2 克里斯托夫·马提亚 2 纪尧姆·梅尔金德 2 彼得·米勒 2 彼得·施奈德·坎普 2 亚历山大·萨默斯。 1 丹尼尔·艾哈曼 1 纪尧姆·阿拉伊斯 1 阿南德，阿比舍克 1 杰里米·阿维加德 1 卡勒姆·班尼斯特 1 克什蒂吉·班萨尔 1 凯文·巴茨 1 杰斯珀·本特森 1 贝拉德，贝特里奇 1 乌尔里希·伯杰 1 伊夫·贝托特 1 Dariusz Biernacki 1 莱昂内尔·布拉特 1 Joshua A.Bockenek。 1 布兰登·伯勒 1 贝内迪克特·博利格 1 安德烈·塞巴斯蒂安·布鲁安 1 曹勤祥 1 乔里斯·塞勒曼斯 1 胆汁，阿加塞 1 瑟·特凡·乔巴赫 1 弗朗索瓦·克莱门特 1 拉纳德·A·克鲁斯顿。 1 蒂鲍特·达迪尼尔 1 保罗·埃米利奥·德维莱纳 1 西蒙·多尔蒂 1 约西亚·多兹 1 塞萨尔·多明格斯 1 迈克尔·埃米 1 康斯坦丁·埃纳 1 伊拉·费塞费尔特 1 Jean-Christophe Filliátre 1 丹·弗鲁明 1 福斯，劳伦特 1 内森·富尔顿 1 维克多·戈麦斯。 1 谢尔盖·冈查洛夫 1 汉斯·布格·格雷斯沃尔 1 Gregersen、Simon Oddershede 1 塞缪尔·格吕特 1 关、勇 1 阿玛·盖诺 1 罗伯特·哈珀 1 彼得·霍夫纳 1 约翰·Hölzl 1 霍诺雷，沃尔夫 1 侯哲 1 沙迦·伊扎基 1 吉勒姆·贾伯 1 巴特·雅各布斯 1 马文·詹森 1 彼得·吉普森 1 钟曼，宋世堂。 1 约万诺维奇，德扬 1 爱德华·坎伯扬 1 乔纳斯·卡斯伯格·辛里奇森 1 Joost-Pieter卡托恩 1 弗洛里安·科勒 1 Ross A.Knepper。 1 小林直树 1 叶卡捷琳娜·科门丹茨卡亚 1 埃里克·科斯金 1 尼古拉·科马托夫 1 德克斯特·C·科赞。 1 莫滕·克罗格·杰斯佩森 1 维克多·昆卡 1 金·斯卡·拉森 1 帕斯卡尔·勒加尔 1 马修·勒豪特 1 凯瑟琳·勒雷 1 刘伟祥 1 李锡盟 1 塔德乌兹·利塔克 1 刘，杨 1 多雷尔·卢卡努 1 尼古拉斯·马高 …还有63位作者 全部的 前5名9篇连载文章中引用 10 自动推理杂志 7 计算机科学中的逻辑方法 3 函数编程杂志 2 系统设计中的形式化方法 2 ACM计算逻辑事务 2 计算机科学中的数学 2 程序设计中的逻辑和代数方法杂志 1 MSCS公司。计算机科学中的数学结构 1 数学与人工智能年鉴 全部的 前5名13个领域引用 66 计算机科学（68至XX） 36 数学逻辑和基础（03-XX） 2 数论（11-XX） 2 概率论与随机过程（60-XX） 2 数值分析（65-XX） 1 有序，格，有序代数结构（06-XX） 1 交换代数（13-XX） 1 实函数（26年X月X日） 1 偏微分方程（35-XX） 1 代数拓扑（55-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的引文