停止战争！

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

对于科学家来说：

默认搜索操作

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

询问他人

迪奥戈·索萨0001

迪奥戈·苏萨

>主页 >珀森斯

人员信息

附属： 葡萄牙里斯本新里斯本大学

其他同名人员

请参阅常见问题解答

其他同名人员

请参阅常见问题解答

为什么有些名字后面跟着一个四位数的数字？

优化列表

精炼活动！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

2010 – 2019

请参阅常见问题解答

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

2017
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/DiasFFLSSV17
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/DiasFFLSSV17
里卡多·J·迪亚斯,卡拉·费雷拉,简·费多尔,若昂·洛伦索,亚历斯·斯姆卡,迪奥戈·苏萨,托马斯·沃伊纳:
使用合同验证并发程序。 ICST公司 2017:196-206
2015
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/SousaDFL15
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/SousaDFL15
迪奥戈·苏萨,里卡多·J·迪亚斯,卡拉·费雷拉,若昂·卢伦索:
防止原子性违反合同。 CoRR公司 abs/1505.02951(2015)
2012
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/issta/FarchiSLS12
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issta/FarchiSLS12
埃坦·法基,伊泰·塞格尔,若昂·卢伦索,迪奥戈·索萨:
使用程序闭包使应用程序编程接口（API）实现线程安全。帕达德 2012:18-24
2011
[j1]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/comsis/LourencoSTD11
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/comsis/LourencoSTD11
若昂·卢伦索,迪奥戈·索萨,布鲁诺·C·特谢拉,里卡多·J·迪亚斯:
检测事务性内存程序中的并发异常。计算。科学。信息系统。 8(2):534-548(2011)
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/issta/PessanhaDLFS11
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issta/PessanhaDLFS11
瓦斯科·佩桑哈,里卡多·J·迪亚斯,若昂·卢伦索,埃坦·法基,迪奥戈·索萨:
事务内存程序中高级数据竞赛的实际验证。帕达德 2011:26-34
2010
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/issta/TeixeiraLFDS10
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issta/TeixeiraLFDS10
布鲁诺·C·特谢拉,若昂·卢伦索,埃坦·法基,里卡多·J·迪亚斯,迪奥戈·索萨:
使用静态分析检测事务性内存异常。更新 2010:26-36

合著者索引

请参阅常见问题解答

服务

管理网站设置

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