编辑配置文件（在新选项卡中打开） 本杰明·皮尔斯。 合著者距离 作者ID： 皮尔斯·本杰明-c 发布日期： 本杰明·皮尔斯。;本杰明·皮尔斯;B.皮尔斯。 更多。。。较少的 外部链接： MGP公司·维基数据·数据库许可证·接地·ID参考 已编制索引的文档： 61出版物自1989年以来，包括2本书 7作为编辑的贡献·1进一步贡献 合著者： 78位合著者具有61联合出版物 1270名合著作者 全部的 前5名合著者 7 单作者的 6 J.Nathan福斯特 6 Hriţcu，科特林 5 莱昂尼达斯·兰普罗普洛斯 5 阿兰·施密特 4 迈克尔·D·格林伯格。 4 迈克尔·格林沃尔德。 4 马丁·霍夫曼 4 休斯，约翰 4 迈克尔·莱文。 4 埃希罗·苏米 4 斯蒂芬妮·威里奇 三 马丁·阿巴迪 三 阿泽夫多·阿莫林 三 细野县细野 三 Atsushi Igarashi 三 乌韦州内斯特曼 三 夏丽瑶 2 布莱恩·艾德米尔。 2 亚伦·博哈农 2 卢卡·卡德利 2 戴安·加洛瓦·旺 2 弗拉基米尔·加佩耶夫 2 桑吉夫·坎纳 2 克里斯蒂安·柯克加德 2 科沙夫·库纳尔 2 亚历山大·皮尔基维奇 2 戈登·普洛金（Gordon D.Plotkin）。 2 兰迪·波拉克 2 雷米，迪迪埃 2 戴维·桑吉奥吉 2 戴维·特纳（David N.Turner）。 2 杰罗姆·沃伊隆 2 Vytiniotis，迪米特里奥斯 2 丹尼尔·瓦格纳 2 史蒂夫·兹丹塞维奇 1 乌穆特·阿卡尔。 1 阿加瓦尔，阿什什 1 卡洛·安吉利 1 浅井，肯尼奇 1 戴维·巴博萨。 1 乔·菲利佩·贝洛 1 Lennart贝林格 1 布鲁斯（Kim B.Bruce）。 1 彼得·布内曼 1 埃文·卡瓦洛 1 亚瑟·查古埃罗 1 佩里·程 1 内森·A·柯林斯。 1 阿德里亚娜·孔皮诺尼（Adriana B.Compagnoni）。 1 朱利安·克雷丁 1 安德烈·德洪 1 德曼德，德尔芬 1 马克西姆·邓内斯 1 德里克·德雷尔（Derek R.Dreyer）。 1 Fairbairn，Matthew W。 1 马修·弗拉特 1 内特·福斯特 1 马可·加博阿迪 1 乔治·盖利 1 哈里森·戈尔茨坦 1 安德烈亚斯·海伯伦 1 霍诺雷，沃尔夫 1 Hou（Favonia）、Kuen-Bang 1 贾斯汀·徐 1 直纪小林 1 Koh，尼古拉斯 1 李、姚 1 李一帅 1 丹·利卡塔 1 威廉·曼斯基 1 乔纳森·穆尔（Jonathan T.Moore）。 1 格雷格·莫里塞特 1 汤姆七世墨菲 1 阿琼·纳拉扬 1 冈田三弘 1 佐伊州Paraskevopoulou 1 彼得森，叶 1 大卫·皮哈迪 1 杰森·里德 1 安德烈·斯克洛夫 1 彼得·休厄尔 1 Spector Zabusky，安塔尔 1 丹尼尔·斯潘霍尔 1 马丁·斯特芬 1 乔纳森·斯特林 1 克里斯托弗·斯通（Christopher A.Stone）。 1 约瑟夫·塔萨罗蒂 1 德田秀吉 1 安德鲁·托尔马赫 1 杰弗里·沃什伯恩 1 Akinori Yonezawa 1 张恒初 全部的 前5名系列 9 函数编程杂志 7 信息与计算 三 理论计算机科学 三 MSCS公司。计算机科学中的数学结构 2 美国医学会杂志 2 计算机科学课堂讲稿 1 计算机与系统科学杂志 1 国际计算机科学基础杂志 1 RIMS Kokyuroku公司 1 理论计算机科学电子笔记 全部的 前5名领域 63 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 6 一般性和全局性主题；集合（00-XX） 2 范畴理论；同调代数（18-XX） 1 历史和传记（01-XX） 1 一般代数系统（08-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 54出版物有被引用883次中的次661文件 引用人▼ 年份▼ 类型和编程语言。 Zbl 0995.68018号 本杰明·皮尔斯。 223 2002 移动进程的键入和子键入。 Zbl 0861.68030号 本杰明·皮尔斯;戴维·桑吉奥吉 79 1996 大众机械化元理论：波普尔马克挑战。 Zbl 1152.68516号 布莱恩·艾德米尔。;亚伦·博哈农;马修·费尔贝恩;J.Nathan福斯特;本杰明·皮尔斯。;彼得·休厄尔;Vytiniotis，迪米特里奥斯;杰弗里·沃什伯恩;斯蒂芬妮·威里奇;史蒂夫·兹丹塞维奇 52 2005 计算机科学家的基本范畴理论。 兹比尔0875.18001 本杰明·皮尔斯。 46 1991 工程形式元理论。 Zbl 1295.68052号 布莱恩·艾德米尔;亚瑟·查古埃罗;本杰明·皮尔斯。;兰迪·波拉克;斯蒂芬妮·威里奇 40 2008 解码选择编码。 Zbl 1003.68080号 乌韦州内斯特曼;本杰明·皮尔斯。 39 2000 类型和编程语言的高级主题。 Zbl 1080.68009号 32 2005 XML的正则表达式模式匹配。 兹比尔1323.68076 细野县细野;本杰明·皮尔斯 29 2001 双向树转换的组合器：视图更新问题的语言方法。 Zbl 1369.68136号 J.Nathan福斯特;迈克尔·格林瓦尔德（Michael B.Greenwald）。;乔纳森·穆尔（Jonathan T.Moore）。;本杰明·皮尔斯。;阿兰·施密特 29 2005 多态性卵丘中的行为等效性。 Zbl 1094.68591号 本杰明·皮尔斯。;戴维·桑吉奥吉 25 2000 面向对象编程的简单类型论基础。 Zbl 0817.68052号 本杰明·皮尔斯。;戴维·特纳（David N.Turner）。 19 1994 距离使类型变得更强大：一种区分隐私的计算方法。 Zbl 1323.68254号 杰森·里德;本杰明·皮尔斯。 16 2010 类型抽象和递归的互模拟。 Zbl 1326.68073号 埃希罗·苏米;本杰明·皮尔斯。 15 2007 有界量化是无法确定的。 Zbl 0794.03023号 本杰明·皮尔斯。 13 1994 线性相关类型用于不同的隐私。 Zbl 1301.68111号 马可·加博阿迪;安德烈亚斯·海伯伦;贾斯汀·徐;阿琼·纳拉扬;本杰明·皮尔斯。 13 2013 对称透镜。 Zbl 1284.18009号 马丁·霍夫曼;本杰明·皮尔斯;丹尼尔·瓦格纳 13 2011 高阶子类型。 Zbl 0903.68020号 本杰明·皮尔斯;马丁·斯特芬 13 1997 多态语言中的动态类型。 兹伯利0819.68142 马丁·阿巴迪;卢卡·卡德利;B.皮尔斯。;雷米·D·。 12 1995 显示递归子类型。 Zbl 1025.68017号 弗拉基米尔·加佩耶夫;迈克尔·莱文。;本杰明·皮尔斯。 12 2002 类型抽象和递归的互模拟。 Zbl 1369.68117号 埃希罗·苏米;本杰明·皮尔斯。 11 2005 XML的正则表达式类型。 Zbl 1321.68197号 细野县细野;杰罗姆·沃伊隆;本杰明·皮尔斯。 10 2000 比较对象编码。 Zbl 1045.68528号 布鲁斯（Kim B.Bruce）。;卢卡·卡德利;本杰明·皮尔斯。 10 1999 动态密封的相互模拟。 Zbl 1111.68034号 Sumii、Eijiro;本杰明·皮尔斯。 9 2007 合同已明确。 Zbl 1312.68133号 迈克尔·格林伯格;本杰明·皮尔斯。;斯蒂芬妮·威里奇 9 2010 XML的正则表达式模式匹配。 Zbl 1093.68556号 细野县细野;本杰明·皮尔斯。 9 2003 解码选择编码。 Zbl 1514.68177号 乌韦州内斯特曼;本杰明·皮尔斯。 9 1996 基础性能测试。 兹比尔1465.68050 佐伊州Paraskevopoulou;Hriţcu，科特林;马克西姆·邓内斯;莱昂尼达斯·兰普罗普洛斯;本杰明·皮尔斯。 8 2015 高阶交集类型和多重继承。 Zbl 0861.68054号 阿德里亚娜·孔皮诺尼（Adriana B.Compagnoni）。;本杰明·皮尔斯。 7 1996 经过验证的信息流体系结构。 Zbl 1284.68306号 阿泽夫多·阿莫林;内森·柯林斯;安德烈·德洪;德尔芬·德曼吉;Hriţcu，科特林;大卫·皮哈迪;本杰明·皮尔斯。;兰迪·波拉克;安德鲁·托尔马赫 7 2014 Boomerang，用于字符串数据的足智多谋的镜头。 Zbl 1295.68077号 亚伦·博哈农;J.Nathan福斯特;本杰明·皮尔斯。;亚历山大·皮尔基维奇;阿兰·施密特 6 2008 编辑镜头。 Zbl 1321.68154号 马丁·霍夫曼;本杰明·皮尔斯;丹尼尔·瓦格纳 6 2012 商透镜。 Zbl 1323.68071号 J.Nathan福斯特;亚历山大·皮尔基维奇;本杰明·皮尔斯。 6 2008 有界存在论和最小类型。 Zbl 0909.03017号 乔治·盖利;本杰明·皮尔斯 6 1998 阳性子类型。 Zbl 0853.68125号 马丁·霍夫曼;本杰明·皮尔斯。 5 1996 一种基于pi-calculus的类型化高阶程序设计语言。 Zbl 0939.68569号 本杰明·皮尔斯。;雷米，迪迪埃;戴维·特纳（David N.Turner）。 5 1993 交集类型和有界多态性。 兹比尔0788.68022 本杰明·皮尔斯。 5 1993 动态密封的相互模拟。 Zbl 1325.68050号 埃希罗·苏米;本杰明·皮尔斯。 4 2004 半结构化数据的并集类型。 Zbl 1044.68574号 彼得·布内曼;本杰明·皮尔斯 4 2000 匹配镜头：对齐和视图更新。 Zbl 1323.68062号 戴维·M·J·巴博萨。;朱利安·克雷丁;内特·福斯特;迈克尔·格林伯格;本杰明·皮尔斯。 4 2010 修补程序类型：一种用于处理正式系统的语言。 Zbl 1062.68039号 迈克尔·莱文。;本杰明·皮尔斯。 三 2003 递归子类型显示（功能性珍珠）。 Zbl 1321.68153号 弗拉基米尔·加佩耶夫;迈克尔·莱文。;本杰明·皮尔斯。 2 2000 初学者的运气：基于属性的生成器语言。 Zbl 1380.68096号 莱昂尼达斯·兰普罗普洛斯;戴安·加洛瓦·旺;Hriţcu，科特林;休斯，约翰;本杰明·皮尔斯。;夏、李耀 2 2017 在数据同步中利用模式。 Zbl 1115.68056号 J.Nathan福斯特;迈克尔·格林瓦尔德（Michael B.Greenwald）。;克里斯蒂安·柯克加德;本杰明·皮尔斯。;阿兰·施密特 2 2007 交集类型和有界多态性。 兹伯利0873.03020 本杰明·皮尔斯。 2 1997 快速测试无干扰。 Zbl 1323.68376号 Hritcu，Catalin公司;休斯，约翰;本杰明·皮尔斯。;Spector Zabusky，安塔尔;Vytiniotis，迪米特里奥斯;阿泽夫多·阿莫林;莱昂尼达斯·兰普罗普洛斯 2 2013 递归多态类型的忠实理想模型。 Zbl 0741.68026号 马丁·阿巴迪;本杰明·皮尔斯;戈登·普洛金 2 1991 同意同意：乐观复制数据的冲突解决。 Zbl 1155.68330号 迈克尔·格林瓦尔德（Michael B.Greenwald）。;桑吉夫·坎纳;库纳尔，凯沙夫;本杰明·皮尔斯。;阿兰·施密特 1 2007 在数据同步中利用模式。 Zbl 1159.68417号 J.Nathan福斯特;迈克尔·格林瓦尔德（Michael B.Greenwald）。;克里斯蒂安·柯克加德;本杰明·皮尔斯。;阿兰·施密特 1 2005 记忆安全的含义。 Zbl 1427.68043号 阿泽夫多·阿莫林;Hriţcu，科特林;本杰明·皮尔斯。 1 2018 对diff3的正式调查。 兹比尔1135.68375 桑吉夫·坎纳;科沙夫·库纳尔;本杰明·皮尔斯。 1 2007 98年HLCL。第三届高级并发语言国际研讨会。法国尼斯，1998年9月12日。 Zbl 0903.00063号 1 1998 Unison：文件同步器及其规范。 Zbl 1087.68554号 本杰明·皮尔斯。;杰罗姆·沃伊隆 1 2001 虚拟类型的基础。 Zbl 1012.68042号 Atsushi Igarashi;本杰明·皮尔斯。 1 2002 在内部类上。 Zbl 1012.68045号 Atsushi Igarashi;本杰明·皮尔斯 1 2002 记忆安全的含义。 Zbl 1427.68043号 阿泽夫多·阿莫林;Hriţcu，科特林;本杰明·皮尔斯。 1 2018 初学者的运气：基于属性的生成器语言。 Zbl 1380.68096号 莱昂尼达斯·兰普罗普洛斯;戴安·加洛瓦·旺;Hriţcu，科特林;休斯，约翰;本杰明·皮尔斯。;夏、李耀 2 2017 基础性能测试。 Zbl 1465.68050号 佐伊州Paraskevopoulou;Hriţcu，科特林;马克西姆·邓内斯;莱昂尼达斯·兰普罗普洛斯;本杰明·皮尔斯。 8 2015 经过验证的信息流体系结构。 Zbl 1284.68306号 阿泽夫多·阿莫林;柯林斯，内森;安德烈·德洪;德尔芬·德曼吉;Hriţcu，科特林;大卫·皮哈迪;本杰明·皮尔斯。;兰迪·波拉克;安德鲁·托尔马赫 7 2014 线性相关类型用于不同隐私。 Zbl 1301.68111号 马可·加博阿迪;安德烈亚斯·海伯伦;贾斯汀·徐;阿琼·纳拉扬;本杰明·皮尔斯。 13 2013 快速测试无干扰。 兹比尔1323.68376 Hritcu，Catalin公司;休斯，约翰;本杰明·皮尔斯。;Spector Zabusky，安塔尔;Vytiniotis，迪米特里奥斯;阿泽夫多·阿莫林;莱昂尼达斯·兰普罗普洛斯 2 2013 编辑镜头。 Zbl 1321.68154号 马丁·霍夫曼;本杰明·皮尔斯;丹尼尔·瓦格纳 6 2012 对称透镜。 Zbl 1284.18009号 马丁·霍夫曼;本杰明·皮尔斯;丹尼尔·瓦格纳 13 2011 距离使类型变得更强大：对不同隐私的计算。 Zbl 1323.68254号 杰森·里德;本杰明·皮尔斯。 16 2010 合同已明确。 Zbl 1312.68133号 迈克尔·格林伯格;本杰明·皮尔斯。;斯蒂芬妮·威里奇 9 2010 匹配镜头：对齐和视图更新。 Zbl 1323.68062号 戴维·巴博萨。;朱利安·克雷丁;内特·福斯特;迈克尔·格林伯格;本杰明·皮尔斯。 4 2010 工程形式元理论。 Zbl 1295.68052号 布莱恩·艾德米尔;亚瑟·查古埃罗;本杰明·皮尔斯。;兰迪·波拉克;斯蒂芬妮·威里奇 40 2008 Boomerang，用于字符串数据的足智多谋的镜头。 Zbl 1295.68077号 亚伦·博哈农;J.Nathan福斯特;本杰明·皮尔斯。;亚历山大·皮尔基维奇;阿兰·施密特 6 2008 商透镜。 Zbl 1323.68071号 J.Nathan福斯特;亚历山大·皮尔基维奇;本杰明·皮尔斯。 6 2008 类型抽象和递归的互模拟。 兹比尔1326.68073 埃希罗·苏米;本杰明·皮尔斯。 15 2007 动态密封的相互模拟。 Zbl 1111.68034号 埃希罗·苏米;本杰明·皮尔斯。 9 2007 在数据同步中利用模式。 Zbl 1115.68056号 J.Nathan福斯特;迈克尔·格林瓦尔德（Michael B.Greenwald）。;柯克加德，基督徒;本杰明·皮尔斯。;阿兰·施密特 2 2007 同意同意：乐观复制数据的冲突解决。 Zbl 1155.68330号 迈克尔·格林瓦尔德（Michael B.Greenwald）。;桑吉夫·坎纳;科沙夫·库纳尔;本杰明·皮尔斯。;阿兰·施密特 1 2007 对diff3的正式调查。 Zbl 1135.68375号 桑吉夫·坎纳;科沙夫·库纳尔;本杰明·皮尔斯。 1 2007 大众机械化元理论：波普尔马克挑战。 兹比尔1152.68516 布莱恩·艾德米尔。;亚伦·博哈农;马修·费尔贝恩;J.Nathan福斯特;本杰明·皮尔斯。;彼得·休厄尔;Vytiniotis，迪米特里奥斯;杰弗里·沃什伯恩;斯蒂芬妮·威里奇;史蒂夫·兹丹塞维奇 52 2005 类型和编程语言的高级主题。 Zbl 1080.68009号 32 2005 双向树转换的组合器：视图更新问题的语言方法。 Zbl 1369.68136号 J.Nathan福斯特;迈克尔·格林瓦尔德（Michael B.Greenwald）。;乔纳森·穆尔（Jonathan T.Moore）。;本杰明·皮尔斯。;阿兰·施密特 29 2005 类型抽象和递归的互模拟。 Zbl 1369.68117号 埃希罗·苏米;本杰明·皮尔斯。 11 2005 在数据同步中利用模式。 Zbl 1159.68417号 J.Nathan福斯特;迈克尔·格林瓦尔德（Michael B.Greenwald）。;柯克加德，基督徒;本杰明·皮尔斯。;阿兰·施密特 1 2005 动态密封的相互模拟。 Zbl 1325.68050号 埃希罗·苏米;本杰明·皮尔斯。 4 2004 XML的正则表达式模式匹配。 Zbl 1093.68556号 细野县细野;本杰明·皮尔斯。 9 2003 修补程序类型：一种用于处理正式系统的语言。 Zbl 1062.68039号 迈克尔·莱文。;本杰明·皮尔斯。 三 2003 类型和编程语言。 Zbl 0995.68018号 本杰明·皮尔斯。 223 2002 显示递归子类型。 Zbl 1025.68017号 弗拉基米尔·加佩耶夫;迈克尔·莱文。;本杰明·皮尔斯。 12 2002 虚拟类型的基础。 Zbl 1012.68042号 Atsushi Igarashi;本杰明·皮尔斯。 1 2002 在内部类上。 兹比尔1012.68045 Atsushi Igarashi;本杰明·皮尔斯 1 2002 XML的正则表达式模式匹配。 Zbl 1323.68076号 细野县细野;本杰明·皮尔斯 29 2001 Unison：文件同步器及其规范。 Zbl 1087.68554号 本杰明·皮尔斯。;杰罗姆·沃伊隆 1 2001 解码选择编码。 Zbl 1003.68080号 乌韦州内斯特曼;本杰明·皮尔斯。 39 2000 多态性卵丘中的行为等效性。 Zbl 1094.68591号 本杰明·皮尔斯。;戴维·桑吉奥吉 25 2000 XML的正则表达式类型。 Zbl 1321.68197号 细野县细野;杰罗姆·沃伊隆;本杰明·皮尔斯。 10 2000 半结构化数据的并集类型。 Zbl 1044.68574号 彼得·布内曼;本杰明·皮尔斯 4 2000 递归子类型显示（功能性珍珠）。 Zbl 1321.68153号 弗拉基米尔·加佩耶夫;迈克尔·莱文。;本杰明·皮尔斯。 2 2000 比较对象编码。 Zbl 1045.68528号 布鲁斯（Kim B.Bruce）。;卢卡·卡德利;本杰明·皮尔斯。 10 1999 有界存在论和最小类型。 Zbl 0909.03017号 乔治·盖利;本杰明·皮尔斯 6 1998 98年HLCL。第三届高级并发语言国际研讨会。法国尼斯，1998年9月12日。 Zbl 0903.00063号 1 1998 高阶子类型。 Zbl 0903.68020号 本杰明·皮尔斯;马丁·斯特芬 13 1997 交集类型和有界多态性。 Zbl 0873.03020号 本杰明·皮尔斯。 2 1997 移动进程的键入和子键入。 Zbl 0861.68030号 本杰明·皮尔斯;戴维·桑吉奥吉 79 1996 解码选择编码。 Zbl 1514.68177号 乌韦州内斯特曼;本杰明·皮尔斯。 9 1996 高阶交集类型和多重继承。 Zbl 0861.68054号 阿德里亚娜·孔皮诺尼（Adriana B.Compagnoni）。;本杰明·皮尔斯。 7 1996 阳性子类型。 兹比尔0853.68125 马丁·霍夫曼;本杰明·皮尔斯。 5 1996 多态语言中的动态类型。 兹伯利0819.68142 马丁·阿巴迪;卢卡·卡德利;B.皮尔斯。;雷米·D·。 12 1995 面向对象编程的简单类型理论基础。 Zbl 0817.68052号 本杰明·皮尔斯。;戴维·特纳（David N.Turner）。 19 1994 有界量化是无法确定的。 Zbl 0794.03023号 本杰明·皮尔斯。 13 1994 一种基于pi-calculus的类型化高阶程序设计语言。 Zbl 0939.68569号 本杰明·皮尔斯。;雷米，迪迪埃;戴维·特纳（David N.Turner）。 5 1993 交集类型和有界多态性。 Zbl 0788.68022号 本杰明·皮尔斯。 5 1993 计算机科学家的基本范畴理论。 Zbl 0875.18001号 本杰明·皮尔斯。 46 1991 递归多态类型的忠实理想模型。 Zbl 0741.68026号 马丁·阿巴迪;本杰明·皮尔斯;戈登·普洛金 2 1991 所有引用出版物 前5名被引用出版物 全部的 前5名981位作者引用 20 马里亚纽拉州Dezani-Ciancaglini 20 吉田、Nobuko 16 戴维·桑吉奥吉 11 本杰明·皮尔斯。 10 轩尼诗，Matthew C.B。 10 本田、高黑 8 Vascoconcelos、Vasco Thudichum 7 伊利亚卡斯特拉尼 7 丹尼尔·戈拉 7 直纪小林 6 佛朗哥·巴巴内拉 6 拉尔斯·比克达尔 6 维维亚娜·博诺 6 马里奥·科普 6 盖伊，西蒙·J。 6 乔治·盖利 6 丹尼尔·赫希科夫 6 乌韦州内斯特曼 6 卢卡·保里尼 6 佩雷斯（Jorge A.Pérez）。 6 碧姬·品特卡 6 格里高·罗什乌 6 贝蒂·文内里 5 安德烈亚斯·阿贝尔（Andreas M.Abel）。 5 马丁·伯杰（Martin J.Berger）。 5 洛伦佐·贝蒂尼 5 保拉·吉安尼尼 5 安德鲁·戈登。 5 罗斯·霍恩 5 胡，镇江 5 Atsushi Igarashi 5 Jean-Marie，马迪奥 5 戴尔·艾伦·米勒 5 阿尔贝托·莫米利亚诺 5 布鲁诺·C·d·S·奥利维拉。 5 卢卡·帕多瓦尼 5 卡图西亚帕拉米德斯 5 柯斯汀·彼得斯 5 埃希罗·苏米 5 彼得·蒂曼。 5 城市，基督教 5 斯特凡·韦尔 4 吉尔·巴特 4 爱德华多·博内利 4 米歇尔·布格列西 4 朱塞佩·卡斯塔尼亚 4 詹姆斯·切尼 4 卡尔·克里 4 洛科·德尼古拉 4 乌戈·德利古罗 4 德雷尔，德里克·R。 4 伏玉溪 4 西尔维娅·吉勒赞 4 马丁·霍夫曼 4 拉尔夫·拉梅尔 4 泽维尔·勒罗伊 4 何塞·梅塞盖尔·瓜伊塔 4 安德烈亚·莫迪多 4 约阿希姆·帕罗 4 朱利安·拉特克 4 威尔默·里奇奥蒂 4 弗拉迪米罗·萨松 4 阿兰·施密特 4 杰里米·西克。 4 蒂瓦里，S.P。 4 Janis Voigtlander公司 三 罗伯特·阿马迪奥（Roberto M.Amadio）。 三 安德鲁·W·阿佩尔。 三 安德烈亚·阿斯佩蒂 三 罗伯特·艾奇 三 毛里西奥·阿亚拉·林科恩 三 Lennart贝林格 三 米歇尔·博雷尔 三 萨拉·卡佩基 三 卢卡·卡德利 三 加布里埃尔·乔巴努 三 阿德里亚娜·孔皮诺尼（Adriana B.Compagnoni）。 三 埃内斯托·科佩罗 三 乌戈·达尔拉戈 三 凯瑟琳·杜布瓦 三 马里奥弗洛里多 三 马可·加博阿迪 三 安德鲁·加塞克 三 弗朗西斯科·加瓦佐 三 约瑟夫吉尔 三 罗伯特·哈珀 三 安德烈·赫肖维茨 三 细野县细野 三 Alan S.A.杰弗里。 三 埃纳尔·布罗赫·约翰森 三 奥列格·基塞利约夫 三 哈拉尔德·科尼格 三 特默尔库西亚 三 科西莫·拉内夫 三 路易吉·利科里 三 马可·马格西 三 马林·米尔恰 三 詹姆斯·麦金纳 三 马西莫·梅罗 三 迪米特里斯·莫斯特鲁斯 …还有881位作者 全部的 前5名66篇连载文章中引用 84 理论计算机科学 54 信息与计算 35 函数编程杂志 25 自动推理杂志 25 程序设计中的逻辑和代数方法杂志 18 MSCS公司。计算机科学中的数学结构 16 计算机程序设计科学 13 信息学报 13 计算的形式方面 13 逻辑与代数程序设计杂志 12 高阶与符号计算 11 计算机科学中的逻辑方法 10 计算机与系统科学杂志 7 计算机语言、系统和结构 5 系统设计中的形式化方法 5 逻辑程序设计理论与实践 4 人工智能 4 纯逻辑与应用逻辑年鉴 三 信息处理信函 三 符号计算杂志 三 RAIRO公司。理论信息学及其应用 2 模糊集与系统 2 计算机科学与技术杂志 2 工程、通信和计算中的应用代数 2 控制论与系统分析 2 数学与人工智能年鉴 2 约束条件 2 ACM计算逻辑事务 2 新数学与自然计算 2 RAIRO公司。理论信息学及其应用 1 代数通讯 1 数学物理杂志 1 应用数学与计算 1 Automatica公司 1 哲学逻辑杂志 1 纯粹与应用代数杂志 1 编程和计算机软件 1 合成 1 匈牙利数学学报 1 新一代计算 1 神经网络 1 美国数学学会公报。新系列 1 分布式计算 1 数学编程。A系列B系列 1 Indagationes Mathematicae公司。新系列 1 结理论杂志及其分歧 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 组合数学、概率与计算 1 美国计算机学会模型和计算机仿真汇刊 1 计算系统理论 1 软计算 1 埃尔肯特尼斯 1 Matematicheskoe Modelirovanie公司 1 逻辑与逻辑哲学 1 Sādhanā 1 自然计算 1 多值逻辑与软计算杂志 1 计算机科学中的数学 1 泛逻辑 1 非线性分析。混合动力系统 1 《大学学报》。Informatica公司 1 科学中国。信息科学 1 理论生物学杂志 1 计算机科学前沿 1 高层建筑 全部的 前5名23个字段中引用 624 计算机科学（68至XX） 144 数学逻辑和基础（03-XX） 28 范畴理论；同调代数（18-XX） 10 量子理论（81-XX） 8 运筹学、数学规划（90-XX） 7 博弈论、经济学、金融和其他社会和行为科学（91-XX） 7 生物学和其他自然科学（92-XX） 7 信息与通信理论、电路（94-XX） 4 系统论；控制（93至XX） 三 组合数学（05-XX） 2 一般代数系统（08-XX） 2 结合环与代数（16-XX） 2 概率论与随机过程（60-XX） 1 一般性和全局性主题；集合（00-XX） 1 阶、格、有序代数结构（06-XX） 1 数论（11-XX） 1 变分法与最优控制；最优化（49至XX） 1 一般拓扑结构（54至XX） 1 代数拓扑（55-XX） 1 流形和细胞复合体（57-XX） 1 流体力学（76-XX） 1 经典热力学，传热（80-XX） 1 数学教育（97-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.