编辑配置文件（在新选项卡中打开） 顾荣辉 合著者距离 作者ID： 顾龙辉 发布日期： 顾荣辉 编入索引的文档： 4出版物自1995年起 合著者： 11位合著者具有3联合出版物 249联合作者 全部的 前5名合著者 0 单作者的 2 邵，钟 2 吴雄南 1 陈浩 1 穆罕默德·艾尔马斯里。 1 郭瑜 1 杰雷米·柯尼格 1 约书亚·洛克曼 1 塔希纳拉马纳南德罗 1 翁淑春 1 杨俊峰 1 袁新浩 1 大卫·D·张。 1 张浩忠 系列 1 自动推理杂志 1 神经、并行和科学计算 领域 4 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用11中的次10文件 引用人▼ 年份▼ 深度规范和经过认证的抽象层。 Zbl 1345.68107号 顾荣辉;杰雷米·柯尼格;塔希纳州拉马南安德罗;邵，钟;吴雄南（纽曼）;翁淑春;张浩忠;郭瑜 9 2015 面向可中断操作系统内核和设备驱动程序的组合验证。 Zbl 1451.68170号 陈浩;吴雄南;邵，钟;约书亚·洛克曼;顾荣辉 2 2018 面向可中断操作系统内核和设备驱动程序的组合验证。 Zbl 1451.68170号 陈浩;吴雄南;邵，钟;约书亚·洛克曼;顾荣辉 2 2018 深度规范和经过认证的抽象层。 Zbl 1345.68107号 顾荣辉;杰雷米·柯尼格;塔希纳州拉马南安德罗;邵，钟;吴雄南（纽曼）;翁淑春;张浩忠;郭瑜 9 2015 所有引用出版物 前5名被引用出版物 全部的 前5名32位作者引用 2 格温·克莱恩 1 阿马尔·艾哈迈德 1 西德尼·阿曼尼 1 安德鲁·W·阿佩尔。 1 泽娜·阿里奥拉。 1 吉尔·巴特 1 杰斯珀·本特森 1 Lennart贝林格 1 古斯塔沃·贝塔特 1 威廉·鲍曼。 1 胡安·迭戈·坎波 1 陈浩 1 陈子林 1 保罗·唐恩 1 顾荣辉 1 霍诺雷，沃尔夫 1 文森特·杰克逊 1 加布里埃尔·科妮莉亚·凯勒 1 杰雷米·柯尼格 1 Paulette Koronkevich 1 约书亚·洛克曼 1 卡洛斯·卢纳 1 威廉·曼斯基 1 托比·默里 1 利亚姆·奥康纳 1 马尔科·帕维奥蒂 1 拉蒙·拉科夫 1 克里斯汀·里兹卡拉 1 托马斯·D·休厄尔。 1 邵，钟 1 Syeda、Hira Taqdees 1 吴雄南 4篇连载文章中引用 三 自动推理杂志 2 函数编程杂志 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 10 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 1 范畴理论；同调代数（18-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文