https://dblp.org/pid/g-FilippaGardner.html dblp个人页面RSS提要 2024年5月2日星期四23:58:24+0200 英语-美国 每日的 1 根据CC0 1.0许可证发布 dblp@dagstuhl.de（dblp团队） dblp@dagstuhl.de（dblp团队） 计算机/计算机科学/出版物/书目 http://www.rssboard.org/rss-specification网站 https://dblp.org/img/logo.144x51.png网址https://dblp.org/pid/g-FilippaGardner.html14451 https://doi.org/10.48550/arXiv.2403.15122萨查·艾莉·阿尤恩,师丹尼斯,彼得·马克西莫维奇,菲利普·加德纳:
半自动锈蚀验证的混合方法。 CoRR公司 abs/2403.15122(2024)]]>https://dblp.org/rec/journals/corr/abs-2403-151222024年1月1日星期一00:00:00+0100 https://doi.org/10.1145/3591265肖家饶,艾娜·林·乔治斯,马克西姆·勒戈皮勒,康拉德·瓦特,Jean Pichon-Pharabod公司,菲利普·加德纳,拉尔斯·比克达尔:
Iris-Wasm：WebAssembly程序的健壮和模块化验证。 程序。ACM计划。语言。 7(PLDI公司):1096-1120(2023)]]>https://dblp.org/rec/journals/pacmpl/RaoGLWPGB232023年1月1日，星期日00:00:00+0100 https://doi.org/10.1145/3605155.3605861纳特·卡尔米奥斯,萨查·埃利·阿永,菲利普·加德纳:
与Gillian进行符号调试。 债务@SIGMOD 2023:1-2个]]>https://dblp.org/rec/conf/debt/KarmiosAG232023年1月1日，星期日00:00:00+0100 https://doi.org/10.4230/LIPIcs.ECOOP.2023.19彼得·马克西莫维奇,卡罗琳·克朗贾格,安德烈亚斯·洛夫,朱利安·萨瑟兰,菲利普·加德纳:
精确分离逻辑：缩小验证和缺陷发现之间的差距。 ECOOP公司 2023:19点1分：27分]]>https://dblp.org/rec/conf/ecop/MaksimovicCLSG232023年1月1日，星期日00:00:00+0100 https://doi.org/10.48550/arXiv.2311.07223约阿希姆·布莱特纳,菲利普·加德纳,李在云,萨姆·林德利,马蒂亚·普雷特纳,肖家饶,安德烈亚斯·罗斯伯格,Sukyung Ryu先生,Wonho Shin公司,康拉德·瓦特,杨东军（Dongjun Youn）:
Wasm SpecTec：设计正式语言标准。 CoRR公司 abs/2311.07223(2023)]]>https://dblp.org/rec/journals/corr/abs-2311-072232023年1月1日，星期日00:00:00+0100 https://doi.org/10.4230/LIPIcs.CONCUR.2022.2菲利普·加德纳:
并发分离逻辑：逻辑抽象、逻辑原子性和环境活性条件（受邀演讲）。 CONCUR公司 2022:2:1-2:1]]>https://dblp.org/rec/conf/concor/Gardner222022年1月1日星期六00:00:00+0100 https://doi.org/10.48550/arXiv.2208.07200彼得·马克西莫维奇,卡罗琳·克朗贾格,朱利安·萨瑟兰,安德烈亚斯·洛夫,萨查·埃利·阿永,菲利普·加德纳:
精确分离逻辑。 CoRR公司 abs/2208.07200(2022)]]>https://dblp.org/rec/journals/corr/abs-2208-072002022年1月1日星期六00:00:00+0100 https://doi.org/10.1145/3477082伊曼纽尔·德奥斯瓦尔多,朱利安·萨瑟兰,阿扎德·法尔赞,菲利普·加德纳:
TaDA Live：终止细粒度并发程序的组合推理。 ACM事务处理。程序。语言系统。 43(4):16:1至16:134(2021)]]>https://dblp.org/rec/journals/toplas/DOsualdoSFG212021年1月1日，星期五00:00:00+0100 https://doi.org/10.1007/978-3-030-81688-9_38彼得·马克西莫维奇,萨查·埃利·阿永,何塞·弗拉戈索·桑托斯,菲利普·加德纳:
Gillian，第二部分：JavaScript和C的真实世界验证。 CAV（2） 2021:827-850]]>https://dblp.org/rec/conf/cav/MaksimovicASG202021年1月1日，星期五00:00:00+0100 https://doi.org/10.1007/978-3-030-90870-6_4康拉德·瓦特,肖家饶,Jean Pichon-Pharabod公司,摄影,菲利普·加德纳:
WebAssembly 1.0的两种机制。 FM公司 2021:61-79]]>https://dblp.org/rec/conf/fm/WattRPBG212021年1月1日，星期五00:00:00+0100 https://arxiv.org/abs/2105.14769彼得·马克西莫维奇,若泽·弗拉戈索·桑托斯,萨查·埃利·阿永,菲利普·加德纳:
Gillian：统一符号分析的多语言平台。 CoRR公司 abs/2105.14769(2021)]]>https://dblp.org/rec/journals/corr/abs-2105-147692021年1月1日，星期五00:00:00+0100 https://doi.org/10.4230/DARTS.6.2.5加布里埃拉·桑帕约,何塞·弗拉戈索·桑托斯,彼得·马克西莫维奇,菲利普·加德纳:
事件驱动Web应用程序（工件）符号分析的可信基础结构。 Dagstuhl Artifacts爵士。 6(2):05:1-05:3(2020)]]>https://dblp.org/rec/journals/darts/SampaioSMG202020年1月1日，星期三00:00:00+0100 https://doi.org/10.4230/LIPIcs.ECOOP.2020.21Shale Xiong公司,安德烈亚·塞隆,杜鹃花,菲利普·加德纳:
事务存储系统中的数据一致性：集中语义。 ECOOP公司 2020:21:1-21:31]]>https://dblp.org/rec/conf/ecop/Xiong CRG192020年1月1日，星期三00:00:00+0100 https://doi.org/10.4230/LIPIcs.ECOOP.2020.28加布里埃拉·桑帕约,何塞·弗拉戈索·桑托斯,彼得·马克西莫维奇,菲利普·加德纳:
事件驱动Web应用程序符号分析的可信基础结构。 ECOOP公司 2020:28:1-28:29]]>https://dblp.org/rec/conf/ecop/SampaioSMG192020年1月1日，星期三00:00:00+0100 https://doi.org/10.1145/3385412.3386014何塞·弗拉戈索·桑托斯,彼得·马克西莫维奇,萨查·埃利·阿永,菲利普·加德纳:
Gillian，第一部分：符号执行的多语言平台。 PLDI公司 2020:927-942]]>https://dblp.org/rec/conf/pldi/SantosMAG202020年1月1日，星期三00:00:00+0100 https://arxiv.org/abs/2001.05059何塞·弗拉戈索·桑托斯,彼得·马克西莫维奇,萨查·埃利·阿永,菲利普·加德纳:
吉莉安：为所有人创作的象征性执行。 CoRR公司 abs/2001.05059(2020)]]>https://dblp.org/rec/journals/corr/abs-2001-050592020年1月1日，星期三00:00:00+0100 https://doi.org/10.1145/3290357摄影,菲利普·加德纳,托马斯·詹森,阿兰·施密特:
骨骼语义学及其解释。 程序。ACM计划。语言。 三(POPL公司):44:1-44:31(2019)]]>https://dblp.org/rec/journals/pacmpl/BodinGJS192019年1月1日星期二00:00:00+0100 https://doi.org/10.1145/3290379何塞·弗拉戈索·桑托斯,彼得·马克西莫维奇,加布里埃拉·桑帕约,菲利普·加德纳:
JaVerT 2.0：JavaScript的组合符号执行。 程序。ACM计划。语言。 三(POPL公司):66:1-66:31(2019)]]>https://dblp.org/rec/journals/pacmpl/SantosMSG192019年1月1日星期二00:00:00+0100 https://doi.org/10.4230/LIPIcs.ECOOP.2019.9康拉德·瓦特,彼得·马克西莫维奇,内拉坎坦·R·克里希纳斯瓦米,菲利普·加德纳:
一种用于一阶封装WebAssembly的程序逻辑。 ECOOP公司 2019:9:1-9:30]]>https://dblp.org/rec/conf/ecop/WattMKG192019年1月1日星期二00:00:00+0100 http://arxiv.org/abs/1901.05750伊曼纽尔·德奥斯瓦尔多,阿扎德·法尔赞,菲利普·加德纳,朱利安·萨瑟兰:
TaDA Live：终止细粒度并发程序的组合推理。 CoRR公司 abs/1901.05750(2019)]]>https://dblp.org/rec/journals/corr/abs-1901-057502019年1月1日星期二00:00:00+0100 http://arxiv.org/abs/1901.10615Shale Xiong公司,安德烈亚·塞隆,杜鹃花,菲利普·加德纳:
事务存储系统中的数据一致性：集中式方法。 CoRR公司 abs/1901.10615(2019)]]>https://dblp.org/rec/journals/corr/abs-1901-106152019年1月1日星期二00:00:00+0100 https://doi.org/10.1016/j.jlamp.2018.03.003托马斯·丁斯代尔-杨,佩德罗·达罗查·平托,菲利普·加德纳:
关于指定和验证并发模块的观点。 J.日志。代数方法课程。 98:1-25(2018)]]>https://dblp.org/rec/journals/jlp/Dinsdale-YoungP182018年1月1日星期一00:00:00+0100 https://doi.org/10.1145/3158138若泽·弗拉戈索·桑托斯,彼得·马克西莫维奇,Daiva Naudziuniene公司,汤玛斯·伍德,菲利普·加德纳:
JaVerT:JavaScript验证工具链。 程序。ACM计划。语言。 2(POPL公司):50:1-50:33(2018)]]>https://dblp.org/rec/journals/pacmpl/SantosMNWG182018年1月1日星期一00:00:00+0100 https://doi.org/10.4230/LIPIcs.ECOOP.2018.4吉安·恩茨克,佩德罗·达罗查·平托,朱利安·萨瑟兰,菲利普·加德纳:
POSIX文件系统的并发规范。 ECOOP公司 2018:4:1-4:28]]>https://dblp.org/rec/conf/ecop/NtzikPSG182018年1月1日星期一00:00:00+0100 https://doi.org/10.1145/3236950.3236974菲利普·加德纳:
JaVerT：JavaScript验证和测试框架：邀请谈话。 PPDP（PPDP） 2018:1:1-1:4]]>https://dblp.org/rec/conf/ppdp/Gardner182018年1月1日星期一00:00:00+0100 https://doi.org/10.1145/3236950.3236956何塞·弗拉戈索·桑托斯,彼得·马克西莫维奇,Théotime Grohens公司,朱利安·杜比,菲利普·加德纳:
JavaScript的符号执行。 PPDP（PPDP） 2018:11:1-11:14]]>https://dblp.org/rec/conf/ppdp/SantosMGDG182018年1月1日星期一00:00:00+0100 http://arxiv.org/abs/1809.09749摄影,菲利普·加德纳,托马斯·詹森,阿兰·施密特:
骨架语义学及其解释。 CoRR公司 腹肌/1809.09749(2018)]]>https://dblp.org/rec/journals/corr/abs-1809-097492018年1月1日星期一00:00:00+0100 http://arxiv.org/abs/1811.03479康拉德·瓦特,彼得·马克西莫维奇,内拉坎坦·R·克里希纳斯瓦米,菲利普·加德纳:
一种用于一阶封装WebAssembly的程序逻辑。 CoRR公司 abs/1811.03479(2018)]]>https://dblp.org/rec/journals/corr/abs-1811-034792018年1月1日星期一00:00:00+0100 https://doi.org/10.1007/978-3-319-63046-5_2何塞·弗拉戈索·桑托斯,菲利普·加德纳,彼得·马克西莫维奇,Daiva Naudziuniene公司:
JavaScript程序的基于逻辑的验证。 CADE公司 2017:8-25]]>https://dblp.org/rec/conf/cade/SantosGMN172017年1月1日，星期日00:00:00+0100 https://doi.org/10.1007/978-3-662-54434-1_36Shale Xiong公司,佩德罗·达罗查·平托,吉安·恩茨克,菲利普·加德纳:
并发映射的抽象规范。 员工持股计划 2017:964-990]]>https://dblp.org/rec/conf/esop/Xiong PNG172017年1月1日，星期日00:00:00+0100 https://doi.org/10.1007/978-3-319-47958-3_17杜鹃花,阿奎那·霍伯,朱尔斯·维拉德,菲利普·加德纳:
验证并发图算法。 阿普拉斯 2016:314-334]]>https://dblp.org/rec/conf/aplas/RaadHVG162016年1月1日，星期五00:00:00+0100 https://doi.org/10.1007/978-3-319-47958-3_21杜鹃花,何塞·弗拉戈索·桑托斯,菲利普·加德纳:
DOM：规范和客户推理。 阿普拉斯 2016:401-422]]>https://dblp.org/rec/conf/aplas/RaadSG162016年1月1日，星期五00:00:00+0100 https://doi.org/10.1007/978-3-662-49498-1_8佩德罗·达罗查·平托,托马斯·丁斯代尔-杨,菲利普·加德纳,朱利安·萨瑟兰:
非阻塞并发的模块化终端验证。 员工持股计划 2016:176-201]]>https://dblp.org/rec/conf/esop/PintoDGS162016年1月1日，星期五00:00:00+0100 https://doi.org/10.1007/978-3-319-26529-2_10吉安·恩茨克,佩德罗·达罗查·平托,菲利普·加德纳:
容错资源推理。 阿普拉斯 2015:169-188]]>https://dblp.org/rec/conf/aplas/NtzikPG152015年1月1日星期四00:00:00+0100 https://doi.org/10.1007/978-3-319-21690-4_1菲利普·加德纳,加雷思·史密斯,康拉德·瓦特,汤玛斯·伍德:
JavaScript可信的机械化规范：一年后。 卡瓦（1） 2015:3-10]]>https://dblp.org/rec/conf/cav/GardnerSWW152015年1月1日星期四00:00:00+0100 https://doi.org/10.1007/978-3-662-46669-8_29杜鹃花,朱尔斯·维拉德,菲利普·加德纳:
CoLoSL：并行局部主观逻辑。 员工持股计划 2015:710-735]]>https://dblp.org/rec/conf/esop/RaadVG152015年1月1日星期四00:00:00+0100 https://doi.org/10.1145/2814270.2814306吉安·恩茨克,菲利普·加德纳:
关于POSIX文件系统的推理：本地更新和全局路径名。 OOPSLA公司 2015:201-220]]>https://dblp.org/rec/conf/oopsla/NtzikG152015年1月1日星期四00:00:00+0100 https://doi.org/10.1016/j.entcs.2015.12.002佩德罗·达罗查·平托,托马斯·丁斯代尔-杨,菲利普·加德纳:
并发模块模块规范中的步骤（受邀教程论文）。 MFPS公司 2015:3-18]]>https://dblp.org/rec/journals/entcs/PintoDG152015年1月1日星期四00:00:00+0100 https://doi.org/10.4230/DagRep.5.5.1拉尔斯·比克达尔,德里克·德雷尔,菲利普·加德纳,钟绍:
下一代并发的组合验证方法（Dagstuhl研讨会15191）。 达格斯图尔报告 5(5):1-23(2015)]]>https://dblp.org/rec/journals/dagstuhl-reports/BirkedalDGS152015年1月1日星期四00:00:00+0100 https://doi.org/10.1007/978-3-662-44202-9_9佩德罗·达罗查·平托,托马斯·丁斯代尔-杨,菲利普·加德纳:
TaDA：时间和数据抽象逻辑。 ECOOP公司 2014:207-231]]>https://dblp.org/rec/conf/ecop/PintoDG142014年1月1日星期三00:00:00+0100 https://doi.org/10.1007/978-3-642-54833-8_10菲利普·加德纳,吉安·恩齐克,亚当莱特:
POSIX文件系统的本地推理。 员工持股计划 2014:169-188]]>https://dblp.org/rec/conf/esop/GardnerNW142014年1月1日星期三00:00:00+0100 https://doi.org/10.1145/2535838.2535876摄影,亚瑟·查古埃罗（Arthur Charguéraud）,丹尼尔·菲拉雷蒂,菲利普·加德纳,塞尔吉奥·马菲斯,Daiva Naudziuniene公司,阿兰·施密特,加雷思·史密斯:
可信的机械化JavaScript规范。 POPL公司 2014:87-100]]>https://dblp.org/rec/conf/popl/BodinCFGMNSS14网址2014年1月1日星期三00:00:00+0100 https://doi.org/10.1016/j.entcs.2014.10.009菲利普·加德纳,杜鹃花,Mark J.驾驶室,亚当莱特:
并发库的抽象局部推理：注意差距。 MFPS公司 2014:147-166年]]>https://dblp.org/rec/journals/entcs/GardnerRWW142014年1月1日星期三00:00:00+0100 https://doi.org/10.1145/2429069.2429104托马斯·丁斯代尔-杨,拉尔斯·比克达尔,菲利普·加德纳,马修·帕金森,杨红seok:
视图：并发程序的组合推理。 POPL公司 2013:287-300]]>https://dblp.org/rec/conf/popl/Dinsdale-YoungBGPY132013年1月1日星期二00:00:00+0100 https://doi.org/10.1007/978-3-642-37036-6马提亚斯·费莱森,菲利普·加德纳:
编程语言与系统——第22届欧洲编程研讨会，2013年ESOP，作为欧洲软件理论与实践联合会议的一部分，2013年ETAPS，2013年3月16日至24日，意大利罗马。诉讼程序。 计算机科学课堂讲稿7792中，施普林格 2013，国际标准图书编号978-3-642-37035-9 [目录]]]>https://dblp.org/rec/conf/esop/20132013年1月1日星期二00:00:00+0100 https://doi.org/10.1016/j.tcs.2011.12.051鲁卡·凯德利,菲利普·加德纳:
空间中的进程。 西奥。计算。科学。 431:40-55(2012)]]>https://dblp.org/rec/journals/tcs/CardelliG122012年1月1日，星期日00:00:00+0100 https://doi.org/10.1145/203656.2103663菲利普·加德纳,塞尔吉奥·马菲斯,加雷思·大卫·史密斯:
面向JavaScript的程序逻辑。 POPL公司 2012:31-44]]>https://dblp.org/rec/conf/popl/GardnerMS12网址2012年1月1日，星期日00:00:00+0100 https://doi.org/10.1007/978-3-642-22944-23托马斯·丁斯代尔-杨,菲利普·加德纳,Mark J.驾驶室:
程序模块的抽象局部推理。 CALCO公司 2011:36-39]]>https://dblp.org/rec/conf/calco/Dinsdale-YoungGW112011年1月1日星期六00:00:00+0100 https://doi.org/10.1145/2048066.2048131佩德罗·达罗查·平托,托马斯·丁斯代尔-杨,迈克·多兹,菲利普·加德纳,Mark J.驾驶室:
复杂并发索引的简单抽象。 OOPSLA公司 2011:845-864]]>https://dblp.org/rec/conf/oopsla/PintoDDGW112011年1月1日星期六00:00:00+0100 https://doi.org/10.1016/j.ic.2009.02.013克里斯蒂亚诺·卡尔卡尼奥,托马斯·丁斯代尔-杨,菲利普·加德纳:
树的上下文逻辑中的辅助消除。 Inf.计算。 208(5):474-499(2010)]]>https://dblp.org/rec/journals/iandc/CalcagnoDG102010年1月1日星期五00:00:00+0100 https://doi.org/10.1145/1860702.1860713本尼迪克特,丹妮拉·弗洛雷斯库,菲利普·加德纳,乔瓦娜·格雷尼,马可·梅西蒂,艾曼纽尔·沃勒:
2010年EDBT/ICDT XML更新研讨会报告。 SIGMOD记录。 39(1):54-57(2010)]]>https://dblp.org/rec/journals/sigmod/BenediktFGGMW102010年1月1日，星期五00:00:00+0100 https://doi.org/10.1007/978-3-642-13962-8_9鲁卡·凯德利,菲利普·加德纳:
太空进程。 CiE公司 2010:78-87]]>https://dblp.org/rec/conf/cie/Cardelli网址102010年1月1日，星期五00:00:00+0100 https://doi.org/10.1007/978-3-642-14107-2_24托马斯·丁斯代尔-杨,迈克·多兹,菲利普·加德纳,马修·帕金森,维克托·瓦菲亚迪斯:
并发抽象谓词。 ECOOP公司 2010:504-528]]>https://dblp.org/rec/conf/ecop/Dinsdale-YoungDGPV102010年1月1日，星期五00:00:00+0100 https://doi.org/10.1145/1754239.1754261菲利普·加德纳:
关于客户端web程序的推理：受邀演讲。 EDBT/ICDT研讨会 2010]]>https://dblp.org/rec/conf/edbtw/Gardner102010年1月1日，星期五00:00:00+0100 https://doi.org/10.1007/978-3642-15057-9_14托马斯·丁斯代尔-杨,菲利普·加德纳,Mark J.驾驶室:
局部推理的抽象和精化。 VSTTE公司 2010:199-215]]>https://dblp.org/rec/conf/vstte/Dinsdale-YoungGW102010年1月1日，星期五00:00:00+0100 http://arxiv.org/abs/0903.1032穆罕默德·拉扎,菲利普·加德纳:
局部推理中的足迹。 日志。方法计算。科学。 5(2)(2009)]]>https://dblp.org/rec/journals/corr/abs-0903-10322009年1月1日星期四00:00:00+0100 https://doi.org/10.1016/j.tcs.2009.04.029鲁卡·凯德利,埃马纽埃尔·卡隆,菲利普·加德纳,奥赞·卡拉马诺古拉里,安德鲁·菲利普斯:
Rho-GTP结合蛋白的过程模型。 西奥。计算。科学。 410(33-34):3166-3185(2009)]]>https://dblp.org/rec/journals/tcs/CardelliCGKP092009年1月1日星期四00:00:00+0100 https://doi.org/10.1007/978-3642-00590-9_25穆罕默德·拉扎,克里斯蒂亚诺·卡尔卡尼奥,菲利普·加德纳:
带分离逻辑的自动并行。 员工持股计划 2009:348-362]]>https://dblp.org/rec/conf/esop/RazaCG092009年1月1日星期四00:00:00+0100 https://doi.org/10.1007/978-3-642-14458-5_11菲利普·加德纳,Mark J.驾驶室:
树更新的小规格。 WS-FM 2009:178-195]]>https://dblp.org/rec/conf/wsfm/GardnerW092009年1月1日星期四00:00:00+0100 https://doi.org/10.1007/978-3-642-03793-1菲利普·加德纳,弗洛里斯Geerts:
数据库编程语言-DBPL 2009，第12届国际研讨会，法国里昂，2009年8月24日。诉讼程序。 计算机科学课堂讲稿5708中，施普林格 2009，国际标准图书编号978-3-642-03792-4 [目录]]]>https://dblp.org/rec/conf/dbpl/20092009年1月1日星期四00:00:00+0100 https://doi.org/10.1016/j.jlap.2007.06.004塞尔吉奥·马菲斯,菲利普·加德纳:
动态Web数据的行为等效性。 J.日志。代数方法课程。 75(1):86-138(2008)]]>https://dblp.org/rec/journals/jlp/MafeisG082008年1月1日星期二00:00:00+0100 https://doi.org/10.1007/978-3-540-78499-9_15穆罕默德·拉扎,菲利普·加德纳:
局部推理中的足迹。 FoSSaCS公司 2008:201-215]]>https://dblp.org/rec/conf/fossacs/RazaG082008年1月1日星期二00:00:00+0100 http://gemo.futurs.inria.fr/events/PLANX2008/papers/p18.pdf菲利普·加德纳,加雷思·史密斯,Mark J.驾驶室,乌里·扎尔法蒂:
DOM：走向正式规范。 平面图-X 2008]]>https://dblp.org/rec/conf/planX/GardnerSWZ082008年1月1日星期二00:00:00+0100 https://doi.org/10.1145/1376916.1376953菲利普·加德纳,加雷思·史密斯,Mark J.驾驶室,乌里·扎尔法蒂:
关于DOM的局部Hoare推理。 豆荚 2008:261-270]]>https://dblp.org/rec/conf/pods/GardnerSWZ082008年1月1日星期二00:00:00+0100 https://doi.org/10.1016/j.entcs.2009.02.009鲁卡·凯德利,艾曼纽尔·卡隆,菲利普·加德纳,奥赞·卡拉马诺古拉里,安德鲁·菲利普斯:
肌动蛋白聚合过程模型。 ICALP的FBTC 2008:127-144]]>https://dblp.org/rec/journals/entcs/CardelliCGKP092008年1月1日星期二00:00:00+0100 https://doi.org/10.1016/j.ic2006.10.006阿努杰·达瓦尔,菲利普·加德纳,乔治·盖利:
图形逻辑的表达性和复杂性。 Inf.计算。 205(三):263-310年(2007)]]>https://dblp.org/rec/journals/iandc/DawarGG072007年1月1日星期一00:00:00+0100 https://doi.org/10.1016/j.ic.2007.01.006菲利普·加德纳,科西莫·拉伊夫,卢西安·维希克:
线性货运代理。 Inf.计算。 205(10):1526-1550(2007)]]>https://dblp.org/rec/journals/iandc/GardnerLW072007年1月1日星期一00:00:00+0100 https://doi.org/10.1007/978-3-540-76637-7_17克里斯蒂亚诺·卡尔卡尼奥,托马斯·丁斯代尔-杨,菲利普·加德纳:
树上下文逻辑中的辅助消除。 阿普拉斯 2007:255-270]]>https://dblp.org/rec/conf/aplas/CalcagnoDG072007年1月1日星期一00:00:00+0100 https://doi.org/10.1145/1190216.1190236克里斯蒂亚诺·卡尔加诺,菲利普·加德纳,乌里·扎尔法蒂:
作为模态逻辑的上下文逻辑：完备性和参数不表达性。 POPL公司 2007:123-134]]>https://dblp.org/rec/conf/popl/CalcagnoGZ072007年1月1日星期一00:00:00+0100 https://doi.org/10.1007/978-3-540-73445-1_14菲利普·加德纳,乌里·扎尔法蒂:
上下文逻辑导论。 WoLLIC公司 2007:189-202]]>https://dblp.org/rec/conf/wollic/GardnerZ07网址2007年1月1日星期一00:00:00+0100 https://doi.org/10.1016/j.entcs.2007.12.007鲁卡·凯德利,菲利普·加德纳,奥赞·卡拉马诺古拉里:
吞噬作用背景下Rho-GTP结合蛋白的过程模型。 CONCUR的FBTC 2007:87-102]]>https://dblp.org/rec/journals/entcs/CardelliGK082007年1月1日星期一00:00:00+0100 https://doi.org/10.1016/j.entcs.2007.02.006克里斯蒂亚诺·卡尔卡尼奥,菲利普·加德纳,乌里·扎尔法蒂:
关于数据更新的本地推理。 计算、意义和逻辑 2007:133-175]]>https://dblp.org/rec/journals/entcs/CalcagnoGZ072007年1月1日星期一00:00:00+0100 https://doi.org/10.1016/j.entcs.2007.02.007鲁卡·凯德利,菲利普·加德纳,乔治·盖利:
使用隐藏标签操作树。 计算、意义和逻辑 2007:177-201]]>https://dblp.org/rec/journals/entcs/CardelliGG072007年1月1日星期一00:00:00+0100 https://doi.org/10.1016/j.tcs.2006.01.013菲利普·加德纳,吉田信子:
编辑。 西奥。计算。科学。 358(2-3):149(2006)]]>https://dblp.org/rec/journals/tcs/GardnerY062006年1月1日，星期日00:00:00+0100 https://doi.org/10.1016/j.entcs.2006.04.020乌里·扎尔法蒂,菲利普·加德纳:
关于树更新的本地推理。 MFPS公司 2006:399-424]]>https://dblp.org/rec/journals/entcs/ZarfatyG062006年1月1日，星期日00:00:00+0100 https://doi.org/10.1016/j.tcs.2005.03.017卢西安·维希克,菲利普·加德纳:
明确融合。 西奥。计算。科学。 340(三):606-630(2005)]]>https://dblp.org/rec/journals/tcs/WischikG052005年1月1日星期六00:00:00+0100 https://doi.org/10.1016/j.tcs.2005.06.006菲利普·加德纳,塞尔吉奥·马菲斯:
动态web数据建模。 西奥。计算。科学。 342(1):104至131(2005)]]>https://dblp.org/rec/journals/tcs/GardnerM052005年1月1日星期六00:00:00+0100 https://doi.org/10.1007/978-3-540-31982-5_25克里斯蒂亚诺·卡尔卡尼奥,菲利普·加德纳,马修·黑格:
从分离逻辑到一阶逻辑。 FoSSaCS公司 2005:395-409]]>https://dblp.org/rec/conf/fossacs/CalcagnoGH052005年1月1日星期六00:00:00+0100 https://doi.org/10.1145/1040305.1040328克里斯蒂亚诺·卡尔卡尼奥,菲利普·加德纳,乌里·扎尔法蒂:
上下文逻辑和树更新。 POPL公司 2005:271-282年]]>https://dblp.org/rec/conf/popl/CalcagnoGZ052005年1月1日星期六00:00:00+0100 http://drops.dagstuhl.de/portals/04241/芭芭拉·科尼格,乌戈·蒙塔纳里,菲利普·加德纳:
分布式和移动系统建模的图变换和过程代数，6.-11。2004年6月。 达格斯图尔研讨会记录04241,IBFI，德国达格斯图尔宫 2005 [目录]]]>https://dblp.org/rec/conf/dagstuhl/2004P42412005年1月1日星期六00:00:00+0100 https://doi.org/10.1007/978-3-540-24727-2_34卢西安·维希克,菲利普·加德纳:
显式融合演算的强互模拟。 FoSSaCS公司 2004:484-498]]>https://dblp.org/rec/conf/fossacs/WischikG042004年1月1日星期四00:00:00+0100 https://doi.org/10.1007/978-3-540-30538-5_18阿努杰·达瓦尔,菲利普·加德纳,乔治·盖利:
静态环境逻辑中通过游戏进行辅助消除。 FSTTCS公司 2004:211-223]]>https://dblp.org/rec/conf/fsttcs/DawarGG042004年1月1日星期四00:00:00+0100 https://doi.org/10.1007/1-4020-8141-3_41塞尔吉奥·马菲斯,菲利普·加德纳:
动态Web数据的行为等效性。 IFIP TCS 2004:535-548]]>https://dblp.org/rec/conf/ifipTCS/MaffeisG042004年1月1日星期四00:00:00+0100 https://doi.org/10.1007/b100113菲利普·加德纳,吉田信子:
CONCUR 2004：并发理论，第15届国际会议，2004年8月31日至9月3日，英国伦敦，会议记录。 计算机科学课堂讲稿3170,施普林格 2004，国际标准图书编号3-540-22940-X号 [目录]]]>https://dblp.org/rec/conf/concor/20042004年1月1日星期四00:00:00+0100 http://drops.dagstuhl.de/opus/volltexte/2005/27芭芭拉·科尼格,乌戈·蒙塔纳里,菲利普·加德纳:
04241摘要集-分布式和移动系统建模的图变换和过程代数。 分布式和移动系统建模的图变换和过程代数 2004]]>https://dblp.org/rec/conf/dagstuhl/KonigMG042004年1月1日星期四00:00:00+0100 https://doi.org/10.1007/978-3-540-45187-7_27菲利普·加德纳,科西莫·拉伊夫,卢西安·维奇克:
线性货运公司。 CONCUR公司 2003:408-422]]>https://dblp.org/rec/conf/concor/GardnerLW032003年1月1日，星期三00:00:00+0100 https://doi.org/10.1007/978-3-540-24607-7_9菲利普·加德纳,塞尔吉奥·马菲斯:
动态Web数据建模。 DBPL公司 2003:130-146]]>https://dblp.org/rec/conf/dbpl/GardnerM032003年1月1日，星期三00:00:00+0100 https://doi.org/10.1007/3-540-36576-1_14鲁卡·凯德利,菲利普·加德纳,乔治·盖利:
使用隐藏标签操作树。 FoSSaCS公司 2003:216-232]]>https://dblp.org/rec/conf/fossacs/CardelliGG032003年1月1日，星期三00:00:00+0100 https://doi.org/10.1007/3-5440-45694-5_28菲利普·加德纳,科西莫·拉伊夫,卢西安·维希克:
融合机。 CONCUR公司 2002:418-433]]>https://dblp.org/rec/conf/concur/GardnerLW022002年1月1日星期二00:00:00+0100 https://doi.org/10.1007/3-540-45465-9_51鲁卡·凯德利,菲利普·加德纳,乔治·盖利:
查询图形的空间逻辑。 ICALP公司 2002:597-610]]>https://dblp.org/rec/conf/icalp/CardelliGG022002年1月1日星期二00:00:00+0100 https://doi.org/10.1007/3-540-44618-4_7菲利普·加德纳:
从过程计算到过程框架。 CONCUR公司 2000:69-88]]>https://dblp.org/rec/conf/concor/Gardner00网址2000年1月1日星期六00:00:00+0100 https://doi.org/10.1007/3-540-44612-5_33菲利普·加德纳,卢西安·维希克:
明确融合。 MFCS公司 2000:373-382]]>https://dblp.org/rec/conf/mfcs/GardnerW002000年1月1日星期六00:00:00+0100 https://doi.org/10.1016/S0304-3975(98)00355-7菲利普·加德纳:
闭合动作演算。 西奥。计算。科学。 228(1-2个):77-103(1999)]]>https://dblp.org/rec/journals/tcs/Gardner991999年1月1日，星期五00:00:00+0100 https://doi.org/10.1007/BFb0028008安德鲁·G·巴伯,菲利普·加德纳,长谷正彦,戈登·普洛金:
从动作微积分到线性逻辑。 CSL公司 1997:78-97]]>https://dblp.org/rec/conf/csl/BarberGHP971997年1月1日，星期三00:00:00+0100 https://doi.org/10.1007/BFb0014569菲利普·加德纳,长谷正彦:
高阶动作演算的类型和模型。 节气门执行器控制系统 1997:583-603]]>https://dblp.org/rec/conf/tacs/GardnerH971997年1月1日，星期三00:00:00+0100 https://doi.org/10.1016/S1571-0661(05)82513-7菲利普·加德纳:
动作演算的类型理论描述。 汽笛 1997:52]]>https://dblp.org/rec/journals/entcs/Gardner971997年1月1日，星期三00:00:00+0100 https://doi.org/10.1017/S0960129500000785菲利普·加德纳:
逻辑学及其表示类型理论之间的等价性。 数学。结构。计算。科学。 5(三):323-349(1995)]]>https://dblp.org/rec/journals/mscs/Gardner951995年1月1日，星期日00:00:00+0100 https://doi.org/10.1016/S1571-0661(04)80012-4菲利普·加德纳:
一个无名的行动计算帐户。 MFPS公司 1995:214至231]]>https://dblp.org/rec/journals/entcs/Gardner951995年1月1日，星期日00:00:00+0100 https://doi.org/10.1007/3-540-57887-0_115菲利普·加德纳:
使用类型理论发现所需的约简。 节气门执行器控制系统 1994:555-574]]>https://dblp.org/rec/conf/tacs/Gardner941994年1月1日星期六00:00:00+0100 https://doi.org/10.1007/3-540-56944-8_49菲利普·加德纳:
一种新型的逻辑表示理论。 LPAR公司 1993:146-157]]>https://dblp.org/rec/conf/lpar/Gardner931993年1月1日，星期五00:00:00+0100 https://hdl.handle.net/1842/14888菲利普·加德纳:
在类型理论中表示逻辑。英国爱丁堡大学，1992]]>https://dblp.org/rec/phd/ethos/Gardner921992年1月1日，星期三00:00:00+0100 https://dblp.org/pid/g-FilippaGardner.html菲利普·加德纳,约翰·谢泼德森:
逻辑程序的展开/折叠变换。 计算逻辑——纪念艾伦·罗宾逊的论文 1991:565-583]]>https://dblp.org/rec/conf/birthday/GardnerS911991年1月1日星期二00:00:00+0100