编辑配置文件(在新选项卡中打开) 格雷格·莫里塞特 合著者距离 作者ID: 莫里塞特.greg 发布日期: 格雷格·莫里塞特 外部链接: MGP公司·维基数据·数据库许可证 已编制索引的文档: 35出版物自1997年起 1进一步贡献 合著者: 24位合著者具有31份联合出版物 383位合作作者 全部的 前5名合著者 1 单作者的 6 Fluet,Matthew T。 5 阿马尔·艾哈迈德 5 拉尔斯·比克达尔 5 卡尔·克里 5 阿列克桑达尔·纳内夫斯基 4 丹·格罗斯曼 4 格雷戈里·马莱查 三 阿夫拉罕·辛纳 三 斯蒂芬妮,威里奇 三 瑞安·威斯内斯基 2 Neal Glew先生 2 罗伯特·哈珀 2 吉姆·特雷弗 2 弗雷德里克·史密斯。 2 Tan、Gang 1 阿卡尔(Umut A.Acar)。 1 阿加瓦尔,阿什什 1 卡洛·安吉利 1 埃文·卡瓦洛 1 佩里·程 1 Adam J.Chlipala。 1 德里克·德雷尔(Derek R.Dreyer)。 1 爱德华·甘 1 保罗·戈维罗 1 卢克·霍诺夫 1 侯(法沃尼亚),Kuen Bang 1 丹·利卡塔 1 汤姆七世墨菲 1 彼得森,叶 1 Rasmus Lerchedahl彼得森 1 本杰明·皮尔斯。 1 溅出物,Bas 1 丹尼尔·斯波恩豪威尔 1 乔纳森·斯特林 1 克里斯托弗·A·斯通。 1 尼基尔·斯瓦米 1 约瑟夫·塔萨罗蒂 1 杰西·托夫(Jesse A.Tov)。 1 史蒂夫·兹丹切维奇 系列 7 函数编程杂志 1 计算机程序设计科学 1 符号计算杂志 1 自动推理杂志 1 计算机基础理论 字段 35 计算机科学(68-XX) 9 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 28出版物有被引用157中的次123文件 引用人▼ 年份▼ 勘误表为:“基于堆栈的类型化汇编语言”。 兹比尔1110.68361 格雷格·莫里塞特;卡尔·克里;Neal Glew先生;大卫·沃克 21 2003 Ynot:命令式程序的依赖类型。 Zbl 1323.68142号 阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特;阿夫拉罕·辛纳;保罗·戈维罗;拉尔斯·比克达尔 18 2008 霍尔类型理论、多态性和分离。 Zbl 1155.68354号 阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特;拉尔斯·比克达尔 17 2008 高阶命令式程序的有效交互证明。 Zbl 1302.68087号 亚当·奇利帕拉;格雷戈里·马莱查;格雷格·莫里塞特;阿夫拉罕·辛纳;瑞安·威斯内斯基 13 2009 类型错误语义中的内涵多态性。 兹比尔1040.68059 卡尔·克里;斯蒂芬妮,威里奇;格雷格·莫里塞特 9 2002 霍尔类型理论中的多态性和分离。 Zbl 1321.68351号 阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特;拉尔斯·比克达尔 9 2006 别名类型。 Zbl 0971.68584号 弗雷德里克·史密斯;大卫·沃克;格雷格·莫里塞特 8 2000 走向一个经过验证的关系数据库管理系统。 Zbl 1312.68083号 格雷戈里·马莱查;格雷格·莫里塞特;阿夫拉罕·辛纳;瑞安·威斯内斯基 7 2010 基于堆栈的类型化汇编语言。 Zbl 0998.68037号 格雷格·莫里塞特;卡尔·克里;Neal Glew先生;大卫·沃克 6 2002 线性区域就是您所需要的全部。 Zbl 1178.68151号 马修·弗鲁特;格雷格·莫里塞特;阿马尔·艾哈迈德 5 2006 Hoare类型理论中的抽象谓词和可变ADT。 Zbl 1187.68158号 阿列克桑达尔·纳内夫斯基;阿马尔·艾哈迈德;格雷格·莫里塞特;拉尔斯·比克达尔 5 2007 非独立Hoare类型理论的可实现性模型。 Zbl 1133.68311号 Rasmus Lerchedahl彼得森;拉尔斯·比克达尔;阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特 5 2008 Cyclone中的安全手动内存管理。 Zbl 1103.68031号 尼基尔·斯瓦米;迈克尔·希克斯;格雷格·莫里塞特;丹·格罗斯曼;吉姆·特雷弗 4 2006 \(L^3\):一种有位置的线性语言。 Zbl 1121.68021号 阿马尔·艾哈迈德;马修·弗莱特;格雷格·莫里塞特 4 2007 子结构状态的阶跃诱导模型。 Zbl 1302.68048号 阿马尔·艾哈迈德;马修·弗莱特;格雷格·莫里塞特 4 2005 递归数据结构的别名类型。 Zbl 0985.68007号 大卫·沃克;格雷格·莫里塞特 三 2001 \(\text{L}^{3}\):带位置的线性语言。 Zbl 1112.68341号 格雷格·莫里塞特;阿马尔·艾哈迈德;马修·弗莱特 三 2005 类型错误语义中的内涵多态性。 Zbl 1370.68046号 卡尔·克里;斯蒂芬妮,威里奇;格雷格·莫里塞特 三 1997 一元区域。 Zbl 1122.68020号 马修·弗莱特;格雷格·莫里塞特 2 2006 机器码解码和编码的双向语法。 Zbl 1426.68069号 Tan、Gang;格雷格·莫里塞特 2 2018 使用I/O对命令式程序进行基于跟踪的验证。 Zbl 1215.68070号 格雷戈里·马莱查;格雷格·莫里塞特;瑞安·威斯内斯基 2 2011 递归定义函数的类型闭包转换。(扩展摘要)。 Zbl 0925.68298号 格雷格·莫里塞特;罗伯特·哈珀 1 1997 可计算分布在概率程序语义中的应用。 Zbl 07311043号 Huang,Daniel黄;格雷格·莫里塞特;溅出物,Bas 1 2021 轻量级子结构类型的类型类。 Zbl 1477.68071号 爱德华·甘;杰西·托夫(Jesse A.Tov)。;格雷格·莫里塞特 1 2015 编程语言中的原理,一种语法证明技术。 Zbl 1345.68114号 史蒂夫·兹丹切维奇;格罗斯曼,丹;格雷格·莫里塞特 1 1999 可计算分布在概率编程语言语义中的应用。 Zbl 1335.68028号 丹尼尔·黄;格雷格·莫里塞特 1 2016 一元区域。 Zbl 1323.68112号 马修·弗莱特;格雷格·莫里塞特 1 2004 共享的机械化验证。 兹比尔1286.68321 格雷戈里·马莱查;格雷格·莫里塞特 1 2010 可计算分布在概率程序语义中的应用。 Zbl 07311043号 丹尼尔·黄;格雷格·莫里塞特;溅出物,Bas 1 2021 机器码解码和编码的双向语法。 Zbl 1426.68069号 Tan、Gang;格雷格·莫里塞特 2 2018 可计算分布在概率编程语言语义中的应用。 Zbl 1335.68028号 丹尼尔·黄;格雷格·莫里塞特 1 2016 轻量级子结构类型的类型类。 Zbl 1477.68071号 爱德华·甘;杰西·托夫(Jesse A.Tov)。;格雷格·莫里塞特 1 2015 使用I/O对命令式程序进行基于跟踪的验证。 Zbl 1215.68070号 格雷戈里·马莱查;格雷格·莫里塞特;瑞安·威斯内斯基 2 2011 走向一个经过验证的关系数据库管理系统。 Zbl 1312.68083号 格雷戈里·马莱查;格雷格·莫里塞特;阿夫拉罕·辛纳;瑞安·维斯基 7 2010 共享的机械化验证。 Zbl 1286.68321号 格雷戈里·马莱查;格雷格·莫里塞特 1 2010 高阶命令式程序的有效交互证明。 Zbl 1302.68087号 亚当·奇利帕拉;格雷戈里·马莱查;格雷格·莫里塞特;阿夫拉罕·辛纳;瑞安·威斯内斯基 13 2009 Ynot:命令式程序的依赖类型。 Zbl 1323.68142号 亚历山大·纳涅夫斯基;格雷格·莫里塞特;阿夫拉罕·辛纳;保罗·戈维罗;拉尔斯·比克达尔 18 2008 霍尔类型理论、多态性和分离。 Zbl 1155.68354号 阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特;拉尔斯·比克达尔 17 2008 非独立Hoare类型理论的可实现性模型。 Zbl 1133.68311号 Rasmus Lerchedahl彼得森;拉尔斯·比克达尔;阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特 5 2008 Hoare类型理论中的抽象谓词和可变ADT。 Zbl 1187.68158号 阿列克桑达尔·纳内夫斯基;阿马尔·艾哈迈德;格雷格·莫里塞特;拉尔斯·比克达尔 5 2007 \(L^3):具有位置的线性语言。 兹比尔1121.68021 阿马尔·艾哈迈德;马修·弗莱特;格雷格·莫里塞特 4 2007 霍尔类型理论中的多态性和分离。 Zbl 1321.68351号 阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特;拉尔斯·比克达尔 9 2006 线性区域就是您所需要的全部。 兹比尔1178.68151 马修·弗莱特;格雷格·莫里塞特;阿马尔·艾哈迈德 5 2006 Cyclone中的安全手动内存管理。 Zbl 1103.68031号 尼基尔·斯瓦米;迈克尔·希克斯;格雷格·莫里塞特;丹·格罗斯曼;吉姆·特雷弗 4 2006 一元区域。 Zbl 1122.68020号 马修·弗鲁特;格雷格·莫里塞特 2 2006 子结构状态的阶跃诱导模型。 Zbl 1302.68048号 阿马尔·艾哈迈德;马修·弗莱特;格雷格·莫里塞特 4 2005 \(\text{L}^{3}\):带位置的线性语言。 Zbl 1112.68341号 格雷格·莫里塞特;阿马尔·艾哈迈德;马修·弗莱特 三 2005 一元区域。 Zbl 1323.68112号 马修·弗莱特;格雷格·莫里塞特 1 2004 勘误表为:“基于堆栈的类型化汇编语言”。 Zbl 1110.68361号 格雷格·莫里塞特;卡尔·克里;Neal Glew先生;大卫·沃克 21 2003 类型错误语义中的内涵多态性。 Zbl 1040.68059号 卡尔·克里;斯蒂芬妮,威里奇;格雷格·莫里塞特 9 2002 基于堆栈的类型化汇编语言。 Zbl 0998.68037号 格雷格·莫里塞特;卡尔·克里;Neal Glew先生;大卫·沃克 6 2002 递归数据结构的别名类型。 兹比尔0985.68007 大卫·沃克;格雷格·莫里塞特 三 2001 别名类型。 Zbl 0971.68584号 弗雷德里克·史密斯;大卫·沃克;格雷格·莫里塞特 8 2000 编程语言中的原理,一种语法证明技术。 Zbl 1345.68114号 史蒂夫·兹丹切维奇;丹·格罗斯曼;格雷格·莫里塞特 1 1999 类型错误语义中的内涵多态性。 兹比尔1370.68046 卡尔·克里;斯蒂芬妮,威里奇;格雷格·莫里塞特 三 1997 递归定义函数的类型闭包转换。(扩展摘要)。 Zbl 0925.68298号 格雷格·莫里塞特;罗伯特·哈珀 1 1997 所有引用出版物 排名前五的出版物 全部的 前5名248位作者引用 8 拉尔斯·比克达尔 4 格雷格·莫里塞特 4 弗朗索瓦·波蒂埃 4 罗伊斯,伯恩哈德 三 纳撒尼尔·查尔顿 三 奥列格·基塞利约夫 三 阿列克桑达尔·纳内夫斯基 三 雅各布·塔姆斯堡 三 吉田、Nobuko 2 安德烈亚斯·阿贝尔(Andreas M.Abel)。 2 丹尼尔·艾哈曼 2 杰斯珀·本特森 2 亚瑟·查古埃罗 2 詹姆斯·切尼 2 皮埃尔·奇夫利埃 2 魏恩根·钦 2 卡尔·克里 2 埃德斯科·德弗里斯 2 董,袁 2 迪帕克·加格 2 维克多·戈麦斯。 2 纪尧姆·希特 2 本·霍斯福尔 2 Yukiyoshi县Kameyama 2 直纪小林 2 拉尔夫·拉梅尔 2 彼得·兰米奇 2 泽维尔·勒罗伊 2 托马斯·莱坦 2 格雷戈里·马莱查 2 黑山,曼努埃尔 2 玛格努斯·奥·米林。 2 多米尼克·A·乌节。 2 卢卡·帕多瓦尼 2 碧姬·品特卡 2 雷吉斯·贾纳斯,亚恩 2 克拉拉·塞古拉 2 菲利普·西奇科夫斯基 2 克里斯蒂安·斯特夫林 2 乔治·斯特鲁斯 2 沃特·斯威斯特拉 2 彼得·蒂曼。 1 阿马尔·艾哈迈德 1 艾尔维拉·阿尔伯特 1 纪尧姆·阿拉伊斯 1 Joao Alpuim 1 安徒生、克里斯托弗·贾斯特·阿恩达尔 1 安德鲁·W·阿佩尔。 1 阿拉斯代尔·阿姆斯特朗 1 大卫·阿斯皮纳尔 1 罗伯特·艾奇 1 文森特·巴拉特 1 David A.Basin。 1 Bidlingmaier,Martin E。 1 豪尔赫·布拉兹奎兹 1 布兰登·伯勒 1 克劳德·博尔杜克 1 维维亚娜·博诺 1 杰拉德·布多尔 1 威廉·鲍曼。 1 Brachthäuser,乔纳森·伊曼纽尔 1 Jörg Brauer 1 理查德·布贝尔 1 卢卡斯·布尔瓦恩 1 陈一云 1 安德鲁·科布 1 克里斯托弗·科尔比 1 特里斯坦·克罗拉德 1 瑞安·库佩普 1 蒂鲍特·达迪尼尔 1 阿努帕姆·达塔 1 克里斯蒂娜·大卫 1 罗伯特·多金斯 1 布里杰什·多戈尔 1 加布里埃尔·多斯·里斯 1 德里克·德雷尔(Derek R.Dreyer)。 1 多米尼克·达根 1 康斯坦丁·迪姆尼科夫 1 哈雷III伊德斯 1 勒文特·埃尔科克 1 弗洛里安·费索尔 1 冯新余 1 大流士·富 1 杰弗里·福斯特。 1 杰森·富兰克林 1 马可·加博阿迪 1 甘,爱德华 1 霍尔格·加斯特 1 Nadji Gauthier 1 艾娜·林·乔治斯 1 尼尔·加尼 1 谢尔盖·冈查洛夫 1 迈克尔·J·C·戈登。 1 去吧,马修 1 克莱门斯·格雷克 1 阿玛·盖诺 1 阿琼·古哈 1 郭瑜 1 克里斯蒂安·哈克 1 弗洛里安·哈夫特曼 …还有148位作者 全部的 前5名18篇连载文章中引用 11 函数编程杂志 8 自动推理杂志 6 计算机程序设计科学 5 理论计算机科学 5 MSCS公司。计算机科学中的数学结构 5 高阶和符号计算 4 信息与计算 三 逻辑与代数程序设计杂志 三 计算机科学中的逻辑方法 2 信息学报 2 新一代计算 2 计算的形式方面 2 中国计算机科学前沿 2 程序设计中的逻辑和代数方法杂志 1 符号计算杂志 1 计算机科学与技术杂志 1 系统设计中的形式化方法 1 科学中国。信息科学 全部的 前5名在6个字段中引用 122 计算机科学(68-XX) 32 数学逻辑和基础(03-XX) 7 范畴理论;同调代数(18-XX) 1 阶、格、有序代数结构(06-XX) 1 测量和集成(28-XX) 1 代数拓扑(55-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.