停止战争！

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

对于科学家：

默认搜索操作

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

问别人

拉米罗·德马西

拉米罗·A·德马西

>主页 >珀森斯

人员信息

附属： 加拿大汉密尔顿麦克马斯特大学

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2023
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2309-07309
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2309-07309
巴勃罗·卡斯特罗,佩德罗·达吉尼奥,拉米罗·德马西,卢西亚诺·普特鲁埃:
通过公平随机游戏量化屏蔽容错。快递/SOS 2023:132-148
2022
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CastroDDP22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CastroDDP22
巴勃罗·卡斯特罗,佩德罗·达吉尼奥,拉米罗·德马西,卢西亚诺·普特鲁埃尔:
在随机游戏中与公平对手比赛，获得全部奖励。 CAV（2） 2022:48-69
【c9】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/PutrueleDCD22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/PutrueleDCD22
卢西亚诺·普特鲁埃,拉米罗·德马西,巴勃罗·卡斯特罗,佩德罗·达吉尼奥:
MaskD：测量屏蔽容错性的工具。 TACAS（1） 2022:396-403
[i4]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2207-02045
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2207-02045
巴勃罗·卡斯特罗,佩德罗·达吉尼奥,卢西亚诺·普特鲁埃,拉米罗·德马西:
掩盖容错性的随机博弈方法：相互模拟和量化。 CoRR公司腹肌/2207.02045(2022)
2021
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/临时/RavertaFMDFD21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/adhoc/RavertaFMDFD21
费尔南多·拉维塔,胡安·弗雷尔,巴勃罗·马多里,拉米罗·A·德马西,豪尔赫·费诺切托（Jorge M.Finochietto）,佩德罗·达吉尼奥:
不确定接触计划下延迟容忍网络的路由选择。 Ad Hoc网络 123:102663(2021)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2108-07092
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2108-07092
费尔南多·拉维塔,胡安·弗雷尔,巴勃罗·马多里,拉米罗·A·德马西,豪尔赫·费诺切托（Jorge M.Finochietto）,佩德罗·达吉尼奥:
不确定接触计划下容迟网络中的路由选择。 CoRR公司 abs/2108.07092(2021)
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-2112-09811
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2112-09811
巴勃罗·卡斯特罗,佩德罗·达吉尼奥,卢西亚诺·普特鲁埃,拉米罗·德马西:
在随机游戏中与公平对手比赛，获得全部奖励。 CoRR公司 abs/2112.09811(2021)

2010 – 2019

请参阅常见问题解答

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

2019
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CastroDDP19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CastroDDP19
巴勃罗·卡斯特罗,佩德罗·达吉尼奥,拉米罗·德马西,卢西亚诺·普特鲁埃:
测量屏蔽故障容差。 TACAS（2） 2019:375-392
2018
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/CimattiDT18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/CimattiDT18
亚历山德罗·西马蒂,拉米罗·德马西,斯特凡诺·托内塔:
加强系统架构的合同改进。形式方法系统。设计。 52(1):88-116(2018)
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wisee/RavertaDMFFD18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wisee/RavertaDMFFD18
费尔南多·拉维塔,拉米罗·德马西,巴勃罗·马多里,胡安·弗雷尔,豪尔赫·费诺切托（Jorge M.Finochietto）,佩德罗·达吉尼奥:
具有不确定接触计划的空间DTN路由的马尔可夫决策过程。 WiSEE公司 2018:189-194
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1811-05548
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1811-05548
巴勃罗·卡斯特罗,佩德罗·达吉尼奥,拉米罗·德马西,卢西亚诺·普特鲁埃:
测量掩蔽容错。 CoRR公司 abs/1811.05548(2018)
2017
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/fac/DemasiCMA17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/DemasiCMA17网址
拉米罗·德马西,巴勃罗·卡斯特罗,托马斯·斯蒂芬·爱德华·迈鲍姆,纳扎雷诺·阿吉雷:
容错仿真关系。形式方面计算。 29(6):1013-1050(2017)
2016
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/CimattiDT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/CimattiDT16
亚历山德罗·西马蒂,拉米罗·德马西,斯特凡诺·托内塔:
加强合同细化。 SEFM公司 2016:386-402
2015
【c5】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DemasiCRMA15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DemasiCRMA15
拉米罗·德马西,巴勃罗·卡斯特罗,尼科拉斯·里奇,托马斯·斯蒂芬·爱德华·迈鲍姆,纳扎雷诺·阿吉雷:
syntMaskFT：一个从Deontic规范中综合屏蔽容错程序的工具。 TACAS公司 2015:188-193
2013
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/DemasiCMA13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/DemasiCMA13网址
拉米罗·德马西,巴勃罗·卡斯特罗,T.S.E.Maibaum公司,纳扎雷诺·阿吉雷:
从道义规范合成屏蔽容错系统。 ATVA公司 2013:163-177
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/DemasiCMA13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/DemasiCMA13网址
拉米罗·德马西,巴勃罗·卡斯特罗,T.S.E.Maibaum公司,纳扎雷诺·阿吉雷:
通过仿真关系表征容错系统。国际单项体育联合会 2013:428-442
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/Demasi13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Demasi13
拉米罗·德马西:
从道义逻辑规范中综合容错程序。 ASE公司 2013:750-753
2011
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/激光/MunozD11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/laser/MunozD11
塞萨尔·穆尼奥斯,拉米罗·A·德马西:
PVS中的高级定理证明技术及其应用。 LASER暑期学校 2011:96-132

合著者索引

请参阅常见问题解答

服务

管理网站设置

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