编辑配置文件（在新选项卡中打开） 格雷戈里·马莱查 合著者距离 作者ID： 马莱沙·格雷戈里 发布日期： 格雷戈里·马莱查 已编制索引的文档： 9出版物自2009年起 合著者： 19位合著者具有9联合出版物 171位合作作者 全部的 前5名合著者 0 单作者的 4 格雷格·莫里塞特 3 瑞安·威斯内斯基 2 Adam J.Chlipala。 2 谢里夫·萨拉马 2 阿夫拉罕·辛纳 2 瓦利德·塔哈 1 阿南德，阿比舍克 1 杰斯珀·本特森 1 西蒙·博利埃 1 托马斯·布雷班特 1 西里尔·科恩 1 扬尼克·福斯特 1 詹妮弗·吉伦沃特 1 吉姆·格兰迪 1 费边·昆泽 1 索索、马蒂厄 1 尼古拉斯·塔巴鲁 1 塞奥温特哈尔特 1 朱安吉拉·云 系列 1 符号计算杂志 1 新一代计算 1 自动推理杂志 1 高阶和符号计算 领域 9 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用37中的次33文件 引用人▼ 年份▼ 高阶命令式程序的有效交互证明。 Zbl 1302.68087号 亚当·奇利帕拉;格雷戈里·马莱查;格雷格·莫里塞特;阿夫拉罕·辛纳;瑞安·威斯内斯基 13 2009 走向一个经过验证的关系数据库管理系统。 Zbl 1312.68083号 格雷戈里·马莱查;格雷格·莫里塞特;阿夫拉罕·辛纳;瑞安·威斯内斯基 7 2010 这个MetaCoq公司项目。 Zbl 1468.68075号 索索、马蒂厄;阿南德，阿比舍克;西蒙·博利埃;西里尔·科恩;扬尼克·福斯特;费边·昆泽;格雷戈里·马莱查;尼古拉斯·塔巴鲁;塞奥温特哈尔特 7 2020 合成计算反射。 Zbl 1416.68171号 格雷戈里·马莱查;亚当·奇利帕拉;托马斯·布雷班特 5 2014 使用I/O对命令式程序进行基于跟踪的验证。 Zbl 1215.68070号 格雷戈里·马莱查;格雷格·莫里塞特;瑞安·威斯内斯基 2 2011 通过反思策略实现可扩展和高效的自动化。 Zbl 1335.68234号 格雷戈里·马莱查;杰斯珀·本特森 2 2016 共享的机械化验证。 Zbl 1286.68321号 格雷戈里·马莱查;格雷格·莫里塞特 1 2010 这个MetaCoq公司项目。 Zbl 1468.68075号 索索、马蒂厄;阿南德，阿比舍克;西蒙·博利埃;西里尔·科恩;扬尼克·福斯特;费边·昆泽;格雷戈里·马莱查;尼古拉斯·塔巴鲁;塞奥温特哈尔特 7 2020 通过反思策略实现可扩展且高效的自动化。 Zbl 1335.68234号 格雷戈里·马莱查;杰斯珀·本特森 2 2016 合成计算反射。 Zbl 1416.68171号 格雷戈里·马莱查;亚当·奇利帕拉;托马斯·布雷班特 5 2014 使用I/O对命令式程序进行基于跟踪的验证。 Zbl 1215.68070号 格雷戈里·马莱查;格雷格·莫里塞特;瑞安·威斯内斯基 2 2011 走向一个经过验证的关系数据库管理系统。 Zbl 1312.68083号 格雷戈里·马莱查;格雷格·莫里塞特;阿夫拉罕·辛纳;瑞安·威斯内斯基 7 2010 共享的机械化验证。 Zbl 1286.68321号 格雷戈里·马莱查;格雷格·莫里塞特 1 2010 高阶命令式程序的有效交互证明。 Zbl 1302.68087号 亚当·奇利帕拉;格雷戈里·马莱查;格雷格·莫里塞特;阿夫拉罕·辛纳;瑞安·威斯内斯基 13 2009 所有引用出版物 前5名被引用出版物 全部的 前5名92位作者引用 3 格雷戈里·马莱查 3 沃特·斯威斯特拉 2 亚瑟·查古埃罗 2 詹姆斯·切尼 2 李锡盟 2 弗朗索瓦·波蒂埃 1 Joao Alpuim 1 阿南德，阿比舍克 1 丹尼尔·安尼科夫 1 文森特·巴拉特 1 David A.Basin。 1 杰斯珀·本特森 1 豪尔赫·布拉兹奎兹 1 西蒙·博利埃 1 埃德温·布雷迪（Edwin C.Brady）。 1 理查德·布贝尔 1 Manuel M.T.查克拉瓦蒂。 1 纳撒尼尔·查尔顿 1 魏恩根·钦 1 西里尔·科恩 1 大卫·达赖 1 蒂鲍特·达迪尼尔 1 布里杰什·多戈尔 1 德里克·德雷尔（Derek R.Dreyer）。 1 凯瑟琳·杜布瓦 1 弗兰蒂舍克·法尔卡 1 大流士·富 1 扬尼克·福斯特 1 霍尔格·加斯特 1 维克多·戈麦斯。 1 去吧，马修 1 关勇 1 阿玛·盖诺 1 雷纳·哈内尔 1 卢卡斯·海姆斯 1 马克·赫尔墨斯 1 本·霍斯福尔 1 侯哲 1 拉德哈·贾加迪桑 1 Alan S.A.杰弗里。 1 加布里埃尔·科妮莉亚·凯勒 1 多米尼克·柯斯特 1 佩皮因·科克 1 Krijnen，Jacco首席执行官。 1 克里希纳斯瓦米，尼拉坎坦·R。 1 Sr Djan Krstić 1 拉马纳·库马尔 1 费边·昆泽 1 Amélie Ledein 1 刘，杨 1 阿尔贝托·卢什·拉富恩特 1 塞维琳·梅因高 1 保罗·马斯奇 1 米克尔·米洛 1 亚历山大·米克尔 1 黑山，曼努埃尔 1 马修·蒙廷 1 格雷格·莫里塞特 1 米德勒，尼尔斯 1 玛格努斯·奥·米林。 1 亚历山大·纳涅夫斯基 1 尼尔森，雅各布·博茨 1 弗莱明·尼尔森 1 托比亚斯·尼普科 1 诺里斯，迈克尔 1 科林·皮彻 1 马丁·拉西克 1 罗伊斯，伯恩哈德 1 威尔默·里奇奥蒂 1 詹姆斯·里利 1 汉内·里斯·尼尔森 1 肯尼思·罗伊 1 大卫·萨南 1 Joshua P.施耐德。 1 克拉拉·塞古拉 1 史志平 1 弗兰克·斯拉玛 1 宋亚辉 1 索索、马蒂厄 1 溅出物，Bas 1 乔治·斯特鲁斯 1 尼古拉斯·塔巴鲁 1 阿文·费南托（Alwen Fernanto Tiu） 1 德米特里·特拉泰尔 1 城市，基督教 1 维克托·瓦菲亚迪斯 1 David A.VanHorn。 1 王国辉 1 塞奥温特哈尔特 1 瑞安·威斯内斯基 1 张倩莹 1 贝塔·齐利安尼 全部的 前5名7篇连载文章中引用 5 自动推理杂志 3 函数编程杂志 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 符号计算杂志 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 在3个字段中引用 33 计算机科学（68至XX） 8 数学逻辑和基础（03-XX） 2 有序，格，有序代数结构（06-XX） 按年份列出的引文