编辑配置文件（在新选项卡中打开） 菲利普·安·加德纳 合著者距离 作者ID： 加德纳·菲利帕·安妮 发布日期： 菲利普·加德纳；菲利普·安·加德纳 已编制索引的文档： 52出版物自1993年起 4作为编辑的贡献 合著者： 39位合著者具有49联合出版物 625位合作作者 全部的 前5名合著者 7 单作者的 8 卢卡·卡德利 7 克里斯蒂亚诺·卡尔加诺 6 托马斯·丁斯代尔·扬 6 卢西安·维希克 5 佩德罗·达罗查·平托 5 乔治·盖利 5 塞尔吉奥·马菲斯 5 乌里·扎尔法蒂 4 杜鹃花拉德 三 奥赞·卡拉马诺·乌拉尔 三 科西莫·拉内夫 三 Gian Ntzik 三 穆罕默德·拉扎 2 艾曼纽尔·卡隆 2 阿努吉·达瓦尔 2 长谷川、Masahito 2 安德鲁·菲利普斯 2 加雷思·戴维·史密斯 2 朱尔斯·维拉德 2 亚当·赖特 2 吉田、Nobuko 1 安德鲁·巴伯 1 拉尔斯·比克达尔 1 马丁·博丁 1 亚瑟·查古埃罗 1 马提亚斯·费莱森 1 丹尼尔·菲拉雷蒂 1 弗洛里斯·吉尔茨 1 马修·黑格 1 阿奎那·霍伯 1 Daiva Naudziuniene公司 1 马修·帕金森。 1 戈登·普洛金（Gordon D.Plotkin）。 1 桑托斯，何塞·弗拉戈索 1 阿兰·施密特 1 朱利安·萨瑟兰 1 舵手，马克 1 熊，页岩 1 杨红seok 全部的 前5名系列 6 理论计算机科学 三 信息与计算 三 计算机科学课堂讲稿 1 MSCS公司。计算机科学中的数学结构 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 52 计算机科学（68至XX） 25 数学逻辑和基础（03-XX） 4 总体主题；集合（00-XX） 三 生物学和其他自然科学（92-XX） 1 组合数学（05-XX） 1 范畴理论；同调代数（18-XX） 1 几何图形（51至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 51出版物有被引用308中的次204文件 引用人▼ 年份▼ 并发程序的视图、合成推理。 Zbl 1301.68099号 托马斯·丁斯代尔·扬；拉尔斯·比克达尔；菲利普·加德纳；马修·帕金森；杨红seok 24 2013 语境逻辑作为模态逻辑，具有完备性和参数不表达性。 Zbl 1295.68079号 克里斯蒂亚诺·加尔卡尼奥；菲利普·加德纳；乌里·扎尔法蒂 22 2007 明确融合。 Zbl 1077.68066号 卢西安·维希克；菲利普·加德纳 21 2005 使用类型理论发现所需的缩减。 Zbl 0942.03508号 菲利普·加德纳 18 1994 明确融合。 Zbl 0996.68523号 菲利普·加德纳；卢西安·维希克 17 2000 上下文逻辑和树更新。 Zbl 1369.68132号 克里斯蒂亚诺·加尔卡尼奥；菲利普·加德纳；乌里扎尔法蒂 15 2005 图形逻辑的表达性和复杂性。 Zbl 1114.03028号 阿努吉·达瓦尔；菲利普·加德纳；乔治·盖利 13 2007 通过静态环境逻辑中的游戏进行辅助消除（扩展抽象）。 Zbl 1117.03338号 阿努吉·达瓦尔；菲利普·加德纳；乔治·盖利 12 2004 动态web数据建模。 Zbl 1077.68004号 菲利普·加德纳；塞尔吉奥·马菲斯 12 2005 用于查询图形的空间逻辑。 Zbl 1057.68606号 卢卡·卡德利；菲利普·加德纳；乔治·盖利 12 2002 融合机（扩展摘要）。 Zbl 1012.68527号 菲利普·加德纳；科西莫·拉内夫；卢西安·维希克 10 2002 空间中的进程。 Zbl 1286.68345号 卢卡·卡德利；菲利普·加德纳 10 2010 从分离逻辑到一阶逻辑。 兹比尔1119.03022 克里斯蒂亚诺·加尔卡尼奥；菲利普·加德纳；马修·黑格 10 2005 显式融合演算的强互模拟。 Zbl 1126.68512号 卢西安·维希克；菲利普·加德纳 9 2004 使用隐藏标签操作树。 兹比尔1029.68092 卢卡·卡德利；菲利普·加德纳；乔治·盖利 8 2003 非阻塞并发的模块化终止验证。 Zbl 1335.68074号 佩德罗·达罗查·平托；托马斯·丁斯代尔·扬；菲利普·加德纳；朱利安·萨瑟兰 6 2016 验证并发图算法。 Zbl 1483.68203号 杜鹃花拉德；阿奎那·霍伯；朱尔斯·维拉德；菲利普·加德纳 6 2016 从行动计算到线性逻辑。 Zbl 0908.03031号 安德鲁·巴伯；菲利普·加德纳；长谷川、Masahito；戈登·普洛金 5 1998 线性货运代理。 Zbl 1274.68233号 菲利普·加德纳；科西莫·拉内夫；卢西安·维希克 5 2003 树的上下文逻辑中的辅助消除。 Zbl 1200.68224号 克里斯蒂亚诺·加尔卡尼奥；丁斯代尔·杨，托马斯；菲利普·加德纳 5 2010 ColoSL：并发局部主观逻辑。 Zbl 1335.68064号 杜鹃花拉德；朱尔斯·维拉德；菲利普·加德纳 5 2015 动态web数据的行为等效性。 Zbl 1088.68555号 塞尔吉奥·马费斯；菲利普·加德纳 4 2004 闭合动作计算。 Zbl 0954.68114号 菲利普·加德纳 4 1999 Rho-GTP结合蛋白的过程模型。 Zbl 1173.68040号 卢卡·卡德利；艾曼纽尔·卡隆；菲利普·加德纳；奥赞·卡拉马诺·乌拉尔；安德鲁·菲利普斯 4 2009 肌动蛋白聚合的过程模型。 Zbl 1283.92047号 卢卡·卡德利；艾曼纽尔·卡隆；菲利普·加德纳；奥赞·卡拉马诺·乌拉尔；安德鲁·菲利普斯 4 2009 从流程计算到流程框架。 Zbl 0999.68137号 菲利普·加德纳 三 2000 线性货运代理。 Zbl 1129.68047号 菲利普·加德纳；科西莫·拉内夫；卢西安·维希克 三 2007 空间中的进程。 Zbl 1251.68153号 卢卡·卡德利；菲利普·加德纳 三 2012 关于指定和验证并发模块的观点。 Zbl 1395.68187号 托马斯·丁斯代尔·扬；佩德罗·达罗查·平托；菲利普·加德纳 三 2018 可信的机械化JavaSript规范。 Zbl 1284.68381号 马丁·博丹；亚瑟·查格罗德；丹尼尔·菲拉雷蒂；菲利普·加德纳；塞尔吉奥·马菲斯；Daiva Naudziuniene公司；阿兰·施密特；加雷思·史密斯 三 2014 CONCUR 2004–并发理论。第十五届国际会议，2004年8月31日至9月3日，英国伦敦。诉讼程序。 兹比尔1058.68006 2 2004 高阶动作计算的类型和模型。 Zbl 0885.03036号 菲利普·加德纳；长谷川、Masahito 2 1997 一种用于表示逻辑的新型理论。 Zbl 0793.68089号 菲利普·加德纳 2 1993 局部推理中的足迹。 Zbl 1139.68020号 穆罕默德·拉扎；菲利普·加德纳 2 2008 树的上下文逻辑中的辅助消除。 Zbl 1137.03312号 克里斯蒂亚诺·加尔卡尼奥；托马斯·丁斯代尔·扬；菲利普·加德纳 2 2007 并发库的抽象局部推理：注意差距。 Zbl 1337.68069号 菲利普·加德纳；Raad，杜鹃花；舵手，马克；亚当·赖特 2 2014 面向JavaScript的程序逻辑。 Zbl 1321.68193号 菲利普·安·加德纳；塞尔吉奥·马菲斯；加雷思·戴维·史密斯 2 2012 吞噬作用背景下rho GTP结合蛋白的过程模型。 兹比尔1279.68252 卢卡·卡德利；菲利普·加德纳；奥赞·卡拉马诺·乌拉尔 2 2008 上下文逻辑简介。 Zbl 1213.03039号 菲利普·加德纳；乌里·扎尔法蒂 2 2007 并发模块的模块规范中的步骤（受邀的教程论文）。 兹比尔1351.68188 佩德罗·达罗查·平托；托马斯·丁斯代尔·扬；菲利普·加德纳 2 2015 POSIX文件系统的本地推理。 Zbl 1405.68080号 菲利普·加德纳；Gian Ntzik；亚当·赖特 2 2014 动态web数据的行为等效性。 Zbl 1135.68005号 塞尔吉奥·马费斯；菲利普·加德纳 1 2008 逻辑学及其代表类型理论之间的等价性。 Zbl 0868.03003号 菲利普·加德纳 1 1995 一个无名的行动计算帐户。 Zbl 0910.68152号 菲利普·加德纳 1 1995 局部推理中的足迹。 兹比尔1163.68011 穆罕默德·拉扎；菲利普·加德纳 1 2009 关于数据更新的本地推理。 Zbl 1277.68064号 克里斯蒂亚诺·加尔卡尼奥；菲利普·加德纳；乌里·扎尔法蒂 1 2007 容错资源推理。 兹比尔1329.68080 Gian Ntzik；佩德罗·达罗查·平托；菲利普·加德纳 1 2015 关于树更新的局部推理。 Zbl 1273.03111号 乌里·扎尔法蒂；菲利普·加德纳 1 2006 并发映射的抽象规范。 兹比尔1485.68078 熊，页岩；佩德罗·达罗查·平托；Gian Ntzik；菲利普·加德纳 1 2017 具有分离逻辑的自动并行化。 Zbl 1234.68080号 穆罕默德·拉扎；克里斯蒂亚诺·加尔卡尼奥；菲利普·加德纳 1 2009 编程语言和系统。2013年3月16日至24日，作为欧洲软件理论与实践联合会议的一部分，在意大利罗马举行了第22届欧洲编程研讨会（ESOP 2013）。诉讼程序。 Zbl 1268.68016号 1 2013 关于指定和验证并发模块的观点。 Zbl 1395.68187号 托马斯·丁斯代尔·扬；佩德罗·达罗查·平托；菲利普·加德纳 三 2018 并发映射的抽象规范。 Zbl 1485.68078号 Xiong，页岩；佩德罗·达罗查·平托；Gian Ntzik；菲利普·加德纳 1 2017 非阻塞并发的模块化终止验证。 Zbl 1335.68074号 佩德罗·达罗查·平托；托马斯·丁斯代尔·扬；菲利普·加德纳；朱利安·萨瑟兰 6 2016 验证并发图算法。 Zbl 1483.68203号 杜鹃花拉德；阿奎那·霍伯；朱尔斯·维拉德；菲利普·加德纳 6 2016 ColoSL：并发局部主观逻辑。 Zbl 1335.68064号 Raad，杜鹃花；朱尔斯·维拉德；菲利普·加德纳 5 2015 并发模块的模块规范中的步骤（受邀的教程论文）。 Zbl 1351.68188号 佩德罗·达罗查·平托；托马斯·丁斯代尔·扬；菲利普·加德纳 2 2015 容错资源推理。 Zbl 1329.68080号 Gian Ntzik；佩德罗·达罗查·平托；菲利普·加德纳 1 2015 可信的机械化JavaSript规范。 Zbl 1284.68381号 马丁·博丹；亚瑟·查格罗；丹尼尔·菲拉雷蒂；菲利普·加德纳；塞尔吉奥·马菲斯；Daiva Naudziuniene公司；阿兰·施密特；加雷思·史密斯 三 2014 并发库的抽象局部推理：注意差距。 Zbl 1337.68069号 菲利普·加德纳；杜鹃花拉德；舵手，马克；亚当·赖特 2 2014 POSIX文件系统的本地推理。 Zbl 1405.68080号 菲利普·加德纳；Gian Ntzik；亚当·赖特 2 2014 并发程序的视图、合成推理。 Zbl 1301.68099号 托马斯·丁斯代尔·扬；拉尔斯·比克达尔；菲利普·加德纳；马修·帕金森；杨红seok 24 2013 编程语言和系统。2013年3月16日至24日，作为欧洲软件理论与实践联合会议的一部分，在意大利罗马举行了第22届欧洲编程研讨会（ESOP 2013）。诉讼程序。 Zbl 1268.68016号 1 2013 空间中的进程。 Zbl 1251.68153号 卢卡·卡德利；菲利普·加德纳 三 2012 面向JavaScript的程序逻辑。 Zbl 1321.68193号 菲利普·安·加德纳；塞尔吉奥·马菲斯；加雷思·戴维·史密斯 2 2012 空间中的进程。 Zbl 1286.68345号 卢卡·卡德利；菲利普·加德纳 10 2010 树的上下文逻辑中的辅助消除。 兹比尔1200.68224 克里斯蒂亚诺·加尔卡尼奥；托马斯·丁斯代尔·扬；菲利普·加德纳 5 2010 Rho-GTP结合蛋白的过程模型。 Zbl 1173.68040号 卢卡·卡德利；艾曼纽尔·卡隆；菲利普·加德纳；Kahramanoğulları，奥赞；安德鲁·菲利普斯 4 2009 肌动蛋白聚合的过程模型。 Zbl 1283.92047号 卢卡·卡德利；艾曼纽尔·卡隆；菲利普·加德纳；奥赞·卡拉马诺·乌拉尔；安德鲁·菲利普斯 4 2009 局部推理的足迹。 Zbl 1163.68011号 穆罕默德·拉扎；菲利普·加德纳 1 2009 具有分离逻辑的自动并行化。 Zbl 1234.68080号 穆罕默德·拉扎；克里斯蒂亚诺·加尔卡尼奥；菲利普·加德纳 1 2009 局部推理中的足迹。 Zbl 1139.68020号 穆罕默德·拉扎；菲利普·加德纳 2 2008 rho-GTP结合蛋白在吞噬作用中的过程模型。 Zbl 1279.68252号 卢卡·卡德利；菲利普·加德纳；奥赞·卡拉马诺·乌拉尔 2 2008 动态web数据的行为等效性。 Zbl 1135.68005号 塞尔吉奥·马费斯；菲利普·加德纳 1 2008 语境逻辑作为模态逻辑，具有完备性和参数不表达性。 Zbl 1295.68079号 克里斯蒂亚诺·加尔卡尼奥；菲利普·加德纳；乌里·扎尔法蒂 22 2007 图形逻辑的表达性和复杂性。 Zbl 1114.03028号 阿努杰，达瓦尔；菲利普·加德纳；乔治·盖利 13 2007 线性货运代理。 Zbl 1129.68047号 菲利普·加德纳；科西莫·拉内夫；卢西安·维希克 三 2007 树的上下文逻辑中的辅助消除。 Zbl 1137.03312号 克里斯蒂亚诺·卡尔加诺；托马斯·丁斯代尔·扬；菲利普·加德纳 2 2007 上下文逻辑简介。 Zbl 1213.03039号 菲利普·加德纳；乌里·扎尔法蒂 2 2007 关于数据更新的本地推理。 Zbl 1277.68064号 克里斯蒂亚诺·加尔卡尼奥；菲利普·加德纳；乌里·扎尔法蒂 1 2007 关于树更新的局部推理。 Zbl 1273.03111号 乌里·扎尔法蒂；菲利普·加德纳 1 2006 明确融合。 Zbl 1077.68066号 卢西安·维希克；菲利普·加德纳 21 2005 上下文逻辑和树更新。 Zbl 1369.68132号 克里斯蒂亚诺·加尔卡尼奥；菲利普·加德纳；乌里·扎尔法蒂 15 2005 动态web数据建模。 Zbl 1077.68004号 菲利普·加德纳；塞尔吉奥·马菲斯 12 2005 从分离逻辑到一阶逻辑。 Zbl 1119.03022号 克里斯蒂亚诺·加尔卡尼奥；菲利普·加德纳；马修·黑格 10 2005 通过静态环境逻辑中的游戏进行辅助消除（扩展抽象）。 Zbl 1117.03338号 阿努吉·达瓦尔；菲利普·加德纳；乔治·盖利 12 2004 显式融合演算的强互模拟。 Zbl 1126.68512号 卢西安·维希克；菲利普·加德纳 9 2004 动态web数据的行为等效性。 Zbl 1088.68555号 塞尔吉奥·马菲斯；菲利普·加德纳 4 2004 CONCUR 2004–并发理论。第十五届国际会议，2004年8月31日至9月3日，英国伦敦。诉讼程序。 Zbl 1058.68006号 2 2004 使用隐藏标签操作树。 Zbl 1029.68092号 卢卡·卡德利；菲利普·加德纳；乔治·盖利 8 2003 线性货运代理。 Zbl 1274.68233号 菲利普·加德纳；科西莫·拉内夫；卢西安·维奇克 5 2003 用于查询图形的空间逻辑。 Zbl 1057.68606号 卢卡·卡德利；菲利普·加德纳；乔治·盖利 12 2002 融合机（扩展摘要）。 Zbl 1012.68527号 菲利普·加德纳；科西莫·拉内夫；卢西安·维奇克 10 2002 明确融合。 Zbl 0996.68523号 菲利普·加德纳；卢西安·维希克 17 2000 从流程计算到流程框架。 Zbl 0999.68137号 菲利普·加德纳 三 2000 闭合动作计算。 兹伯利0954.68114 菲利普·加德纳 4 1999 从行动计算到线性逻辑。 Zbl 0908.03031号 安德鲁·巴伯；菲利普·加德纳；长谷川、Masahito；戈登·普洛金 5 1998 高阶动作计算的类型和模型。 Zbl 0885.03036号 菲利普·加德纳；长谷川、Masahito 2 1997 逻辑学及其代表类型理论之间的等价性。 Zbl 0868.03003号 菲利普·加德纳 1 1995 一个无名的行动计算帐户。 Zbl 0910.68152号 菲利普·加德纳 1 1995 使用类型理论发现所需的减少。 Zbl 0942.03508号 菲利普·加德纳 18 1994 一种用于表示逻辑的新型理论。 Zbl 0793.68089号 菲利普·加德纳 2 1993 所有引用出版物 前5名被引用出版物 全部的 前5名315位作者引用 20 菲利普·安·加德纳 11 迪莉娅·凯斯纳 10 Stéphane P.德姆里。 10 乌戈·蒙塔纳里。 8 艾蒂安Lozes 6 巴斯米，玛丽亚·格拉齐亚 6 卢卡·卡德利 6 托马斯·丁斯代尔·扬 6 法比奥·加杜奇 5 菲利波·邦奇 5 路易斯·凯雷斯 5 佩德罗·达罗查·平托 5 丹尼尔·赫希科夫 5 阿莱西奥·曼苏蒂 5 大卫·J·派姆。 5 丹尼尔·利马·文图拉 4 拉尔斯·比克达尔 4 马里亚纽拉州Dezani-Ciancaglini 4 西尔维娅·吉勒赞 4 Jean-Marie，马迪奥 4 安德烈亚·马吉奥洛·谢蒂尼 4 保罗·米拉佐 4 O'Hearn，Peter W。 4 约万卡·潘托维奇 4 乔瓦尼·帕迪尼 4 佩雷斯（Jorge A.Pérez）。 4 朱尔斯·维拉德 三 桑德拉·阿尔维斯 三 奥曼·波霍拉，约翰内斯 三 安德鲁·W·阿佩尔。 三 雷米·布罗赫宁 三 安东尼奥·布恰雷利 三 克里斯蒂亚诺·加尔卡尼奥 三 文森佐·西安西亚 三 文森特·达诺斯 三 Deters，摩根 三 多赫蒂，西蒙 三 拉杜·伊奥西夫 三 奥赞·卡拉马诺·乌拉尔 三 科西莫·拉内夫 三 米歇尔·洛雷蒂 三 马里诺·米库兰 三 约阿希姆·帕罗 三 杜鹃花拉德 三 戴维·桑吉奥吉 三 乔治·斯特鲁斯 三 皮埃尔小瓶 2 露西娅·阿西艾 2 叶希亚·阿卜杜·阿勒拉赫曼 2 罗伯托·巴布蒂 2 菲利普·比丁格 2 米歇尔·博雷尔 2 罗伯托·布鲁尼 2 艾曼纽尔·卡隆 2 罗伯特·J·科尔文。 2 阿德里亚娜·孔皮诺尼（Adriana B.Compagnoni）。 2 达尔·齐利奥（Dal Zilio，Silvano） 2 阿努吉·达瓦尔 2 De Nicola，罗科 2 布里杰什·多戈尔 2 简·德拉斯蒂克 2 加贝，默多克-詹姆斯 2 迪迪埃·加米歇 2 Max H.加森。 2 乔治·盖利 2 伊恩·海耶斯。 2 C.A.R.Tony Hoare 2 阿奎那·霍伯 2 里卡多·霍诺拉托·齐梅尔 2 玛丽克·赫斯曼 2 汉斯·休特尔 2 塞巴斯蒂安贾拉米洛·里维里 2 拉尔夫·荣格 2 巴巴拉·科尼格 2 罗伯特·克雷伯斯 2 多米尼克·拉切·温德林（Dominique Larchey-Wendling） 2 塞尔吉奥·马菲斯 2 Wytse Oortwijn公司 2 佩罗特，洛伊奇 2 安德鲁·菲利普斯 2 安德鲁·皮特斯（Andrew M.Pitts）。 2 Damien Pous 2 科拉多·普里亚米 2 亚历杭德罗·里奥斯 2 卡米洛·鲁埃达 2 弗拉迪米尔·斯莫尔卡 2 彼得·索西克 2 桑德罗·斯塔基 2 弗兰克·巴伦西亚。 2 范·斯塔登（Stephan van Staden） 2 安德烈斯·维索 2 Tjark韦伯 2 卢西安·维奇克 1 贝尼亚米·阿卡托利 1 马哈穆杜尔·费萨尔·阿梅恩 1 安徒生、克里斯托弗·贾斯特·阿恩达尔 1 蒂莫斯·安东尼奥普洛斯 1 杰苏斯·阿兰达 1 乔治·奥德里托 1 乔治·巴奇 …还有215位作者 全部的 前5名32连载 27 理论计算机科学 15 信息与计算 14 计算机科学中的逻辑方法 9 程序设计中的逻辑和代数方法杂志 7 逻辑与代数程序设计杂志 5 自动化推理杂志 5 ACM计算逻辑事务 三 MSCS公司。计算机科学中的数学结构 2 信息学报 2 计算机程序设计科学 2 计算的形式方面 2 函数编程杂志 1 信息处理信件 1 Automatica公司 1 信息科学 1 计算机与系统科学杂志 1 哲学逻辑杂志 1 Studia Logica公司 1 纯逻辑与应用逻辑年鉴 1 国际近似推理杂志 1 分布式计算 1 系统设计中的形式化方法 1 应用非经典逻辑杂志 1 限制条件 1 计算系统理论 1 美国医学会杂志 1 武汉大学自然科学学报 1 高阶和符号计算 1 自然计算 1 计算机语言、系统和结构 1 伦敦皇家学会会刊。A.数学、物理和工程科学 1 膜计算杂志 全部的 前5名10个领域引用 183 计算机科学（68至XX） 90 数学逻辑和基础（03-XX） 15 生物学和其他自然科学（92-XX） 6 范畴理论；同调代数（18-XX） 2 阶、格、有序代数结构（06-XX） 2 概率论与随机过程（60-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 历史和传记（01-XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的引文