编辑配置文件(在新选项卡中打开) 本杰明·皮尔斯。 合著者距离 作者ID: 皮尔斯·本杰明-c 发布日期: 本杰明·皮尔斯。;本杰明·皮尔斯;B.皮尔斯。 更多。。。较少的 外部链接: MGP公司·维基数据·数据库许可证·接地·ID参考 已编制索引的文档: 61出版物自1989年起,包括2本书 7作为编辑的贡献·1进一步贡献 合著者: 78位合著者具有61联合出版物 1270名合著作者 全部的 前5名合著者 7 单作者的 6 福斯特,J.内森 6 Hriţcu,科特林 5 莱昂尼达斯·兰普罗普洛斯 5 阿兰·施密特 4 迈克尔·D·格林伯格。 4 迈克尔·格林瓦尔德(Michael B.Greenwald)。 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 伦纳特·贝林格 1 布鲁斯,金·B。 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 科赫,尼古拉斯 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 面向大众的机械化元理论:PoppMark挑战。 Zbl 1152.68516号 布莱恩·艾德米尔。;亚伦·博哈农;马修·费尔贝恩;J.Nathan福斯特;本杰明·皮尔斯。;彼得·休厄尔;Vytiniotis,迪米特里奥斯;杰弗里·沃什伯恩;斯蒂芬妮·威里奇;史蒂夫·兹丹切维奇 52 2005 计算机科学家的基本范畴理论。 Zbl 0875.18001号 本杰明·皮尔斯。 46 1991 工程形式元理论。 Zbl 1295.68052号 布莱恩·艾德米尔;亚瑟·查古埃罗;本杰明·皮尔斯。;Randy波拉克;斯蒂芬妮·威里奇 40 2008 解码选择编码。 Zbl 1003.68080号 乌韦·内斯特曼;本杰明·皮尔斯。 39 2000 类型和编程语言的高级主题。 兹比尔1080.68009 32 2005 双向树转换的组合器:视图更新问题的语言方法。 Zbl 1369.68136号 J.Nathan福斯特;迈克尔·格林瓦尔德(Michael B.Greenwald)。;乔纳森·穆尔(Jonathan T.Moore)。;本杰明·皮尔斯。;阿兰·施密特 29 2005 XML的正则表达式模式匹配。 Zbl 1323.68076号 细野县细野;本杰明·皮尔斯 29 2001 多态性卵丘中的行为等效性。 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 0903.68020号 本杰明·皮尔斯;马丁·斯特芬 13 1997 对称透镜。 Zbl 1284.18009号 马丁·霍夫曼;本杰明·皮尔斯;瓦格纳,丹尼尔 13 2011 线性相关类型用于不同隐私。 Zbl 1301.68111号 马可·加博阿迪;安德烈亚斯·海伯伦;贾斯汀·徐;阿琼·纳拉扬;本杰明·皮尔斯。 13 2013 多态语言中的动态类型。 Zbl 0819.68142号 马丁·阿巴迪;卢卡·卡德利;B.皮尔斯。;雷米·D·。 12 1995 递归子类型显示。 Zbl 1025.68017号 弗拉基米尔·加佩耶夫;迈克尔·莱文。;本杰明·皮尔斯。 12 2002 类型抽象和递归的互模拟。 Zbl 1369.68117号 埃希罗·苏米;本杰明·皮尔斯。 11 2005 正在比较对象编码。 Zbl 1045.68528号 布鲁斯,金·B。;卢卡·卡德利;本杰明·皮尔斯。 10 1999 XML的正则表达式类型。 Zbl 1321.68197号 细野县细野;杰罗姆·沃伊隆;本杰明·皮尔斯。 10 2000 合同已明确。 Zbl 1312.68133号 迈克尔·格林伯格;本杰明·皮尔斯。;斯蒂芬妮·威里奇 9 2010 动态密封的相互模拟。 Zbl 1111.68034号 埃希罗·苏米;本杰明·皮尔斯。 9 2007 XML的正则表达式模式匹配。 Zbl 1093.68556号 细野县细野;本杰明·皮尔斯。 9 2003 解码选择编码。 Zbl 1514.68177号 乌韦·内斯特曼;本杰明·皮尔斯。 9 1996 基础性能测试。 Zbl 1465.68050号 佐伊州Paraskevopoulou;Hriţcu,科特林;马克西姆·邓内斯;莱昂尼达斯·兰普罗普洛斯;本杰明·皮尔斯。 8 2015 高阶交集类型和多重继承。 Zbl 0861.68054号 阿德里亚娜·孔皮诺尼(Adriana B.Compagnoni)。;本杰明·皮尔斯。 7 1996 经过验证的信息流体系结构。 Zbl 1284.68306号 阿泽夫多·阿莫林;内森·柯林斯;安德烈·德洪;德尔芬·德曼吉;赫里ţcu,Cătălin;大卫·皮哈迪;本杰明·皮尔斯。;兰迪·波拉克;安德鲁·托尔马赫 7 2014 有界存在和最小类型。 Zbl 0909.03017号 乔治·盖利;本杰明·皮尔斯 6 1998 Boomerang,用于字符串数据的足智多谋的镜头。 兹比尔1295.68077 亚伦·博哈农;J.Nathan福斯特;本杰明·皮尔斯。;亚历山大·皮尔基维奇;阿兰·施密特 6 2008 商透镜。 Zbl 1323.68071号 福斯特,J.内森;亚历山大·皮尔基维奇;本杰明·皮尔斯。 6 2008 编辑镜头。 Zbl 1321.68154号 马丁·霍夫曼;本杰明·皮尔斯;瓦格纳,丹尼尔 6 2012 一种基于pi-calculus的类型化高阶程序设计语言。 Zbl 0939.68569号 本杰明·皮尔斯。;雷米,迪迪埃;戴维·特纳(David N.Turner)。 5 1993 交集类型和有界多态性。 Zbl 0788.68022号 本杰明·皮尔斯。 5 1993 阳性子类型。 Zbl 0853.68125号 马丁·霍夫曼;本杰明·皮尔斯。 5 1996 半结构化数据的并集类型。 Zbl 1044.68574号 彼得·布内曼;本杰明·皮尔斯 4 2000 匹配镜头:对齐和视图更新。 Zbl 1323.68062号 戴维·巴博萨。;朱利安·克雷丁;内特·福斯特;迈克尔·格林伯格;本杰明·皮尔斯。 4 2010 动态密封的相互模拟。 Zbl 1325.68050号 埃希罗·苏米;本杰明·皮尔斯。 4 2004 修补程序类型:一种用于处理正式系统的语言。 Zbl 1062.68039号 迈克尔·莱文。;本杰明·皮尔斯。 三 2003 交集类型和有界多态性。 Zbl 0873.03020号 本杰明·皮尔斯。 2 1997 递归多态类型的忠实理想模型。 Zbl 0741.68026号 马丁·阿巴迪;本杰明·皮尔斯;戈登·普洛金 2 1991 初学者的运气:基于属性的生成器语言。 Zbl 1380.68096号 列奥尼达Lampropoulos;戴安·加洛瓦·旺;Hriţcu,科特林;约翰·休斯;本杰明·皮尔斯。;夏、李耀 2 2017 递归子类型显示(功能性珍珠)。 Zbl 1321.68153号 弗拉基米尔·加佩耶夫;迈克尔·莱文。;本杰明·皮尔斯。 2 2000 快速测试无干扰。 Zbl 1323.68376号 Hritcu,Catalin公司;约翰·休斯;本杰明·皮尔斯。;Spector-Zabusky,安塔尔;Vytiniotis,迪米特里奥斯;阿泽夫多·阿莫林;莱昂尼达斯·兰普罗普洛斯 2 2013 在数据同步中利用模式。 Zbl 1115.68056号 J.Nathan福斯特;迈克尔·格林瓦尔德(Michael B.Greenwald)。;克里斯蒂安·柯克加德;本杰明·皮尔斯。;阿兰·施密特 2 2007 在内部类上。 Zbl 1012.68045号 Atsushi Igarashi;本杰明·皮尔斯 1 2002 对diff3的正式调查。 Zbl 1135.68375号 桑吉夫·坎纳;科沙夫·库纳尔;本杰明·皮尔斯。 1 2007 98年HLCL。第三届高级并发语言国际研讨会。法国尼斯,1998年9月12日。 Zbl 0903.00063号 1 1998 虚拟类型的基础。 兹比尔1012.68042 Atsushi Igarashi;本杰明·皮尔斯。 1 2002 Unison:文件同步器及其规范。 Zbl 1087.68554号 本杰明·皮尔斯。;杰罗姆·沃伊隆 1 2001 同意同意:为乐观复制的数据解决冲突。 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 记忆安全的含义。 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,科特林;大卫·皮哈迪;本杰明·皮尔斯。;Randy波拉克;安德鲁·托尔马赫 7 2014 线性相关类型用于不同的隐私。 Zbl 1301.68111号 马可·加博阿迪;安德烈亚斯·海伯伦;许,贾斯汀;阿琼·纳拉扬;本杰明·皮尔斯。 13 2013 快速测试无干扰。 Zbl 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号 布莱恩·艾德米尔;亚瑟·查古埃罗;本杰明·皮尔斯。;Randy波拉克;斯蒂芬妮·威里奇 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 对diff3的正式调查。 Zbl 1135.68375号 桑吉夫·坎纳;科沙夫·库纳尔;本杰明·皮尔斯。 1 2007 同意同意:乐观复制数据的冲突解决。 Zbl 1155.68330号 迈克尔·格林瓦尔德(Michael B.Greenwald)。;桑吉夫·坎纳;科沙夫·库纳尔;本杰明·皮尔斯。;阿兰·施密特 1 2007 大众机械化元理论:波普尔马克挑战。 Zbl 1152.68516号 布莱恩·艾德米尔。;亚伦·博哈农;马修·费尔贝恩;J.Nathan福斯特;本杰明·皮尔斯。;彼得·休厄尔;Vytiniotis,迪米特里奥斯;杰弗里·沃什伯恩;斯蒂芬妮·威里奇;史蒂夫·兹丹塞维奇 52 2005 类型和编程语言的高级主题。 兹比尔1080.68009 32 2005 双向树转换的组合器:视图更新问题的语言方法。 兹比尔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.68045号 Atsushi Igarashi;本杰明·皮尔斯 1 2002 虚拟类型的基础。 Zbl 1012.68042号 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 递归子类型显示(功能性珍珠)。 兹比尔1321.68153 弗拉基米尔·加佩耶夫;迈克尔·莱文。;本杰明·皮尔斯。 2 2000 比较对象编码。 Zbl 1045.68528号 布鲁斯,金·B。;卢卡·卡德利;本杰明·皮尔斯。 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 阳性子类型。 Zbl 0853.68125号 马丁·霍夫曼;本杰明·皮尔斯。 5 1996 多态语言中的动态类型。 Zbl 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 递归多态类型的忠实理想模型。 兹比尔0741.68026 马丁·阿巴迪;本杰明·皮尔斯;戈登·普洛金 2 1991 所有引用出版物 前5名被引用出版物 全部的 前5名980位作者引用 20 马里亚纽拉州Dezani-Ciancaglini 20 吉田、Nobuko 16 戴维·桑吉奥吉 11 本杰明·皮尔斯。 10 轩尼诗,Matthew C.B。 10 本田、高黑 8 瓦斯科塞洛斯 7 伊利亚州卡斯特拉尼 7 丹尼尔·戈拉 7 直纪小林 6 佛朗哥·巴巴内拉 6 拉尔斯·比克达尔 6 维维亚娜·博诺 6 马里奥·科普 6 西蒙·盖伊。 6 乔治·盖利 6 丹尼尔·赫希科夫 6 乌韦·内斯特曼 6 卢卡·保里尼 6 佩雷斯,豪尔赫·A。 6 碧姬·品特卡 6 格里高·罗什乌 6 贝蒂·文内里 5 安德烈亚斯·阿贝尔(Andreas M.Abel)。 5 马丁·伯杰(Martin J.Berger)。 5 洛伦佐·贝蒂尼 5 保拉·吉安尼尼 5 安德鲁·戈登。 5 罗斯·霍恩 5 胡镇江 5 Atsushi Igarashi 5 Jean-Marie,马迪奥 5 戴尔·艾伦·米勒 5 布鲁诺·C·d·S·奥利维拉。 5 卢卡·帕多瓦尼 5 卡图西亚帕拉米德斯 5 柯斯汀·彼得斯 5 埃希罗·苏米 5 彼得·蒂曼。 5 城市,基督教 5 斯特凡·韦尔 4 吉尔·巴特 4 爱德华多·博内利 4 米歇尔·布格列西 4 朱塞佩·卡斯塔尼亚 4 詹姆斯·切尼 4 卡尔·克里 4 洛科·德尼古拉 4 乌戈·德利古罗 4 德里克·德雷尔(Derek R.Dreyer)。 4 伏玉溪 4 西尔维娅·吉勒赞 4 马丁·霍夫曼 4 拉尔夫·拉梅尔 4 泽维尔·勒罗伊 4 何塞·梅塞盖尔·瓜伊塔 4 阿尔贝托·莫米利亚诺 4 安德烈亚·莫迪多 4 约阿希姆·帕罗 4 朱利安·拉特克 4 威尔默·里奇奥蒂 4 弗拉迪米罗·萨松 4 阿兰·施密特 4 杰里米·西克。 4 蒂瓦里,S.P。 4 Janis Voigtlander公司 三 罗伯特·阿马迪奥(Roberto M.Amadio)。 三 安德鲁·W·阿佩尔。 三 安德烈亚·阿斯佩蒂 三 罗伯特·艾奇 三 毛里西奥Ayala Rincón 三 伦纳特·贝林格 三 米歇尔·博雷尔 三 Sara卡佩奇 三 卢卡·卡德利 三 加布里埃尔·乔巴努 三 阿德里亚娜·孔皮诺尼(Adriana B.Compagnoni)。 三 埃内斯托·科佩罗 三 乌戈·达尔拉戈 三 凯瑟琳·杜布瓦 三 马里奥弗洛里多 三 马可·加博阿迪 三 安德鲁·加塞克 三 弗朗西斯科·加瓦佐 三 约瑟夫·吉尔 三 罗伯特·哈珀 三 安德烈·赫肖维茨 三 细野县细野 三 Alan S.A.杰弗里。 三 埃纳尔·布罗赫·约翰森 三 奥列格·基塞利约夫 三 哈拉尔德·科尼格 三 特默尔库西亚 三 科西莫·拉内夫 三 路易吉·利科里 三 马可·马格西 三 马林·米尔恰 三 詹姆斯·麦金纳 三 马西莫·梅罗 三 迪米特里斯·莫斯特鲁斯 …和880多位作者 全部的 前5名66篇连载文章中引用 84 理论计算机科学 54 信息与计算 35 函数编程杂志 25 自动推理杂志 25 程序设计中的逻辑和代数方法杂志 18 MSCS公司。计算机科学中的数学结构 16 计算机程序设计科学 13 信息学报 13 计算的形式方面 13 逻辑与代数程序设计杂志 12 高阶和符号计算 11 计算机科学中的逻辑方法 10 计算机与系统科学杂志 7 计算机语言、系统和结构 5 系统设计中的形式化方法 5 逻辑程序设计理论与实践 4 人工智能 4 纯逻辑与应用逻辑年鉴 三 信息处理信件 三 符号计算杂志 三 赖罗。理论信息学及其应用 2 模糊集与系统 2 计算机科学与技术杂志 2 工程、通信和计算中的应用代数 2 控制论与系统分析 2 数学与人工智能年鉴 2 约束条件 2 ACM计算逻辑事务 2 新数学与自然计算 2 赖罗。理论信息学及其应用 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 萨达纳 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中的知识共享CC0许可证.应进行更新和更正在Wikidata中.