默认搜索操作

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

问别人

埃马努埃勒·德奥苏亚多

>主页 >珀森斯

人员信息

附属： 凯泽斯劳滕科技大学计算机科学系
附属： 牛津大学计算机科学系

SPARQL查询

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2024
[第九章]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2402-18708
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2402-18708
嘉璐宝,伊曼纽尔·德奥斯瓦尔多,阿扎德·法尔赞:
布鲁贝尔：概率推理的关系提升和独立联盟。 CoRR公司 abs/2402.18708(2024)
2023
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/DOsualdoRV23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/DOsualdoRV23
伊曼纽尔·德奥斯瓦尔多,杜鹃花,维克托·瓦菲亚迪斯:
持久线性化之路。程序。ACM计划。语言。 7(POPL公司):748-774(2023)
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/SammlerSSDKGD23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/SammlerSSDKGD23
迈克尔·桑姆勒,西蒙·斯皮斯,宋永州,伊曼纽尔·德奥斯瓦尔多,罗伯特·克雷伯斯,Deepak Garg公司,德里克·德雷尔:
DimSum：一种多语言语义和验证的分散方法。程序。ACM计划。语言。 7(POPL公司):775-805(2023)
2022
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/DOsualdoFD22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/DOsualdoFD22
伊曼纽尔·德奥斯瓦尔多,阿扎德·法尔赞,德里克·德雷尔:
从成分上证明超安全。程序。ACM计划。语言。 6(OOPSLA2型):289-314(2022)
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/FruminDHP22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/FruminDHP22
丹·弗鲁明,伊曼纽尔·德奥斯瓦尔多,巴斯·范登·胡维尔,豪尔赫·佩雷斯:
一串会话：基于通道的并发中的成串含义的命题-会话解释。程序。ACM计划。语言。 6(OOPSLA2型):841-869(2022)
[i8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2209-05421
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2209-05421
丹·弗鲁明,伊曼纽尔·德奥斯瓦尔多,巴斯·范登·胡维尔,豪尔赫·佩雷斯:
一组会话：基于信道的并发中的一组含义的命题-会话解释。 CoRR公司 abs/2209.05421(2022)
[i7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2209-07448
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2209-07448
伊曼纽尔·德奥斯瓦尔多,阿扎德·法尔赞,德里克·德雷尔:
合成证明超安全。 CoRR公司腹肌/2209.07448(2022)
[i6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2211-07631
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2211-07631
伊曼纽尔·德奥斯瓦尔多,杜鹃花,维克托·瓦菲亚迪斯:
持久线性化之路。 CoRR公司 abs/2211.07631(2022)
2021
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/toplas/DOsualdoSFG21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/toplas/DOsualdoSFG21
伊曼纽尔·德奥斯瓦尔多,朱利安·萨瑟兰,阿扎德·法尔赞,菲利普·加德纳:
TaDA Live：终止细粒度并发程序的组合推理。 ACM事务处理。程序。语言系统。 43(4):16:1-16:134(2021)
2020
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/DOsualdoS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/DOsualdoS20
伊曼纽尔·德奥斯瓦尔多,费利克斯·斯图兹:
具有无限会话的密码协议验证的可判定归纳不变量。 CONCUR公司 2020:31:1-31:23

2010 – 2019

请参阅常见问题解答

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

2019
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1901-05750
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1901-05750
伊曼纽尔·德奥斯瓦尔多,阿扎德·法尔赞,菲利普·加德纳,朱利安·萨瑟兰:
TaDA Live：终止细粒度并发程序的组合推理。 CoRR公司 abs/1901.05750(2019)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1911-05430
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1911-05430
埃马努埃勒·德奥苏亚多,费利克斯·斯图兹:
具有无限会话的密码协议验证的可判定归纳不变量。 CoRR公司腹肌/1911.05430(2019)
2017
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/DOsualdoOT17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/DOsualdoOT17
伊曼纽尔·德奥斯瓦尔多,卢克·翁,Alwen Tiu先生:
确定无限会话数的安全协议的机密性：深度绑定进程的情况。 CSF公司 2017:464-480
2016
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/DOsualdoO16公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/DOsualdoO16
埃马努埃勒·德奥苏亚多,C.-H.卢克·翁:
关于微积分中的层次通信拓扑。员工持股计划 2016:149-175
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/DOsualdoMZ16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/DOsualdoMZ16
伊曼纽尔·德奥斯瓦尔多,罗兰·梅耶,乔治·泽采:
无限状态系统具有可达性的一阶逻辑。低收入国家 2016:457-466
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/DOsualdoO16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/DOsualdoO16
伊曼纽尔·德奥斯瓦尔多,C.-H.卢克·翁:
关于像素中的层次通信拓扑。 CoRR公司 abs/1601.01725(2016)
2015
【b1】
- 看法
- 出口记录
  dblp键：
  - 博士/方法/DOsualdo15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/ethos/DOsualdo15
伊曼纽尔·德奥斯瓦尔多:
验证消息传递并发系统。英国牛津大学，2015
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Dosualdo15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/DOsualdoO15
伊曼纽尔·德奥斯瓦尔多,卢克·翁:
用于证明像素中深度有界性的类型系统。 CoRR公司 abs/1502.00944(2015)
2013
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/DOsualdoKO13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/DOsualdoKO13
伊曼纽尔·德奥斯瓦尔多,乔纳森·科切姆斯,C.-H.卢克·翁:
Erlang-Style并发的自动验证。萨斯 2013:454-476
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1303-2201
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1303-2201
伊曼纽尔·德奥斯瓦尔多,乔纳森·科切姆斯,C.-H.卢克·翁:
Erlang-Style并发的自动验证。 CoRR公司腹肌/1303.2201(2013)
2012
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/agere/DOsualdoKO12公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/agere/DOsualdoKO12
伊曼纽尔·德奥斯瓦尔多,乔纳森·科切姆斯,卢克·翁:
Soter：erlang的自动安全验证器。年龄@溅水 2012:137-140

合著者索引

请参阅常见问题解答

管理网站设置

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