编辑配置文件（在新选项卡中打开） 戈登·斯图尔特 合著者距离 作者ID： 斯图尔特·戈登 发布日期： 戈登·斯图尔特 已编制索引的文档： 10出版物自2010年起，包括1本书 合著者： 17合著者具有8联合出版物 108位合作作者 全部的 前5名合著者 1 单作者的 4 安德鲁·W·阿佩尔。 4 伦纳特·贝林格 三 亚历山大·巴格纳尔 三 塞缪尔·梅尔滕 2 罗伯特·多金斯 1 Asenov，阿森 1 布兰奇，桑德琳 1 圣地亚哥库埃拉 1 约西亚·多兹 1 阿奎那·霍伯 1 泽维尔·勒罗伊 1 凯尔·洛克伍德 1 米勒，坎贝尔 1 戴夫·里德 1 罗伊，加雷思 1 罗伊，斯科特 1 理查德·辛诺特。 1 格雷姆·斯图尔特 1 蒂利，伯特·S·。 系列 1 工程数学杂志 1 形式化推理期刊 全部的 前5名领域 8 计算机科学（68至XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 数值分析（65-XX） 1 可变形固体力学（74-XX） 1 统计力学，物质结构（82-XX） 1 地球物理学（86-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用40中的次35文件 引用人▼ 年份▼ 认证编译器的程序逻辑。 Zbl 1298.68009号 安德鲁·W·阿佩尔。;罗伯特·多金斯;阿奎那·霍伯;伦纳特·贝林格;约西亚·多兹;戈登·斯图尔特;布兰奇，桑德琳;泽维尔·勒罗伊 26 2014 成分CompCert。 Zbl 1346.68056号 戈登·斯图尔特;伦纳特·贝林格;圣地亚哥库埃拉;安德鲁·W·阿佩尔。 7 2015 已验证共享内存C的编译。 Zbl 1346.68045号 伦纳特·贝林格;戈登·斯图尔特;罗伯特·多金斯;安德鲁·W·阿佩尔。 5 2014 同心住宅地热换热器的热阻。 Zbl 1356.86012号 弗雷，S。;K·洛克伍德。;G.斯图尔特。;J.博伊尔。;蒂利，B.S。 2 2014 通过参数调制验证堆定理证明器。 Zbl 1291.68371号 戈登·斯图尔特;伦纳特·贝林格;安德鲁·W·阿佩尔。 2 2012 成分CompCert。 Zbl 1346.68056号 戈登·斯图尔特;伦纳特·贝林格;圣地亚哥库埃拉;安德鲁·W·阿佩尔。 7 2015 认证编译器的程序逻辑。 Zbl 1298.68009号 安德鲁·W·阿佩尔。;罗伯特·多金斯;阿奎那·霍伯;伦纳特·贝林格;约西亚·多兹;戈登·斯图尔特;布兰奇，桑德琳;泽维尔·勒罗伊 26 2014 已验证共享内存C的编译。 兹比尔1346.68045 伦纳特·贝林格;戈登·斯图尔特;罗伯特·多金斯;安德鲁·W·阿佩尔。 5 2014 同心住宅地热换热器的热阻。 兹比尔1356.86012 弗雷，S。;K·洛克伍德。;斯图尔特，G。;J.博伊尔。;蒂利，B.S。 2 2014 通过参数调制验证堆定理证明器。 Zbl 1291.68371号 戈登·斯图尔特;伦纳特·贝林格;安德鲁·W·阿佩尔。 2 2012 所有引用出版物 前5名被引用出版物 全部的 前5名85位作者引用 6 安德鲁·W·阿佩尔。 4 拉尔斯·比克达尔 4 罗伯特·克雷伯斯 三 杰斯珀·本特森 三 伦纳特·贝林格 三 阿列舍·比兹亚克 2 卡明·阿巴特 2 吉尔·巴特 2 布兰奇，桑德琳 2 曹勤祥 2 德里克·德雷尔（Derek R.Dreyer）。 2 雅克·亨利·乔尔丹 2 拉尔夫·荣格 2 文森特·拉波特 2 詹斯·佩格尔 2 大卫·皮哈迪 2 弗洛里安·祖勒格 1 阿迈勒·艾哈迈德 1 泽纳·M·阿里奥拉。 1 何塞·巴塞拉尔·阿尔梅达 1 卡勒姆·班尼斯特 1 曼纽尔·巴博萨 1 弗雷德里克·贝松 1 古斯塔沃·贝塔特 1 罗伯托·布兰科 1 威廉·鲍曼。 1 Busi，Matteo公司 1 胡安·迭戈·坎波 1 Adam J.Chlipala。 1 瑟·特凡·乔巴赫 1 Joshua M.科恩。 1 圣地亚哥库埃拉 1 特拉华州，本杰明 1 约西亚·多兹 1 保罗·唐恩 1 阿德里安·杜里埃 1 Anthony C.J.福克斯。 1 迪帕克·加格 1 拉杰夫·普拉巴卡尔·戈尔 1 杰森·格罗斯 1 格罗夫斯，Lindsay J。 1 塞缪尔·格吕特 1 彼得·霍夫纳 1 霍诺雷，沃尔夫 1 侯哲 1 Hriţcu，科特林 1 沙迦·伊扎基 1 乔纳斯·卡斯伯格·辛里奇森 1 Paulette Koronkevich 1 拉马纳·库马尔 1 彼得·兰米奇 1 刘伟祥 1 泽维尔·勒罗伊 1 卡洛斯·卢纳 1 格雷戈里·马莱查 1 威廉·曼斯基 1 克里斯托夫·马提亚 1 安舒曼·莫汉 1 玛格努斯·奥·米林。 1 戴维·诺曼（David A.Naumann）。 1 迈克尔·诺里什 1 斯科特·欧文斯 1 马可·帕特里格纳尼 1 马可·帕维奥蒂 1 大卫·J·皮尔斯。 1 希拉·佩勒 1 Pit-Claudel，Clément公司 1 纳迪亚·波里卡波娃 1 拉蒙·拉科夫 1 鲁本·罗伊，N.S。 1 伊利亚·谢尔盖 1 菲利普·西奇科夫斯基 1 乔治·斯特鲁斯 1 卡斯珀·斯文森 1 Tan，Yong Kiam先生 1 埃里克·坦特 1 Laurent Théry 1 杰雷米·蒂鲍特 1 阿文·费南托（Alwen Fernanto Tiu） 1 斯泰利奥斯·赞帕斯 1 马克·乌廷 1 王鹏 1 王钦石 1 弗里克·威迪杰克 1 皮埃尔·威尔克 全部的 前5名7篇连载文章中引用 7 自动推理杂志 三 函数编程杂志 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 系统设计中的形式化方法 1 ACM计算逻辑事务 1 计算机科学中的数学 在4个字段中引用 32 计算机科学（68至XX） 16 数学逻辑和基础（03-XX） 2 信息与通信理论、电路（94-XX） 1 总体主题；集合（00-XX） 按年份列出的引文