停止战争！

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

对于科学家：

默认搜索操作

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

问别人

扬·科卡尔

扬·克查尔

>主页 >珀森斯

人员信息

unicode名称： 扬·克查尔
附属： 萨尔州大学计算机科学系
附属： Masaryk大学信息学院

其他同名人员

请参阅常见问题解答

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2010 – 2019

请参阅常见问题解答

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

2019
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/BisgaardGHKNS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/BisgaardGHKNS19
莫滕·比斯加德,大卫·格哈特,霍尔格·赫尔曼斯,扬·科卡尔,吉尔斯·涅斯,马文·斯坦格:
在低轨道上安排电池：GomX-3案例。形式方面计算。 31(2):261-285(2019)
2017
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/文学/HermannsKN17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lites/HermannsKN17
霍尔格·赫尔曼斯,扬·科卡尔,吉尔斯·涅斯:
你的卫星怎么样了？具有再充电和不确定性的电池动力学。莱布尼茨翻译。嵌入。系统。 4(1):04:1-04:28(2017)
2016
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/HartmannsHK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/HartmannsHK16
阿恩·哈特曼斯,霍尔格·赫尔曼斯,扬·科卡尔:
计划员不是先知。语义学、逻辑学和微积分 2016:214-235
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/BisgaardGHKNS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BisgaardGHKNS16
莫滕·比斯加德,大卫·格哈特,霍尔格·赫尔曼斯,扬·科卡尔,吉尔斯·涅斯,马文·斯坦格:
低轨道电池-软件调度：GomX-3案例。 FM公司 2016:559-576
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/HermannsKV16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/HermannsKV16
霍尔格·赫尔曼斯,扬·科卡尔,Steen背心:
连续时间的分布式合成。 FoSSaCS公司 2016:353-369
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/post/HermannsKKS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/post/HermannsKKS16
霍尔格·赫尔曼斯,朱莉娅·克雷默,扬·科卡尔,玛丽埃尔·斯托琳加:
攻击防御图的价值。邮政 2016:163-185
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/BackstromBHKK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/BackstromBHKK16
奥拉·巴克斯特罗姆,尤利亚·布特科娃,霍尔格·赫尔曼斯,扬·科卡尔,帕维尔·科卡尔:
有效的静态和动态故障树分析。 SAFECOMP公司 2016:266-280
[i11]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/HermansKV16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HermannsKV16
霍尔格·赫尔曼斯,扬·科卡尔,Steen背心:
连续时间的分布式合成。 CoRR公司腹肌/1601.01587(2016)
2015
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/ButkovaHHK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/ButkovaHHK15
尤利亚·布特科娃,哈桑·哈特菲,霍尔格·赫尔曼斯,Jan Krcál公司:
最优连续时间马尔可夫决策。 ATVA公司 2015:166-182
[第16条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/ForejtK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/ForejtK15
Vojtech预测,扬·科卡尔:
概率系统中的频率LTL。 CONCUR公司 2015:184-197
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cyphy/HermannsKN15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cyphy/HermannsKN15
霍尔格·赫尔曼斯,扬·科卡尔,吉尔斯·涅斯:
重新充电可能会让电池继续工作。 CyPhy公司 2015:83-98
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dsn/KrcalK15号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dsn/KrcalK15
扬·科卡尔,帕维尔·科卡尔:
具有动态特征的故障树的可扩展分析。 DSN（DSN） 2015:89-100
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/ForejtKK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/ForejtKK15
Vojtech预测,扬·科卡尔,扬·克伦斯克:
MDP和频率LTL的控制器综合_\GU公司. LPAR公司 2015:162-177
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/qest/BraddilKKNR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/qest/BraddilKKNR15
托马斯·布拉兹迪尔,卢博斯·科伦恰克,扬·科卡尔,彼得·诺沃顿,Vojtech Rehák公司:
使用超时综合优化连续时间随机系统的性能。 QEST公司 2015:141-159
[i10]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/ForejtK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ForejtK15
Vojtech预测,扬·科卡尔:
概率系统中的频率LTL。 CoRR公司 abs/1501.05561(2015)
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/HermannsKN15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HermannsKN15
霍尔格·赫尔曼斯,扬·科卡尔,吉尔斯·涅斯:
重新充电可能会使电池保持活力。 CoRR公司 abs/1502.07120(2015)
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/ButkovaHHK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ButkovaHHK15
尤利亚·布特科娃,哈桑·哈特菲,霍尔格·赫尔曼斯,扬·科卡尔:
最优连续时间马尔可夫决策。 CoRR公司 abs/1507.02876(2015)
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/ForejtKK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ForejtKK15
Vojtech预测,扬·科卡尔,扬·克伦斯克:
MDP和频率LTL$\set减去$GU的控制器合成。 CoRR公司腹肌/1509.04116(2015)
2014
[第11条]
- 看法
  - 电子版@acm.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/atal/AbaffyBRBKK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atal/AbaffyBRBKK14
迈克尔·阿巴菲,托马斯·布拉兹迪尔,Vojtech Rehák公司,布拉尼斯拉夫·博桑斯克,安东·库塞拉,扬·科卡尔:
解决有界误差的对手巡逻游戏：（扩展抽象）。美国原子能机构 2014:1617-1618
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/HermannsKK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/HermannsKK14
霍尔格·赫尔曼斯,扬·科卡尔,扬·克伦斯克:
概率互模拟：自然分布。 CONCUR公司 2014:249-265
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/epew/KorenciakKR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/epew/KorenciakKR14
卢博斯·科伦恰克,扬·科卡尔,Vojtech Rehák公司:
使用分段相位类型近似处理零密度。 EPEW公司 2014:119-134
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/HashimiHK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HashemiHK14
瓦希德·哈希米,哈桑·哈特菲,Jan Krcál公司:
区间MDP的PCTL模型检查的概率互模拟（扩展版本）。同步CoP 2014:19-33
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/HermannsKK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HermannsKK14
霍尔格·赫尔曼斯,扬·科卡尔,扬·克雷廷斯克:
概率互模拟：自然分布。 CoRR公司 abs/1404.5084(2014)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/KorenciakKR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KorenciakKR14
卢博斯·科伦恰克,扬·科卡尔,Vojtech Rehák公司:
使用分段相位类型近似处理零密度。 CoRR公司 abs/1406.7527(2014)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/BraddilKKNR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BraddilKKNR14
托马斯·布拉兹迪尔,卢博斯·科伦恰克,扬·科卡尔,彼得·诺沃顿,Vojtech Rehák公司:
使用超时综合优化连续时间随机系统的性能。 CoRR公司 abs/1407.4777(2014)
2013
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/BraddilFKK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/BraddilFKK13
托马斯·布拉兹迪尔,Vojtech预测,Jan Krcál公司,扬·克伦斯克,安东·库塞拉:
具有时限可达性的连续时间随机对策。 Inf.计算。 224:46-70(2013)
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/HermannsKK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/HermannsKK13
霍尔格·赫尔曼斯,扬·科卡尔,扬·克伦斯克:
交互式马尔可夫链的合成验证与优化。 CONCUR公司 2013:364-379
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wosp/BraddilKKR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wosp/BrazdilKKR13
托马斯·布拉兹迪尔,卢博斯·科伦恰克,Jan Krcál公司,扬·克伦斯克,Vojtech Rehák公司:
确定性和随机petri网的时间平均极限。国际比较项目 2013:421-422
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/HermannsKK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HermannsKK13
霍尔格·赫尔曼斯,扬·科卡尔,扬·克伦斯克:
交互式马尔可夫链的组合验证与优化。 CoRR公司 abs/1305.7332(2013)
2012
【c5】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/BraddilHKKR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/BrazdilHKKR12
托马斯·布拉兹迪尔,霍尔格·赫尔曼斯,扬·科卡尔,扬·克伦斯克,Vojtech Rehák公司:
开放交互马尔可夫链的验证。 FSTTCS公司 2012:474-485
2011
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/BraddilKKR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BraddilKKR11
托马斯·布拉兹迪尔,Jan Krcál公司,扬·克伦斯克,Vojtech Rehák公司:
重温广义半马尔科夫过程中的固定延迟事件。 CONCUR公司 2011:140-155
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合动力/BraddilKKR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/BraddilKKR11
托马斯·布拉兹迪尔,扬·科卡尔,扬·克伦斯克,安东·库塞拉,Vojtech Rehák公司:
使用时间自动机测量连续时间随机过程的性能。高速列车控制中心 2011:33-42
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1101-4204
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1101-4204
托马斯·布拉兹迪尔,扬·科卡尔,扬·克伦斯克,安东·库塞拉,Vojtech Rehák公司:
使用时间自动机测量连续时间随机过程的性能。 CoRR公司 abs/1101.4204(2011)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1106-1424
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1106-1424
托马斯·布拉兹迪尔,扬·科卡尔,扬·克伦斯克,Vojtech Rehák公司:
重温广义半马尔科夫过程中的固定延迟事件。 CoRR公司 abs/1106.1424(2011)
2010
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/同意/BrazdilKKKR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BraddilKKR10
托马斯·布拉兹迪尔,扬·科卡尔,扬·克伦斯克,安东·库塞拉,Vojtech Rehák公司:
具有定性时间自动机目标的随机实时博弈。 CONCUR公司 2010:207-221

2000 – 2009

请参阅常见问题解答

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

2009
【c1】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/BraddilFKK09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/BrazdilFKK09
托马斯·布拉兹迪尔,Vojtech预测,扬·科卡尔,扬·克伦斯克,安东·库塞拉:
具有时限可达性的连续时间随机博弈。 FSTTCS公司 2009:61-72

合著者索引

请参阅常见问题解答

服务

管理网站设置

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