编辑配置文件（在新选项卡中打开） 大卫·格林纳韦 合著者距离 作者ID： 格林纳韦·大卫 发布日期： 大卫·格林纳韦;D.格林纳韦。 已编制索引的文档： 6出版物自2001年起 合著者： 12位合著者具有6联合出版物 204位合作作者 全部的 前5名合著者 0 单作者的 2 罗德·法尔维 1 Andronick，六月 1 贾斯敏·克里斯蒂安·布兰切特 1 尼尔·福斯特 1 约阿金·古尔斯特朗 1 Cezary卡利西克 1 格温·克莱恩 1 理查德·奈勒 1 丹尼尔·库尔温 1 米尔纳，C。 1 约瑟夫·乌尔班 1 于志宏 系列 2 经济学快报 2 开放经济评论 1 自动推理杂志 领域 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物被引用33中的次33文件 引用人▼ 年份▼ Isabelle/HOL基于学习的事实选择器。 兹比尔1386.68149 贾斯敏·克里斯蒂安·布兰切特;大卫·格林纳韦;Cezary卡利西克;丹尼尔·库尔温;约瑟夫·乌尔班 17 2016 弥合差距：C的自动验证抽象。 Zbl 1360.68751号 大卫·格林纳韦;Andronick，六月;格温·克莱恩 11 2012 追赶或退出：行业内贸易、生产率差距和异质性企业。 Zbl 1208.91094号 罗德·法尔维;大卫·格林纳韦;于志宏 5 2011 Isabelle/HOL基于学习的事实选择器。 Zbl 1386.68149号 贾斯敏·克里斯蒂安·布兰切特;大卫·格林纳韦;Cezary卡利西克;丹尼尔·库尔温;约瑟夫·乌尔班 17 2016 弥合差距：C的自动验证抽象。 Zbl 1360.68751号 大卫·格林纳韦;Andronick，六月;格温·克莱恩 11 2012 追赶或退出：行业内贸易、生产率差距和异质性企业。 Zbl 1208.91094号 罗德·法尔维;大卫·格林纳韦;于志宏 5 2011 所有引用出版物 前5名被引用出版物 全部的 前5名72位作者引用 8 约瑟夫·乌尔班 6 Cezary卡利西克 5 Jakubův，简 4 贾斯敏·克里斯蒂安·布兰切特 2 亚历山大·本特坎普 2 弗雷德里克·贝松 2 布兰奇，桑德琳 2 卡雷尔·奇瓦洛夫斯克 2 Thibault Gauthier 2 迪特里赫·克拉科夫 2 彼得·兰米奇 2 库尔特·梅尔霍恩 2 托比亚斯·尼普科 2 巴托斯·彼得罗夫斯基 2 克里斯汀·里兹卡拉 2 塞菲加·雷扎 2 马丁·苏达 2 皮埃尔·威尔克 1 穆罕默德·阿卜杜勒·阿齐兹 1 艾亚德·阿尔卡萨 1 西德尼·阿曼尼 1 爱德华·威廉·艾尔斯 1 贝拉德，贝特里奇 1 Joshua A.Bockenek。 1 Böhme，萨沙 1 贝内迪克特·博利格 1 陈子琳 1 Chlipala，Adam J。 1 Choudhri，Ehsan U。 1 库卡斯·扎伊卡 1 特拉华州，本杰明 1 迈克尔·Färber 1 大卫·格林纳韦 1 杰森·格罗斯 1 马克西米利安·哈斯贝克。 1 布里兰·希塔吉 1 沙迦·伊扎基 1 文森特·杰克逊 1 加布里埃尔·科妮莉亚·凯勒 1 格温·克莱恩 1 丹尼尔·库尔温 1 拉马纳·库马尔 1 玛蒂娜·劳利斯 1 马修·勒豪特 1 安东尼奥·马拉斯科 1 丹尼尔·马提库克 1 米尔·拉蒙·费尔南德斯 1 托比·默里 1 丽贝卡·诺伊曼 1 迈克尔·诺里什 1 利亚姆·奥康纳 1 Toshihiro Okubo 1 米罗斯拉夫·奥沙克 1 萨姆·奥雷 1 Pąk，卡罗尔 1 希拉·佩勒 1 Pit-Claudel，Clément公司 1 纳迪亚·波里卡波娃 1 梅纳·奎梅纳 1 比诺伊·拉文德兰 1 卢克·雷希尔 1 鲁本·罗伊，N.S。 1 伊利亚·谢尔盖 1 托马斯·D·休厄尔。 1 Natarajan Shankar 1 杰夫·萨特克利夫 1 纳塔利·斯兹纳杰德 1 Saleh S.大不里奇。 1 弗里克·韦贝克 1 王鹏 1 黄，安戎 1 是的，埃里克 全部的 前5名引用于6个系列 10 自动推理杂志 4 开放经济评论 1 符号计算杂志 1 人工智能通信 1 经济理论 1 函数编程杂志 在5个字段中引用 28 计算机科学（68至XX） 5 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 组合数学（05-XX） 2 数学逻辑和基础（03-XX） 2 运筹学、数学规划（90-XX） 按年份列出的引文