默认搜索操作

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

问别人

佩德罗·达罗查·平托

>主页 >珀森斯

人员信息

附属： 英国伦敦帝国理工学院

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2010 – 2019

请参阅常见问题解答

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

2018
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/Dinsdale-YoungP18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/Dinsdale-YongP18（网址：https://dblp.org/rec/journals/jlp/Dinsdale-YongP18）
托马斯·丁斯代尔-杨,佩德罗·达罗查·平托,菲利普·加德纳:
关于指定和验证并发模块的观点。 J.日志。代数方法程序。 98:1-25(2018)
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/NtzikPSG18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/NtzikPSG18
吉安·恩茨克,佩德罗·达罗查·平托,朱利安·萨瑟兰,菲利普·加德纳:
POSIX文件系统的并发规范。 ECOOP公司 2018:4:1-4:28
2017
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Dinsdale-Young第17页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Dinsdale-YoungP17
托马斯·丁斯代尔-杨,佩德罗·达罗查·平托,克里斯托弗·安徒生,拉尔斯·比克达尔:
Caper-细粒度并发的自动验证。员工持股计划 2017:420-447
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Xiong PNG17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Xiong PNG17
Shale Xiong公司,佩德罗·达·罗查·平托,吉安·恩茨克,菲利普·加德纳:
并发映射的抽象规范。员工持股计划 2017:964-990
2016
【b1】
- 看法
- 出口记录
  dblp键：
  - phd/精神气质/Pinto16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/ethos/Pint16
佩德罗·达罗查·平托:
用时间和数据抽象进行推理。英国伦敦帝国理工学院，2016
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Pinto DGS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/PintoDGS16
佩德罗·达罗查·平托,托马斯·丁斯代尔-杨,菲利普·加德纳,朱利安·萨瑟兰:
非阻塞并发的模块化终端验证。员工持股计划 2016:176-201
2015
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/NtzikPG15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/NtzikPG15
吉安·恩茨克,佩德罗·达罗查·平托,菲利普·加德纳:
容错资源推理。阿普拉斯 2015:169-188
【c3】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/entcs/PintoDG15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/PintoDG15
佩德罗·达罗查·平托,托马斯·丁斯代尔-杨,菲利普·加德纳:
并发模块模块规范中的步骤（受邀教程论文）。 MFPS公司 2015:3-18
2014
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/PintoDG14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/PintoDG14
佩德罗·达罗查·平托,托马斯·丁斯代尔-杨,菲利普·加德纳:
TaDA：时间和数据抽象逻辑。 ECOOP公司 2014:207-231
2011
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/PintoDDGW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/PintoDDGW11
佩德罗·达罗查·平托,托马斯·丁斯代尔-杨,迈克·多兹,菲利普·加德纳,Mark J.驾驶室:
复杂并发索引的简单抽象。 OOPSLA公司 2011:845-864

合著者索引

请参阅常见问题解答

管理网站设置

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