默认搜索操作

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

问别人

安德烈·库普利亚诺夫

>主页 >珀森斯

人员信息

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2010 – 2019

请参阅常见问题解答

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

2017
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1710-03391
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1710-03391
伯恩德·芬克贝纳,安德烈·库普利亚诺夫:
基于因果关系的模型检查。 ETAPS坝顶 2017:31-38
2016
【b1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 博士/dnb/Kupriyanov16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/dnb/Kupriyanov16
安德烈·库普利亚诺夫:
基于因果关系的验证。德国萨尔布吕肯萨尔州大学，2016
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/DacaHK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/DacaHK16
普热米斯劳达卡,托马斯·汉津格,安德烈·库普利亚诺夫:
数组折叠逻辑。 CAV（2） 2016:230-248
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/DacaHK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/DacaHK16
Przemyslaw Daca公司,托马斯·汉津格,安德烈·库普利亚诺夫:
数组折叠逻辑。 CoRR公司 abs/1603.06850(2016)
2014
【c3】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KupriyanovF14号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KupriyanovF14网址
安德烈·库普利亚诺夫,伯恩德·芬克贝纳:
多线程程序的因果终止。 CAV汽车 2014:814-830
2013
[c2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/KupriyanovF13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/KupriyanovF13
安德烈·库普利亚诺夫,伯恩德·芬克贝纳:
基于因果关系的多线程程序验证。 CONCUR公司 2013:257-272
2010
【c1】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DragerKFW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DragerKFW10
克劳斯博士,安德烈·库普利亚诺夫,伯恩德·芬克贝纳,海克·韦尔海姆:
SLAB：无限状态并发系统的认证模型检查器。墨西哥玉米饼 2010:271-274

合著者索引

请参阅常见问题解答

管理网站设置

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