编辑配置文件（在新选项卡中打开） 德里克·德雷尔（Derek R.Dreyer）。 合著者距离 作者ID： dreyer.derek-r型 发布日期： 德雷克·德雷尔；德里克·德雷尔（Derek R.Dreyer）。 外部链接： MGP公司 已编制索引的文档： 36出版物自1998年以来 2作为编辑的贡献·1进一步贡献 合著者： 41位合著者具有34份联合出版物 581合著作者 全部的 前5名合著者 4 单作者的 9 拉尔斯·比克达尔 8 乔治·奈斯 7 维克托·瓦菲亚迪斯 6 中基尔胡尔 6 安德烈亚斯·罗斯伯格 4 拉尔夫·荣格 4 尼拉坎坦·R·克里希纳斯瓦米。 4 阿列克桑达尔·纳内夫斯基 4 亚伦·约瑟夫·图伦 4 Ziliani，贝塔 三 罗伯特·克雷伯斯 2 阿马尔·艾哈迈德 2 阿列舍·比兹亚克 2 乔治·戈蒂尔 2 罗伯特·哈珀 2 雅克·亨利·乔尔丹 2 Kang、Jeehoon 1 阿卡尔（Umut A.Acar）。 1 阿加瓦尔，阿什什 1 卡洛·安吉乌利 1 乔什·伯丁 1 马蒂亚斯·布鲁姆 1 埃文·卡瓦洛 1 曼努埃尔·查克拉瓦蒂。 1 佩里·程 1 卡尔·克里 1 黄海党 1 迪帕克·加格 1 Hou（Favonia）、Kuen-Bang 1 Jan-Oliver凯撒 1 加布里埃尔·科妮莉亚·凯勒 1 斯科特·基尔帕特里克 1 金永生（Kim，Yoonseung） 1 奥里·拉哈夫 1 丹，利卡塔 1 西蒙·马洛 1 克雷格·麦克劳林。 1 格雷格·莫里塞特 1 汤姆七世墨菲 1 O'Hearn，Peter W。 1 迈克尔·奥弗顿。 1 彼得森，叶 1 西蒙·琼斯（Simon L.Peyton Jones）。 1 本杰明·皮尔斯。 1 杜鹃花拉德 1 希兰，玛丽 1 菲利普·西奇科夫斯基 1 丹尼尔·斯波恩豪威尔 1 乔纳森·斯特林 1 克里斯托弗·斯通（Christopher A.Stone）。 1 卡斯珀·斯文森 1 大卫·斯瓦西 1 约瑟夫·塔萨罗蒂 1 雅各布·塔姆斯堡 1 朱尔斯·维拉德 系列 9 函数编程杂志 1 全球优化杂志 全部的 前5名领域 36 计算机科学（68至XX） 13 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 阶、格、有序代数结构（06-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 35出版物有被引用323中的次204文件 引用人▼ 年份▼ 从头开始的Iris：高阶并发分离逻辑的模块化基础。 Zbl 1476.68062号 拉尔夫·荣格；罗伯特·克雷伯斯；雅克·亨利·乔尔丹；阿列舍·比兹亚克；拉尔斯·比克达尔；德雷克·德雷尔 31 2018 依赖于州的表示独立性。 Zbl 1315.68080号 阿马尔·艾哈迈德；德雷克·德雷尔；安德烈亚斯·罗斯伯格 28 2009 参数化在共推证明中的作用。 Zbl 1301.68220号 中基尔胡尔；乔治·奈斯；德雷克·德雷尔；维克托·瓦菲亚迪斯 28 2013 在高阶并发逻辑中统一求精和Hoare-style推理。 Zbl 1323.68386号 亚伦·图伦；德雷克·德雷尔；拉尔斯·比克达尔 23 2013 虹膜：作为并行推理的正交基础的幺半群和不变量。 Zbl 1346.68135号 拉尔夫·荣格；大卫·斯瓦西；菲利普·西奇科夫斯基；卡斯珀·斯文森；亚伦·图伦；拉尔斯·比克达尔；德雷克·德雷尔 23 2015 轻松内存并发的一种很有前途的语义。 Zbl 1380.68103号 Kang、Jeehoon；中基尔胡尔；奥里·拉哈夫；维克托·瓦菲亚迪斯；德雷克·德雷尔 16 2017 ML和汇编之间的Kripke逻辑关系。 Zbl 1284.68148号 中基尔胡尔；德雷克·德雷尔 14 2011 高阶幻影状态。 兹比尔1361.68066 拉尔夫·荣格；罗伯特·克雷伯斯；拉尔斯·比克达尔；德雷克·德雷尔 13 2016 相互模拟和克里普克逻辑关系的结合。 Zbl 1321.68198号 中基尔胡尔；德雷克·德雷尔；乔治·奈斯；维克托·瓦菲阿迪斯 11 2012 关于缺陷存在的局部推理：不正确的分离逻辑。 Zbl 1478.68057号 杜鹃花拉德；乔什·伯丁；黄海党；德雷克·德雷尔；彼得·奥赫恩；朱尔斯·维拉德 11 2020 高阶状态和控制效果对局部关系推理的影响。 Zbl 1323.68203号 德雷克·德雷尔；乔治·奈斯；拉尔斯·比克达尔 10 2010 高阶状态和控制效果对局部关系推理的影响。 Zbl 1252.68187号 德雷克·德雷尔；乔治·奈斯；拉尔斯·比克达尔 10 2012 高阶有状态ADT的关系模式逻辑。 Zbl 1312.68142号 德雷克·德雷尔；乔治·奈斯；安德烈亚斯·罗斯伯格；拉尔斯·比克达尔 10 2010 高阶并发分离逻辑的本质。 Zbl 1485.68069号 罗伯特·克雷伯斯；拉尔夫·荣格；阿列舍·比兹亚克；雅克·亨利·乔尔丹；德雷克·德雷尔；拉尔斯·比克达尔 10 2017 细粒度并发的逻辑关系。 Zbl 1301.68181号 亚伦·J·图伦。；雅各布·塔姆斯堡；阿马尔·艾哈迈德；拉尔斯·比克达尔；德雷克·德雷尔 9 2013 高阶模的一种类型系统。 Zbl 1321.68167号 德雷克·德雷尔；卡尔·克里；罗伯特·哈珀 8 2003 在结构的可拓演算中内化关系参数。 Zbl 1356.68043号 克里希纳斯瓦米，尼拉坎坦·R。；德雷克·德雷尔 7 2013 F-ing模块。 Zbl 1322.68048号 安德烈亚斯·罗斯伯格；克劳迪奥·拉索；德雷克·德雷尔 7 2014 如何使即席证明自动化减少即席性。 Zbl 1323.68117号 乔治·戈蒂尔；Ziliani，贝塔；阿列克桑达尔·纳内夫斯基；德雷克·德雷尔 6 2011 Mtac：Coq中类型化战术编程的monad。 Zbl 1323.68236号 Ziliani，贝塔；德雷克·德雷尔；尼拉坎坦·R·克里希纳斯瓦米。；阿列克桑达尔·纳内夫斯基；维克托·瓦菲亚迪斯 6 2013 如何使即席证明自动化减少即席性。 兹伯利1314.68281 乔治·戈蒂尔；Ziliani，贝塔；阿列克桑达尔·纳内夫斯基；德雷克·德雷尔 5 2013 混合ML模块系统。 Zbl 1323.68069号 德雷克·德雷尔；安德烈亚斯·罗斯伯格 4 2008 Pilsner：一种用于高阶命令式语言的经过组合验证的编译器。 Zbl 1360.68350号 乔治·奈斯；中基尔胡尔；Jan-Oliver凯撒；克雷格·麦克劳林；德雷克·德雷尔；维克托·瓦菲亚迪斯 4 2015 欧氏斯坦纳树问题的两种启发式算法。 Zbl 0909.90199号 德里克·德雷尔（Derek R.Dreyer）。；迈克尔·奥弗顿。 4 1998 用于基础良好的递归的类型系统。 Zbl 1325.68046号 德雷克·德雷尔 三 2004 模块化类型类别。 Zbl 1295.68061号 德雷克·德雷尔；罗伯特·哈珀；Manuel M.T.查克拉瓦蒂。；加布里埃尔·凯勒 三 2007 Mtac：Coq中用于类型化策略编程的单子。 兹比尔1420.68189 Ziliani，贝塔；德雷克·德雷尔；尼拉坎坦·R·克里希纳斯瓦米。；阿列克桑达尔·纳内夫斯基；维克托·瓦菲亚迪斯 三 2015 递归类型生成性。 Zbl 1125.68028号 德雷克·德雷尔 三 2007 表面上的子结构类型。 Zbl 1291.68146号 尼拉坎坦·R·克里希纳斯瓦米。；亚伦·特隆；德雷克·德雷尔；迪帕克·加格 2 2012 递归模块的类型系统。 Zbl 1291.68116号 德雷克·德雷尔 2 2007 非参数参数。 Zbl 1302.68092号 格奥尔格·奈斯；德雷克·德雷尔；安德烈亚斯·罗斯伯格 2 2009 单独编译的轻量级验证。 Zbl 1347.68085号 Kang、Jeehoon；金永生（Kim，Yoonseung）；中基尔胡尔；德雷克·德雷尔；维克托·瓦菲亚迪斯 2 2016 模块化程序的主要类型方案。 Zbl 1187.68149号 德雷克·德雷尔；马蒂亚斯·布鲁姆 2 2007 非参数参数。 Zbl 1262.68026号 乔治·奈斯；德雷克·德雷尔；安德烈亚斯·罗斯伯格 2 2011 递归类型生成性。 Zbl 1302.68188号 德雷克·德雷尔 1 2005 关于缺陷存在的局部推理：不正确的分离逻辑。 Zbl 1478.68057号 杜鹃花拉德；乔什·伯丁；黄海党；德雷克·德雷尔；运营；彼得·赫恩；朱尔斯·维拉德 11 2020 从头开始的Iris：高阶并发分离逻辑的模块化基础。 Zbl 1476.68062号 拉尔夫·荣格；罗伯特·克雷伯斯；雅克·亨利·乔尔丹；阿列舍·比兹亚克；拉尔斯·比克达尔；德雷克·德雷尔 31 2018 轻松内存并发的一种很有前途的语义。 Zbl 1380.68103号 Kang、Jeehoon；中基尔胡尔；奥里·拉哈夫；维克托·瓦菲亚迪斯；德雷克·德雷尔 16 2017 高阶并发分离逻辑的本质。 Zbl 1485.68069号 罗伯特·克雷伯斯；拉尔夫·荣格；阿列舍·比兹亚克；雅克·亨利·乔尔丹；德雷克·德雷尔；拉尔斯·比克达尔 10 2017 高阶重影状态。 Zbl 1361.68066号 拉尔夫·荣格；罗伯特·克雷伯斯；拉尔斯·比克达尔；德雷克·德雷尔 13 2016 单独编译的轻量级验证。 Zbl 1347.68085号 Kang、Jeehoon；金永成；中基尔胡尔；德雷克·德雷尔；维克托·瓦菲亚迪斯 2 2016 虹膜：作为并行推理的正交基础的幺半群和不变量。 Zbl 1346.68135号 拉尔夫·荣格；大卫·斯瓦西；菲利普·西奇科夫斯基；卡斯珀·斯文森；亚伦·图伦；拉尔斯·比克达尔；德雷克·德雷尔 23 2015 Pilsner：一种用于高阶命令式语言的经过组合验证的编译器。 Zbl 1360.68350号 乔治·奈斯；中基尔胡尔；Jan-Oliver凯撒；克雷格·麦克劳林；德雷克·德雷尔；维克托·瓦菲亚迪斯 4 2015 Mtac：Coq中用于类型化策略编程的单子。 Zbl 1420.68189号 Ziliani，贝塔；德雷克·德雷尔；尼拉坎坦·R·克里希纳斯瓦米。；阿列克桑达尔·纳内夫斯基；维克托·瓦菲亚迪斯 三 2015 F-ing模块。 兹比尔1322.68048 安德烈亚斯·罗斯伯格；克劳迪奥·拉索；德雷克·德雷尔 7 2014 参数化在共推证明中的作用。 Zbl 1301.68220号 中基尔胡尔；乔治·奈斯；德雷克·德雷尔；维克托·瓦菲亚迪斯 28 2013 在高阶并发逻辑中统一求精和Hoare-style推理。 Zbl 1323.68386号 亚伦·特隆；德雷克·德雷尔；拉尔斯·比克达尔 23 2013 细粒度并发的逻辑关系。 Zbl 1301.68181号 亚伦·J·图伦。；雅各布·塔姆斯堡；阿马尔·艾哈迈德；拉尔斯·比克达尔；德雷克·德雷尔 9 2013 在结构的可拓演算中内化关系参数。 Zbl 1356.68043号 克里希纳斯瓦米，尼拉坎坦·R。；德雷克·德雷尔 7 2013 Mtac：Coq中用于类型化策略编程的单子。 Zbl 1323.68236号 Ziliani，贝塔；德雷克·德雷尔；尼拉坎坦·R·克里希纳斯瓦米。；阿列克桑达尔·纳内夫斯基；维克托·瓦菲亚迪斯 6 2013 如何使即席证明自动化减少即席性。 Zbl 1314.68281号 乔治·戈蒂尔；Ziliani，贝塔；阿列克桑达尔·纳内夫斯基；德雷克·德雷尔 5 2013 相互模拟和克里普克逻辑关系的结合。 Zbl 1321.68198号 中基尔胡尔；德雷克·德雷尔；乔治·奈斯；维克托·瓦菲亚迪斯 11 2012 高阶状态和控制效果对局部关系推理的影响。 Zbl 1252.68187号 德雷克·德雷尔；乔治·奈斯；拉尔斯·比克达尔 10 2012 表面上的子结构类型。 Zbl 1291.68146号 尼拉坎坦·R·克里希纳斯瓦米。；亚伦·图伦；德雷克·德雷尔；迪帕克·加格 2 2012 ML和汇编之间的Kripke逻辑关系。 Zbl 1284.68148号 中基尔胡尔；德雷克·德雷尔 14 2011 如何使即席证明自动化不那么即席。 Zbl 1323.68117号 乔治·戈蒂尔；Ziliani，贝塔；阿列克桑达尔·纳内夫斯基；德雷克·德雷尔 6 2011 非参数参数。 Zbl 1262.68026号 乔治·奈斯；德雷克·德雷尔；安德烈亚斯·罗斯伯格 2 2011 高阶状态和控制效果对局部关系推理的影响。 Zbl 1323.68203号 德雷克·德雷尔；乔治·奈斯；拉尔斯·比克达尔 10 2010 用于高阶有状态ADT的关系模态逻辑。 Zbl 1312.68142号 德雷克·德雷尔；乔治·奈斯；安德烈亚斯·罗斯伯格；拉尔斯·比克达尔 10 2010 依赖于州的表示独立性。 Zbl 1315.68080号 阿马尔·艾哈迈德；德雷克·德雷尔；安德烈亚斯·罗斯伯格 28 2009 非参数参数。 Zbl 1302.68092号 格奥尔格·奈斯；德雷克·德雷尔；安德烈亚斯·罗斯伯格 2 2009 混合ML模块系统。 Zbl 1323.68069号 德雷克·德雷尔；安德烈亚斯·罗斯伯格 4 2008 模块化类型类别。 Zbl 1295.68061号 德雷克·德雷尔；罗伯特·哈珀；Manuel M.T.查克拉瓦蒂。；加布里埃尔·凯勒 三 2007 递归类型生成性。 Zbl 1125.68028号 德雷克·德雷尔 三 2007 递归模块的类型系统。 Zbl 1291.68116号 德雷克·德雷尔 2 2007 模块化程序的主要类型方案。 Zbl 1187.68149号 德雷克·德雷尔；马蒂亚斯·布鲁姆 2 2007 递归类型生成性。 Zbl 1302.68188号 德雷克·德雷尔 1 2005 用于基础良好的递归的类型系统。 Zbl 1325.68046号 德雷克·德雷尔 三 2004 高阶模的一种类型系统。 Zbl 1321.68167号 德雷克·德雷尔；卡尔·克里；罗伯特·哈珀 8 2003 欧几里得-施泰纳树问题的两种启发式算法。 Zbl 0909.90199号 德里克·德雷尔（Derek R.Dreyer）。；迈克尔·奥弗顿。 4 1998 所有引用出版物 前5名被引用出版物 全部的 前5名407位作者引用 13 拉尔斯·比克达尔 8 安德烈·穆拉夫斯基。 6 菲利普·安·加德纳 5 佩德罗·达罗查·平托 5 尼尔·加尼 5 罗伯特·克雷伯斯 5 弗雷德里克·诺德瓦尔·福斯伯格 5 Damien Pous 5 埃希罗·苏米 5 尼科斯·齐夫列科斯 4 安德鲁·W·阿佩尔。 4 阿列舍·比兹亚克 4 罗伯特·J·科尔文。 4 托马斯·丁斯代尔·扬 4 布里杰什·多戈尔 4 德里克·德雷尔（Derek R.Dreyer）。 4 费德里科·奥尔萨尼戈 4 安德烈亚斯·罗斯伯格 4 克里斯蒂安·斯特夫林 4 雅各布·塔姆斯堡 4 海克·卫尔海姆 三 杰斯珀·本特森 三 伦纳特·贝林格 三 Dariusz Biernacki 三 曹勤祥 三 亚瑟·查古埃罗 三 瑟·特凡·乔巴赫 三 弗朗西斯科·达尼诺 三 多米尼克·德夫里塞 三 西蒙·多尔蒂 三 罗伯特·哈珀 三 吉勒姆·贾伯 三 雅克·亨利·乔尔丹 三 拉尔夫·荣格 三 巴巴拉·科尼格 三 彼得·波列修克 三 弗朗索瓦·波蒂埃 三 大卫·桑吉奥吉 三 维克托·瓦菲亚迪斯 2 安德烈亚斯·阿贝尔（Andreas M.Abel）。 2 菲利波·邦奇 2 曹永志 2 肯塔·乔 2 萨迪·达尔瓦迪 2 康斯坦丁·埃纳 2 Daniel Schnetzer，法瓦 2 迪帕克·加格 2 雅克·加里格 2 塞缪尔·格吕特 2 一郎·哈索 2 阿奎那·霍伯 2 金，赵 2 Toshiki Kataoka 2 悉达哈·克里希纳 2 塞尔盖·伦格利特 2 丹尼尔·R·利卡塔。 2 塔德乌兹·利塔克 2 多雷尔·卢卡努 2 格雷戈里·马莱查 2 克里斯托夫·马提亚 2 彼得·米勒 2 托比·默里 2 新，Max S。 2 斯科特·欧文斯 2 马可·帕特里格纳尼 2 Daniela Luan Petrisan 2 碧姬·品特卡 2 克里斯托弗·波斯基特（Christopher M.Poskitt）。 2 杜鹃花拉德 2 弗拉德·鲁苏 2 史蒂文·施费尔 2 菲利普·西奇科夫斯基 2 索索、马蒂厄 2 马丁·斯特芬 2 沃尔克·斯托尔茨 2 阿伦·斯塔姆 2 马丁·苏尔兹曼 2 亚历山大·萨默斯。 2 王汉平 2 斯特凡·韦尔 2 斯蒂芬妮·威里奇 2 张博文 2 Ziliani，贝塔 1 卡明·阿巴特 1 帕罗什·阿齐兹·阿卜杜拉 1 雷纳尔德·阿弗尔德 1 达内尔·阿赫曼 1 哈米达桑·艾哈迈德。 1 纪尧姆·阿拉伊斯 1 纳达·阿明 1 阿米尔·穆罕默德（Amir-Mhammadian，Sepehr） 1 阿南德，阿比舍克 1 大卫·安科纳 1 安徒生、克里斯托弗·贾斯特·阿恩达尔 1 迈托·阿拉皮尼斯 1 弗拉维奥·阿斯卡里 1 穆罕默德·法乌齐 1 巴赫·鲍尔森，卡斯珀 1 保罗·巴尔丹 1 卡勒姆·班尼斯特 …还有307位作者 全部的 前5名引用于23个系列 15 函数编程杂志 12 计算机科学中的逻辑方法 9 自动推理杂志 9 程序设计中的逻辑与代数方法杂志 8 理论计算机科学 5 系统设计中的形式化方法 4 计算的形式方面 三 计算机科学中的数学结构 三 高阶和符号计算 三 计算机语言、系统和结构 2 ACM计算逻辑事务 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 欧洲运筹学杂志 1 线性代数及应用 1 Indagationes Mathematicae公司。新系列 1 顶部 1 启发式杂志 1 RAIRO公司。理论信息学及其应用 1 逻辑与代数程序设计杂志 1 理论计算机科学电子笔记 1 信息分析系统模型 全部的 前5名在12个字段中引用 193 计算机科学（68至XX） 82 数学逻辑和基础（03-XX） 7 范畴理论；同调代数（18-XX） 4 阶、格、有序代数结构（06-XX） 三 运筹学、数学规划（90-XX） 2 一般代数系统（08-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 信息与通信理论、电路（94-XX） 1 组合数学（05-XX） 1 概率论与随机过程（60-XX） 1 数值分析（65-XX） 1 系统论；控制（93至XX） 按年份列出的引文