停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

菲利普·加德纳

>主页 >珀森斯

人员信息

隶属关系： 英国伦敦帝国理工学院

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[i11]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2403-15122
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2403-15122
萨查·埃利·阿永,师丹尼斯,彼得·马克西莫维奇,菲利普·加德纳:
半自动锈蚀验证的混合方法。 CoRR公司 abs/2403.15122(2024)
2023
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/RaoGLWPGB23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/RaoGLWPGB23
肖家饶,艾娜·林·乔治斯,马克西姆·勒戈皮勒,康拉德·瓦特,让·皮琼·法拉博德,菲利普·加德纳,拉尔斯·比克达尔:
Iris-Wasm：WebAssembly程序的健壮和模块化验证。程序。ACM计划。语言。 7(PLDI公司):1096-1120(2023)
[公元66年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 现金/债务/KarmiosAG23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/debt/KarmiosAG23
纳特·卡米奥斯,萨查·埃利·阿永,菲利普·加德纳:
与Gillian进行象征性调试。债务@SIGMOD 2023:1-2
[公元65年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/MaksimovicCLSG23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/MaksimovicCLSG23
彼得·马克西莫维奇,卡罗琳·克朗贾格,安德烈亚斯·洛夫,朱利安·萨瑟兰,菲利普·加德纳:
精确分离逻辑：缩小验证和缺陷发现之间的差距。 ECOOP公司 2023:19:1-19:27
[i10]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2311-07223
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2311-07223
约阿希姆·布莱特纳,菲利普·加德纳,李在云,萨姆·林德利,马蒂亚·普雷特纳,肖家饶,安德烈亚斯·罗斯伯格,苏京琉,Wonho Shin公司,康拉德·瓦特,杨东军（Dongjun Youn）:
Wasm SpecTec：设计正式语言标准。 CoRR公司 abs/2311.07223(2023)
2022
[公元64年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/Gardner22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Gardner22
菲利普·加德纳:
并发分离逻辑：逻辑抽象、逻辑原子性和环境活性条件（受邀演讲）。 CONCUR公司 2022:2:1-2:1
[第九章]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2208-07200
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2208-07200
彼得·马克西莫维奇,卡罗琳·克朗贾格,朱利安·萨瑟兰,安德烈亚斯·洛夫,萨查·艾莉·阿尤恩,菲利普·加德纳:
精确分离逻辑。 CoRR公司 abs/2208.07200(2022)
2021
[公元19年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/toplas/DOsualdoSFG21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/toplas/DOsualdoSFG21
伊曼纽尔·德奥斯瓦尔多,朱利安·萨瑟兰,阿扎德·法尔赞,菲利普·加德纳:
TaDA Live：终止细粒度并发程序的组合推理。 ACM事务处理。程序。语言系统。 43(4):16:1-16:134(2021)
[公元63年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/MaksimovicASG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/MaksimovicASG20
彼得·马克西莫维奇,萨查·埃利·阿永,何塞·弗拉戈索·桑托斯,菲利普·加德纳:
Gillian，第二部分：JavaScript和C的真实世界验证。 CAV（2） 2021:827-850
[公元62年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/瓦特RPBG21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/WattRPBG21
康拉德·瓦特,肖家饶,让·皮琼·法拉博德,摄影,菲利普·加德纳:
WebAssembly 1.0的两种机制。 FM公司 2021:61-79
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2105-14769
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2105-14769
彼得·马克西莫维奇,何塞·弗拉戈索·桑托斯,萨查·埃利·阿永,菲利普·加德纳:
Gillian：统一符号分析的多语言平台。 CoRR公司 abs/2105.14769(2021)
2020
[j18]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/飞镖/SampaioSMG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/SampaioSMG20
加布里埃拉·桑帕约,何塞·弗拉戈索·桑托斯,彼得·马克西莫维奇,菲利普·加德纳:
事件驱动Web应用程序（工件）符号分析的可信基础结构。 Dagstuhl Artifacts爵士。 6(2):05:1-05:3(2020)
[第61条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/雄CRG19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/Xiong CRG19
Shale Xiong页岩,安德烈亚·塞隆,杜鹃花,菲利普·加德纳:
事务存储系统中的数据一致性：集中语义。 ECOOP公司 2020:21:1-21:31
[公元60年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/SampaioSMG19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/SampaioSMG19
加布里埃拉·桑帕约,何塞·弗拉戈索·桑托斯,彼得·马克西莫维奇,菲利普·加德纳:
事件驱动Web应用程序符号分析的可信基础结构。 ECOOP公司 2020:28:1-28:29
[公元59年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/SantosMAG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/SantosMAG20
何塞·弗拉戈索·桑托斯,彼得·马克西莫维奇,萨查·埃利·阿永,菲利普·加德纳:
Gillian，第一部分：符号执行的多语言平台。 PLDI公司 2020:927-942
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2001-05059
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2001-5059
何塞·弗拉戈索·桑托斯,彼得·马克西莫维奇,萨查·埃利·阿永,菲利普·加德纳:
吉莉安：为所有人创作的象征性执行。 CoRR公司 abs/2001.05059(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[公元17年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/BodinGJS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/BodinGJS19
摄影,菲利普·加德纳,托马斯·詹森,阿兰·施密特:
骨骼语义学及其解释。程序。ACM计划。语言。三(POPL公司):44:1-44:31(2019)
[公元16年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/SantosMSG19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/SantosMSG19
若泽·弗拉戈索·桑托斯,彼得·马克西莫维奇,加布里埃拉·桑帕约,菲利普·加德纳:
JaVerT 2.0：JavaScript的组合符号执行。程序。ACM计划。语言。三(POPL公司):66:1-66:31(2019)
[公元58年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ecoop/WattMKG19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/WattMKG19
康拉德·瓦特,彼得·马克西莫维奇,内拉坎坦·R·克里希纳斯瓦米,菲利普·加德纳:
一种用于一阶封装WebAssembly的程序逻辑。 ECOOP公司 2019:9:1-9:30
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1901-05750
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1901-05750
伊曼纽尔·德奥斯瓦尔多,阿扎德·法尔赞,菲利普·加德纳,朱利安·萨瑟兰:
TaDA Live：终止细粒度并发程序的组合推理。 CoRR公司 abs/1901.05750(2019)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1901-10615
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1901-10615
Shale Xiong公司,安德里亚·塞隆,杜鹃花,菲利普·加德纳:
事务存储系统中的数据一致性：集中式方法。 CoRR公司 abs/1901.10615(2019)
2018
[公元15年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/Dinsdale-YoungP18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/Dinsdale-YoungP18
托马斯·丁斯代尔-杨,佩德罗·达罗查·平托,菲利普·加德纳:
关于指定和验证并发模块的观点。 J.日志。代数方法课程。 98:1-25(2018)
[j14]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/SantosMNWG18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/SantosMNWG18
何塞·弗拉戈索·桑托斯,彼得·马克西莫维奇,Daiva Naudziuniene公司,汤玛斯·伍德,菲利普·加德纳:
JaVerT:JavaScript验证工具链。程序。ACM计划。语言。 2(府绸):50:1-50:33(2018)
[c57]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/NtzikPSG18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/NtzikPSG18
吉安·恩茨克,佩德罗·达罗查·平托,朱利安·萨瑟兰,菲利普·加德纳:
POSIX文件系统的并发规范。 ECOOP公司 2018:4:1-4:28
[公元56年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/Gardner18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Gardner18
菲利普·加德纳:
JaVerT：JavaScript验证和测试框架：邀请谈话。 PPDP（PPDP） 2018:1:1-1:4
[公元55年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/SantosMGDG18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/SantosMGDG18
何塞·弗拉戈索·桑托斯,彼得·马克西莫维奇,Théotime Grohens公司,朱利安·杜比,菲利普·加德纳:
JavaScript的符号执行。 PPDP（PPDP） 2018:11:1-11:14
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1809-09749
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-09749
摄影,菲利普·加德纳,托马斯·詹森,阿兰·施密特:
骨架语义学及其解释。 CoRR公司 abs/1809.09749(2018)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1811-03479
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1811-03479
康拉德·瓦特,彼得·马克西莫维奇,内拉坎坦·R·克里希纳斯瓦米,菲利普·加德纳:
一种用于一阶封装WebAssembly的程序逻辑。 CoRR公司 abs/1811.03479(2018)
2017
[公元54年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SantosGMN17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SantosGMN17
何塞·弗拉戈索·桑托斯,菲利普·加德纳,佩塔尔·马克西莫维奇,Daiva Naudziuniene公司:
JavaScript程序的基于逻辑的验证。 CADE公司 2017:8月25日
[公元53年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Xiong PNG17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Xiong PNG17
Shale Xiong公司,佩德罗·达罗查·平托,吉安·恩茨克,菲利普·加德纳:
并发映射的抽象规范。员工持股计划 2017:964-990
2016
[第52条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/RaadHVG16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/RaadHVG16
杜鹃花,阿奎那·霍伯,朱尔斯·维拉德,菲利普·加德纳:
验证并发图算法。阿普拉斯 2016:314-334
[第51条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/RaadSG16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/RaadSG16
杜鹃花,若泽·弗拉戈索·桑托斯,菲利普·加德纳:
DOM：规范和客户推理。应用程序 2016:401-422
[公元50年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Pinto DGS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/PintoDGS16
佩德罗·达罗查·平托,托马斯·丁斯代尔-杨,菲利普·加德纳,朱利安·萨瑟兰:
非阻塞并发的模块化终端验证。员工持股计划 2016:176-201
2015
[公元49年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/NtzikPG15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/NtzikPG15
吉安·恩茨克,佩德罗·达罗查·平托,菲利普·加德纳:
容错资源推理。阿普拉斯 2015:169-188
[公元48年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GardnerSWW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GardnerSWW15
菲利普·加德纳,加雷思·史密斯,康拉德·瓦特,汤玛斯·伍德:
JavaScript可信的机械化规范：一年后。卡瓦（1） 2015:3-10
[公元47年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/RaadVG15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/RaadVG15
杜鹃花,朱尔斯·维拉德,菲利普·加德纳:
CoLoSL：并行局部主观逻辑。员工持股计划 2015:710-735
[公元46年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/NtzikG15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/NtzikG15
吉安·恩茨克,菲利普·加德纳:
关于POSIX文件系统的推理：本地更新和全局路径名。 OOPSLA公司 2015:201-220
[c45]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/entcs/PintoDG15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/PintoDG15
佩德罗·达罗查·平托,托马斯·丁斯代尔-杨,菲利普·加德纳:
并发模块模块规范中的步骤（受邀教程论文）。多功能操作系统 2015:3-18
[i2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/dagstuhl-reports/BirkedalDGS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/dagstuhl-reports/BirkedalDGS15
拉尔斯·比克达尔,德里克·德雷尔,菲利普·加德纳,钟绍:
下一代并发的组合验证方法（Dagstuhl研讨会15191）。达格斯图尔报告 5(5):1-23(2015)
2014
[公元44年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/PintoDG14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/PintoDG14
佩德罗·达罗查·平托,托马斯·丁斯代尔-杨,菲利普·加德纳:
TaDA：时间和数据抽象逻辑。 ECOOP公司 2014:207-231
[公元43年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/GardnerNW14公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/GardnerNW14
菲利普·加德纳,吉安·恩茨克,亚当莱特:
POSIX文件系统的本地推理。员工持股计划 2014:169-188
[c42]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BodinCFGMNSS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BodinCFGMNSS14网址
摄影,亚瑟·查古埃罗（Arthur Charguéraud）,丹尼尔·菲拉雷蒂,菲利普·加德纳,塞尔吉奥·马费斯,Daiva Naudziuniene公司,艾伦·施密特,加雷思·史密斯:
可信的机械化JavaScript规范。 POPL公司 2014:87-100
[公元41年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/GardnerRWW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/GardnerRWW14
菲利普·加德纳,杜鹃花,Mark J.驾驶室,亚当莱特:
并发库的抽象局部推理：注意差距。多功能操作系统 2014:147-166
2013
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Dinsdale-YoungBGPY13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Dinsdale-YoungBGPY13
托马斯·丁斯代尔-杨,拉尔斯·比克达尔,菲利普·加德纳,马修·帕金森,杨洪石:
视图：并发程序的组合推理。 POPL公司 2013:287-300个
[电子4]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/2013
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/2013
马提亚斯·费莱森,菲利普·加德纳:
编程语言与系统——第22届欧洲编程研讨会，2013年ESOP，作为欧洲软件理论与实践联合会议的一部分，2013年ETAPS，2013年3月16日至24日，意大利罗马。诉讼程序。计算机科学讲义7792,施普林格 2013，国际标准图书编号978-3-642-37035-9 [目录]
2012
[j13]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Cardelli 12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CardelliG12
鲁卡·凯德利,菲利普·加德纳:
空间中的进程。西奥。计算。科学。 431:40-55(2012)
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/GardnerMS12公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/GardnerMS12网址
菲利普·加德纳,塞尔吉奥·马菲斯,加雷思·大卫·史密斯:
面向JavaScript的程序逻辑。 POPL公司 2012:31-44
2011
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/calco/Dinsdale-YoungGW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/calco/Dinsdale-YoungGW11
托马斯·丁斯代尔-杨,菲利普·加德纳,Mark J.驾驶室:
程序模块的抽象局部推理。 CALCO公司 2011:36-39
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/PintoDDGW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/PintoDDGW11
佩德罗·达罗查·平托,托马斯·丁斯代尔-杨,迈克·多兹,菲利普·加德纳,Mark J.驾驶室:
复杂并发索引的简单抽象。 OOPSLA公司 2011:845-864
2010
[公元12年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/CalcagnoDG10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iadc/CalcagniDG10
克里斯蒂亚诺·卡尔卡尼奥,托马斯·丁斯代尔-杨,菲利普·加德纳:
树的上下文逻辑中的附加消除。 Inf.计算。 208(5):474-499(2010)
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sigmod/BenediktFGGMW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sigmod/BenediktFGGMW10
本尼迪克特,丹妮拉·弗洛雷斯库,菲利普·加德纳,乔瓦娜·格雷尼,马可·梅西蒂,艾曼纽尔·沃勒:
EDBT/ICDT 2010年XML更新研讨会报告。 SIGMOD记录。 39(1):54-57(2010)
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Cardelli公司10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Cardelli网址10
鲁卡·凯德利,菲利普·加德纳:
太空进程。 CiE公司 2010:78-87
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/Dinsdale-YoungDGPV10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/Dinsdale-YoungDGPV10
托马斯·丁斯代尔-杨,迈克·多兹,菲利普·加德纳,Matthew J.帕金森,维克托·瓦菲亚迪斯:
并发抽象谓词。 ECOOP公司 2010:504-528
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/edbtw/加德纳10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/edbtw/Gardner10
菲利普·加德纳:
关于客户端web程序的推理：受邀演讲。 EDBT/ICDT研讨会 2010
[c33]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Dinsdale-YoungGW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Dinsdale-YoungGW10
托马斯·丁斯代尔-杨,菲利普·加德纳,Mark J.驾驶室:
局部推理的抽象和精化。 VSTTE公司 2010:199-215

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[公元10年]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0903-1032
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0903-1032
穆罕默德·拉扎,菲利普·加德纳:
局部推理中的足迹。日志。计算方法。科学。 5(2)(2009)
[公元9年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CardelliCGKP09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CardelliCGKP09
鲁卡·凯德利,艾曼纽尔·卡隆,菲利普·加德纳,奥赞·卡拉马诺古拉里,安德鲁·菲利普斯:
Rho-GTP结合蛋白的过程模型。西奥。计算。科学。 410(33-34):3166年-185年(2009)
[公元32年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/RazaCG09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/RazaCG09
穆罕默德·拉扎,克里斯蒂亚诺·卡尔卡尼奥,菲利普·加德纳:
带分离逻辑的自动并行。员工持股计划 2009:348-362
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wsfm/GardnerW09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wsfm/GardnerW09
菲利普·加德纳,Mark J.驾驶室:
树更新的小规格。 WS-FM公司 2009:178-195
[电子3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dbpl/2009年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dbpl/2009
菲利普·加德纳,弗洛里斯·吉尔茨:
数据库编程语言-DBPL 2009，第12届国际研讨会，法国里昂，2009年8月24日。诉讼程序。计算机科学讲义5708,施普林格 2009，国际标准图书编号978-3-642-03792-4 [目录]
2008
[j8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/MaffeisG08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/MaffeisG08
塞尔吉奥·马菲斯,菲利普·加德纳:
动态Web数据的行为等效性。 J.日志。代数方法课程。 75(1):86-138(2008)
[公元30年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/RazaG08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/RazaG08
穆罕默德·拉扎,菲利普·加德纳:
局部推理的足迹。 FoSSaCS公司 2008:201-215
[公元29年]
- 看法
  - 电子版@inria.fr
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/planX/GardnerSWZ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/planX/GardnerSWZ08
菲利普·加德纳,加雷思·史密斯,Mark J.驾驶室,乌里·扎尔法蒂:
DOM：走向正式规范。平面图-X 2008
[c28]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pods/GardnerSWZ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pods/GardnerSWZ08
菲利普·加德纳,加雷思·史密斯,Mark J.驾驶室,乌里·扎尔法蒂:
关于DOM的局部Hoare推理。豆荚 2008:261-270
[公元27年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/CardelliCGKP09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CardelliCGKP09
鲁卡·凯德利,艾曼纽尔·卡隆,菲利普·加德纳,奥赞·卡拉马诺古拉里,安德鲁·菲利普斯:
肌动蛋白聚合过程模型。联邦贸易委员会 2008:127-144
2007
[j7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/DawarGG07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/DawarGG07
阿努杰·达瓦尔,菲利普·加德纳,乔治·盖利:
图形逻辑的表达性和复杂性。 Inf.计算。 205(三):263-310(2007)
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/GardnerLW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/GardnerLW07
菲利普·加德纳,科西莫·拉伊夫,卢西安·维希克:
线性货运代理。 Inf.计算。 205(10):1526-1550(2007)
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/CalcagnoDG07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/CalcagnoDG07
克里斯蒂亚诺·卡尔卡尼奥,托马斯·丁斯代尔-杨,菲利普·加德纳:
树上下文逻辑中的辅助消除。阿普拉斯 2007:255至270
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/CalcagnoGZ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/CalcagnoGZ07
克里斯蒂亚诺·卡尔卡尼奥,菲利普·加德纳,乌里·扎尔法蒂:
作为模态逻辑的上下文逻辑：完备性和参数不表达性。 POPL公司 2007:123-134
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/GardnerZ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/GardnerZ07网址
菲利普·加德纳,乌里·扎尔法蒂:
上下文逻辑导论。沃尔利克 2007:189-202
【c23】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/CardelliGK08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CardelliGK08
鲁卡·凯德利,菲利普·加德纳,奥赞·卡拉马诺古拉里:
吞噬作用背景下Rho-GTP结合蛋白的过程模型。 CONCUR的FBTC 2007:87-102
[公元22年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/CalcagnoGZ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CalcagnoGZ07
克里斯蒂亚诺·卡尔卡尼奥,菲利普·加德纳,乌里·扎尔法蒂:
关于数据更新的本地推理。计算、意义和逻辑 2007:133-175
【c21】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/CardelliGG07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CardelliGG07
鲁卡·凯德利,菲利普·加德纳,乔治·盖利:
使用隐藏标签操作树。计算、意义和逻辑 2007:177-201
2006
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/GardnerY06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GardnerY06
菲利普·加德纳,吉田信子:
编辑。西奥。计算。科学。 358(2-3):149(2006)
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/ZarfatyG06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/ZarfatyG06
乌里·扎尔法蒂,菲利普·加德纳:
关于树更新的本地推理。多功能操作系统 2006:399-424
2005
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcs/WischikG05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/WischikG05
卢西安·维希克,菲利普·加德纳:
明确融合。西奥。计算。科学。 340(三):606-630(2005)
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/GardnerM05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GardnerM05
菲利普·加德纳,塞尔吉奥·马菲斯:
动态web数据建模。西奥。计算。科学。 342(1):104-131(2005)
[第19条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/CalcagnoGH05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/CalcagnoGH05
克里斯蒂亚诺·卡尔卡尼奥,菲利普·加德纳,马修·黑格:
从分离逻辑到一阶逻辑。 FoSSaCS公司 2005:395-409
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/CalcagnoGZ05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/CalcagnoGZ05
克里斯蒂亚诺·卡尔卡尼奥,菲利普·加德纳,乌里·扎尔法蒂:
上下文逻辑和树更新。 POPL公司 2005:271-282
[电子2]
- 看法
- 出口记录
  dblp键：
  - conf/dagstuhl/2004P4241
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/2004P4241
芭芭拉·科尼格,乌戈·蒙塔纳里,菲利普·加德纳:
分布式和移动系统建模的图变换和过程代数，6.-11。2004年6月。达格斯图尔研讨会记录04241,IBFI，德国达格斯图尔宫 2005 [目录]
2004
[c17]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/WischikG04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/WischikG04
卢西安·维希克,菲利普·加德纳:
显式融合演算的强互模拟。 FoSSaCS公司 2004:484-498
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/DawarGG04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/DawarGG04
阿努杰·达瓦尔,菲利普·加德纳,乔治·盖利:
静态环境逻辑中通过游戏进行辅助消除。 FSTTCS公司 2004:211-223
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/MaffeisG04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/MaffeisG04
塞尔吉奥·马菲斯,菲利普·加德纳:
动态Web数据的行为等效性。 IFIP TCS 2004:535-548
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/2004年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/2004
菲利普·加德纳,吉田信子:
CONCUR 2004-并发理论，第15届国际会议，英国伦敦，2004年8月31日至9月3日，会议记录。计算机科学讲义3170,施普林格 2004，国际标准图书编号3-540-22940-X号 [目录]
[i1]
- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/KonigMG04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/KonigMG04
芭芭拉·科尼格,乌戈·蒙塔纳里,菲利普·加德纳:
04241摘要集-分布式和移动系统建模的图变换和过程代数。分布式和移动系统建模的图变换和过程代数 2004
2003
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/GardnerLW03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/GardnerLW03
菲利普·加德纳,科西莫·拉伊夫,卢西安·维希克:
线性货运公司。 CONCUR公司 2003:408-422
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dbpl/GardnerM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dbpl/GardnerM03
菲利普·加德纳,塞尔吉奥·马菲斯:
动态Web数据建模。 DBPL公司 2003:130-146
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/foss/CardelliGG03文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/CardelliGG03
鲁卡·凯德利,菲利普·加德纳,乔治·盖利:
使用隐藏标签操作树。 FoSSaCS公司 2003:216-232
2002
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/GardnerLW02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/GardnerLW02
菲利普·加德纳,科西莫·拉伊夫,卢西安·维希克:
融合机。 CONCUR公司 2002:418-433
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/CardelliGG02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/CardelliGG02
鲁卡·凯德利,菲利普·加德纳,乔治·盖利:
查询图形的空间逻辑。 ICALP公司 2002:597-610
2000
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/Gardner00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Gardner00网址
菲利普·加德纳:
从过程计算到过程框架。 CONCUR公司 2000:69-88
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/GardnerW00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/GardnerW00
菲利普·加德纳,卢西安·维希克:
显式融合。 MFCS公司 2000:373-382

1990 – 1999

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1999
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Gardner99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Gardner99
菲利普·加德纳:
闭合动作演算。西奥。计算。科学。 228(1-2):77-103(1999)
1997
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/BarberGHP97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/BarberGHP97
安德鲁·巴伯,菲利普·加德纳,长谷正彦,戈登·普洛金:
从动作微积分到线性逻辑。 CSL公司 1997:78-97
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/加德纳H97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/GardnerH97
菲利普·加德纳,长谷正彦:
高阶动作演算的类型和模型。节气门执行器控制系统 1997:583-603
【c5】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Gardner97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Gardner97
菲利普·加德纳:
动作演算的类型理论描述。 HOOTS公司 1997:52
1995
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/Gardner95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/Gardner95
菲利普·加德纳:
逻辑学及其表示类型理论之间的等价性。数学。结构。计算。科学。 5(三):323-349(1995)
【c4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Gardner95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Gardner95
菲利普·加德纳:
一个无名的行动计算帐户。多功能操作系统 1995:214-231
1994
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/加德纳94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Gardner94
菲利普·加德纳:
使用类型理论发现所需的约简。节气门执行器控制系统 1994:555-574
1993
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Gardner93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Gardner93
菲利普·加德纳:
一种新型的逻辑表示理论。 LPAR公司 1993:146-157
1992
【b1】
- 看法
- 出口记录
  dblp键：
  - 博士/民族精神/加德纳92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/ethos/Gardner92
菲利普·加德纳:
在类型理论中表示逻辑。英国爱丁堡大学，1992
1991
【c1】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/GardnerS91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/GardnerS91
菲利普·加德纳,约翰·谢泼德森:
逻辑程序的展开/折叠变换。计算逻辑——纪念艾伦·罗宾逊的论文 1991:565至583

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。