编辑配置文件（在新选项卡中打开） O'Hearn，Peter W。 合著者距离 作者ID： ohearn.peter-w型 发布日期： O'Hearn，Peter W。;彼得·奥赫恩;P.W.奥赫恩。 更多。。。较少的 已编制索引的文档： 61出版物自1990年以来 2作为编辑的贡献 合著者： 45位合著者具有53联合出版物 691合著作者 全部的 前5名合著者 10 单作者的 14 杨红seok 11 克里斯蒂亚诺·加尔卡尼奥 9 乔什·伯丁 8 迪诺·迪斯特法诺 8 罗伯特·D·坦能。 5 C.A.R.Tony Hoare 5 权力，约翰 5 美国雷迪。 5 木本武山 4 库克，拜伦 三 理查德·博纳特 三 伊万娜·菲利波维奇 三 伯恩哈德·莫勒 三 约翰·查尔斯·雷诺兹 三 诺姆·里内茨基 三 朱尔斯·维拉德 2 斯蒂芬·布鲁克斯。 2 彼得·弗雷德。 2 阿克巴侯赛因 2 马修·帕金森。 2 Rasmus Lerchedahl彼得森 2 大卫·J·派姆。 2 兹比格涅夫 2 乔治·斯特鲁斯 2 诺亚·托普·史密斯 1 阿齐姆·查德哈里 1 黄海党 1 德里克·德雷尔（Derek R.Dreyer）。 1 萨明·伊斯蒂亚克。 1 吉木基诺西塔 1 Gary T.Leavens。 1 Lee，Oukseh先生 1 伊万娜·米贾伊洛维奇 1 杜鹃花拉德 1 Rajamani，Sriram K。 1 乔恩·里克（Jon G.Riecke）。 1 街道，Ross H。 1 Hayo Thielecke 1 范·斯塔登（Stephan van Staden） 1 Vechev，Martin T。 1 伊恩·卫尔曼 1 托马斯·怀斯 1 叶哈夫，埃兰 1 格雷塔·约什 1 朱慧彪 全部的 前5名系列 7 理论计算机科学 2 信息与计算 2 计算的形式方面 2 函数编程杂志 2 美国医学会杂志 1 信息处理信件 1 计算机协会杂志 1 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 1 符号计算杂志 1 MSCS公司。计算机科学中的数学结构 1 符号逻辑公报 1 高阶和符号计算 1 计算机科学课堂讲稿 1 程序设计中的逻辑和代数方法杂志 领域 60 计算机科学（68至XX） 28 数学逻辑和基础（03-XX） 4 范畴理论；同调代数（18-XX） 2 历史和传记（01-XX） 1 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 57出版物有被引用1079次511文件 引用人▼ 年份▼ 捆绑暗示的逻辑。 Zbl 0930.03095号 O'Hearn，Peter W。;大卫·J·派姆。 100 1999 BI作为可变数据结构的断言语言。 Zbl 1323.68077号 萨明·伊斯蒂亚克。;O'Hearn，Peter W。 97 2001 关于改变数据结构的程序的局部推理。 Zbl 0999.68045号 彼得·奥赫恩;约翰·雷诺兹;杨红seok 88 2001 资源、并发和本地推理。 Zbl 1111.68023号 O'Hearn，Peter W。 85 2007 分离逻辑中的权限核算。 Zbl 1369.68130号 理查德·博纳特;克里斯蒂亚诺·加尔卡尼奥;彼得·奥赫恩;马修·帕金森 50 2005 带有分离逻辑的符号执行。 兹比尔1159.68363 乔什·伯丁;克里斯蒂亚诺·加尔卡尼奥;O'Hearn，Peter W。 48 2005 可能的世界和资源：\（\mathbf{BI}\）的语义。 Zbl 1055.03021号 大卫·J·派姆。;O'Hearn，Peter W。;杨红seok 45 2004 分离逻辑的可判定片段。 兹比尔1117.03337 乔什·伯丁;克里斯蒂亚诺·加尔卡尼奥;O'Hearn，Peter W。 39 2004 数据结构空间断言语言的可计算性和复杂性。 Zbl 1052.68590号 克里斯蒂亚诺·加尔卡尼奥;杨红seok;O'Hearn，Peter W。 38 2001 通过双向拉伸进行成分形状分析。 Zbl 1315.68085号 克里斯蒂亚诺·加尔卡尼奥;迪诺·迪斯特法诺;彼得·奥赫恩;杨红seok 32 2009 通过双向拉伸进行成分形状分析。 Zbl 1281.68155号 克里斯蒂亚诺·加尔卡尼奥;迪诺·迪斯特法诺;O'Hearn，Peter W。;杨红seok 32 2011 分离和信息隐藏。 Zbl 1325.68069号 O'Hearn，Peter W。;杨红seok;约翰·雷诺兹（John C.Reynolds）。 31 2004 基于分离逻辑的局部形状分析。 Zbl 1180.68112号 迪诺·迪斯特法诺;O'Hearn，Peter W。;杨红seok 29 2006 参数和局部变量。 Zbl 0885.68039号 P.W.奥赫恩。;R.D.坦能。 29 1995 系统代码的可缩放形状分析。 兹比尔1155.68359 杨红seok;Lee，Oukseh先生;乔什·伯丁;克里斯蒂亚诺·加尔卡尼奥;库克，拜伦;迪诺·迪斯特法诺;彼得·奥赫恩 24 2008 局部推理的语义基础。 Zbl 1077.68705号 杨红seok;彼得·奥赫恩 23 2002 并发对象的抽象。 Zbl 1209.68156号 伊万娜·菲利波维奇;彼得·奥赫恩;诺姆·里内茨基;杨红seok 22 2010 复合数据结构的形状分析。 Zbl 1135.68372号 乔什·伯丁;克里斯蒂亚诺·加尔卡尼奥;库克，拜伦;迪诺·迪斯特法诺;O'Hearn，Peter W。;托马斯·怀斯;杨红seok 22 2007 资源、并发和本地推理。 Zbl 1099.68588号 O'Hearn，Peter W。 21 2004 克里普克逻辑关系与PCF。 兹比尔0912.03008 O'Hearn，Peter W。;乔恩·里克（Jon G.Riecke）。 17 1995 在分组打字时。 Zbl 1056.03013号 彼得·奥赫恩 13 2003 再次讨论干扰的句法控制。 Zbl 0956.68082号 P.W.奥赫恩。;鲍尔，A.J。;M.竹山。;R.D.坦能。 12 1999 关于并发进程的局部性和交换律。 Zbl 1343.68170号 C.A.R.霍尔。;阿克巴侯赛因;伯恩哈德·莫勒;O'Hearn，Peter W。;Rasmus Lerchedahl彼得森;乔治·斯特鲁斯 12 2011 从不变性分析中进行方差分析。 Zbl 1295.68076号 乔什·伯丁;阿齐姆·查德哈里;库克，拜伦;迪诺·迪斯特法诺;彼得·奥赫恩 12 2007 从藻类到多态性线性lambda-calculus。 Zbl 1094.68535号 O'Hearn，Peter W。;约翰·雷诺兹（John C.Reynolds）。 11 2000 具有变形堆的程序的自动终止证明。 Zbl 1188.68109号 乔什·伯丁;库克，拜伦;迪诺·迪斯特法诺;O'Hearn，Peter W。 11 2006 分离逻辑的图形模型。 Zbl 1200.68153号 伊恩·卫尔曼;C.A.R.霍尔。;O'Hearn，Peter W。 11 2009 关于缺陷存在的局部推理：不正确的分离逻辑。 Zbl 1478.68057号 杜鹃花拉德;乔什·伯丁;黄海党;德雷克·德雷尔;彼得·奥赫恩;朱尔斯·维拉德 11 2020 线性连续通过。 Zbl 1030.68011号 乔什·伯丁;彼得·奥赫恩;乌代·雷迪;Hayo Thielecke 9 2002 局部变量的语义。 Zbl 0798.68093号 P.W.奥赫恩。;R.D.坦能。 8 1992 事后验证线性化能力。 Zbl 1315.68068号 O'Hearn，Peter W。;诺姆·里内茨基;Vechev，Martin T。;叶哈夫，埃兰;格雷塔·约什 8 2010 并发对象的抽象。 Zbl 1234.68065号 伊万娜·菲利波维奇;彼得·奥赫恩;诺姆·里内茨基;杨红seok 7 2009 并发Kleene代数的发展。 Zbl 1344.68148号 你好，托尼;范·斯塔登（Stephan van Staden）;伯恩哈德·莫勒;乔治·斯特鲁斯;朱尔斯·维拉德;朱慧彪;彼得·奥赫恩 7 2014 二元逻辑关系的公理化方法及其在数据求精中的应用。 Zbl 0882.18006号 吉木基诺西塔;O'Hearn，Peter W。;鲍尔，A.约翰;木本武山;罗伯特·D·坦能。 6 1997 超越可达性：在指针算法的存在下进行形状抽象。 Zbl 1225.68069号 克里斯蒂亚诺·加尔卡尼奥;迪诺·迪斯特法诺;O'Hearn，Peter W。;杨红seok 6 2006 用于通信进程的分离逻辑语义。 兹比尔1286.68352 你好，托尼;彼得·奥赫恩 6 2008 持续推理：衡量形式化方法的影响。 Zbl 1497.68082号 O'Hearn，Peter W。 6 2018 存在垃圾收集时的程序逻辑和等效性。 Zbl 1038.68011号 克里斯蒂亚诺·加尔卡尼奥;彼得·奥赫恩;理查德·博纳特 5 2003 双反射。 Zbl 0952.18002号 弗雷德·P·J。;P.W.奥赫恩。;鲍尔，A.J。;M.竹山。;街，R。 4 1999 并发分离逻辑与并发Kleene代数的关系。 Zbl 1330.03072号 O'Hearn，Peter W。;拉斯穆斯·彼得森。;朱尔斯·维拉德;阿克巴侯赛因 4 2015 非阻塞堆栈的模块化验证。 Zbl 1295.68092号 马修·帕金森;理查德·博纳特;彼得·奥赫恩 4 2007 规范逻辑的语义分析。二、。 Zbl 0797.68105号 P.W.奥赫恩。;R.D.坦能。 三 1993 干扰的句法控制模型。 Zbl 0802.68076号 P.W.奥赫恩。 三 1993 物体、干扰和Yoneda嵌入。 Zbl 0911.68121号 彼得·奥赫恩;乌代·雷迪 三 1995 指责客户：在存在指针的情况下进行数据优化。 Zbl 1214.68118号 伊万娜·菲利波维奇;彼得·奥赫恩;诺亚·托普·史密斯;杨红seok 三 2010 在束类型中具有强大的更新、处理和封装功能。 Zbl 1273.03097号 乔什·伯丁;O'Hearn，Peter W。 三 2006 关于程序正确性和错误性的代数。 Zbl 07670527号 伯恩哈德·莫勒;彼得·奥赫恩;你好，托尼 三 2021 强有限逻辑域中的分解。 Zbl 0705.68092号 兹比格涅夫·斯塔奇尼亚克;彼得·奥赫恩 三 1990 资源解释、集群含义和（alpha\lambda）演算。（初步版本）。 Zbl 0931.03025号 O'Hearn，Peter W。 2 1999 类ALGOL语言。（2卷）。 Zbl 0882.68023号 2 1996 线性逻辑和干扰控制。 兹伯利0794.03044 P.W.奥赫恩。 2 1991 再次讨论干扰的句法控制。 Zbl 0943.68108号 彼得·奥赫恩;权力，约翰;罗伯特·坦尼特;木本武山 2 1995 关于垃圾和程序逻辑。 Zbl 0978.68043号 克里斯蒂亚诺·加尔卡尼奥;O'Hearn，Peter W。 1 2001 分离逻辑教程。 Zbl 1185.68228号 彼得·奥赫恩 1 2008 细化和分离上下文。 兹比尔1117.68433 伊万娜·米贾伊洛维奇;诺亚·托普·史密斯;彼得·奥赫恩 1 2004 资源、并发和本地推理（抽象）。 Zbl 1126.68340号 O'Hearn，Peter W。 1 2004 经过验证的软件：理论、工具、实验。第三届国际会议，2010年8月16日至19日，英国爱丁堡，VSTTE 2010。诉讼程序。 Zbl 1193.68011号 1 2010 关于程序正确性和错误性的代数。 Zbl 07670527号 伯恩哈德·莫勒;O＆rsquo的；彼得·赫恩;霍尔，托尼 三 2021 关于缺陷存在的局部推理：不正确的分离逻辑。 Zbl 1478.68057号 杜鹃花拉德;乔什·伯丁;黄海党;德雷克·德雷尔;O＆rsquo的；彼得·赫恩;朱尔斯·维拉德 11 2020 持续推理：衡量形式化方法的影响。 Zbl 1497.68082号 O＆rsquo的；彼得·霍恩（Peter W.Hearn）。 6 2018 并发分离逻辑与并发Kleene代数的关系。 Zbl 1330.03072号 O＆rsquo的；彼得·霍恩（Peter W.Hearn）。;拉斯穆斯·彼得森。;朱尔斯·维拉德;阿克巴侯赛因 4 2015 并发Kleene代数的发展。 Zbl 1344.68148号 你好，托尼;范·斯塔登（Stephan van Staden）;伯恩哈德·莫勒;乔治·斯特鲁斯;朱尔斯·维拉德;朱慧彪;O＆rsquo的；彼得·赫恩 7 2014 通过双向拉伸进行成分形状分析。 Zbl 1281.68155号 克里斯蒂亚诺·加尔卡尼奥;迪诺·迪斯特法诺;O＆rsquo的；彼得·霍恩（Peter W.Hearn）。;杨红seok 32 2011 关于并发进程的局部性和交换律。 Zbl 1343.68170号 C.A.R.霍尔。;阿克巴侯赛因;伯恩哈德·莫勒;O＆rsquo的；彼得·霍恩（Peter W.Hearn）。;Rasmus Lerchedahl彼得森;乔治·斯特鲁斯 12 2011 并发对象的抽象。 Zbl 1209.68156号 伊万娜·菲利波维奇;O＆rsquo的；彼得·赫恩;诺姆·里内茨基;杨红seok 22 2010 事后验证线性化。 Zbl 1315.68068号 O＆rsquo的；彼得·霍恩（Peter W.Hearn）。;诺姆·里内茨基;Vechev，Martin T。;叶哈夫，埃兰;格雷塔·约什 8 2010 指责客户：在存在指针的情况下进行数据优化。 Zbl 1214.68118号 伊万娜·菲利波维奇;O＆rsquo的；彼得·赫恩;诺亚·托普·史密斯;杨红seok 三 2010 经过验证的软件：理论、工具、实验。第三届国际会议，2010年8月16日至19日，英国爱丁堡，VSTTE 2010。诉讼程序。 Zbl 1193.68011号 1 2010 通过双向拉伸进行成分形状分析。 Zbl 1315.68085号 克里斯蒂亚诺·加尔卡尼奥;迪诺·迪斯特法诺;O＆rsquo的；彼得·赫恩;杨红seok 32 2009 分离逻辑的图形模型。 Zbl 1200.68153号 伊恩·卫尔曼;C.A.R.霍尔。;O＆rsquo的；彼得·霍恩（Peter W.Hearn）。 11 2009 并发对象的抽象。 Zbl 1234.68065号 伊万娜·菲利波维奇;O＆rsquo的；彼得·赫恩;诺姆·里内茨基;杨红seok 7 2009 系统代码的可缩放形状分析。 Zbl 1155.68359号 杨红seok;Lee，Oukseh先生;乔什·伯丁;克里斯蒂亚诺·加尔卡尼奥;库克，拜伦;迪诺·迪斯特法诺;O＆rsquo的；彼得·赫恩 24 2008 用于通信进程的分离逻辑语义。 兹比尔1286.68352 你好，托尼;O＆rsquo的；彼得·赫恩 6 2008 分离逻辑教程。 Zbl 1185.68228号 O＆rsquo的；彼得·赫恩 1 2008 资源、并发和本地推理。 Zbl 1111.68023号 O＆rsquo的；彼得·霍恩（Peter W.Hearn）。 85 2007 复合数据结构的形状分析。 Zbl 1135.68372号 乔什·伯丁;克里斯蒂亚诺·加尔卡尼奥;库克，拜伦;迪诺·迪斯特法诺;O＆rsquo的；彼得·霍恩（Peter W.Hearn）。;托马斯·怀斯;杨红seok 22 2007 从不变性分析中进行方差分析。 兹比尔1295.68076 乔什·伯丁;阿齐姆·查德哈里;库克，拜伦;迪诺·迪斯特法诺;O＆rsquo的；彼得·赫恩 12 2007 非阻塞堆栈的模块化验证。 Zbl 1295.68092号 马修·帕金森;理查德·博纳特;O＆rsquo的；彼得·赫恩 4 2007 基于分离逻辑的局部形状分析。 Zbl 1180.68112号 迪诺·迪斯特法诺;O＆rsquo的；彼得·霍恩（Peter W.Hearn）。;杨红seok 29 2006 具有变形堆的程序的自动终止证明。 Zbl 1188.68109号 乔什·伯丁;库克，拜伦;迪诺·迪斯特法诺;O＆rsquo的；彼得·霍恩（Peter W.Hearn）。 11 2006 超越可达性：在指针算法的存在下进行形状抽象。 Zbl 1225.68069号 克里斯蒂亚诺·加尔卡尼奥;迪诺·迪斯特法诺;O＆rsquo的；彼得·赫恩。;杨红seok 6 2006 在束类型中具有强大的更新、处理和封装功能。 Zbl 1273.03097号 乔什·伯丁;O＆rsquo的；彼得·霍恩（Peter W.Hearn）。 三 2006 分离逻辑中的权限核算。 Zbl 1369.68130号 理查德·博纳特;克里斯蒂亚诺·加尔卡尼奥;O＆rsquo的；彼得·赫恩;马修·帕金森 50 2005 带有分离逻辑的符号执行。 兹比尔1159.68363 乔什·伯丁;克里斯蒂亚诺·加尔卡尼奥;O＆rsquo的；彼得·霍恩（Peter W.Hearn）。 48 2005 可能的世界和资源：\（\mathbf{BI}\）的语义。 Zbl 1055.03021号 大卫·J·派姆。;O＆rsquo的；彼得·霍恩（Peter W.Hearn）。;杨红seok 45 2004 分离逻辑的可判定片段。 Zbl 1117.03337号 乔什·伯丁;克里斯蒂亚诺·加尔卡尼奥;O＆rsquo的；彼得·赫恩。 39 2004 分离和信息隐藏。 Zbl 1325.68069号 O＆rsquo的；彼得·霍恩（Peter W.Hearn）。;杨红seok;约翰·雷诺兹（John C.Reynolds）。 31 2004 资源、并发和本地推理。 Zbl 1099.68588号 O＆rsquo的；彼得·霍恩（Peter W.Hearn）。 21 2004 细化和分离上下文。 Zbl 1117.68433号 伊万娜·米贾伊洛维奇;诺亚·托普·史密斯;O＆rsquo的；彼得·赫恩 1 2004 资源、并发和局部推理（摘要）。 Zbl 1126.68340号 O＆rsquo的；彼得·霍恩（Peter W.Hearn）。 1 2004 打捆时。 Zbl 1056.03013号 O＆rsquo的；彼得·赫恩 13 2003 存在垃圾收集时的程序逻辑和等效性。 Zbl 1038.68011号 克里斯蒂亚诺·加尔卡尼奥;O＆rsquo的；彼得·赫恩;理查德·博纳特 5 2003 局部推理的语义基础。 Zbl 1077.68705号 杨红seok;O＆rsquo的；彼得·赫恩 23 2002 线性连续通过。 Zbl 1030.68011号 乔什·伯丁;O＆rsquo的；彼得·赫恩;乌代·雷迪;Hayo Thielecke 9 2002 BI作为可变数据结构的断言语言。 Zbl 1323.68077号 萨明·伊斯蒂亚克。;O＆rsquo的；彼得·霍恩（Peter W.Hearn）。 97 2001 关于改变数据结构的程序的局部推理。 Zbl 0999.68045号 O＆rsquo的；彼得·赫恩;约翰·雷诺兹;杨红seok 88 2001 数据结构空间断言语言的可计算性和复杂性。 Zbl 1052.68590号 克里斯蒂亚诺·加尔卡尼奥;杨红seok;O＆rsquo的；彼得·霍恩（Peter W.Hearn）。 38 2001 关于垃圾和程序逻辑。 Zbl 0978.68043号 克里斯蒂亚诺·加尔卡尼奥;O＆rsquo的；彼得·霍恩（Peter W.Hearn）。 1 2001 从藻类到多态性线性lambda-calculus。 Zbl 1094.68535号 O＆rsquo的；彼得·霍恩（Peter W.Hearn）。;约翰·雷诺兹（John C.Reynolds）。 11 2000 捆绑暗示的逻辑。 Zbl 0930.03095号 O＆rsquo的；彼得·霍恩（Peter W.Hearn）。;大卫·J·派姆。 100 1999 再次讨论干扰的句法控制。 Zbl 0956.68082号 O＆rsquo的；P.W.赫恩。;鲍尔，A.J。;M.竹山。;R.D.坦能。 12 1999 双折射率。 Zbl 0952.18002号 弗雷德·P·J。;O＆rsquo的；P.W.赫恩。;鲍尔，A.J。;M.竹山。;R街。 4 1999 资源解释、集群含义和（alpha\lambda）演算。（初步版本）。 Zbl 0931.03025号 O＆rsquo的；彼得·霍恩（Peter W.Hearn）。 2 1999 二元逻辑关系的公理化方法及其在数据求精中的应用。 Zbl 0882.18006号 吉木健太;O＆rsquo的；彼得·霍恩（Peter W.Hearn）。;鲍尔，A.约翰;木本武山;罗伯特·D·坦能。 6 1997 类ALGOL语言。（2卷）。 Zbl 0882.68023号 2 1996 参数和局部变量。 Zbl 0885.68039号 O＆rsquo的；P.W.赫恩。;R.D.坦能。 29 1995 克里普克逻辑关系与PCF。 兹比尔0912.03008 O＆rsquo的；彼得·霍恩（Peter W.Hearn）。;乔恩·里克（Jon G.Riecke）。 17 1995 物体、干扰和Yoneda嵌入。 Zbl 0911.68121号 O＆rsquo的；彼得·赫恩;乌代·雷迪 三 1995 再次讨论干扰的句法控制。 Zbl 0943.68108号 O＆rsquo的；彼得·赫恩;权力，约翰;罗伯特·坦尼特;木本武山 2 1995 规范逻辑的语义分析。二、。 Zbl 0797.68105号 O＆rsquo的；P.W.赫恩。;R.D.坦能。 三 1993 干扰的句法控制模型。 Zbl 0802.68076号 O＆rsquo的；P.W.赫恩。 三 1993 局部变量的语义。 兹比尔0798.68093 O＆rsquo的；P.W.赫恩。;R.D.坦能。 8 1992 线性逻辑和干扰控制。 Zbl 0794.03044号 O＆rsquo的；P.W.赫恩。 2 1991 强有限逻辑域中的分解。 Zbl 0705.68092号 兹比格涅夫·斯塔奇尼亚克;O＆rsquo的；彼得·赫恩 三 1990 所有引用出版物 前5名被引用出版物 全部的 前5名757位作者引用 16 大卫·J·派姆。 14 C.A.R.Tony Hoare 12 Lars Birkedal公司 12 伯恩哈德·莫勒 12 O'Hearn，Peter W。 11 Stéphane P.德姆里。 10 迪迪埃·加米歇 10 菲利普·安·加德纳 10 乔治·斯特鲁斯 9 拉杜·奥西夫 9 艾蒂安·洛兹 8 魏恩根·钦 8 戴维·诺曼（David A.Naumann）。 8 杨红seok 7 艾哈迈德·博阿贾尼 7 斯蒂芬·布鲁克斯。 7 康斯坦丁埃纳 6 权力，约翰 6 秦胜超 5 安德鲁·W·阿佩尔。 5 路易斯·凯雷斯 5 克里斯蒂亚诺·加尔卡尼奥 5 库克，拜伦 5 Dang，Han-Hing（韩红） 5 托马斯·丁斯代尔·扬 5 Dan R.吉卡。 5 彼得·吉普森 5 克利夫·琼斯。 5 诺里希罗·卡米德 5 多米尼克·拉切·温德林（Dominique Larchey-Wendling） 5 阿莱西奥·曼苏蒂 5 彼得·米勒 5 罗伊斯，伯恩哈德 5 对手，泽维尔 5 Makoto Tatsuta 5 范·斯塔登（Stephan van Staden） 5 汤姆·沃纳 4 罗伯特·艾奇 4 马吕斯·博兹加 4 雷米·布罗赫宁 4 罗伯特·J·科尔文。 4 让·勒内，考托 4 佩德罗·达罗查·平托 4 西蒙·多尔蒂 4 布里杰什·多戈尔 4 穆纳乔·埃切宁 4 阿列克谢·戈茨曼 4 伊恩·海斯。 4 克劳迪奥·赫米达 4 罗伯特·克雷伯斯 4 Le，Quang Loc公司 4 盖·安德鲁·麦库斯克 4 诺尔，托马斯 4 尼古拉斯·佩尔蒂埃 4 Rasmus Lerchedahl彼得森 4 弗朗索瓦·波蒂埃 4 美国雷迪。 4 诺姆·里内茨基 4 伊利亚·谢尔盖 4 尼科斯·齐夫列科斯 4 汉斯·皮特·范·迪特马什 4 朱慧彪 4 弗洛里安·祖勒格 三 萨姆森·艾布拉姆斯基 三 理查德·博纳特 三 詹姆斯·布罗瑟斯顿 三 安东尼奥·布恰雷利 三 曹永志 三 卢卡·卡德利 三 马修·科林森 三 约翰·德里克 三 Deters，摩根 三 多兹，迈克 三 埃米，迈克尔 三 尼尔·加尼 三 贾德·哈姆扎 三 卢卡什·霍利克 三 侯哲 三 玛丽克·赫斯曼 三 拉尔夫·荣格 三 大辅木村 三 约格·克里克 三 丹尼尔·科宁 三 彼得·兰米奇 三 Leino，K.Rustan M。 三 马蒂厄·莱梅尔 三 Ondřej Lengál 三 泽维尔·勒罗伊 三 塔德乌兹·利塔克 三 帕塔萨拉西马杜苏丹 三 克里斯托夫·马提亚 三 安德烈·穆拉夫斯基。 三 弗雷德里克·诺德瓦尔·福斯伯格 三 马修·帕金森。 三 Edmund P.罗宾逊。 三 亚当·罗加列维奇 三 穆利·萨吉夫 三 格哈德·谢尔霍恩 三 赫尔穆特·塞德尔 三 邵，钟 …还有657位作者 全部的 前5名51篇连载文章中引用 53 理论计算机科学 25 计算的形式方面 21 程序设计中的逻辑和代数方法杂志 20 信息与计算 17 自动推理杂志 14 系统设计中的形式化方法 14 计算机科学中的逻辑方法 10 纯逻辑与应用逻辑年鉴 10 函数编程杂志 8 MSCS公司。计算机科学中的数学结构 7 ACM计算逻辑事务 6 Studia Logica公司 6 逻辑与代数程序设计杂志 5 应用非经典逻辑杂志 4 信息学报 4 符号计算杂志 4 计算机语言、系统和结构 三 信息处理信件 三 计算机程序设计科学 2 计算 2 计算机与系统科学杂志 2 符号逻辑杂志 2 分布式计算 2 数学与人工智能年鉴 2 高阶和符号计算 1 人工智能 1 数学物理杂志 1 哲学逻辑杂志 1 纯粹与应用代数杂志 1 编程和计算机软件 1 合成 1 拓扑及其应用 1 计算机科学与技术杂志 1 新一代计算 1 国际计算机科学基础杂志 1 Indagationes Mathematicae公司。新系列 1 控制论与系统分析 1 逻辑、语言与信息杂志 1 符号逻辑公报 1 计算系统理论 1 美国医学会杂志 1 LMS计算与数学杂志 1 计算机基础理论 1 应用逻辑杂志 1 符号逻辑述评 1 科学中国。信息科学 1 中国计算机科学前沿 1 计算机科学前沿 1 计算机科学评论 1 ISRN概率与统计 1 Modelirovanie i Analiz信息系统 全部的 前5名16个领域引用 455 计算机科学（68至XX） 260 数学逻辑和基础（03-XX） 27 范畴理论；同调代数（18-XX） 8 博弈论、经济学、金融和其他社会和行为科学（91-XX） 6 有序，格，有序代数结构（06-XX） 4 概率论与随机过程（60-XX） 4 信息与通信理论、电路（94-XX） 2 量子理论（81-XX） 1 历史和传记（01-XX） 1 组合数学（05-XX） 1 一般代数系统（08-XX） 1 结合环与代数（16-XX） 1 拓扑群、李群（22日至XX日） 1 一般拓扑结构（54至XX） 1 统计学（62-XX） 1 系统论；控制（93至XX） 按年份列出的引文