编辑配置文件(在新选项卡中打开) 拉尔夫·荣格 合著者距离 作者ID: 荣·拉夫 发布日期: 拉尔夫·荣格 已编制索引的文档: 7出版物自1978年以来 合著者: 11位合著者具有5联合出版物 170位合作作者 全部的 前5名合著者 0 单作者的 4 拉尔斯·比克达尔 4 德里克·德雷尔(Derek R.Dreyer)。 三 克雷伯斯,罗伯特 2 阿列舍·比兹亚克 2 雅克·亨利·乔尔丹 1 戈登·五·科马克。 1 Divisek,J。 1 杰拉尔德·杜克 1 罗伯特·哈珀 1 弗里德·霍费尔德 1 彼得·R·金。 1 G.库斯纳。 1 J.Melnyk。 1 克里斯托夫·谢尔霍夫 1 菲利普·西奇科夫斯基 1 卡斯珀·斯文森 1 大卫·斯瓦西 1 约瑟夫·塔萨罗蒂 1 亚伦·约瑟夫·图伦 系列 1 藻类公告 1 函数编程杂志 全部的 前5名领域 6 计算机科学(68至XX) 5 数理逻辑与基础(03-XX) 1 总体主题;集合(00-XX) 1 偏微分方程(35-XX) 1 数值分析(65-XX) 1 经典热力学,传热(80-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 5出版物有被引用82次57文件 引用人▼ 年份▼ 从头开始的Iris:高阶并发分离逻辑的模块化基础。 Zbl 1476.68062号 拉尔夫·荣格;克雷伯斯,罗伯特;雅克·亨利·乔尔丹;阿列舍·比兹亚克;拉尔斯·比克达尔;德雷克·德雷尔 31 2018 虹膜:作为并行推理的正交基础的幺半群和不变量。 Zbl 1346.68135号 拉尔夫·荣格;大卫·斯沃西;菲利普·西奇科夫斯基;卡斯珀·斯文森;亚伦·特隆;拉尔斯·比克达尔;德雷克·德雷尔 23 2015 高阶幻影状态。 Zbl 1361.68066号 拉尔夫·荣格;克雷伯斯,罗伯特;拉尔斯·比克达尔;德雷克·德雷尔 13 2016 高阶并发分离逻辑的本质。 Zbl 1485.68069号 克雷伯斯,罗伯特;拉尔夫·荣格;阿列舍·比兹亚克;雅克·亨利·乔尔丹;德雷克·德雷尔;拉尔斯·比克达尔 10 2017 一种用于并发终止保留精化的高阶逻辑。 Zbl 1485.68076号 约瑟夫·塔萨罗蒂;拉尔夫·荣格;罗伯特·哈珀 5 2017 从头开始的Iris:高阶并发分离逻辑的模块化基础。 Zbl 1476.68062号 拉尔夫·荣格;克雷伯斯,罗伯特;雅克·亨利·乔尔丹;阿列舍·比兹亚克;拉尔斯·比克达尔;德雷克·德雷尔 31 2018 高阶并发分离逻辑的本质。 Zbl 1485.68069号 克雷伯斯,罗伯特;拉尔夫·荣格;阿列舍·比兹亚克;雅克·亨利·乔尔丹;德雷克·德雷尔;拉尔斯·比克达尔 10 2017 一种用于并发终止保留精化的高阶逻辑。 Zbl 1485.68076号 约瑟夫·塔萨罗蒂;拉尔夫·荣格;罗伯特·哈珀 5 2017 高阶幻影状态。 兹比尔1361.68066 拉尔夫·荣格;克雷伯斯,罗伯特;拉尔斯·比克达尔;德雷克·德雷尔 13 2016 虹膜:作为并行推理的正交基础的幺半群和不变量。 Zbl 1346.68135号 拉尔夫·荣格;大卫·斯瓦西;菲利普·西奇科夫斯基;卡斯珀·斯文森;亚伦·图伦;拉尔斯·比克达尔;德雷克·德雷尔 23 2015 所有引用出版物 排名前五的出版物 全部的 前5名137位作者引用 9 拉尔斯·比克达尔 5 佩德罗·达罗查·平托 4 安德鲁·W·阿佩尔。 4 阿列舍·比兹亚克 4 托马斯·丁斯代尔·扬 4 菲利普·安·加德纳 4 克雷伯斯,罗伯特 三 伦纳特·贝林格 三 曹勤祥 三 多米尼克·德夫里塞 三 雅克·亨利·乔尔丹 三 拉尔夫·荣格 三 弗朗索瓦·波蒂埃 2 亚瑟·查古埃罗 2 德里克·德雷尔(Derek R.Dreyer)。 2 康斯坦丁·埃纳 2 悉达哈·克里希纳 2 塔德乌兹·利塔克 2 克里斯托夫·马提亚 2 彼得·米勒 2 亚历山大·萨默斯。 1 丹尼尔·艾哈曼 1 安徒生、克里斯托弗·贾斯特·阿恩达尔 1 卡勒姆·班尼斯特 1 凯文·巴茨 1 杰斯珀·本特森 1 贝拉德,贝特里奇 1 乌尔里希·伯杰 1 莱昂内尔·布拉特 1 Joshua A.Bockenek。 1 贝内迪克特·博利格 1 安德烈·塞巴斯蒂安·布鲁安 1 曹永志 1 乔里斯·塞勒曼斯 1 瑟·特凡·乔巴赫 1 拉纳德·A·克鲁斯顿。 1 圣地亚哥库埃拉 1 奥尔内拉·达达 1 蒂鲍特·达迪尼尔 1 德波尔(Frank S。 1 斯蒂恩·德古乌 1 保罗·埃米利奥·德维莱纳 1 西蒙·多尔蒂 1 约西亚·多兹 1 迈克尔·埃米 1 约塔姆·M·Y·费尔德曼。 1 伊拉·费塞费尔特 1 丹·弗鲁明 1 贡查罗夫,谢尔盖·萨沃斯特·亚诺维奇 1 汉斯·布格·格雷斯沃尔 1 西蒙·奥德谢德·格雷格森 1 塞缪尔·格吕特 1 关勇 1 阿玛·盖诺 1 罗伯特·哈珀 1 Hiep,Hans-Dieter A。 1 彼得·霍夫纳 1 霍诺雷,沃尔夫 1 侯哲 1 沙迦·伊扎基 1 吉勒姆·贾伯 1 巴特·雅各布斯 1 詹森,马文 1 金,赵 1 彼得·吉普森 1 德扬·约瓦诺维奇 1 乔纳斯·卡斯伯格·辛里奇森 1 Joost-Pieter卡托恩 1 佛罗里达州Keßler 1 直纪小林 1 尼古拉·科马托夫 1 莫滕·克罗格·杰斯佩森 1 维克多·昆卡 1 帕斯卡尔·勒加尔 1 马修·勒豪特 1 李锡盟 1 丹尼尔·李卡塔(Daniel R.Licata)。 1 刘,杨 1 多雷尔·卢卡努 1 威廉·曼斯基 1 松下幸介 1 Annabelle K.McIver。 1 保罗·安德烈·梅利埃 1 卡罗尔·C·摩根。 1 亚当·莫里森 1 新,Max S。 1 诺尔,托马斯 1 Gian Ntzik 1 安德烈亚斯·努伊茨 1 玛丽特·埃德娜·奥伦布施 1 詹斯·佩格尔 1 高拉夫,Parthasarathy 1 希拉·佩勒 1 弗兰克·皮森斯 1 纳迪亚·波里卡波娃 1 米里亚姆·波尔泽 1 维吉尔·普雷沃斯托 1 大卫·J·派姆。 1 塔希里·拉贝哈加。 1 比诺伊·拉文德兰 …还有37位作者 全部的 前5名8篇连载文章中引用 6 计算机科学中的逻辑方法 三 函数编程杂志 2 自动推理杂志 2 系统设计中的形式化方法 2 程序设计中的逻辑和代数方法杂志 1 理论计算机科学 1 数学百科全书。新系列 1 ACM计算逻辑事务 在5个字段中引用 53 计算机科学(68至XX) 36 数理逻辑与基础(03-XX) 1 阶、格、有序代数结构(06-XX) 1 概率论与随机过程(60-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文