编辑配置文件（在新选项卡中打开） 安德鲁·戈登。 合著者距离 作者ID： 戈登·安德烈-d 发布日期： 安德鲁·戈登。；安德鲁·戈登；A.D.戈登。 更多。。。较少的 已编制索引的文档： 94出版物自1973年以来，包括4本书和2个附加arXiv预打印 9作为编辑的贡献 合著者： 51位合著者具有66联合出版物 945联合作者 全部的 前5名合著者 26 单作者的 12 约翰·博格斯特罗姆 11 卢卡·卡德利 9 塞德里克·Fornet 6 卡尔蒂基扬·巴尔干 6 Alan S.A.杰弗里。 6 克劳迪奥·鲁索。 4 达尔·齐利奥（Dal Zilio，Silvano） 4 乔治·盖利 4 里卡多·普切拉 三 马丁·阿巴迪 三 维托尔德·查拉托尼克 三 罗伊·克罗。 三 索尔·格雷佩尔 三 安德鲁·皮特斯（Andrew M.Pitts）。 三 凯瑟琳·伊丽莎白·鲍威尔 三 马钦·西姆扎克 三 Jean-Marc Talbot 2 约瑟夫·艾夫伦（Joseph E.Avron）。 2 巴特，苏拉杰 2 加文·M·比尔曼。 2 迈克尔·D·格林伯格。 2 保罗·汉金。 2 Hriţcu，科特林 2 David E.Langworthy。 2 詹姆斯·马盖特森 2 Supratik穆霍帕迪耶 2 尼古拉斯·罗兰 2 唐·赛姆 2 尤尔根·范盖尔 2 毛里齐奥·维奇 2 迈克尔·维尼基 1 卢卡·埃特罗 1 米哈伊尔·艾扎图林 1 巴卡列尼科夫，洛杉矶。 1 斯蒂芬·巴克兰（Stephen T.Buckland）。 1 R.W.拜恩。 1 克里斯蒂亚诺·加尔卡尼奥 1 朱塞佩·卡斯塔尼亚 1 钱伯斯，P.R.G。 1 红葡萄酒、纪尧姆 1 雪莉·Y·科尔曼。 1 乌戈·达尔拉戈 1 约翰·吉尔弗（John P.Guiver）。 1 汉森、雷内·里多夫 1 罗伯特·哈珀 1 亨德森，J.T。 1 汉斯·休特尔 1 尼玛·乔哈里扎德 1 彼得·朱普（Peter E.Jupp）。 1 瑟伦·拉森。 1 塞尔吉奥·马菲斯 1 阿迪蒂亚·维塔尔·诺里 1 欧阳、龙 1 安德鲁·菲利普斯 1 Rajamani，Sriram K。 1 阿德瓦伊特·萨卡尔 1 亚当·西比奥 1 彼得·休厄尔 1 卡罗琳·塔尔科特。 1 丹尼尔·塔洛 1 谢霆锋（Stephen Tse） 全部的 前5名系列 6 理论计算机科学 5 函数编程杂志 三 分类杂志 三 信息与计算 三 计算统计与数据分析 三 理论计算机科学电子笔记 2 生物特征 2 MSCS公司。计算机科学中的数学结构 2 计算机科学杰出论文 2 计算机科学课堂讲稿 2 计算机科学中的逻辑方法 1 IMA数值分析杂志 1 工程数学杂志 1 《物理快报》。A类 1 心理测量学 1 生物计量学 1 英国数学与统计心理学杂志 1 爱丁堡数学学会会刊。系列II 1 英国皇家统计学会杂志。系列A 1 计算的形式方面 1 北欧计算机杂志 1 伦敦皇家学会会刊。系列A.数学、物理和工程科学 1 应用统计学杂志 1 数学地质学 1 统计学和应用概率专著 1 牛顿研究所出版物 1 SIAM/ASA不确定性量化杂志 1 应用概率与统计学专著 全部的 前5名领域 73 计算机科学（68至XX） 20 统计学（62-XX） 11 信息与通信理论、电路（94-XX） 10 数学逻辑和基础（03-XX） 8 总体主题；集合（00-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 偏微分方程（35-XX） 三 概率论与随机过程（60-XX） 三 数值分析（65-XX） 2 统计力学，物质结构（82-XX） 1 历史和传记（01-XX） 1 组合数学（05-XX） 1 流体力学（76-XX） 1 经典热力学，传热（80-XX） 1 地球物理学（86-XX） 1 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 71出版物有被引用744中的次538文件 引用人▼ 年份▼ 移动环境。 Zbl 0954.68108号 卡德利，L。；A.D.戈登。 203 2000 密码协议演算：spi演算。 Zbl 0924.68073号 马丁·阿巴迪；安德鲁·戈登。 129 1999 分类。第2版。 Zbl 0929.62068号 A.D.戈登。 97 1999 随时随地：移动环境的模态逻辑。 Zbl 1323.68405号 卢卡·卡德利；安德鲁·戈登。 63 2000 分类。多元数据的探索性分析方法。 Zbl 0507.62057号 A.D.戈登。 44 1981 等级分类综述。 Zbl 0616.62086号 A.D.戈登。 29 1987 密码协议的互模拟方法。 Zbl 0913.68062号 马丁·阿巴迪；安德鲁·戈登。 26 1998 流动环境的等式性质。 兹比尔1085.68099 安德鲁·戈登。；卢卡·卡德利 22 2003 共识超树：包含重叠标记叶集的有根树的合成。 兹比尔062362051 A.D.戈登。 19 1986 周围人群和流动类型。 Zbl 0998.68536号 卢卡·卡德利；乔治·盖利；安德鲁·戈登。 18 2000 移动环境。重印2001年精装版。 Zbl 1253.68238号 卢卡·卡德利；安德鲁·戈登。 18 2010 并发对象演算：约简和类型。 Zbl 0917.68064号 A.D.戈登。；汉金，P.D。 18 1998 环境演算的类型。 Zbl 1093.68060号 卢卡·卡德利；乔治·盖利；安德鲁·戈登。 16 2002 作为函数编程理论的相似性。 Zbl 0968.68028号 安德鲁·戈登。 15 1999 通用概率规划的lambda-calculus基础。 Zbl 1360.68314号 约翰·博格斯特罗姆；乌戈·达尔拉戈；安德鲁·戈登。；马钦·西姆扎克 14 2016 确定树的空间逻辑的有效性。 Zbl 1083.68021号 克里斯蒂亚诺·卡尔加诺；卢卡·卡德利；安德鲁·戈登。 12 2005 作为函数编程理论的相似性。 Zbl 0910.68118号 安德鲁·戈登。 12 1995 键入通信协议的通信断言。 Zbl 1023.68006号 安德鲁·戈登。；阿兰·杰弗里 11 2003 名称限制的逻辑属性。 Zbl 0981.68036号 卢卡·卡德利；安德鲁·戈登。 11 2001 一种欧氏平方和分类算法。 Zbl 0357.62038号 A.D.戈登。；亨德森，J.T。 11 1977 衡量排名之间的一致性。 Zbl 0397.62040号 A.D.戈登。 11 1979 分区的分区。 Zbl 0912.62072号 A.D.戈登。；M.维奇。 11 1998 有限控制移动环境。 Zbl 1077.68574号 维托尔德·查拉托尼克；安德鲁·戈登。；Jean-Marc Talbot 10 2002 约束分类综述。 Zbl 0900.62313号 A.D.戈登。 9 1996 授权策略的类型规程。 Zbl 1108.68456号 塞德里克·Fornet；安德鲁·戈登。；塞尔吉奥·马菲斯 8 2005 保密和创建组。 Zbl 0999.68148号 卢卡·卡德利；乔治·盖利；安德鲁·戈登。 8 2000 贝叶斯机器学习的度量变换语义。 Zbl 1274.68295号 约翰·博格斯特罗姆；安德鲁·戈登。；迈克尔·格林伯格；詹姆斯·马盖特森；尤尔根·范盖尔 8 2013 功能编程和输入/输出。 Zbl 0841.68022号 安德鲁·戈登。 8 1994 模型检查移动环境。 Zbl 1068.68081号 维托尔德·查拉托尼克；达尔·齐利奥（Dal Zilio，Silvano）；安德鲁·戈登。；Supratik穆霍帕迪耶；Jean-Marc Talbot 7 2003 关于分类的评估和比较。 Zbl 0446.62054号 A.D.戈登。 7 1980 spi演算中有关密码协议的推理。 Zbl 1512.94054号 马丁·阿巴迪；安德鲁·戈登。 7 1997 关于安全性和移动性标称计算的注释。 Zbl 1007.68507号 安德鲁·戈登。 6 2001 命令对象的编译和等价。 Zbl 0942.68025号 安德鲁·戈登。；保罗·汉金。；拉森，瑟伦·B。 6 1999 键入多语言中间代码。 Zbl 1323.68209号 安德鲁·戈登。；唐·赛姆 6 2001 已验证安全协议的互操作实现。 Zbl 1137.68323号 卡尔蒂基扬·巴尔干；塞德里克·Fornet；安德鲁·戈登。；谢霆锋（Stephen Tse） 6 2007 保密，尽管妥协：类型、密码学和π演算。 Zbl 1134.68439号 安德鲁·戈登。；阿兰·杰弗里 5 2005 节俭的树木。 Zbl 0612.62090号 A.D.戈登。 5 1987 TulaFale：网络服务的安全工具。 Zbl 1104.68306号 卡尔蒂基扬·巴尔干；塞德里克·Fornet；安德鲁·戈登。；里卡多·普切拉 5 2004 模型检查移动环境的复杂性。 Zbl 0978.68096号 维托尔德·查拉托尼克；达尔·齐利奥（Dal Zilio，Silvano）；安德鲁·戈登。；Supratik穆霍帕迪耶；Jean-Marc Talbot 5 2001 用代数多重网格求解随机配置系统。 Zbl 1248.65007号 安德鲁·戈登。；凯瑟琳·鲍威尔（Catherine E.Powell）。 5 2012 用于拟合一组分区的模糊分区模型。 Zbl 1293.62243号 A.D.戈登。；M.维奇。 5 2001 通过键入对安全协议代码进行模块化验证。 Zbl 1312.68052号 卡尔蒂基扬·巴尔干；塞德里克·Fornet；安德鲁·戈登。 5 2010 区域分析与群的（π）演算。 Zbl 1005.68041号 达尔·齐利奥（Dal Zilio，Silvano）；安德鲁·戈登。 4 2002 区域分析和群演算。 Zbl 0996.68120号 达尔·齐利奥（Dal Zilio，Silvano）；安德鲁·戈登。 4 2000 贝叶斯机器学习的度量变换语义。 兹比尔1326.68217 约翰·博格斯特罗姆；安德鲁·戈登。；迈克尔·格林伯格；詹姆斯·马盖特森；尤尔根·范盖尔 4 2011 在分类中识别真正的簇。 Zbl 0825.62536号 A.D.戈登。 4 1994 在安全协议中键入一对一和一对多通信。 Zbl 1033.94525号 安德鲁·戈登。；阿兰·杰弗里 三 2003 保密和创建组。 Zbl 1101.68692号 卢卡·卡德利；乔治·盖利；安德鲁·戈登。 三 2005 序列比较统计和算法。 Zbl 0261.92005号 A.D.戈登。 三 1973 使用SMT解算器的语义子类型。 Zbl 1323.68096号 加文·M·比尔曼。；安德鲁·戈登。；Hriţcu，科特林；大卫·朗沃西 三 2010 通过键入验证web服务安全抽象。 Zbl 1080.68523号 安德鲁·戈登。；里卡多·普切拉 三 2005 从概率函数程序中导出概率密度函数。 Zbl 1398.68084号 巴特，苏拉杰；约翰·博格斯特罗姆；安德鲁·戈登。；克劳迪奥·拉索 三 2017 2017年1月15日至21日，法国巴黎，POPL’17，第44届ACM SIGPLAN编程语言原则年度研讨会论文集。 Zbl 1355.68012号 三 2017 表格，一种模式驱动的概率编程语言。 Zbl 1284.68103号 安德鲁·戈登。；格雷佩尔，托尔；尼古拉斯·罗兰；克劳迪奥·拉索；约翰内斯·博格斯特罗姆；约翰·吉尔弗 2 2014 使用SMT解算器的语义子类型。 Zbl 1248.68131号 加文·M·比尔曼。；安德鲁·戈登。；Hriţcu，科特林；大卫·朗沃西 2 2012 键入通信协议的通信断言。 Zbl 1260.94063号 安德鲁·戈登。；阿兰·杰弗里 2 2001 受约束分类的方法。 Zbl 0446.62053号 A.D.戈登。 2 1980 非类型和多态对象计算的操作等效性。 Zbl 0967.68033号 安德鲁·戈登。 2 1998 在分类中识别真正的簇。 Zbl 0900.62311号 A.D.戈登。 2 1994 贝叶斯推理的模型学习模式。 Zbl 1301.68179号 安德鲁·戈登。；米哈伊尔·艾扎图林；约翰内斯·博格斯特罗姆；红葡萄酒、纪尧姆；索尔·格雷佩尔；阿迪蒂亚·诺里。；Rajamani，Sriram K。；克劳迪奥·拉索 2 2013 烟囱检查：理论和变体。 Zbl 1323.68115号 塞德里克·Fornet；安德鲁·戈登。 2 2002 web服务身份验证的语义。 Zbl 1325.68140号 卡尔蒂基扬·巴尔干；塞德里克·Fornet；安德鲁·戈登。 2 2004 SPC——使其适用于天然气运输业务。 兹比尔1053.62595 科尔曼，S.Y。；A.戈登。；钱伯斯，P.R。 1 2001 通过决策程序和有指导的简化，实现类型可靠性证明的自动化。 Zbl 1023.68539号 唐·赛姆；安德鲁·戈登。 1 2002 精化类型的原理和应用。 Zbl 1213.68188号 安德鲁·戈登。；塞德里克·Fornet 1 2010 角色、堆栈、历史：霍尔的三重。 Zbl 1220.68044号 约翰·博格斯特罗姆；安德鲁·戈登。；里卡多·普切拉 1 2011 对应类型的类型推断。 Zbl 1294.68110号 安德鲁·戈登。；汉斯·休特尔；汉森、雷内·里多夫 1 2009 不确定参数化域上椭圆偏微分方程虚拟域公式的预条件。 兹比尔1307.65010 安德鲁·戈登；凯瑟琳·鲍威尔（Catherine E.Powell）。 1 2014 从概率函数程序中导出概率密度函数。 Zbl 1381.68030号 苏拉吉·巴特；约翰·博格斯特罗姆；安德鲁·戈登。；克劳迪奥·拉索 1 2013 移动环境。（扩展摘要）。 Zbl 0925.68068号 卢卡·卡德利；安德鲁·戈登。 1 1997 关于聚合物电解质燃料电池中阴极气体扩散层的疏水性和亲水性。 Zbl 1348.82094号 维尼基，M。；A.戈登。 1 2013 从概率函数程序中导出概率密度函数。 Zbl 1398.68084号 巴特，苏拉杰；约翰·博格斯特罗姆；安德鲁·戈登。；克劳迪奥·拉索 三 2017 2017年1月15日至21日，法国巴黎，POPL’17，第44届ACM SIGPLAN编程语言原则年度研讨会论文集。 Zbl 1355.68012号 三 2017 通用概率规划的lambda-calculus基础。 Zbl 1360.68314号 约翰·博格斯特罗姆；乌戈·达尔拉戈；安德鲁·戈登。；马钦·西姆扎克 14 2016 表格，一种模式驱动的概率编程语言。 Zbl 1284.68103号 安德鲁·戈登。；索尔·格雷佩尔；尼古拉斯·罗兰；克劳迪奥·拉索；约翰内斯·博格斯特罗姆；约翰·吉尔弗 2 2014 不确定参数化域上椭圆偏微分方程虚拟域公式的预条件。 Zbl 1307.65010号 安德鲁·戈登；凯瑟琳·鲍威尔（Catherine E.Powell）。 1 2014 贝叶斯机器学习的度量变换语义。 Zbl 1274.68295号 约翰·博格斯特罗姆；安德鲁·戈登。；迈克尔·格林伯格；詹姆斯·马盖特森；尤尔根·范盖尔 8 2013 贝叶斯推理的模型学习模式。 Zbl 1301.68179号 安德鲁·戈登。；米哈伊尔·艾扎图林；约翰内斯·博格斯特罗姆；红葡萄酒、纪尧姆；索尔·格雷佩尔；阿迪蒂亚·诺里。；Rajamani，Sriram K。；克劳迪奥·拉索 2 2013 从概率函数程序中导出概率密度函数。 Zbl 1381.68030号 苏拉吉·巴特；约翰·博格斯特罗姆；安德鲁·戈登。；克劳迪奥·拉索 1 2013 聚合物电解质燃料电池阴极气体扩散层的疏水性和亲水性。 Zbl 1348.82094号 维尼基，M。；A.戈登。 1 2013 用代数多重网格求解随机配置系统。 Zbl 1248.65007号 安德鲁·戈登。；凯瑟琳·鲍威尔（Catherine E.Powell）。 5 2012 使用SMT解算器的语义子类型。 Zbl 1248.68131号 加文·M·比尔曼。；安德鲁·戈登。；Hriţcu，科特林；大卫·朗沃西 2 2012 贝叶斯机器学习的度量变换语义。 兹比尔1326.68217 约翰·博格斯特罗姆；安德鲁·戈登。；迈克尔·格林伯格；詹姆斯·马盖特森；尤尔根·范盖尔 4 2011 角色、堆栈、历史：霍尔的三重。 兹比尔1220.68044 约翰·博格斯特罗姆；安德鲁·戈登。；里卡多·普切拉 1 2011 移动环境。重印2001年精装版。 Zbl 1253.68238号 卢卡·卡德利；安德鲁·戈登。 18 2010 通过键入对安全协议代码进行模块化验证。 Zbl 1312.68052号 卡尔蒂基扬·巴尔干；塞德里克·Fornet；安德鲁·戈登。 5 2010 使用SMT解算器的语义子类型。 Zbl 1323.68096号 加文·M·比尔曼。；安德鲁·戈登。；Hriţcu，科特林；大卫·朗沃西 三 2010 精化类型的原理和应用。 兹比尔1213.68188 安德鲁·戈登。；塞德里克·Fornet 1 2010 对应类型的类型推断。 Zbl 1294.68110号 安德鲁·戈登。；汉斯·休特尔；汉森、雷内·里多夫 1 2009 已验证安全协议的互操作实现。 Zbl 1137.68323号 卡尔蒂基扬·巴尔干；塞德里克·Fornet；安德鲁·戈登。；谢霆锋 6 2007 确定树的空间逻辑的有效性。 Zbl 1083.68021号 克里斯蒂亚诺·加尔卡尼奥；卢卡·卡德利；安德鲁·戈登。 12 2005 授权策略的类型规程。 Zbl 1108.68456号 塞德里克·Fornet；安德鲁·戈登。；塞尔吉奥·马菲斯 8 2005 不折不扣的保密性：类型、密码学和像素。 Zbl 1134.68439号 安德鲁·戈登。；阿兰·杰弗里 5 2005 保密和创建组。 Zbl 1101.68692号 卢卡·卡德利；乔治·盖利；安德鲁·戈登。 三 2005 通过键入验证web服务安全抽象。 Zbl 1080.68523号 安德鲁·戈登。；里卡多·普切拉 三 2005 TulaFale：web服务的安全工具。 Zbl 1104.68306号 卡尔蒂基扬·巴尔干；塞德里克·Fornet；安德鲁·戈登。；里卡多·普切拉 5 2004 web服务身份验证的语义。 Zbl 1325.68140号 卡尔蒂基扬·巴尔干；塞德里克·Fornet；安德鲁·戈登。 2 2004 流动环境的等式性质。 兹比尔1085.68099 安德鲁·戈登。；卢卡·卡德利 22 2003 键入通信协议的通信断言。 Zbl 1023.68006号 安德鲁·戈登。；阿兰·杰弗里 11 2003 模型检查移动环境。 Zbl 1068.68081号 维托尔德·查拉托尼克；达尔·齐利奥（Dal Zilio，Silvano）；安德鲁·戈登。；Supratik穆霍帕迪耶；Jean-Marc Talbot 7 2003 在安全协议中键入一对一和一对多通信。 Zbl 1033.94525号 安德鲁·戈登。；阿兰·杰弗里 三 2003 环境演算的类型。 Zbl 1093.68060号 卢卡·卡德利；乔治·盖利；安德鲁·戈登。 16 2002 有限控制移动环境。 Zbl 1077.68574号 维托尔德·查拉托尼克；安德鲁·戈登。；Jean-Marc Talbot 10 2002 区域分析与群的（π）演算。 Zbl 1005.68041号 达尔·齐利奥（Dal Zilio，Silvano）；安德鲁·戈登。 4 2002 烟囱检查：理论和变体。 Zbl 1323.68115号 塞德里克·Fornet；安德鲁·戈登。 2 2002 通过决策程序和有指导的简化，实现类型可靠性证明的自动化。 Zbl 1023.68539号 唐·赛姆；安德鲁·戈登。 1 2002 名称限制的逻辑属性。 Zbl 0981.68036号 卢卡·卡德利；安德鲁·戈登。 11 2001 关于安全性和移动性标称计算的注释。 Zbl 1007.68507号 安德鲁·戈登。 6 2001 键入多语言中间代码。 兹比尔1323.68209 安德鲁·戈登。；唐·赛姆 6 2001 模型检查移动环境的复杂性。 Zbl 0978.68096号 维托尔德·查拉托尼克；达尔·齐利奥（Dal Zilio，Silvano）；安德鲁·戈登。；Supratik穆霍帕迪耶；Jean-Marc Talbot 5 2001 用于拟合一组分区的模糊分区模型。 Zbl 1293.62243号 Gordon，医学博士。；M.维奇。 5 2001 键入通信协议的通信断言。 Zbl 1260.94063号 安德鲁·戈登。；阿兰·杰弗里 2 2001 SPC——使其适用于天然气运输业务。 兹比尔1053.62595 科尔曼，S.Y。；A.戈登。；钱伯斯，P.R。 1 2001 移动环境。 Zbl 0954.68108号 卡德利，L。；A.D.戈登。 203 2000 随时随地：移动环境的模态逻辑。 Zbl 1323.68405号 卢卡·卡德利；安德鲁·戈登。 63 2000 周围人群和流动类型。 Zbl 0998.68536号 卢卡·卡德利；乔治·盖利；安德鲁·戈登。 18 2000 保密和创建组。 兹比尔0999.68148 卢卡·卡德利；乔治·盖利；安德鲁·戈登。 8 2000 区域分析和群演算。 Zbl 0996.68120号 达尔·齐利奥（Dal Zilio，Silvano）；安德鲁·戈登。 4 2000 密码协议演算：spi演算。 Zbl 0924.68073号 马丁·阿巴迪；安德鲁·戈登。 129 1999 分类。第2版。 Zbl 0929.62068号 A.D.戈登。 97 1999 作为函数编程理论的相似性。 Zbl 0968.68028号 安德鲁·戈登。 15 1999 命令对象的编译和等价。 Zbl 0942.68025号 安德鲁·戈登。；保罗·汉金。；瑟伦·拉森。 6 1999 密码协议的互模拟方法。 Zbl 0913.68062号 马丁·阿巴迪；安德鲁·戈登。 26 1998 并发对象演算：约简和类型。 Zbl 0917.68064号 A.D.戈登。；宾夕法尼亚州汉金。 18 1998 分区的分区。 Zbl 0912.62072号 A.D.戈登。；M.维奇。 11 1998 非类型和多态对象计算的操作等效性。 Zbl 0967.68033号 安德鲁·戈登。 2 1998 spi演算中有关密码协议的推理。 Zbl 1512.94054号 马丁·阿巴迪；安德鲁·戈登。 7 1997 移动环境。（扩展摘要）。 Zbl 0925.68068号 卢卡·卡德利；安德鲁·戈登。 1 1997 约束分类综述。 Zbl 0900.62313号 A.D.戈登。 9 1996 作为函数编程理论的相似性。 Zbl 0910.68118号 安德鲁·戈登。 12 1995 功能编程和输入/输出。 Zbl 0841.68022号 安德鲁·戈登。 8 1994 在分类中识别真正的簇。 Zbl 0825.62536号 A.D.戈登。 4 1994 在分类中识别真正的簇。 Zbl 0900.62311号 A.D.戈登。 2 1994 对分级分类的回顾。 Zbl 0616.62086号 A.D.戈登。 29 1987 节俭的树木。 Zbl 0612.62090号 A.D.戈登。 5 1987 一致超树：包含重叠的标记叶子集的有根树的合成。 Zbl 0623.62051号 A.D.戈登。 19 1986 分类。多元数据的探索性分析方法。 Zbl 0507.62057号 Gordon，医学博士。 44 1981 关于分类的评估和比较。 Zbl 0446.62054号 A.D.戈登。 7 1980 约束分类方法。 Zbl 0446.62053号 A.D.戈登。 2 1980 衡量排名之间的一致性。 Zbl 0397.62040号 A.D.戈登。 11 1979 一种欧氏平方和分类算法。 Zbl 0357.62038号 A.D.戈登。；亨德森，J.T。 11 1977 序列比较统计和算法。 Zbl 0261.92005号 A.D.戈登。 三 1973 所有引用出版物 前5名被引用出版物 全部的 前5名738位作者引用 14 安德鲁·戈登。 13 奇亚拉博迪 12 汉斯·休特尔 11 琳达·布罗多 11 卢卡·卡德利 11 丹尼尔·戈拉 10 菲利波·邦奇 10 马里亚纽拉州Dezani-Ciancaglini 10 法比奥·加杜奇 10 弗莱明·尼尔森 10 汉内·里斯·尼尔森 9 路易斯·凯雷斯 9 皮耶保罗·德加诺 9 里卡多·福卡尔迪 9 菲利普·安·加德纳 8 加布里埃尔·乔巴努 8 吉安·路易吉，法拉利 8 轩尼诗，Matthew C.B。 8 马西莫·梅罗 8 罗萨里奥·普格利泽 7 米歇尔·布格列西 7 洛科·德尼古拉 7 伏玉溪 7 蒙雷利，贾科玛·瓦伦蒂娜 7 乌戈·蒙塔纳里。 7 吉田、Nobuko 6 马丁·阿巴迪 6 约翰·博格斯特罗姆 6 罗伯托·布鲁尼 6 塞德里克·Fornet 6 朗格莱，塞尔盖伊 6 塞尔吉奥·马菲斯 6 乌韦州内斯特曼 6 约万卡·潘托维奇 6 伊恩·菲利普斯。 5 米歇尔·博雷尔 5 西尔维娅·吉勒赞 5 Alan S.A.杰弗里。 5 Joost-Pieter卡托恩 5 科西莫·拉内夫 5 弗兰西斯卡，李维 5 绍克·莫 5 约翰·米切尔（John C.Mitchell）。 5 卡图西亚帕拉米德斯 5 佩雷斯（Jorge A.Pérez）。 5 Damien Pous 5 朱利安·拉特克 5 大卫·桑吉奥吉 5 曼弗雷德·施密特·沙乌 5 雨果·托雷斯·维埃拉 5 玛丽亚·格拉齐亚·维格利奥蒂 4 迈克尔·巴克斯 4 奇亚拉·布拉金 4 朱塞佩·卡斯塔尼亚 4 西尔维亚·克拉法 4 穆拉德·德巴比 4 乔治·德尔扎诺 4 乔治·盖利 4 Jens Chr.Godskesen。 4 汉森、雷内·里多夫 4 罗斯·霍恩 4 巴特·雅各布斯 4 米歇尔·洛雷蒂 4 艾蒂安·洛兹 4 拉杜·马达尔 4 法比奥·马蒂内利 4 约阿希姆·帕罗 4 柯斯汀·彼得斯 4 安德烈·斯切德罗夫 4 阿兰·施密特 4 吉安路易吉·扎瓦塔罗 三 露西娅·阿奇艾 三 阿曼，博格丹 三 保罗·巴尔丹 三 吉尔·巴特 三 卡尔蒂基扬·巴尔干 三 布鲁诺·布兰切特 三 安德烈亚·克拉克·布拉夏利 三 纳迪亚·布西 三 蔡晓娟 三 克里斯蒂亚诺·加尔卡尼奥 三 伊利亚诺·塞维萨托 三 康斯坦丁诺斯·查齐科科拉基斯 三 汤姆·乔西亚 三 文森佐·西安西亚 三 阿戈斯蒂诺·科尔特斯 三 维罗尼克·科尔蒂尔 三 乌戈·达尔拉戈 三 达尔·齐利奥（Dal Zilio，Silvano） 三 阿努帕姆·达塔 三 埃里克·P·德文克。 三 罗伯塔·戈里 三 卢多维奇·亨里奥 三 戴安娜·赫米思 三 托马斯·希尔德布兰特。 三 本杰明·卢西恩·卡明斯基 三 直纪小林 三 马西耶·库特尼 三 迭戈·拉特拉 三 丹尼斯·卢吉兹 …还有638位作者 全部的 前5名42篇连载文章中引用 107 理论计算机科学 59 信息与计算 23 逻辑与代数程序设计杂志 18 程序设计中的逻辑和代数方法杂志 17 计算的形式方面 16 MSCS公司。计算机科学中的数学结构 9 自动推理杂志 8 信息学报 8 计算机程序设计科学 8 计算机科学中的逻辑方法 6 计算机与系统科学杂志 6 函数编程杂志 6 计算机语言、系统和结构 5 信息处理信件 4 ACM计算逻辑汇刊 三 信息科学 三 自然计算 2 纯逻辑与应用逻辑年鉴 2 密码学杂志 2 国际计算机数学杂志 2 分布式计算 2 工程、通信和计算中的应用代数 2 高阶和符号计算 2 RAIRO公司。理论信息学及其应用 2 SIAM/ASA不确定性量化杂志 1 数值数学 1 合成 1 符号计算杂志 1 离散事件动态系统 1 控制论与系统分析 1 SIAM科学计算杂志 1 应用非经典逻辑杂志 1 符号逻辑公报 1 约束条件 1 计算系统理论 1 武汉大学自然科学学报 1 计算地球科学 1 并行与计算：实践与经验 1 数字学报 1 国际并行、紧急和分布式系统杂志 1 新数学与自然计算 1 \（p\）-Adic数、超微分析和应用 全部的 前5名21个领域被引用 507 计算机科学（68至XX） 100 数学逻辑和基础（03-XX） 58 信息与通信理论、电路（94-XX） 25 生物学和其他自然科学（92-XX） 12 范畴理论；同调代数（18-XX） 6 博弈论、经济学、金融和其他社会和行为科学（91-XX） 5 数值分析（65-XX） 4 概率论与随机过程（60-XX） 4 统计学（62-XX） 三 系统论；控制（93至XX） 2 组合数学（05-XX） 2 阶、格、有序代数结构（06-XX） 2 流体力学（76-XX） 2 量子理论（81-XX） 1 历史和传记（01-XX） 1 一般代数系统（08-XX） 1 数论（11-XX） 1 测量和集成（28-XX） 1 偏微分方程（35-XX） 1 一般拓扑结构（54-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文