编辑配置文件（在新选项卡中打开） 戈登·普洛金（Gordon D.Plotkin）。 合著者距离 作者ID： plotkin.gordon公司 发布日期： 普罗特金，戈登;戈登·普洛金（Gordon D.Plotkin）。;普洛金，G.D。;普洛金，G。 更多。。。较少的 已编制索引的文档： 102出版物自1969年以来，包括2本书 8作为编辑的贡献·1进一步贡献 传记参考： 1出版物 合著者： 79位合著者具有81联合出版物 1584位联合作者 全部的 前5名合著者 28 单作者的 10 马丁·阿巴迪 9 帕南加登，普拉卡什 9 权力，约翰 6 拉杜·马代尔 4 克劳斯·凯梅尔 三 乔治·巴奇 三 菲利普·查普特 三 文森特·达诺斯 三 轩尼诗，Matthew C.B。 三 Furio Honsell 三 科林·斯特林 三 托夫特，疯子 三 范格拉贝克、罗伯特·扬 三 格林·温斯克尔 2 丹尼尔·艾哈曼 2 Krzysztof Rafal公寓 2 Dezani Ciancaglini，马里亚焦拉 2 长谷川、Masahito 2 里卡多·霍诺拉托·齐梅尔 2 杰拉德·P·休特。 2 海兰德·J·马丁·E·。 2 吉勒斯·卡恩 2 珍妮·雅克·利维 2 保罗·布莱恩·利维 2 大卫·B·麦奎恩（David B.MacQueen）。 2 安德鲁·米勒。 2 尼尔森，莫根斯 2 本杰明·皮尔斯。 2 杰雷米·普莱诺 2 普雷特纳，马蒂亚 2 达娜·斯图尔特·斯科特 2 蒂克斯，里贾纳 2 扎迪利斯，阿格里斯 1 彼得·阿策尔 1 安德鲁·巴伯 1 亨德里克·彼得·巴伦德雷格特 1 肯尼思·乔恩·巴韦斯 1 安德烈·鲍尔 1 伊夫·贝托特 1 尼古拉·S·比约纳。 1 科拉多·伯姆 1 内森·鲍勒 1 罗伯托·布鲁尼 1 弥海布丢 1 马丁·邦德。 1 科科特，J.罗宾B。 1 马里奥·科波 1 杰弗里·S·H·克鲁特韦尔。 1 尼古拉斯·戈弗特·德布鲁因 1 彼得罗·迪·贾南托尼奥 1 贾斯图斯·迪勒 1 所罗门·费弗曼 1 马塞洛·菲奥雷（Marcelo P.Fiore）。 1 菲奇，弗雷德里克·布伦顿 1 乔尔·加伦森 1 乔纳森·加拉赫 1 罗宾·甘迪。 1 菲利普·安·加德纳 1 让-马克·盖隆 1 尼尔·加尼 1 保罗·C·吉尔摩。 1 罗伯特·哈珀 1 J.Roger欣德利 1 马丁·霍夫曼 1 威廉·阿尔文·霍华德 1 Hriţcu，科特林 1 奥哈德·卡玛 1 约翰·T·卡恩斯。 1 扬·威廉·克鲁普 1 科曼斯，喀斯特 1 亚历山大·谢尔盖维奇·库齐切夫 1 约阿希姆·兰贝克 1 Jean-Louis拉塞兹 1 约翰·朗利。 1 朱塞佩·隆戈 1 洛佩斯，努诺·P。 1 本杰明·麦克亚当 1 肯吉·梅拉德 1 吉多·马丁内斯 1 Frank McSherry先生 1 大卫·梅雷迪斯 1 Gerd Mitschke先生 1 乌戈·蒙塔纳里。 1 彼得·莫塞斯（Peter D.Mosses）。 1 尼古拉斯·欧里 1 Jean-Simon，Pacaud Lemay 1 加雷尔·波廷格 1 沃恩·R·普拉特。 1 普里阿米，科拉多 1 多瑞特·普龙克。 1 乔纳森·普罗琴科 1 阿西姆·拉斯托吉 1 约翰·查尔斯·雷诺兹 1 安德烈·雷巴尔琴科 1 路易斯·埃尔皮迪奥·桑奇斯 1 唐纳德·桑内拉。 1 乔纳森·塞尔丁。 1 迈克尔·史密斯。 1 理查德·斯塔特曼 1 尼基尔·斯瓦米 ……还有7位合著者 全部的 前5名系列 11 理论计算机科学 5 计算机科学中的逻辑方法 4 信息与计算 4 MSCS公司。计算机科学中的数学结构 三 SIAM计算机杂志 三 计算机科学课堂讲稿 三 机器智能 2 计算机协会杂志 2 计算的形式方面 2 逻辑与代数程序设计杂志 2 理论计算机科学电子笔记 1 信息和控制 1 计算机与系统科学杂志 1 符号逻辑杂志 1 国际计算机科学基础杂志 1 应用分类结构 1 北欧计算机杂志 1 美国医学会杂志 1 欧洲理论计算机科学协会公报 1 计算机基础理论 1 CSLI课堂讲稿 全部的 前5名领域 97 计算机科学（68至XX） 34 数学逻辑和基础（03-XX） 20 范畴理论；同调代数（18-XX） 13 阶、格、有序代数结构（06-XX） 7 总体主题；集合（00-XX） 6 生物学和其他自然科学（92-XX） 4 一般代数系统（08-XX） 三 历史和传记（01-XX） 三 概率论与随机过程（60-XX） 2 功能分析（46倍X倍） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 100出版物有被引用3267中的次2398文件 引用人▼ 年份▼ LCF被认为是一种编程语言。 Zbl 0369.68006号 普洛金，G.D。 243 1978 Call-by-name、Call-by-value和\（lambda\）-演算。 Zbl 0325.68006号 普洛金，G.D。 240 1975 Petri网、事件结构和域。一、。 Zbl 0452.68067号 尼尔森，莫根斯;普罗特金，戈登;格林·温斯克尔 237 1981 定义逻辑的框架。 Zbl 0778.03004号 罗伯特·哈珀;Furio Honsell;普罗特金，戈登 232 1993 powerdomain结构。 兹比尔0355.68015 普洛金，G.D。 199 1976 操作语义的结构方法。 Zbl 1082.68062号 戈登·普洛金（Gordon D.Plotkin）。 198 2004 递归域方程的范畴论解。 Zbl 0493.68022号 医学博士Smyth。;普洛金，G.D。 156 1982 致H.B.Curry：关于组合逻辑、lambda微积分和形式主义的论文。 Zbl 0469.03006号 145 1980 内置方程式理论。 Zbl 0262.68036号 普洛金，G.D。 107 1972 评估的概率幂域。 Zbl 0716.06003号 琼斯，C。;普洛金，G.D。 101 1989 关于归纳推广的注记。 Zbl 0219.68045号 普洛金，G.D。 95 1969 计算逻辑。纪念艾伦·罗宾逊的论文。 Zbl 0793.0302号 82 1991 证明、语言和互动。纪念罗宾·米尔纳的文章。 Zbl 0968.68018号 73 2000 简单并行编程语言的完全抽象。 Zbl 0457.68006号 轩尼诗，M.C.B。;普洛金，G.D。 73 1979 计算的概念决定单子。 Zbl 1077.68676号 普罗特金，戈登;权力，约翰 71 2002 CSP的操作语义。 Zbl 0512.68012号 普洛金，G.D。 66 1983 组合效果：和和和张量。 Zbl 1096.68088号 马丁·海兰德;普罗特金，戈登;权力，约翰 64 2006 结构操作语义的起源。 Zbl 1072.68063号 戈登·普洛金（Gordon D.Plotkin）。 57 2004 代数运算和一般效应。 Zbl 1023.18006号 普罗特金，戈登;权力，约翰 53 2003 可数不确定性和随机分配。 Zbl 0627.68015号 阿普特，K.R。;普洛金，G.D。 49 1986 \（\mathbb{T}^\omega\）作为通用域。 兹比尔0419.03007 普洛金，G。 44 1978 代数效应的充分性。 Zbl 0986.68055号 普罗特金，戈登;权力，约翰 42 2001 递归多态类型的理想模型。 Zbl 0636.68016号 大卫·麦奎因;普罗特金，戈登;拉维·塞提 39 1986 配置结构、事件结构和Petri网。 Zbl 1187.68329号 范·格拉贝克，R.J。;普洛金，G.D。 36 2009 处理代数效应。 Zbl 1314.68191号 戈登·普洛金（Gordon D.Plotkin）。;普雷特纳，马蒂亚 31 2013 关于归纳推广的进一步说明。 Zbl 0261.68042号 普洛金，G.D。 28 1971 代数效应的处理程序。 Zbl 1234.68059号 普罗特金，戈登;普雷特纳，马蒂亚 28 2009 计算效果和操作：概述。 Zbl 1273.68213号 普罗特金，戈登;权力，约翰 27 2004 混凝土领域。 Zbl 0809.68085号 G.卡恩。;普洛金，G.D。 27 1993 参数多态性的逻辑。 Zbl 0788.68091号 普罗特金，戈登;马丁·阿巴迪 27 1993 可数非决定论的幂域（扩展抽象）。 Zbl 0511.68032号 普洛金，G.D。 25 1982 结合概率论和非确定性的语义域。 Zbl 1271.68005号 蒂克斯，里贾纳;克劳斯·凯梅尔;戈登·普洛金（Gordon D.Plotkin）。 25 2009 设置（lambda）-演算的理论模型和其他基本模型。 Zbl 0790.03014号 戈登·普洛金（Gordon D.Plotkin）。 25 1993 定量代数推理。 兹比尔1391.68021 拉杜·马代尔;帕南加登，普拉卡什;普罗特金，戈登 25 2016 Dijkstra的谓词变换器和Smyth的幂域。 Zbl 0467.68011号 普罗特金，G.D。 24 1980 收缩：结合概率论和非确定性的语义域。 Zbl 1271.68004号 蒂克斯，里贾纳;克劳斯·凯梅尔;戈登·普洛金（Gordon D.Plotkin）。 22 2005 CCS术语模型。 Zbl 0479.68011号 轩尼诗，M.C.B。;普洛金，G.D。 22 1980 代数运算的语义。 Zbl 1260.68220号 普罗特金，戈登;权力，约翰 21 2001 Petri网、事件结构和域。 Zbl 0418.68056号 尼尔森，莫根斯;普罗特金，戈登;格林·温斯克尔 20 1979 概率和不确定性的混合幂域。 Zbl 1448.06002号 克劳斯·凯梅尔;戈登·普洛金（Gordon D.Plotkin）。 20 2017 将代数效应与延续相结合。 Zbl 1111.68067号 马丁·海兰德;保罗·布莱恩·利维;普罗特金，戈登;权力，约翰 17 2007 库克的可数不确定性之旅（扩展抽象）。 Zbl 0465.68002号 Krysztof R.阿普特。;普洛金，G.D。 16 1981 构图的逻辑视图。 Zbl 0778.68061号 马丁·阿巴迪;戈登·普洛金（Gordon D.Plotkin）。 15 1993 \（\lambda\）-演算是\（\omega\）-不完整的。 Zbl 0299.02029 普洛金，G.D。 13 1974 反向衍生工具类别。 Zbl 07650831号 罗宾·科克特;杰弗里·克鲁特韦尔;乔纳森·加拉赫;Jean-Simon Pacaud Lemay女士;本杰明·马卡达姆;普罗特金，戈登;普龙克，多雷特 12 2020 一种用于生物化学系统的语言：设计和形式化规范。 Zbl 1275.92020年 迈克尔·佩德森;戈登·普洛金（Gordon D.Plotkin）。 12 2010 效果相关优化的代数基础。 Zbl 1321.68200号 奥哈德·卡玛;戈登·普洛金（Gordon D.Plotkin）。 11 2012 通过平均逼近马尔可夫过程。 Zbl 1248.68322号 菲利普·查普特;文森特·达诺斯;帕南加登，普拉卡什;普罗特金，戈登 10 2009 操作语义的共模型和模型的张量。 Zbl 1286.68303号 普罗特金，戈登;权力，约翰 9 2008 通过平均值逼近马尔可夫过程。 Zbl 1295.68167号 菲利普·查普特;文森特·达诺斯;帕南加登，普拉卡什;普罗特金，戈登 9 2014 关于多态型lambda演算中可表示的函子。 Zbl 0785.03004号 约翰·雷诺兹（John C.Reynolds）。;戈登·普洛金（Gordon D.Plotkin）。 9 1993 计算系统生物学学报VI。 Zbl 1136.92301号 9 2006 逻辑关系松散。 Zbl 0973.03016号 普罗特金，戈登;权力，约翰;唐纳德·桑内拉;罗伯特·坦尼特 8 2000 有限维向量空间对于追踪对称单体范畴是完备的。 Zbl 1134.18003号 长谷川、Masahito;马丁·霍夫曼;普罗特金，戈登 8 2008 关于层次图：调和二元图、gs-单体理论和gs-图。 Zbl 1320.68125号 罗伯托·布鲁尼;乌戈·蒙塔纳里;普罗特金，戈登;丹尼尔·特雷尼 8 2014 扩展概率和非确定性的谓词变换器。 Zbl 1175.68253号 克劳斯·凯梅尔;戈登·普洛金（Gordon D.Plotkin）。 7 2009 可解决冲突的事件结构。 Zbl 1096.68114号 罗布·范·格拉贝克;普罗特金，戈登 7 2004 一个区域理论Banach-Alaoglu定理。 Zbl 1107.06006号 普罗特金，戈登 7 2006 静态类型推断的语义。 Zbl 0803.68067号 普罗特金，戈登 7 1994 有限合取不确定性。 Zbl 0649.03013号 轩尼诗，M。;普洛特金，G。 6 1987 依赖类型和光纤计算效果。 Zbl 1475.68057号 丹尼尔·艾哈曼;尼尔·加尼;戈登·普洛金（Gordon D.Plotkin）。 6 2016 完全抽象、总体和PCF。 Zbl 0923.68087号 普罗特金，戈登 6 1999 通过随机多级多集重写进行多级建模。 兹比尔1318.92015 尼古拉斯·欧里;普罗特金，戈登 6 2013 不可数极限和lambda演算。 Zbl 0839.68059号 彼得罗·迪·贾南托尼奥;Furio Honsell;普罗特金，戈登 6 1995 关于数量代数的公理化。 Zbl 1452.08005号 拉杜·马代尔;帕南加登，普拉卡什;普罗特金，戈登 6 2017 Dijkstra monads是免费的。 Zbl 1380.68266号 丹尼尔·艾哈曼;Hriţcu，科特林;肯吉·梅拉德;吉多·马丁内斯;普罗特金，戈登;乔纳森·普罗琴科;阿西姆·拉斯托吉;尼基尔·斯瓦米 5 2017 从行动计算到线性逻辑。 Zbl 0908.03031号 安德鲁·巴伯;菲利普·加德纳;长谷川、Masahito;普罗特金，戈登 5 1998 双结构、双域和线性逻辑。 Zbl 1422.03130号 普罗特金，戈登;格林·温斯克尔 5 1994 情境理论及其应用。第2卷：第二届会议记录，兰诺奇湖，英国，1991年9月。 Zbl 0942.03522号 4 1991 逻辑框架。1990年5月7日至11日在法国索菲亚·安蒂波利斯举行的第一届年度研讨会“逻辑框架：设计、实施和实验”会议记录。 Zbl 0741.00063号 4 1991 公理领域理论模型到综合领域理论模型的扩展。 Zbl 0884.18009号 马塞洛·菲奥雷（Marcelo P.Fiore）。;戈登·普洛金（Gordon D.Plotkin）。 4 1997 马尔可夫过程的代数理论。 Zbl 1453.08002号 乔治·巴奇;拉杜·马代尔;帕南加登，普拉卡什;普罗特金，戈登 4 2018 方程式逻辑的一些变体（扩展抽象）。 Zbl 1132.08300号 普罗特金，戈登 4 2006 逻辑完全抽象和PCF。 Zbl 0961.68081号 约翰·朗利;普罗特金，戈登 三 1998 关于H.Friedman的一个问题。 Zbl 0853.68127号 普罗特金，戈登 三 1996 协作线程模型。 兹比尔1315.68079 马丁·阿巴迪;普罗特金，戈登 三 2009 化学体系的微积分。 兹比尔1397.92259 戈登·普洛金（Gordon D.Plotkin）。 三 2013 智能选择和选择单子。 Zbl 07731914号 马丁·阿巴迪;普罗特金，戈登 2 2023 CSP（扩展抽象）的操作语义。 Zbl 0506.68025号 普罗特金，戈登 2 1983 数据类型的语义。1984年6月27日至29日，法国索菲亚·安蒂波利斯国际研讨会。诉讼程序。 Zbl 0534.00019号 2 1984 关于概率不确定性的幂域（幻灯片副本）。 Zbl 0565.68050号 普洛金，G.D。 2 1982 协作线程模型。 Zbl 1202.68105号 马丁·阿巴迪;戈登·普洛金（Gordon D.Plotkin）。 2 2010 递归多态类型的忠实理想模型。 Zbl 0741.68026号 马丁·阿巴迪;本杰明·皮尔斯;普罗特金，戈登 2 1991 再次逼近标记马尔可夫过程！ Zbl 1239.68050号 菲利普·查普特;文森特·达诺斯;帕南加登，普拉卡什;普罗特金，戈登 2 2009 双代数语义和递归（扩展抽象）。 Zbl 1260.68219号 普罗特金，戈登 2 2001 部分递归函数和终结性。 Zbl 1264.03091号 普罗特金，戈登 2 2013 编译器林。 Zbl 1381.68042号 弥海布丢;乔尔·加伦森;戈登·普洛金（Gordon D.Plotkin）。 2 2013 团队可以看到彩球。（初步版本）。 Zbl 0880.68082号 普罗特金，戈登;沃恩·普拉特 2 1997 键入lambda计算和应用程序。1995年4月10日至12日在英国爱丁堡举行的1995年TLCA第二届国际会议。诉讼程序。 兹伯利0813.68040 2 1995 初始代数和最终余代数由非确定性有限迹策略组成。 Zbl 1527.68038号 内森·鲍勒;莱维，保罗·布莱恩;普罗特金，戈登 2 2018 类型检查的语义。 Zbl 1493.68092号 普罗特金，戈登 1 1991 关于\（λ\）-微积分的序理论模型的完备性。 Zbl 1167.03013号 Furio Honsell;普罗特金，戈登 1 2009 关于证明极限完整性。 Zbl 0632.68012号 彼得·莫塞斯（Peter D.Mosses）。;戈登·普洛金（Gordon D.Plotkin）。 1 1987 关于CSP和效应代数理论。 Zbl 1215.68160号 罗布·范格拉贝克;普罗特金，戈登 1 2010 状态代数效应的充分性。 Zbl 1151.68466号 普罗特金，戈登 1 2005 从语义学到计算机科学。纪念吉尔斯·卡恩的文章。 Zbl 1177.68004号 1 2009 布局随机化和不确定性。 Zbl 1334.68045号 马丁·阿巴迪;杰雷米·普莱诺;普罗特金，戈登 1 2013 Chromar，一种基于规则的参数化对象语言。 Zbl 1529.92018年9月 里卡多·霍诺拉托·齐梅尔;安德鲁·米勒。;戈登·普洛金（Gordon D.Plotkin）。;扎迪利斯，阿格里斯 1 2018 Chromar，一种参数化代理语言。 Zbl 1423.68568号 里卡多·霍诺拉托·齐梅尔;安德鲁·米勒。;戈登·普洛金（Gordon D.Plotkin）。;扎迪利斯，阿格里斯 1 2019 使用对称性和外科手术进行缩放网络验证。 Zbl 1347.68237号 戈登·普洛金（Gordon D.Plotkin）。;尼古拉·比约纳;洛佩斯，努诺·P。;安德烈·雷巴尔琴科;乔治·瓦尔盖塞 1 2016 智能选择和选择单子。 Zbl 07731914号 马丁·阿巴迪;普罗特金，戈登 2 2023 反向衍生工具类别。 Zbl 07650831号 罗宾·科克特;杰弗里·克鲁特韦尔;乔纳森·加拉赫;Jean-Simon Pacaud Lemay女士;本杰明·马卡达姆;普罗特金，戈登;普龙克，多雷特 12 2020 Chromar，一种参数化代理的语言。 Zbl 1423.68568号 里卡多·霍诺拉托·齐梅尔;安德鲁·米勒。;戈登·普洛金（Gordon D.Plotkin）。;Argyris扎尔迪利斯 1 2019 马尔可夫过程的代数理论。 Zbl 1453.08002号 乔治·巴奇;拉杜·马代尔;帕南加登，普拉卡什;普罗特金，戈登 4 2018 初始代数和最终余代数由非确定性有限迹策略组成。 Zbl 1527.68038号 内森·鲍勒;保罗·布莱恩·利维;普罗特金，戈登 2 2018 Chromar，一种基于规则的参数化对象语言。 Zbl 1529.92018年9月 里卡多·霍诺拉托·齐梅尔;安德鲁·米勒。;戈登·普洛金（Gordon D.Plotkin）。;扎迪利斯，阿格里斯 1 2018 概率和不确定性的混合幂域。 Zbl 1448.06002号 克劳斯·凯梅尔;戈登·普洛金（Gordon D.Plotkin）。 20 2017 关于数量代数的公理化。 Zbl 1452.08005号 拉杜·马代尔;帕南加登，普拉卡什;普罗特金，戈登 6 2017 Dijkstra monads是免费的。 Zbl 1380.68266号 丹尼尔·艾哈曼;Hriţcu，科特林;肯吉·梅拉德;吉多·马丁内斯;普罗特金，戈登;乔纳森·普罗琴科;阿西姆·拉斯托吉;尼基尔·斯瓦米 5 2017 定量代数推理。 Zbl 1391.68021号 拉杜·马代尔;帕南加登，普拉卡什;普罗特金，戈登 25 2016 依赖类型和光纤计算效果。 Zbl 1475.68057号 丹尼尔·艾哈曼;尼尔·加尼;戈登·普洛金（Gordon D.Plotkin）。 6 2016 使用对称性和外科手术进行缩放网络验证。 Zbl 1347.68237号 戈登·普洛金（Gordon D.Plotkin）。;尼古拉·比约纳;洛佩斯，努诺·P。;安德烈·雷巴尔琴科;乔治·瓦尔盖塞 1 2016 通过平均值逼近马尔可夫过程。 Zbl 1295.68167号 菲利普·查普特;文森特·达诺斯;帕南加登，普拉卡什;普罗特金，戈登 9 2014 关于层次图：调和二元图、gs-单体理论和gs-图。 Zbl 1320.68125号 罗伯托·布鲁尼;乌戈·蒙塔纳里;普罗特金，戈登;丹尼尔·特雷尼 8 2014 处理代数效应。 Zbl 1314.68191号 戈登·普洛金（Gordon D.Plotkin）。;普雷特纳，马蒂亚 31 2013 通过随机多级多集重写进行多级建模。 兹比尔1318.92015 尼古拉斯·欧里;普罗特金，戈登 6 2013 化学体系的微积分。 兹比尔1397.92259 戈登·普洛金（Gordon D.Plotkin）。 三 2013 部分递归函数和终结性。 Zbl 1264.03091号 普罗特金，戈登 2 2013 编译器林。 Zbl 1381.68042号 弥海布丢;乔尔·加伦森;戈登·普洛金（Gordon D.Plotkin）。 2 2013 布局随机化和不确定性。 Zbl 1334.68045号 马丁·阿巴迪;杰雷米·普莱诺;普罗特金，戈登 1 2013 效应相关优化的代数基础。 Zbl 1321.68200号 奥哈德·卡玛;戈登·普洛金（Gordon D.Plotkin）。 11 2012 生化系统语言：设计和形式规范。 Zbl 1275.92020年 迈克尔·佩德森;戈登·普洛金（Gordon D.Plotkin）。 12 2010 协作线程模型。 Zbl 1202.68105号 马丁·阿巴迪;戈登·普洛金（Gordon D.Plotkin）。 2 2010 关于CSP和效应代数理论。 Zbl 1215.68160号 罗布·范格拉贝克;普罗特金，戈登 1 2010 配置结构、事件结构和Petri网。 Zbl 1187.68329号 范·格拉贝克（Van Glabbeek），R.J。;普洛金，G.D。 36 2009 代数效应的处理程序。 Zbl 1234.68059号 普罗特金，戈登;普雷特纳，马蒂亚 28 2009 结合概率论和非确定性的语义域。 Zbl 1271.68005号 蒂克斯，里贾纳;克劳斯·凯梅尔;戈登·普洛金（Gordon D.Plotkin）。 25 2009 通过平均值逼近马尔可夫过程。 兹比尔1248.68322 菲利普·查普特;文森特·达诺斯;帕南加登，普拉卡什;普罗特金，戈登 10 2009 扩展概率和非确定性的谓词变换器。 兹比尔1175.68253 克劳斯·凯梅尔;戈登·普洛金（Gordon D.Plotkin）。 7 2009 协作线程模型。 兹比尔1315.68079 马丁·阿巴迪;普罗特金，戈登 三 2009 再次逼近标记马尔可夫过程！ Zbl 1239.68050号 菲利普·查普特;文森特·达诺斯;帕南加登，普拉卡什;普罗特金，戈登 2 2009 关于（lambda）-演算的序理论模型的完备性。 Zbl 1167.03013号 Furio Honsell;普罗特金，戈登 1 2009 从语义学到计算机科学。纪念吉尔斯·卡恩的文章。 Zbl 1177.68004号 1 2009 操作语义的共模型和模型的张量。 Zbl 1286.68303号 普罗特金，戈登;权力，约翰 9 2008 有限维向量空间对于追踪对称单体范畴是完备的。 Zbl 1134.18003号 长谷川、Masahito;马丁·霍夫曼;普罗特金，戈登 8 2008 将代数效应与延续相结合。 Zbl 1111.68067号 马丁·海兰德;保罗·布莱恩·利维;普罗特金，戈登;权力，约翰 17 2007 组合效果：和和和张量。 Zbl 1096.68088号 马丁·海兰德;普罗特金，戈登;权力，约翰 64 2006 计算系统生物学学报VI。 Zbl 1136.92301号 9 2006 一个区域理论Banach-Alaoglu定理。 Zbl 1107.06006号 普罗特金，戈登 7 2006 方程式逻辑的一些变体（扩展抽象）。 Zbl 1132.08300号 普罗特金，戈登 4 2006 收缩：结合概率论和非确定性的语义域。 Zbl 1271.68004号 蒂克斯，里贾纳;克劳斯·凯梅尔;戈登·普洛金（Gordon D.Plotkin）。 22 2005 状态代数效应的充分性。 Zbl 1151.68466号 普罗特金，戈登 1 2005 操作语义的一种结构方法。 Zbl 1082.68062号 戈登·普洛金（Gordon D.Plotkin）。 198 2004 结构操作语义的起源。 Zbl 1072.68063号 戈登·普洛金（Gordon D.Plotkin）。 57 2004 计算效果和运算：概述。 Zbl 1273.68213号 普罗特金，戈登;权力，约翰 27 2004 可解决冲突的事件结构。 兹伯利1096.68114 罗布·范·格拉贝克;普罗特金，戈登 7 2004 代数运算和泛型效应。 Zbl 1023.18006号 普罗特金，戈登;权力，约翰 53 2003 计算的概念决定单子。 Zbl 1077.68676号 普罗特金，戈登;权力，约翰 71 2002 代数效应的充分性。 Zbl 0986.68055号 普罗特金，戈登;权力，约翰 42 2001 代数运算的语义。 Zbl 1260.68220号 普罗特金，戈登;权力，约翰 21 2001 双代数语义和递归（扩展抽象）。 Zbl 1260.68219号 普罗特金，戈登 2 2001 证明、语言和互动。纪念罗宾·米尔纳的文章。 Zbl 0968.68018号 73 2000 逻辑关系松散。 Zbl 0973.03016号 普罗特金，戈登;权力，约翰;唐纳德·桑内拉;罗伯特·坦尼特 8 2000 完全抽象、总体和PCF。 Zbl 0923.68087号 普罗特金，戈登 6 1999 从行动计算到线性逻辑。 Zbl 0908.03031号 安德鲁·巴伯;菲利普·加德纳;长谷川、Masahito;普罗特金，戈登 5 1998 逻辑完全抽象和PCF。 Zbl 0961.68081号 约翰·朗利;普罗特金，戈登 三 1998 公理领域理论模型到综合领域理论模型的扩展。 Zbl 0884.18009号 马塞洛·菲奥雷（Marcelo P.Fiore）。;戈登·普洛金（Gordon D.Plotkin）。 4 1997 团队可以看到彩球。（初步版本）。 Zbl 0880.68082号 普罗特金，戈登;沃恩·普拉特 2 1997 关于H·弗里德曼的一个问题。 兹比尔0853.68127 普罗特金，戈登 三 1996 不可数极限和lambda演算。 Zbl 0839.68059号 彼得罗·迪·贾南托尼奥;Furio Honsell;普罗特金，戈登 6 1995 已键入lambda结石和应用程序。1995年4月10日至12日在英国爱丁堡举行的1995年TLCA第二届国际会议。诉讼程序。 Zbl 0813.68040号 2 1995 静态类型推理的语义。 Zbl 0803.68067号 普罗特金，戈登 7 1994 双结构、双域和线性逻辑。 Zbl 1422.03130号 普罗特金，戈登;格林·温斯克尔 5 1994 定义逻辑的框架。 Zbl 0778.03004号 罗伯特·哈珀;Furio Honsell;普罗特金，戈登 232 1993 混凝土领域。 Zbl 0809.68085号 G.卡恩。;普洛金，G.D。 27 1993 参数多态性的逻辑。 Zbl 0788.68091号 普罗特金，戈登;马丁·阿巴迪 27 1993 设置（lambda）-演算的理论模型和其他基本模型。 Zbl 0790.03014号 戈登·普洛金（Gordon D.Plotkin）。 25 1993 构图的逻辑视图。 Zbl 0778.68061号 马丁·阿巴迪;戈登·普洛金（Gordon D.Plotkin）。 15 1993 关于多态型lambda演算中可表示的函子。 Zbl 0785.03004号 约翰·雷诺兹（John C.Reynolds）。;戈登·普洛金（Gordon D.Plotkin）。 9 1993 计算逻辑。纪念艾伦·罗宾逊的论文。 Zbl 0793.0302号 82 1991 情境理论及其应用。第2卷：第二届会议记录，兰诺奇湖，英国，1991年9月。 Zbl 0942.03522号 4 1991 逻辑框架。1990年5月7日至11日在法国索菲亚·安蒂波利斯举行的第一届年度研讨会“逻辑框架：设计、实施和实验”会议记录。 Zbl 0741.00063号 4 1991 递归多态类型的忠实理想模型。 Zbl 0741.68026号 马丁·阿巴迪;本杰明·皮尔斯;普罗特金，戈登 2 1991 类型检查的语义。 Zbl 1493.68092号 普罗特金，戈登 1 1991 评估的概率幂域。 Zbl 0716.06003号 琼斯，C。;普洛金，G.D。 101 1989 有限联合不确定性。 Zbl 0649.03013号 轩尼诗，M。;普洛特金，G。 6 1987 关于证明极限完整性。 Zbl 0632.68012号 彼得·莫塞斯（Peter D.Mosses）。;戈登·普洛金（Gordon D.Plotkin）。 1 1987 可数不确定性和随机分配。 Zbl 0627.68015号 阿普特，K.R。;普洛金，G.D。 49 1986 递归多态类型的理想模型。 Zbl 0636.68016号 大卫·麦奎因;普罗特金，戈登;拉维·塞提 39 1986 数据类型的语义。1984年6月27日至29日，法国索菲亚·安蒂波利斯国际研讨会。诉讼程序。 Zbl 0534.00019号 2 1984 CSP的操作语义。 Zbl 0512.68012号 普洛金，G.D。 66 1983 CSP（扩展抽象）的操作语义。 Zbl 0506.68025号 普罗特金，戈登 2 1983 递归区域方程的分类理论解。 Zbl 0493.68022号 医学博士Smyth。;普洛金，G.D。 156 1982 可数非决定论的幂域（扩展抽象）。 Zbl 0511.68032号 普洛金，G.D。 25 1982 关于概率不确定性的幂域（幻灯片副本）。 Zbl 0565.68050号 普洛金，G.D。 2 1982 Petri网、事件结构和域。一、。 Zbl 0452.68067号 尼尔森，莫根斯;普罗特金，戈登;格林·温斯克尔 237 1981 库克的可数不确定性之旅（扩展抽象）。 Zbl 0465.68002号 Krysztof R.阿普特。;普洛金，G.D。 16 1981 致H.B.Curry：关于组合逻辑、lambda微积分和形式主义的论文。 Zbl 0469.03006号 145 1980 Dijkstra的谓词变换器和Smyth的幂域。 兹伯利0467.68011 普洛金，G.D。 24 1980 CCS术语模型。 兹伯利0479.68011 轩尼诗，M.C.B。;普洛金，G.D。 22 1980 一种简单的并行编程语言的完全抽象。 Zbl 0457.68006号 轩尼诗，M.C.B。;普洛金，G.D。 73 1979 Petri网、事件结构和域。 Zbl 0418.68056号 尼尔森，莫根斯;普罗特金，戈登;格林·温斯克尔 20 1979 LCF被认为是一种编程语言。 Zbl 0369.68006号 普洛金，G.D。 243 1978 \（\mathbb{T}^\omega\）作为通用域。 Zbl 0419.03007号 普洛金，G。 44 1978 powerdomain结构。 Zbl 0355.68015号 普洛金，G.D。 199 1976 Call-by-name、Call-by-value和\（lambda\）-演算。 Zbl 0325.68006号 普洛金，G.D。 240 1975 \（\lambda\）-演算是\（\omega\）-不完整的。 Zbl 0299.02029 普洛金，G.D。 13 1974 内置方程式理论。 Zbl 0262.68036号 普洛金，G.D。 107 1972 关于归纳推广的进一步说明。 Zbl 0261.68042号 普洛金，G.D。 28 1971 关于归纳推广的注记。 Zbl 0219.68045号 普洛金，G.D。 95 1969 所有引用出版物 前5名被引用出版物 全部的 前5名2275位作者引用 28 乌戈·蒙塔纳里。 26 弗洛里安·拉贝 26 格林·温斯克尔 25 戈登·普洛金（Gordon D.Plotkin）。 24 何塞·梅塞盖尔·瓜伊塔 23 卢卡·埃特罗 22 Anna Ingólfsdóttir 21 权力，约翰 21 范格拉贝克、罗伯特·扬 18 保罗·巴尔丹 18 碧姬·品特卡 17 阿达梅克，吉安尼 17 Dezani Ciancaglini，马里亚焦拉 17 让·古鲍特·拉雷克 16 萨姆森·艾布拉姆斯基 16 奥利维尔·丹维 16 Furio Honsell 15 罗伯托·布鲁尼 15 巴特·雅各布斯 14 安德烈亚·科拉迪尼 14 塔尔莫乌斯塔卢 13 米歇尔·阿德里安·雷尼尔 12 菲律宾邦奇 12 托马斯·埃尔哈德 12 法比奥·加杜奇 12 轩尼诗，Matthew C.B。 12 迈克尔·科尔哈斯 12 戴尔·艾伦·米勒 12 帕南加登，普拉卡什 12 简·J·M·M·鲁顿。 12 曼弗雷德·施密特·沙乌 12 吉田、Nobuko 11 法比奥·阿莱西 11 玛丽亚·阿尔普特 11 Hötzel Escardó，马汀 11 克劳斯·凯梅尔 11 寇，惠 11 特默尔库西亚 11 金·古德斯特兰·拉森 11 马里诺·米库兰 11 Mislove，Michael W。 11 伊恩·菲利普斯。 11 萨姆·斯塔顿 10 弗兰兹·巴德 10 拉尔斯·比克达尔 10 洛科·德尼古拉 10 阿希姆·荣格 10 朱利奥·曼佐内托 10 奥尔德罗格（Ernst-Rüdiger Olderog） 10 G.Michele Pinna 10 格里高·罗什乌 10 卢茨·施罗德 10 蒂妮，西蒙 10 伊雷克·乌利多夫斯基 10 法比奥·扎纳西 9 雅各布斯·W·德·巴克。 9 乌戈·德利古罗 9 圣地亚哥埃斯科瓦尔 9 艾米·费尔蒂。 9 谢尔盖·冈查洛夫 9 丹尼尔·戈拉 9 拉德哈·贾加迪桑 9 玛丽娜·莱妮莎 9 约翰·朱尔斯·查尔斯·梅耶 9 卢卡·保里尼 9 弗兰克·芬宁 9 大卫·J·派姆。 9 汤姆·施里杰弗斯 9 巴布亚州索波辛斯基 9 巴扎马内里·苏布拉曼尼亚姆·蒂亚加拉扬 8 马丁·阿巴迪 8 萨米·阿贝斯 8 泽纳·M·阿里奥拉。 8 皮埃尔·卢伊斯·居里 8 乌戈·达尔拉戈 8 文森特·达诺斯 8 皮耶保罗·德加诺 8 曼弗雷德·德罗斯特 8 阿巴斯·埃达拉特 8 尼尔·加尼 8 罗伯特·哈珀 8 克里斯蒂安·约翰森 8 扬·威廉·克鲁普 8 Joost N.角。 8 巴斯·卢提克 8 米拉·塞德尔巴姆少校。 8 埃尔南·梅尔格拉蒂 8 尼尔森，莫根斯 8 安德鲁·皮特斯（Andrew M.Pitts）。 8 大卫·萨贝尔 8 卡罗琳·塔尔科特。 7 Krzysztof Rafal公寓 7 克里斯特尔·拜尔 7 阿尔伯特·本文尼斯特 7 曼弗雷德·布罗伊 7 加布里埃尔·乔巴努 7 罗伯特·J·科尔文。 7 马里奥·科波 7 Gilles Dowek 7 佐尔坦·埃西克 …还有2175名作者 全部的 前5名109篇连载文章中引用 538 理论计算机科学 165 信息与计算 100 MSCS公司。计算机科学中的数学结构 70 计算机科学中的逻辑方法 56 程序设计中的逻辑和代数方法杂志 50 自动化推理杂志 47 函数编程杂志 45 纯逻辑与应用逻辑年鉴 44 信息处理信件 40 符号计算杂志 34 计算机与系统科学杂志 32 信息学报 32 计算的形式方面 31 逻辑与代数程序设计杂志 24 人工智能 24 拓扑及其应用 17 纯粹与应用代数杂志 17 机器学习 13 高阶和符号计算 13 逻辑程序设计理论与实践 12 数学与人工智能年鉴 9 符号逻辑杂志 9 系统设计中的形式化方法 9 符号逻辑公报 8 应用分类结构 7 计算机科学与技术杂志 7 RAIRO公司。Informatique Théorique et Applications公司 7 RAIRO公司。理论信息学及其应用 6 计算机程序设计科学 6 离散事件动态系统 6 分布式计算 6 应用逻辑杂志 5 信息科学 5 数学系统理论 5 国际计算机科学基础杂志 5 泛逻辑 4 编程和计算机软件 4 意大利信息研究所 4 逻辑研究 4 合成 4 国际近似推理杂志 4 工程、通信和计算中的应用代数 4 逻辑、语言与信息杂志 4 范畴的理论与应用 三 数学进展 三 代数普遍性 三 比特币 三 订单 三 国际并行程序设计杂志 三 计算机基础理论 三 自然计算 三 ACM计算逻辑汇刊 2 计算机与数学及其应用 2 圣母院形式逻辑杂志 2 半群论坛 2 新一代计算 2 数学逻辑季刊（MLQ） 2 计算系统理论 2 软计算 2 美国医学会杂志 2 应用数学杂志 2 萨达纳 2 RAIRO公司。理论信息学及其应用 1 离散应用数学 1 离散数学 1 休斯顿数学杂志 1 数学分析与应用杂志 1 数学生物学公报 1 数学信使 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 模糊集与系统 1 组合理论杂志。B系列 1 哲学逻辑杂志 1 苏联数学杂志 1 软件。实践与经验 1 数学社会科学 1 逻辑历史与哲学 1 日本应用数学杂志 1 离散和计算几何 1 国际智能系统杂志 1 数学和计算机建模 1 神经网络 1 国际计算机数学杂志 1 数学逻辑档案 1 Indagationes Mathematicae公司。新系列 1 控制论与系统分析 1 拓扑程序 1 图表 1 美国计算机学会模型和计算机仿真汇刊 1 摘要与应用分析 1 组合优化期刊 1 武汉大学自然科学学报 1 数据挖掘与知识发现 1 数学学报。英语系列 1 国际应用数学与计算机科学杂志 1 计算机语言、系统和结构 1 Hacettepe数学与统计杂志 1 计算机科学中的数学 1 形式化推理期刊 1 游戏 …还有9个系列 全部的 前5名35个领域被引用 2,103 计算机科学（68至XX） 727 数学逻辑和基础（03-XX） 293 范畴理论；同调代数（18-XX） 164 阶、格、有序代数结构（06-XX） 66 一般拓扑结构（54至XX） 40 一般代数系统（08-XX） 33 博弈论、经济学、金融和其他社会和行为科学（91-XX） 33 生物学和其他自然科学（92-XX） 32 概率论与随机过程（60-XX） 25 量子理论（81-XX） 18 历史和传记（01-XX） 17 群论与推广（20-XX） 13 系统论；控制（93至XX） 13 信息与通信理论、电路（94-XX） 12 测量和集成（28-XX） 10 组合数学（05-XX） 10 功能分析（46倍X倍） 8 统计学（62-XX） 7 运筹学、数学规划（90-XX） 6 总体主题；集合（00-XX） 5 结合环与代数（16-XX） 5 凸几何和离散几何（52至XX） 4 拓扑群、李群（22日至XX日） 4 实际功能（26年X月X日） 三 线性代数和多线性代数；矩阵理论（15-XX） 三 动力系统和遍历理论（37至XX） 三 数值分析（65-XX） 2 数论（11-XX） 2 常微分方程（34-XX） 2 算子理论（47-XX） 2 代数拓扑（55-XX） 1 场论和多项式（12-XX） 1 \（K\）理论（19-XX） 1 变分法与最优控制；最优化（49至XX） 1 统计力学，物质结构（82-XX） 按年份列出的引文