编辑配置文件（在新选项卡中打开） 理查德·博纳特 合著者距离 作者ID： 博纳特·里查德 发布日期： 理查德·博纳特;博纳特，R。 已编制索引的文档： 17出版物自1976年以来，包括1本书 合著者： 10位合著者具有11联合出版物 150位合作作者 全部的 前5名合著者 6 单作者的 4 克里斯蒂亚诺·加尔卡尼奥 三 哈桑·阿姆贾德 三 O'Hearn，Peter W。 2 马修·帕金森。 1 约翰·迈克尔·布雷迪 1 詹姆斯·布罗瑟斯顿 1 基思·M·克拉克。 1 乔纳森·希尔（Jonathan M.D.Hill）。 1 伯纳德·苏福林 1 杨红seok 全部的 前5名系列 三 计算的形式方面 1 国际人机研究杂志 1 软件。实践与经验 1 理论计算机科学 1 符号计算杂志 1 高阶和符号计算 1 牛津逻辑课文 领域 16 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 2 历史和传记（01-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用126中的次108文件 引用人▼ 年份▼ 分离逻辑中的权限核算。 Zbl 1369.68130号 Richard博纳特;克里斯蒂亚诺·加尔卡尼奥;彼得·奥赫恩;马修·帕金森 51 2005 用霍尔逻辑证明指针程序。 Zbl 0963.68036号 理查德·博纳特 26 2000 分离逻辑中程序终止的循环证明。 Zbl 1295.68156号 詹姆斯·布罗瑟斯顿;理查德·博纳特;克里斯蒂亚诺·加尔卡尼奥 15 2008 变量作为分离逻辑中的资源。 Zbl 1273.03101号 理查德·博纳特;克里斯蒂亚诺·加尔卡尼奥;杨红seok 10 2006 分离逻辑中的进程间缓冲区具有可靠保证。 兹伯利1214.68131 Richard博纳特;哈桑·阿姆贾德 7 2010 存在垃圾收集时的程序逻辑和等效性。 Zbl 1038.68011号 克里斯蒂亚诺·加尔卡尼奥;彼得·奥赫恩;理查德·博纳特 5 2003 非阻塞堆栈的模块化验证。 Zbl 1295.68092号 马修·帕金森;理查德·博纳特;彼得·奥赫恩 4 2007 解释两种非阻塞共享变量通信算法。 Zbl 1298.68062号 理查德·博纳特;哈桑·阿姆贾德 三 2013 将知识用于手写FORTRAN编码表的计算机解释。 Zbl 0327.68088号 博纳特，R。;J.M.布雷迪。 2 1976 Jape：一种用于动画演示的计算器。 Zbl 1430.68395号 理查德·博纳特;伯纳德·苏福林 1 1997 形式逻辑中的证明与反驳。程序员简介。 Zbl 1088.03001号 理查德·博纳特 1 2005 面向可靠保证证明的自动稳定性分析。 兹比尔1206.68084 哈桑·阿姆贾德;理查德·博纳特 1 2009 解释两种非阻塞共享变量通信算法。 Zbl 1298.68062号 理查德·博纳特;哈桑·阿姆贾德 三 2013 分离逻辑中的进程间缓冲区具有可靠保证。 Zbl 1214.68131号 理查德·博纳特;哈桑·阿姆贾德 7 2010 实现可靠性保证证明的自动稳定性分析。 兹比尔1206.68084 哈桑·阿姆贾德;理查德·博纳特 1 2009 分离逻辑中程序终止的循环证明。 Zbl 1295.68156号 詹姆斯·布罗瑟斯顿;理查德·博纳特;克里斯蒂亚诺·加尔卡尼奥 15 2008 非阻塞堆栈的模块化验证。 Zbl 1295.68092号 马修·帕金森;理查德·博纳特;运营；彼得·赫恩 4 2007 变量作为分离逻辑中的资源。 Zbl 1273.03101号 理查德·博纳特;克里斯蒂亚诺·加尔卡尼奥;杨红seok 10 2006 分离逻辑中的权限核算。 Zbl 1369.68130号 理查德·博纳特;克里斯蒂亚诺·加尔卡尼奥;运营；彼得·赫恩;马修·帕金森 51 2005 形式逻辑中的证明与反驳。程序员简介。 Zbl 1088.03001号 理查德·博纳特 1 2005 存在垃圾收集时的程序逻辑和等效性。 Zbl 1038.68011号 克里斯蒂亚诺·加尔卡尼奥;运营；彼得·赫恩;理查德·博纳特 5 2003 用霍尔逻辑证明指针程序。 Zbl 0963.68036号 Richard博纳特 26 2000 Jape：一种用于动画演示的计算器。 Zbl 1430.68395号 理查德·博纳特;伯纳德·苏福林 1 1997 将知识用于手写FORTRAN编码表的计算机解释。 Zbl 0327.68088号 博纳特，R。;J.M.布雷迪。 2 1976 所有引用出版物 前5名被引用出版物 全部的 前5名182位作者引用 6 克利夫·琼斯。 5 菲利普·安·加德纳 4 斯蒂芬·布鲁克斯。 4 佩德罗·达罗查·平托 4 O'Hearn，Peter W。 4 Makoto Tatsuta 三 斯特凡诺·贝拉尔迪 三 Lars Birkedal公司 三 詹姆斯·布罗瑟斯顿 三 科恩、利隆 三 托马斯·丁斯代尔·扬 三 罗伯特·克雷伯斯 三 彼得·兰米奇 三 戴维·诺曼（David A.Naumann）。 三 鲁本·罗伊，N.S。 2 哈桑·阿姆贾德 2 阿列舍·比兹亚克 2 理查德·博纳特 2 Stéphane P.德姆里。 2 董，袁 2 德里克·德雷尔（Derek R.Dreyer）。 2 冯新余 2 霍尔格·加斯特 2 伊恩·海耶斯。 2 克莱门·赫林 2 雅克·亨利·乔尔丹 2 拉尔夫·荣格 2 格温·克莱恩 2 直纪小林 2 Leino，K.Rustan M。 2 彼得·米勒 2 瓦莱里·A·内波米纳西。 2 Rasmus Lerchedahl彼得森 2 Ken G.皮尔斯。 2 纳迪亚·波里卡波娃 2 伊利亚·谢尔盖 2 邵，钟 2 维克托·瓦菲亚迪斯 2 尼桑萨拉·亚塔帕纳奇 2 弗洛里安·祖勒格 1 马哈穆杜尔·费萨尔·阿梅恩 1 安徒生、克里斯托弗·贾斯特·阿恩达尔 1 安德里亚诺夫，P.S。 1 安德鲁·W·阿佩尔。 1 罗布·D·阿尔森。 1 大卫·阿斯皮纳尔 1 杰斯珀·本特森 1 乔什·伯丁 1 伦纳特·贝林格 1 理查德·伯德（Richard S.Bird）。 1 贾斯敏·克里斯蒂安·布兰切特 1 布兰奇，桑德琳 1 Böhme，萨沙 1 蔡洪旭 1 亚瑟·查古埃罗 1 Chiang、Chun 1 魏恩根·钦 1 罗伯特·J·科尔文。 1 拜伦·库克 1 安德烈亚·科斯蒂亚 1 克雷斯波、胡安·曼努埃尔 1 达斯，阿努帕姆 1 Deters，摩根 1 迪诺·迪斯特法诺 1 马可·多科 1 布里杰什·多戈尔 1 Jean-François Dufourd 1 康斯坦丁埃纳 1 约塔姆·M·Y·费尔德曼。 1 皮埃特罗·费拉拉 1 伊万娜·菲利波维奇 1 玛丽亚·乔昂·弗雷德 1 傅明 1 Genaim，萨米尔 1 克里斯蒂安·盖尔希娜 1 马修·乔治诺 1 维克多·戈麦斯。 1 谢尔盖·冈查洛夫 1 拉杰夫·普拉巴卡尔·戈尔 1 尼科斯·戈罗甘尼斯 1 阿列克谢·戈茨曼 1 古德蒙德·格罗夫 1 林赛·格罗夫斯。 1 郭瑜 1 克里斯蒂安·哈克 1 C.A.R.Tony Hoare 1 阿奎那·霍伯 1 Jochen Hoenicke公司 1 马丁·霍夫曼 1 侯哲 1 玛丽克·赫斯曼 1 阿克巴侯赛因 1 Atsushi Igarashi 1 沙迦·伊扎基 1 克里斯蒂娜·詹森 1 彼得·吉普森 1 Max Iosifovich，卡诺维奇 1 卡普尔，卡尔佩什 1 Jens Katelaan公司 1 Khoroshilov，A.V.公司。 …还有82位作者 全部的 前5名24篇连载文章中引用 9 计算的形式方面 8 自动推理杂志 6 理论计算机科学 4 程序设计中的逻辑和代数方法杂志 2 编程和计算机软件 2 信息与计算 2 系统设计中的形式化方法 2 计算机科学中的逻辑方法 1 生物控制论 1 哲学逻辑杂志 1 新一代计算 1 模式识别 1 控制论与系统分析 1 应用非经典逻辑杂志 1 函数编程杂志 1 数学与人工智能年鉴 1 美国医学会杂志 1 逻辑与代数程序设计杂志 1 萨达纳 1 ACM计算逻辑事务 1 形式化推理期刊 1 科学中国。信息科学 1 中国计算机科学前沿 1 计算机科学评论 全部的 前5名在7个字段中引用 99 计算机科学（68至XX） 57 数学逻辑和基础（03-XX） 1 一般性和全局性主题；集合（00-XX） 1 历史和传记（01-XX） 1 组合数学（05-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 数学教育（97-XX） 按年份列出的引文