默认搜索操作

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

问别人

第13届RP 2019：比利时布鲁塞尔

>主页 >会议和研讨会 >RP公司

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/2019年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/2019
艾曼纽尔·菲利奥特,拉斐尔·荣格斯,伊戈尔·波塔波夫:
可达性问题——第十三届国际会议，RP 2019，比利时布鲁塞尔，2019年9月11日至13日，会议记录。计算机科学课堂讲稿11674,施普林格 2019，国际标准图书编号978-3-030-30805-6
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/AvniHIN19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/AvniHIN19
盖伊·阿夫尼,托马斯·汉津格,拉斯穆斯·易卜生-延森,彼得·诺沃顿:
马尔可夫决策过程的投标博弈。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/Protasov公司19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/Protasov19
弗拉基米尔·余（Vladimir Yu）。普罗塔索夫:
原始性与同步自动机：一种函数分析方法。 13-21
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/Sankaranarayanan公司19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/Sankaranarayanan19
斯里拉姆·桑卡拉纳拉亚南,Souradeep Dutta公司,塞尔吉奥·莫弗:
向完全验证的自主系统伸出援手。 22-32
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/BlazejKV19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/BlazejKV19
瓦克拉夫·布拉泽,扬·马蒂亚斯·克里斯坦,托马斯·瓦拉:
关于仙人掌图的m永恒支配数。 33-47
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/BrahayeBGT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/BrihayeBGT19
托马斯·布里海耶,维罗妮克·布鲁耶尔,阿琳·戈敏,内森·托马斯特:
可达性博弈中的相关均衡。 48-62
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/BruyerePRT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/BruyerePRT19
维罗妮克·布鲁耶尔,吉列尔莫·A·佩雷斯,Jean-François Raskin女士,Clément Tamines公司:
广义奇偶博弈的部分解算器。 63-78
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/Chonev19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/Chonev19
文茨拉夫·乔涅夫:
增强区间马尔可夫链中的可达性。 79-92
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/DayEKMNP19文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/DayEKMNP19
乔尔·戴伊,托尔斯滕·埃勒,米贾·库尔钦斯基（Mitja Kulczynski）,弗洛林·马内亚,德克·诺沃特卡,丹尼·鲍尔森:
用SAT求解单词方程。 93-106
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/Delzanno公司19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/Delzanno19
乔治·德尔扎诺:
带有异常处理的发布/订阅网络的参数化验证。 107-120
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/FatesMT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/FatesMT19
纳齐姆·法塔斯,艾琳·马科维奇,Siamak Taati公司:
用于颜色和瓷砖自我稳定的元胞自动机。 121-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/汉普森19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/Hampson19
克里斯托弗·汉普森:
关于具有递增误差的计数器的终止问题。 137-148
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/Kocher19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/Kocher19
克里斯·科彻:
部分损失队列自动机的可达性问题。 149-163
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/ReynierS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/ReynierS19
皮尔雷·阿莱恩·雷尼尔,油炸Servais:
关于Petri网最小覆盖集的计算。 164-177
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/SandlerT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/SandlerT19
安德烈·桑德勒,奥尔加·特维雷蒂纳:
可定向流形上分段常微分系统可达性的判定。 178-192
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/SchmitzZ19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/SchmitzZ19
西尔万·施密茨,乔治·泽采:
在具有重置的一维下推向量加法系统中，覆盖性是不确定的。 193-201
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/Tredup19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/Tredup19
罗尼·特雷杜普:
结构受限b有界Petri网的合成：复杂性结果。 202-217
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/DitmarschGKK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/DitmarschGKK19
汉斯·范·迪特马什,马尔文·加廷格,约阿尼斯·科基尼斯,Louwe B.Kuijer先生:
五个八卦协议的可及性。 218-231

管理网站设置

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