编辑配置文件（在新选项卡中打开） 安德鲁·威廉·罗斯科 合著者距离 作者ID: 罗斯科·安德烈·威廉姆 发布日期： A.W.罗斯科。;安德鲁·威廉·罗斯科;Andrew W.罗斯科。 更多。。。较少的 编入索引的文档： 71出版物自1984年以来，包括1本书 6作为编辑的贡献 传记参考： 1出版物 合著者： 58位合著者具有65联合出版物 1233联合作者 全部的 前5名合著者 12 单作者的 11 乔治·迈克尔·里德 6 斯蒂芬·布鲁克斯。 6 托马斯·吉布森·罗宾逊 5 佩德罗·安东尼诺 5 孔大荣 5 乔尔·欧·瓦克宁。 4 彼得·柯林斯。 4 C.A.R.Tony Hoare 4 Mislove，Michael W。 4 汤姆·纽科姆 4 R.F.Wachter。 4 詹姆斯·沃雷尔。 三 拉齐奇，R.S。 三 兰科·拉齐奇 三 克里斯蒂娜·帕利卡列娃 三 Joy N.里德。 三 简·E·辛克莱。 2 亚历山大·布尔加科夫 2 伊恩·海耶斯。 2 何继峰 2 Cliff B.琼斯。 2 戴维·梅斯特尔 2 穆迪，P.J。 2 卡罗尔·C·摩根。 2 阮龙华 2 杰夫·桑德斯。 2 I.H.索伦森。 2 J.Michael斯皮维 2 苏福林，B.A。 1 P.J.阿姆斯特朗。 1 菲利普·阿姆斯特朗 1 杰夫·巴雷特 1 兰斯·克莱维兰 1 杰弗里·库托 1 克里斯，S.J。 1 奈姆·达蒂 1 菲利普·霍普克罗夫特。 1 黄、健 1 埃尔达尔·克莱纳 1 亚历杭德罗·莫塔 1 大卫·蒙特（David M.Mount）。 1 马塞尔·奥利维拉 1 布拉吉什语 1 罗德里戈·A·拉莫斯。 1 阿兹里尔·罗森菲尔德 1 玛丽·艾伦鲁丁 1 Peter Y.A.Ryan。 1 奥古斯托·桑帕约。 1 施耐德（Steve A.Schneider）。 1 斯科特·斯莫尔卡。 1 伊恩·乔伊（Ian J.Tree）。 1 埃里克·范杜文。 1 王磊 1 王旭 1 格林·温斯克尔 1 肯尼思·伍德。 1 詹姆斯·C·P·伍德科克。 1 乌尔夫，拉丝 全部的 前5名系列 7 计算的形式方面 6 理论计算机科学 三 拓扑及其应用 2 美国数学学会会刊 2 信息与计算 2 逻辑与计算杂志 2 ACM通信 2 计算机视觉、图形和图像处理 1 信息学报 1 《伦敦数学学会通报》 1 数学基础 1 计算机协会杂志 1 SIAM计算机杂志 1 计算机程序设计科学 1 分布式计算 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 1 计算机科学课文 全部的 前5名领域 68 计算机科学（68至XX） 9 一般拓扑结构（54至XX） 6 总体主题；集合（00-XX） 三 信息与通信理论、电路（94-XX） 2 数理逻辑与基础（03-XX） 2 凸和离散几何（52至XX） 2 流形和细胞复合体（57至XX） 1 历史和传记（01-XX） 1 组合数学（05-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 67出版物被引用1058中的次760文件 引用人▼ 年份▼ 通信顺序过程的理论。 兹比尔062868025 布鲁克斯，S.D。;C.A.R.霍尔。;A.W.罗斯科。 255 1984 星形覆盖特性。 Zbl 0743.54007号 埃里克·范杜文。;里德，G.M。;A.W.罗斯科。;树，I.J。 101 1991 编程法则。 Zbl 0629.68006号 C.A.R.霍尔。;I.J.海耶斯。;何继峰;C.C.摩根。;A.W.罗斯科。;J.W.桑德斯。;I.H.索伦森。;斯皮维，J.M。;苏福林，B.A。 68 1987 了解并发系统。 Zbl 1211.68205号 A.W.罗斯科。 58 2010 通信过程的改进故障模型。 Zbl 0565.68023号 布鲁克斯，S.D。;A.W.罗斯科。 50 1985 用于通信顺序进程的定时模型。 Zbl 0655.68031号 里德，G.M。;A.W.罗斯科。 45 1988 度量标准。 Zbl 0541.54034号 柯林斯，P.J。;A.W.罗斯科。 38 1984 数字拓扑的概念。 兹比尔0780.57008 孔·T·Y。;A.W.罗斯科。;A.罗森菲尔德。 35 1992 拓扑空间上的条件格。 Zbl 0562.54043号 柯林斯，P.J。;里德，G.M。;A.W.罗斯科。;鲁丁，M.E。 31 1985 FDR3–CSP的现代细化检查器。 Zbl 1392.68300号 托马斯·吉布森·罗宾逊;菲利普·阿姆斯特朗;亚历山大·布尔加科夫;Andrew W.罗斯科。 31 2014 用于通信顺序进程的定时模型。 兹比尔0594.68025 里德，G.M。;A.W.罗斯科。 24 1986 二进制数字图像理论。 Zbl 0624.68100号 孔·T·Y。;A.W.罗斯科。 22 1985 带有携带数据的标记的网络。 Zbl 1154.68090号 兰科·拉齐奇;汤姆·纽科姆;约尔·瓦克宁;A.W.罗斯科。;詹姆斯·沃雷尔 22 2008 度量空间作为实时并发的模型。 Zbl 0644.68040号 里德，G.M。;A.W.罗斯科。 21 1988 拓扑空间上的条件格。二、。 Zbl 0745.54008号 穆迪，P.J。;里德，G.M。;A.W.罗斯科。;柯林斯，P.J。 19 1991 Occam编程的规律。 Zbl 0719.68039号 A.W.罗斯科。;C.A.R.霍尔。 18 1988 公理化数字曲面的连续模拟。 Zbl 0625.68088号 孔·T·Y。;A.W.罗斯科。 16 1985 定时故障–CSP的稳定性模型。 Zbl 0912.68038号 里德，G.M。;A.W.罗斯科。 13 1999 CSP中的无限非确定性。 兹伯利0801.68113 A.W.罗斯科。 12 1993 非循环单调正规。 Zbl 0801.54018号 穆迪，P.J。;A.W.罗斯科。 11 1992 互操作组件的响应性。 Zbl 1061.68107号 J.N.里德。;辛克莱，J.E。;A.W.罗斯科。 9 2004 具有优先级的CSP的表达能力。 Zbl 1351.68148号 A.W.罗斯科。 9 2015 故障模型的替代顺序。 Zbl 0770.68089号 A.W.罗斯科。 8 1992 追求僵局自由。 兹比尔062668019 A.W.罗斯科。;奈姆·达蒂 8 1987 occam的表示语义。 Zbl 0565.68024号 A.W.罗斯科。 7 1985 带有携带数据的标记的网络。 Zbl 1226.68062号 兰科·拉齐奇;汤姆·纽科姆;约尔·瓦克宁;A.W.罗斯科。;詹姆斯·沃雷尔 7 2007 通过决定论不干涉。 Zbl 1477.68063号 A.W.罗斯科。;伍德科克，J.C.P。;沃尔夫，L。 7 1994 关于CSP细化的表达能力。 Zbl 1101.68703号 A.W.罗斯科。 6 2005 使用数据独立性和FDR同时验证无限系列的电感。 Zbl 0954.68511号 克里斯，S.J。;A.W.罗斯科。 6 1999 通信过程网络中的死锁分析。 Zbl 0717.68006号 布鲁克斯，S.D。;A.W.罗斯科。 6 1991 CSP模型的复兴、僵化和层次结构。 Zbl 1171.68025号 A.W.罗斯科。 6 2009 汇合得益于外延决定论。 Zbl 1316.68106号 A.W.罗斯科。 5 2006 将矩形分解为最小周长的矩形。 Zbl 0663.52007号 孔·T·Y。;大卫·蒙特（David M.Mount）。;A.W.罗斯科。 5 1988 正在检查定时CSP中的不干扰。 Zbl 1259.68132号 A.W.罗斯科。;黄、健 5 2013 超越分歧。 Zbl 1081.68062号 A.W.罗斯科。 4 2005 使用组件元数据和模式严格开发基于组件的系统。 Zbl 1348.68167号 马塞尔·奥利维拉。;安东尼诺，P。;R.拉莫斯。;A.桑帕约。;莫塔，A。;A.W.罗斯科。 4 2016 3-空间中单连通有限多面体的特征。 Zbl 0576.57013号 香港，T.Y。;A.W.罗斯科。 4 1985 响应能力和稳定复苏。 Zbl 1125.68077号 J.N.里德。;A.W.罗斯科。;辛克莱，J.E。 4 2007 CSP中活锁自由的静态分析框架。 Zbl 1274.68250号 约尔·瓦克宁;克里斯蒂娜·帕利卡列娃;A.W.罗斯科。;詹姆斯·沃雷尔 4 2013 死锁自由分析的更严格可达性标准。 Zbl 1427.68179号 佩德罗·安东尼诺;托马斯·吉布森·罗宾逊;A.W.罗斯科。 4 2016 计算机科学中的拓扑和范畴理论。1989年6月27日至30日在英国牛津举行的牛津拓扑研讨会论文集。 Zbl 0725.00017号 三 1991 通过优先级进行缓慢的抽象。 Zbl 1390.68487号 A.W.罗斯科。;菲利普·霍普克罗夫特。 三 2013 CSP对于\（\pi\）来说足够有表现力。 Zbl 1215.68159号 A.W.罗斯科。 三 2010 在模型上检查具有数组但不重置的数据相关系统。 Zbl 1088.68108号 拉齐奇，R.S。;纽科姆，T.C。;A.W.罗斯科。 三 2004 关于web服务安全性和传统协议之间的关系。 Zbl 1273.68233号 克莱纳，E。;A.W.罗斯科。 三 2006 发散的三个柏拉图模型——严格CSP。 兹比尔1161.68629 A.W.罗斯科。 三 2008 计算最大弱互模拟和其他互模拟。 Zbl 1355.68190号 亚历山大·布尔加科夫;托马斯·吉布森·罗宾逊;A.W.罗斯科。 三 2016 CSP跟踪细化中的SAT求解。 Zbl 1243.68216号 克里斯蒂娜·帕利卡列娃;约尔·瓦克宁;A.W.罗斯科。 三 2012 使用SAT检查自动检测标记结构和不变量。 Zbl 1453.68109号 佩德罗·安东尼诺;托马斯·吉布森·罗宾逊;A.W.罗斯科。 三 2017 CSP中的无限不确定性。 Zbl 1509.68084号 A.W.罗斯科。;杰夫·巴雷特 三 1990 通过优先级将复杂的CSP模型减少为跟踪。 兹比尔1392.68310 戴维·梅斯特尔;A.W.罗斯科。 2 2016 关于过渡系统和基础不完善的集合。 Zbl 0886.68101号 拉齐奇，R.S。;A.W.罗斯科。 2 1996 “编程法则”勘误表。 Zbl 0653.68002号 C.A.R.霍尔。;I.J.海耶斯。;何继峰;C.C.摩根。;A.W.罗斯科。;J.W.桑德斯。;I.H.索伦森。;斯皮维，J.M。;苏夫林，B.A。 2 1987 拓扑、计算机科学和收敛数学。 Zbl 0744.54002号 A.W.罗斯科。 1 1991 使用具有全阵列操作的阵列对数据相关系统进行模型检查。 Zbl 1081.68649号 兰科·拉齐奇;汤姆·纽科姆;A.W.罗斯科。 1 2005 进程代数和模型检查。 Zbl 1392.68243号 兰斯·克莱维兰;A.W.罗斯科。;斯科特·斯莫尔卡。 1 2018 通信过程网络中的死锁分析。 Zbl 0578.68024号 布鲁克斯，S.D。;A.W.罗斯科。 1 1985 并发研讨会，卡内基梅隆大学，宾夕法尼亚州匹兹堡，1984年7月9日至11日。 Zbl 0562.00011号 1 1985 不完整的固定点。 Zbl 0874.68186号 Mislove，M.W。;A.W.罗斯科。;美国施耐德。 1 1995 洞察力、灵感和协作。 Zbl 1198.68001号 C.B.琼斯。;A.W.罗斯科。 1 2010 CSP中的静态活锁分析。 Zbl 1300.68036号 约尔·瓦克宁;克里斯蒂娜·帕利卡列娃;A.W.罗斯科。;詹姆斯·沃雷尔 1 2011 通过比较简短摘要对自组织网络进行身份验证。 Zbl 1148.68327号 Nguyen，L.H。;A.W.罗斯科。 1 2008 对C.A.R.霍尔工作的反思。大多数论文基于2009年4月在英国剑桥举行的托尼·霍尔75岁生日庆祝会上的演讲。 Zbl 1200.68012号 1 2010 在并发模型之间转换。 Zbl 1465.68181号 戴维·梅斯特尔;A.W.罗斯科。 1 2020 机器可验证的响应性。 Zbl 1276.68125号 J.N.里德。;A.W.罗斯科。;辛克莱，J.E。 1 2006 使用保守的SAT近似检查静态属性的可达性。 Zbl 1498.68149号 佩德罗·安东尼诺;托马斯·吉布森·罗宾逊;A.W.罗斯科。 1 2017 定时释放加密和不经意传输的部分空计算。 Zbl 1521.68052号 杰弗里·库托;A.W.罗斯科。;Peter Y.A.Ryan。 1 2021 定时发布加密和不经意传输的部分公平计算。 Zbl 1521.68052号 杰弗里·库托;A.W.罗斯科。;Peter Y.A.Ryan。 1 2021 在并发模型之间转换。 Zbl 1465.68181号 戴维·梅斯特尔;A.W.罗斯科。 1 2020 进程代数和模型检查。 Zbl 1392.68243号 兰斯·克莱维兰;A.W.罗斯科。;斯科特·斯莫尔卡。 1 2018 使用SAT检查自动检测标记结构和不变量。 Zbl 1453.68109号 佩德罗·安东尼诺;托马斯·吉布森·罗宾逊;A.W.罗斯科。 三 2017 使用保守的SAT近似检查静态属性的可达性。 Zbl 1498.68149号 佩德罗·安东尼诺;托马斯·吉布森·罗宾逊;A.W.罗斯科。 1 2017 使用组件元数据和模式严格开发基于组件的系统。 Zbl 1348.68167号 马塞尔·奥利维拉。;安东尼诺，P。;R.拉莫斯。;A.桑帕约。;莫塔，A。;A.W.罗斯科。 4 2016 死锁自由分析的更严格可达性标准。 Zbl 1427.68179号 佩德罗·安东尼诺;托马斯·吉布森·罗宾逊;A.W.罗斯科。 4 2016 计算最大弱互模拟和其他互模拟。 Zbl 1355.68190号 亚历山大·布尔加科夫;托马斯·吉布森·罗宾逊;A.W.罗斯科。 三 2016 通过优先级将复杂的CSP模型减少为跟踪。 Zbl 1392.68310号 戴维·梅斯特尔;A.W.罗斯科。 2 2016 具有优先级的CSP的表达能力。 兹比尔1351.68148 A.W.罗斯科。 9 2015 FDR3–CSP的现代细化检查器。 Zbl 1392.68300号 托马斯·吉布森·罗宾逊;菲利普·阿姆斯特朗;亚历山大·布尔加科夫;Andrew W.罗斯科。 31 2014 检查定时CSP中的不干扰。 Zbl 1259.68132号 A.W.罗斯科。;黄、健 5 2013 CSP中活锁自由的静态分析框架。 Zbl 1274.68250号 约尔·瓦克宁;克里斯蒂娜·帕利卡列娃;A.W.罗斯科。;詹姆斯·沃雷尔 4 2013 通过优先级进行缓慢抽象。 兹比尔1390.68487 A.W.罗斯科。;菲利普·霍普克罗夫特。 三 2013 CSP跟踪细化中的SAT求解。 Zbl 1243.68216号 克里斯蒂娜·帕利卡列娃;约尔·瓦克宁;A.W.罗斯科。 三 2012 CSP中的静态活锁分析。 Zbl 1300.68036号 约尔·瓦克宁;克里斯蒂娜·帕利卡列娃;A.W.罗斯科。;詹姆斯·沃雷尔 1 2011 了解并发系统。 Zbl 1211.68205号 A.W.罗斯科。 58 2010 CSP对于\（\pi\）来说足够有表现力。 Zbl 1215.68159号 A.W.罗斯科。 三 2010 洞察力、灵感和协作。 兹比尔1198.68001 C.B.琼斯。;A.W.罗斯科。 1 2010 对C.A.R.霍尔工作的反思。大多数论文基于2009年4月在英国剑桥举行的庆祝托尼·霍尔75岁生日的会议上的陈述。 Zbl 1200.68012号 1 2010 CSP模型的复兴、僵化和层次结构。 Zbl 1171.68025号 A.W.罗斯科。 6 2009 带有携带数据的标记的网络。 Zbl 1154.68090号 兰科·拉齐奇;汤姆·纽科姆;约尔·瓦克宁;A.W.罗斯科。;詹姆斯·沃雷尔 22 2008 发散的三个柏拉图模型——严格CSP。 Zbl 1161.68629号 A.W.罗斯科。 三 2008 通过比较简短摘要对自组织网络进行身份验证。 Zbl 1148.68327号 Nguyen，L.H。;A.W.罗斯科。 1 2008 带有携带数据的标记的网络。 兹比尔1226.68062 兰科·拉齐奇;汤姆·纽科姆;约尔·瓦克宁;A.W.罗斯科。;詹姆斯·沃雷尔 7 2007 响应能力和稳定复苏。 Zbl 1125.68077号 J.N.里德。;A.W.罗斯科。;辛克莱，J.E。 4 2007 汇合得益于外延决定论。 Zbl 1316.68106号 A.W.罗斯科。 5 2006 关于web服务安全性和传统协议之间的关系。 Zbl 1273.68233号 克莱纳，E。;A.W.罗斯科。 三 2006 机器可验证的响应性。 Zbl 1276.68125号 里德，J.N。;A.W.罗斯科。;辛克莱，J.E。 1 2006 关于CSP细化的表达能力。 Zbl 1101.68703号 A.W.罗斯科。 6 2005 超越分歧。 Zbl 1081.68062号 A.W.罗斯科。 4 2005 使用具有全阵列操作的阵列对数据相关系统进行模型检查。 Zbl 1081.68649号 兰科·拉齐奇;汤姆·纽科姆;A.W.罗斯科。 1 2005 互操作组件的响应性。 Zbl 1061.68107号 J.N.里德。;辛克莱，J.E。;A.W.罗斯科。 9 2004 在模型上检查具有数组但不重置的数据相关系统。 Zbl 1088.68108号 拉齐奇，R.S。;纽科姆，T.C。;A.W.罗斯科。 三 2004 定时故障–CSP的稳定性模型。 Zbl 0912.68038号 里德，G.M。;A.W.罗斯科。 13 1999 使用数据独立性和FDR同时验证导入的无限族。 Zbl 0954.68511号 克里斯，S.J。;A.W.罗斯科。 6 1999 关于过渡系统和基础不完善的集合。 Zbl 0886.68101号 拉齐奇，R.S。;A.W.罗斯科。 2 1996 不完整的固定点。 Zbl 0874.68186号 Mislove，M.W。;A.W.罗斯科。;美国施耐德。 1 1995 通过决定论不干涉。 Zbl 1477.68063号 A.W.罗斯科。;伍德科克，J.C.P。;沃尔夫，L。 7 1994 CSP中的无限非确定性。 Zbl 0801.68113号 A.W.罗斯科。 12 1993 数字拓扑的概念。 Zbl 0780.57008号 香港，T.Y。;A.W.罗斯科。;A.罗森菲尔德。 35 1992 非循环单调正规。 Zbl 0801.54018号 穆迪，P.J。;A.W.罗斯科。 11 1992 故障模型的替代顺序。 Zbl 0770.68089号 A.W.罗斯科。 8 1992 星形覆盖特性。 Zbl 0743.54007号 埃里克·范杜文。;里德，G.M。;A.W.罗斯科。;树，I.J。 101 1991 拓扑空间上的条件格。二、。 兹比尔07455.4008 穆迪，P.J。;里德，G.M。;A.W.罗斯科。;柯林斯，P.J。 19 1991 通信过程网络中的死锁分析。 Zbl 0717.68006号 布鲁克斯，S.D。;A.W.罗斯科。 6 1991 计算机科学中的拓扑和范畴理论。1989年6月27日至30日在英国牛津举行的牛津拓扑研讨会论文集。 Zbl 0725.00017号 三 1991 拓扑、计算机科学和收敛数学。 Zbl 0744.54002号 A.W.罗斯科。 1 1991 CSP中的无限不确定性。 兹比尔1509.68084 A.W.罗斯科。;杰夫·巴雷特 三 1990 用于通信顺序进程的定时模型。 Zbl 0655.68031号 里德，G.M。;A.W.罗斯科。 45 1988 度量空间作为实时并发的模型。 Zbl 0644.68040号 里德，G.M。;A.W.罗斯科。 21 1988 Occam编程的规律。 Zbl 0719.68039号 A.W.罗斯科。;C.A.R.霍尔。 18 1988 将矩形分解为最小周长的矩形。 Zbl 0663.52007号 孔·T·Y。;芒特，大卫·M。;A.W.罗斯科。 5 1988 编程法则。 Zbl 0629.68006号 C.A.R.霍尔。;I.J.海耶斯。;何继峰;C.C.摩根。;A.W.罗斯科。;J.W.桑德斯。;I.H.索伦森。;斯皮维，J.M。;苏福林，B.A。 68 1987 追求僵局自由。 Zbl 0626.68019号 A.W.罗斯科。;奈姆·达蒂 8 1987 “编程定律”勘误表。 Zbl 0653.68002号 C.A.R.霍尔。;I.J.海耶斯。;何继峰;C.C.摩根。;A.W.罗斯科。;J.W.桑德斯。;索伦森，I.H。;斯皮维，J.M。;苏福林，B.A。 2 1987 用于通信顺序进程的定时模型。 Zbl 0594.68025号 里德，G.M。;A.W.罗斯科。 24 1986 通信过程的改进故障模型。 兹伯利0565.68023 布鲁克斯，S.D。;A.W.罗斯科。 50 1985 拓扑空间上的条件格。 Zbl 0562.54043号 柯林斯，P.J。;里德，G.M。;A.W.罗斯科。;鲁丁，M.E。 31 1985 二进制数字图像理论。 Zbl 0624.68100号 孔·T·Y。;A.W.罗斯科。 22 1985 公理化数字曲面的连续模拟。 Zbl 0625.68088号 孔·T·Y。;A.W.罗斯科。 16 1985 occam的指称语义。 Zbl 0565.68024号 A.W.罗斯科。 7 1985 3-空间中单连通有限多面体的特征。 Zbl 0576.57013号 孔·T·Y。;A.W.罗斯科。 4 1985 通信过程网络中的死锁分析。 Zbl 0578.68024号 布鲁克斯，S.D。;A.W.罗斯科。 1 1985 并发研讨会，卡内基梅隆大学，宾夕法尼亚州匹兹堡，1984年7月9日至11日。 Zbl 0562.00011号 1 1985 通信顺序过程的理论。 兹比尔062868025 布鲁克斯，S.D。;C.A.R.霍尔。;A.W.罗斯科。 255 1984 可度量性标准。 Zbl 0541.54034号 柯林斯，P.J。;A.W.罗斯科。 38 1984 所有引用出版物 前5名被引用出版物 全部的 前5名840位作者引用 31 宋彦奎 25 安德鲁·威廉·罗斯科 21 范格拉贝克、罗伯特·扬 20 Jan A.Bergstra。 17 安娜·卡瓦尔坎蒂 16 宣伟峰 15 沃尔特·福格勒 14 C.A.R.Tony Hoare 13 Jos C.M.Baeten。 13 约瑟夫·什拉帕尔 12 詹姆斯·C·P·伍德科克。 10 轩尼诗，Matthew C.B。 10 阿尔班·蓬塞 10 朱慧彪 9 何继峰 8 卢比沙·科奇纳克。 8 孔大荣 8 奥尔德罗格（Ernst-Rüdiger Olderog） 8 奥古斯托·桑帕约。 7 洛科·德尼古拉 7 加文·洛 7 杰拉尔德·吕特根 7 苏米特·辛格 7 安蒂·瓦尔马里 7 理查德·戈登·威尔逊 6 巴尔，普拉森吉特 6 马可·贝尔纳多 6 西蒙·福斯特 6 休伯特·加拉维 6 弗雷德里克·朗 6 科内利斯·A·米德尔堡。 6 罗宾·米尔纳 6 彭良雪 6 戴维·桑吉奥吉 6 施耐德（Steve A.Schneider）。 6 史伟雪 5 帕罗什·阿齐兹·阿卜杜拉 5 劳伦斯·博克瑟 5 兰斯·克莱维兰 5 皮耶保罗·德加诺 5 乔治·德尔扎诺 5 冯子琴 5 Paul M.Gartside。 5 本特·琼森 5 金·古德斯特兰·拉森 5 萨沃米尔·拉索塔 5 约翰·朱尔斯·查尔斯·梅耶 5 Mislove，Michael W。 5 亚历克斯·拉夫斯基 5 费尔南多·罗莎·维拉尔多 5 斯科特·斯莫尔卡。 5 Brij Kishore Tyagi 4 Aceto，卢卡 4 唉，Ofelia Teresa 4 马诺伊·巴德瓦吉 4 斯蒂芬·布鲁克斯。 4 曼弗雷德·布罗伊 4 彼得·柯林斯。 4 弗拉维奥·科拉迪尼 4 雅各布斯·W·德·巴克。 4 埃拉迪奥·多明格斯 4 安吉尔·R·弗朗西斯。 4 罗伯托·戈里埃里 4 保罗·布莱恩·利维 4 米拉·塞德尔巴姆少校。 4 迈克尔·马特维耶夫。 4 乔尔·欧·瓦克宁。 4 秦胜超 4 安东尼奥·金特罗 4 佩德罗·里贝罗 4 弗拉基米尔·弗拉迪米罗维奇，特卡楚克 4 范·斯塔登（Stephan van Staden） 4 泽达，弗兰克 4 赵永新 三 佩德罗·安东尼诺 三 阿伦库马尔，S。 三 拉斐尔·阿亚拉 三 克里斯特尔·拜尔 三 塔拉斯·奥努弗里维奇（Taras Onufrievich Banakh） 三 詹姆斯·巴克斯特 三 马达莱纳州博南辛加 三 米歇尔·博雷尔 三 乔纳森·鲍文（Jonathan P.Bowen）。 三 伊利亚州卡斯特拉尼 三 德布拉吉·钱德拉 三 吉姆·戴维斯 三 德波尔（Frank S。 三 戴维·德·弗鲁托斯·埃斯克里格 三 约翰·德里克 三 阿德里安·杜里埃 三 威廉·扬·福克金 三 高银珠 三 杰里米·吉本斯 三 托马斯·吉布森·罗宾逊 三 González-Díaz，Rocío 三 苏珊娜·格拉芙 三 Jan Friso，格鲁特 三 加里·格伦赫奇。 三 伊恩·海耶斯。 三 加博尔·赫曼（Gabor T.Herman）。 …和740多位作者 全部的 前5名103篇连载文章中引用 114 理论计算机科学 81 拓扑及其应用 62 计算的形式方面 43 信息与计算 30 信息学报 16 信息处理信件 14 逻辑与代数程序设计杂志 14 程序设计中的逻辑和代数方法杂志 13 数学成像与视觉杂志 10 Quaestions数学 9 离散应用数学 9 计算机与系统科学杂志 9 MSCS公司。计算机科学中的数学结构 9 计算机科学中的逻辑方法 7 信息科学 7 计算机程序设计科学 7 分布式计算 7 菲洛马 6 匈牙利数学学报 5 捷克斯洛伐克数学杂志 5 系统设计中的形式化方法 4 澳大利亚数学学会公报 4 卡罗莱纳大学数学评论 4 国际并行程序设计杂志 4 塔特拉山脉数学出版物 4 中欧数学杂志 三 比特币 三 美国数学学会会刊 三 萨达纳 三 《科学与自然》Ciencias Exactas皇家科学院修订版。意甲：马特马斯。RACSAM公司 2 数学基础 2 印度数学学会杂志。新系列 2 伊朗数学学会公报 2 离散和计算几何 2 国际计算机科学基础杂志 2 模式识别 2 应用非经典逻辑杂志 2 拓扑程序 2 数学与人工智能年鉴 2 ACM计算逻辑事务 2 应用的一般拓扑 2 拓扑代数及其应用 2 哈伊亚姆数学杂志 2 开放数学 1 休斯顿数学杂志 1 计算物理杂志 1 匈牙利数学周期 1 数学座谈会 1 纯粹与应用代数杂志 1 马特马蒂奇·维斯尼克 1 斯洛伐克数学 1 Monatsheft für Mathematik 1 圣母院形式逻辑杂志 1 编程和计算机软件 1 《数学研究所出版物》。Nouvelle Série公司 1 巴勒莫马蒂科·马蒂科广场（Rendiconti del Circolo Matemático di Palermo）。II系列 1 合成 1 中国数学年鉴。B系列 1 物理D 1 优化 1 计算机科学与技术杂志 1 算法 1 实时系统 1 Mathematica Bohemica公司 1 计算几何 1 全球优化杂志 1 设计、代码和密码 1 Aequationes数学 1 应用数学建模 1 国际计算机数学杂志 1 RAIRO公司。Informatique Théorique et Applications公司 1 工程、通信和计算中的应用代数 1 国际鲁棒非线性控制杂志 1 控制论与系统分析 1 分析杂志 1 非线性分析中的拓扑方法 1 应用的分类结构 1 应用数学。B系列（英文版） 1 比利时数学学会公报-西蒙·斯特文 1 计算与应用数学 1 土耳其数学杂志 1 约束条件 1 欧洲控制杂志 1 计算系统理论 1 不等式与应用杂志 1 数学学报。英语系列 1 计算机基础理论 1 计算数学基础 1 澳大利亚数学学会杂志 1 Hacettepe数学与统计杂志 1 Matemática Paranaense Sociedade Boletim da。特塞拉·塞里 1 古巴 1 国际并行、紧急和分布式系统杂志 1 GAMM-委员会 1 离散和连续动力系统。S系列 1 亚欧数学杂志 1 南非荷兰语Matematika 1 中国计算机科学前沿 1 喀尔巴阡数学出版物 1 数学杂志 …还有3部连续剧 全部的 前5名27个领域被引用 585 计算机科学（68至XX） 175 一般拓扑结构（54至XX） 68 数理逻辑与基础（03-XX） 12 范畴理论；同调代数（18-XX） 12 代数拓扑（55-XX） 12 信息与通信理论、电路（94-XX） 11 阶、格、有序代数结构（06-XX） 10 凸和离散几何（52至XX） 9 组合数学（05-XX） 8 流形和细胞复合体（57至XX） 8 博弈论、经济学、金融和其他社会和行为科学（91-XX） 8 系统论；控制（93至XX） 7 拓扑群、李群（22日至XX日） 6 运筹学、数学规划（90-XX） 4 历史和传记（01-XX） 三 数值分析（65-XX） 2 动力系统和遍历理论（37至XX） 2 功能分析（46倍X倍） 2 概率论与随机过程（60-XX） 2 生物学和其他自然科学（92-XX） 1 交换代数（13-XX） 1 偏微分方程（35-XX） 1 序列、级数、可和性（40-XX） 1 统计学（62-XX） 1 可变形固体力学（74-XX） 1 量子理论（81-XX） 1 数学教育（97-XX） 按年份列出的引文