停止战争！

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

对于科学家：

默认搜索操作

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

问别人

拉尔夫·威默0001

>主页 >珀森斯

人员信息

附属： Altair Engineering GmbH，德国弗莱堡
隶属关系（以前）： 德国弗莱堡Concept Engineering GmbH
从属关系（2011年博士）： 德国弗莱堡大学计算机科学研究所

其他同名人员

请参阅常见问题解答

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2023
[i10]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2303-14446
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2303-14446
拉尔夫·威默,胡明义:
在DQBF预处理中使用单位传播和通用约简。 CoRR公司 abs/2303.14446(2023)
2022
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Ge-ErnstSSW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Ge-ErnstSSW22
Aile Ge-Ernst公司,克里斯托夫·斯科尔,尤拉吉·西奇,拉尔夫·威默:
使用量词定位求解依赖量化布尔公式。西奥。计算。科学。 925:1-24(2022)
[公元65年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/date/EckerAMHKHDAWMS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/date/EckerAMHKHDAWMS22
沃尔夫冈·埃克尔,同龄人Adelt,沃尔夫冈·米勒,雷霍德·赫克曼,尔斯蒂奇,弗拉基米尔·赫特,罗尔夫·德雷克斯勒,格哈德焦虑,拉尔夫·威默,安德烈亚斯·莫德勒,拉斐尔·斯塔尔,卡斯滕·埃姆里奇,丹尼尔·米勒-格里奇内德,伯恩德·贝克尔,菲利普·斯科尔,艾克-詹茨施,简·施拉梅尔彻,金·格里特纳,保罗·帕洛梅罗·贝尔纳多,奥利弗·布林曼,米哈拉·达米安,朱利安·奥珀曼,安德烈亚斯·科赫,约格·博尔曼,约翰内斯·帕兹奇,克里斯蒂安·梅尔,沃尔夫冈·昆兹:
Scale4Edge RISC-V生态系统。日期 2022:808-813
[公元64年]
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/mbmv/HuW022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mbmv/HuW022
胡铭,利奥诺·温特勒,拉尔夫·威默:
部分可观测马尔可夫决策过程的诊断。 MBMV公司 2022:1-10
2021
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tac/WintererJWJTKB21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tac/WintererJWJTKB21
利奥诺·温特勒,塞巴斯蒂安·荣格斯,拉尔夫·威默,尼尔斯·詹森,Ufuk Topcu公司,Joost-Pieter Katoen公司,伯恩德·贝克尔:
基于游戏抽象的机器人规划POMDP策略综合。 IEEE传输。自动。控制。 66(三):1040-1054(2021)
[公元63年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/glvlsi/Pieper0AD21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/glvlsi/Pieper0AD21
帕斯卡·皮珀,拉尔夫·威默,格哈德焦虑,罗尔夫·德雷克斯勒:
架构（Architecture）级最小侵入性硬件/软件协同调试实时可视化。 ACM大湖区超大规模集成电路研讨会 2021:321-326
2020
[公元62年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nfm/Winterer00020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nfm/Winterer00020
利奥诺·温特勒,拉尔夫·威默,尼尔斯·詹森,伯恩德·贝克尔:
加强POMDP的决定性政策。非金融市场 2020:115-132
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2007-08351
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2007-08351
利奥诺·温特勒,拉尔夫·威默,尼尔斯·詹森,伯恩德·贝克尔:
加强POMDP的决定性政策。 CoRR公司 abs/2007.08351(2020)

2010 – 2019

请参阅常见问题解答

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

2019
[j8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsat/WimmerSB19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsat/WimmerSB19
拉尔夫·威默,克里斯托夫·斯科尔,伯恩德·贝克尔:
（D）QBF预处理器HQPre的基本原理及其实现。 J.满意。布尔模型。计算。 11(1):3-52(2019)
[第61条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/aaai/SchollJWG19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaai/SchollJWG19
克里斯托夫·斯科尔,杰洪·罗兰·蒋,拉尔夫·威默,Aile Ge-Ernst公司:
依赖量化布尔公式的PSPACE子类及其有效求解。啊啊啊 2019:1584-1591
[公元60年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Ge-EnstSW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Ge-ErnstSW19
Aile Ge-Ernst公司,克里斯托夫·斯科尔,拉尔夫·威默:
DQBF的本地化量词。 FMCAD公司 2019:184-192
[公元59年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ijcai/Carr0WS0T19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/Carr0WS0T19
史蒂文·卡尔,尼尔斯·詹森,拉尔夫·威默,亚历山大·康斯坦丁塞尔维亚人,伯恩德·贝克尔,Ufuk Topcu公司:
使用递归神经网络改进POMDP的反例指导策略。国际JCAI 2019:5532-5539
[公元58年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/snr/0001JKQ00W19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/snr/0001JKQ00W19
尼尔斯·詹森,塞巴斯蒂安·荣格斯,Joost-Pieter Katoen公司,蒂姆·夸特曼,伯恩德·贝克尔,拉尔夫·威默,利奥诺·温特勒:
POMDP的正确施工政策。信噪比 2019:6-8
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日志/corr/abs-1903-08428
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1903-08428
史蒂文·卡尔,尼尔斯·詹森,拉尔夫·威默,亚历山大·康斯坦丁塞尔维亚人,伯恩德·贝克尔,Ufuk Topcu公司:
使用递归神经网络改进POMDP的反例指导策略。 CoRR公司 abs/1903.08428(2019)
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1905-04755
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1905-04755
Aile Ge-Ernst公司,克里斯托夫·斯科尔,拉尔夫·威默:
DQBF的量词定位。 CoRR公司 abs/1905.04755(2019)
2018
[公元57年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amcc/Carr0WFT18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amcc/Carr0WFT18
史蒂文·卡尔,尼尔斯·詹森,拉尔夫·威默,杰福,Ufuk Topcu公司:
部分可观测马尔可夫决策过程的人在回路综合。自动控制 2018:762-769
[公元56年]
- 看法
  - 通过handle.net进行电子版
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/mbmv/WimmerKBSB18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mbmv/WimmerKBSB18网址
拉尔夫·威默,安德烈亚斯·卡伦鲍尔,鲁本·贝克尔,克里斯托夫·斯科尔,伯恩德·贝克尔:
通过依赖消除从DQBF到QBF。 MBMV公司 2018
[公元55年]
- 看法
  - 通过handle.net进行电子版
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/mbmv/温特勒JWJTKB18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/bmv/WinterJWJTKB18
利奥诺·温特勒,塞巴斯蒂安·琼格斯,拉尔夫·威默,尼尔斯·詹森,Ufuk Topcu公司,Joost-Pieter Katoen公司,伯恩德·贝克尔:
抽象-基本验证POMDP im Motion-Planning-Kontext。 MBMV公司 2018
[公元54年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mmb/ButkovaWH18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mmb/ButkovaWH18
尤利亚·布特科娃,拉尔夫·威默,霍尔格·赫尔曼斯:
折扣的马尔可夫自动机！ MMB公司 2018:19-34
[公元53年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/SchollW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/SchollW18
克里斯托夫·斯科尔,拉尔夫·威默:
依赖量化布尔公式：求解方法和应用概述-扩展摘要。卫星 2018:3-16
[第52条]
- 看法
  - 电子版@auai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/uai/Junges0WQWK018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/uai/Junges0WQWK018
塞巴斯蒂安·琼格斯,尼尔斯·詹森,拉尔夫·威默,蒂姆·夸特曼,利奥诺·温特勒,Joost-Pieter Katoen公司,伯恩德·贝克尔:
使用参数综合的POMDP的有限状态控制器。阿拉伯联合酋长国 2018:519-529
[第2页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/sp/18/WimmerWS018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/18/WimmerWS018
拉尔夫·威默,卡琳娜·威默,克里斯托夫·斯科尔,伯恩德·贝克尔:
用依赖量化布尔公式分析不完备电路。高级逻辑综合 2018:151-168
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1802-09810
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1802-09810
史蒂文·卡尔,尼尔斯·詹森,拉尔夫·威默,杰福,Ufuk Topcu公司:
部分可观测马尔可夫决策过程的人在回路综合。 CoRR公司 abs/1802.09810(2018)
2017
[j7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/HatefiWBFBH17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/HatefiWBFBH17
哈桑·哈特菲,拉尔夫·威默,贝蒂娜Braiting,路易斯·玛丽亚·费雷尔·菲奥里蒂,伯恩德·贝克尔,霍尔格·赫尔曼斯:
随机博弈和马尔可夫自动机中的成本与时间。形式方面计算。 29(4):629-649(2017)
[第51条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cdc/WintererJW0TK017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cdc/WentererJW0TK017
莱昂诺·温特尔,塞巴斯蒂安·荣格斯,拉尔夫·威默,尼尔斯·詹森,Ufuk Topcu公司,Joost-Pieter Katoen公司,伯恩德·贝克尔:
使用基于游戏的抽象在部分可观测性下进行运动规划。疾病预防控制中心 2017:2201-2208
[公元50年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/WimmerKBS017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/WimmerKBS017
拉尔夫·威默,安德烈亚斯·卡伦鲍尔,鲁本·贝克尔,克里斯托夫·斯科尔,伯恩德·贝克尔:
通过依赖消除从DQBF到QBF。卫星 2017:326-343
[公元49年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ButkovaWH17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ButkovaWH17
尤利亚·布特科娃,拉尔夫·威默,霍尔格·赫尔曼斯:
马尔可夫自动机的长期回报。 TACAS（2） 2017:188-203
[公元48年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/WimmerRM017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/WimmerRM017
拉尔夫·威默,斯文·雷默,保罗·马林,伯恩德·贝克尔:
HQSpre-一种有效的QBF和DQBF预处理器。 TACAS（1） 2017:373-390
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1708-04236
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1708-04236
利奥诺·温特勒,塞巴斯蒂安·荣格斯,拉尔夫·威默,尼尔斯·詹森,Ufuk Topcu公司,乔斯特·皮特·卡托恩,伯恩德·贝克尔:
使用基于游戏的抽象在部分可观测性下进行运动规划。 CoRR公司腹肌/1708.04236(2017)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1710-10294
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1710-10294
塞巴斯蒂安·荣格斯,尼尔斯·詹森,拉尔夫·威默,蒂姆·夸特曼,利奥诺·温特勒,Joost-Pieter Katoen公司,伯恩德·贝克尔:
使用参数合成的POMDP的许可有限状态控制器。 CoRR公司 abs/1710.10294(2017)
2016
[公元47年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/WimmerWSB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/WimmerWSB16
卡琳娜·威默,拉尔夫·威默,克里斯托夫·斯科尔,伯恩德·贝克尔:
DQBF的Skolem函数。 ATVA公司 2016:395-411
[公元46年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mbmv/Wimmer16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/bmv/Wimmer16
拉尔夫·威默:
沃沃特。 MBMV公司 2016:4
[公元45年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/WimmerSWB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/WimmerSWB16
拉尔夫·威默,克里斯托夫·斯科尔,卡琳娜·威默,伯恩德·贝克尔:
DQBF的依赖方案。卫星 2016:473-489
[电子1]
- 看法
- 出口记录
  dblp键：
  - conf/mbmv/2016年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mbmv/2016
拉尔夫·威默:
第19届GI/ITG/GMM研讨会方法und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen，MBMV 2016，德国布雷斯高弗莱堡，2016年3月1日至2日。阿尔伯特·路德维希弗赖堡大学 2016，国际标准图书编号978-3-00-052380-9 [目录]
2015
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1305-5055
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1305-5055
拉尔夫·威默,尼尔斯·詹森,安德烈亚斯·沃帕尔,埃里卡·阿布拉哈姆,Joost-Pieter Katoen公司,伯恩德·贝克尔:
概率自动机的高级反例。日志。方法计算。科学。 11(1)(2015)
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tr/HahnHWB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tr/HahnHWB15
恩斯特·莫里茨·哈恩,霍尔格·赫尔曼斯,拉尔夫·威默,伯恩德·贝克尔:
连续时间马尔可夫链的瞬时报酬近似。 IEEE传输。Reliab公司。 64(4):1254-1275(2015)
[公元44年]
- 看法
- 出口记录
  dblp键：
  - conf/date/GitinaWRSSB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/date/GitinaWRSSB15
卡琳娜·吉蒂娜,拉尔夫·威默,斯文·赖默,马蒂亚斯·绍尔,克里斯托夫·朔尔,伯恩德·贝克尔:
通过量词消除求解DQBF。日期 2015:1617-1622
[c43]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/QuatmannJDWAKB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/QuatmannJDWAKB15
蒂姆·夸特曼,尼尔斯·詹森,克里斯蒂安·德内特,拉尔夫·威默,埃里卡·阿布拉哈姆,Joost-Pieter Katoen公司,伯恩德·贝克尔:
预期奖励反例。 FM公司 2015:435-452
[公元42年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/mbmv/ScheiblerWWB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mbmv/ScheiblerWWB15
卡斯滕·谢布勒（Karsten Scheibler）,利奥诺·温特勒,拉尔夫·威默,伯恩德·贝克尔:
人工神经网络的验证。 MBMV公司 2015:30-40
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/WimmerGNSB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/WimmerGNSB15
拉尔夫·威默,卡琳娜·吉蒂娜,珍妮弗·尼斯特,克里斯托夫·斯科尔,伯恩德·贝克尔:
DQBF的预处理。卫星 2015:173-190
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/setta/HatefiBWFHB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/setta/HatefiBWFHB15
哈桑·哈特菲,贝蒂娜Braiting,拉尔夫·威默,路易斯·玛丽亚·费雷尔·菲奥里蒂,霍尔格·赫尔曼斯,伯恩德·贝克尔:
随机博弈和马尔可夫自动机中的成本与时间。西塔 2015:19-34
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/syde/BeckerSSW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/syde/BeckerSSW15
伯恩德·贝克尔,马蒂亚斯·绍尔,克里斯托夫·斯科尔,拉尔夫·威默:
在测试和验证中建模未知值。 SyDe暑期学校 2015:122-150
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/编织FHWBH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/BraitlingFHWBH15网站
贝蒂娜Braiting,路易斯·玛丽亚·费雷尔·菲奥里蒂,哈桑·哈特菲,拉尔夫·威默,伯恩德·贝克尔,霍尔格·赫尔曼斯:
基于抽象的马尔可夫自动机奖励测度计算。 VMCAI公司 2015:172-189
2014
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/JansenWAZKBS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/JansenWAZKBS14
尼尔斯·詹森,拉尔夫·威默,埃里卡·阿布拉哈姆,Barna Zajzon公司,Joost-Pieter Katoen公司,伯恩德·贝克尔,约翰·舒斯特:
大型离散时间马尔可夫链的符号反例生成。科学。计算。程序。 91:90-114(2014)
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/WimmerJAKB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/WimmerJAKB14
拉尔夫·威默,尼尔斯·詹森,艾瑞卡·布拉哈姆,Joost-Pieter Katoen公司,伯恩德·贝克尔:
线性时间概率验证的最小反例。西奥。计算。科学。 549:61至100(2014)
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/DhenertJWAK14型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/DhenertJWAK14网址
克里斯蒂安·德内特,尼尔斯·詹森,拉尔夫·威默,埃里卡·阿布拉哈姆,Joost-Pieter Katoen公司:
快速调试PRISM模型。 ATVA公司 2014:146-162
[公元36年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/WimmerA14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/WimmerA14网址
拉尔夫·威默,埃里卡·阿布拉哈姆:
也许或也许不：对随机验证的贡献。技术信息方面 2014:119-128
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/qest/JansenCVWAKB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/qest/JansenCVWAKB14
尼尔斯·詹森,弗洛里安·科齐利厄斯,马蒂亚斯·沃尔克,拉尔夫·威默,埃里卡·阿布拉哈姆,Joost-Pieter Katoen公司,伯恩德·贝克尔:
加速参数概率验证。 QEST公司 2014:404-420
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sfm/Abraham BDJKW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sfm/Abraham BDJKW14
埃里卡·阿布拉哈姆,伯恩德·贝克尔,克里斯蒂安·德内特,尼尔斯·詹森,Joost-Pieter Katoen公司,拉尔夫·威默:
离散时间马尔可夫模型的反例生成：介绍性调查。 SFM公司 2014:65至121
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BraitlingFHWBH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BraitlingFHWBH14
贝蒂娜Braiting,路易斯·玛丽亚·费雷尔·菲奥里蒂,哈桑·哈特菲,拉尔夫·威默,伯恩德·贝克尔,霍尔格·赫尔曼斯:
MeGARA：基于菜单的马尔可夫自动机游戏抽象和抽象精炼。 QAPL公司 2014:48-63
2013
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iccd/GitinaRSWSB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iccd/GitinaRSWSB13
卡琳娜·吉蒂娜,斯文·赖默,马蒂亚斯·绍尔,拉尔夫·威默,克里斯托夫·斯科尔,伯恩德·贝克尔:
使用相关性量化布尔公式对部分设计进行等效性检查。 ICCD公司 2013:396至403
[公元31年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/mbmv/吉蒂纳RSWSB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mbmv/GitinaRSWSB13
卡琳娜·吉蒂娜,斯文·雷默,马蒂亚斯·绍尔,拉尔夫·威默,克里斯托夫·斯科尔,伯恩德·贝克尔:
重新检查部分实现的等价性。 MBMV公司 2013:61-70
[公元30年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/mbmv/编织WBA13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mbmv/BraitlingWBA13网址
Bettina编织,拉尔夫·威默,伯恩德·贝克尔,埃里卡·阿布拉哈姆:
随机有界模型检验：有界报酬和组成。 MBMV公司 2013:243-254
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/qest/WimmerJVAKB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/qest/WimmerJVAKB13网址
拉尔夫·威默,尼尔斯·詹森,安德烈亚斯·沃帕尔,埃里卡·阿布拉哈姆,Joost-Pieter Katoen公司,伯恩德·贝克尔:
概率自动机的高级反例。 QEST公司 2013:39-54
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/JansenCVWAKB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/JansenCVWAKB13
尼尔斯·詹森,弗洛里安·科齐利厄斯,马蒂亚斯·沃尔克,拉尔夫·威默,埃里卡·阿布拉哈姆,Joost-Pieter Katoen公司,伯恩德·贝克尔:
加速参数概率验证。 CoRR公司 abs/1312.3979(2013)
2012
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/JansenAVWKB12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/JansenAVWKB12
尼尔斯·詹森,埃里卡·阿布拉哈姆,马蒂亚斯·沃尔克,拉尔夫·威默,Joost-Pieter Katoen公司,伯恩德·贝克尔:
COMICS工具-计算DTMC的最小反例。 ATVA公司 2012:349-353
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/facs2/JansenAZWSKB12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/facs2/JansenAZWSKB12
尼尔斯·詹森,埃里卡·阿布拉哈姆,Barna Zajzon公司,拉尔夫·威默,约翰·舒斯特,Joost-Pieter Katoen公司,伯恩德·贝克尔:
离散时间马尔可夫链的符号反例生成。 FACS公司 2012:134-151
[公元26年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/mbmv/WimmerBJAK12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mbmv/WimmerBJAK12网址
拉尔夫·威默,伯恩德·贝克尔,尼尔斯·詹森,埃里卡·阿布拉哈姆,Joost-Pieter Katoen公司:
最小临界子系统作为omega正则DTMC属性的反例。 MBMV公司 2012:169-180
[公元25年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/WimmerJABK12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/WimmerJABK12
拉尔夫·威默,尼尔斯·詹森,艾瑞卡·布拉哈姆,伯恩德·贝克尔,Joost-Pieter Katoen公司:
离散时间马尔可夫模型的最小临界子系统。 TACAS公司 2012:299-314
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1206-0603
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1206-0603
尼尔斯·詹森,埃里卡·阿布拉哈姆,麦克·谢夫勒,马蒂亚斯·沃尔克,安德烈亚斯·沃帕尔,拉尔夫·威默,Joost-Pieter Katoen公司,伯恩德·贝克尔:
COMICS工具-计算离散时间马尔可夫链的最小反例。 CoRR公司 abs/1206.0603(2012)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-112-1251
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-112-1251
恩斯特·莫里茨·哈恩,霍尔格·赫尔曼斯,拉尔夫·威默,伯恩德·贝克尔:
网格、人群和病毒的瞬时回报近似。 CoRR公司 abs/1212.1251(2012)
2011
【b1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 2010年博士/博士/博士
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/de/Wimmer2010
拉尔夫·威默:
符号学方法的概率验证：Zustandsraumreduktion和Gegenbeispile。弗莱堡大学，2011
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/CrouzenHHDTWBB11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/CrouzenHHDTWBB11
Pepijn Crouzen公司,恩斯特·莫里茨·哈恩,霍尔格·赫尔曼斯,阿比舍克达马,奥利弗·E·塞尔,拉尔夫·威默,贝蒂娜Braiting,伯恩德·贝克尔:
概率分布算法的有界公平性。 ACSD系统 2011:89-97
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/JansenAKWKB11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/JansenAKWKB11
尼尔斯·詹森,埃里卡·阿布拉哈姆,延斯·卡特兰,拉尔夫·威默,Joost-Pieter Katoen公司,伯恩德·贝克尔:
离散时间马尔可夫链的层次反例。 ATVA公司 2011:443-452年
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/编织WBJA11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/BraitlingWBJA11
贝蒂娜Braiting,拉尔夫·威默,伯恩德·贝克尔,尼尔斯·詹森,埃里卡·阿布拉哈姆:
使用基于SMT的有界模型检查生成马尔可夫链的反例。 FMOODS/FORTE公司 2011:75-89
【c21】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/mbmv/编织WBJA11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mbmv/BratlingWBJA11
贝蒂娜Braiting,拉尔夫·威默,伯恩德·贝克尔,尼尔斯·詹森,埃里卡·阿布拉哈姆:
基于SMT的马尔可夫链反例生成。 MBMV公司 2011:19-28
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/WimmerHHB11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/WimmerHHB11网址
拉尔夫·威默,恩斯特·莫里茨·哈恩,霍尔格·赫尔曼斯,伯恩德·贝克尔:
马尔可夫决策过程不完备网络的可达性分析。记忆码 2011:151-160
[第1页]
- 看法
  - 电子版@gi.de（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/gi/Wimmer11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gi/Wimmer11
拉尔夫·威默:
符号学方法的概率验证：Zustandsraumreduktion和Gegenbeispile。 Ausgezeichnete信息发布 2011:271-280
2010
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pe/WimmerDH10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pe/WimmerDH10
拉尔夫·威默,塞勒姆·德利萨维,霍尔格·赫尔曼斯:
具有自动平衡时间和空间的符号分割细化。执行。评价 67(9):816-836(2010)
[第19条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BozzanoCKNNRW10会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BozzanoCKNNRW10
马可·波扎诺,亚历山德罗·西马蒂,Joost-Pieter Katoen公司,越南元,托马斯·诺尔,马可·罗维里,拉尔夫·威默:
AADL的模型检查器。腔静脉 2010:562-565
[第18条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/mbmv/KalinnikASWB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mbmv/KalinnikASWB10
纳塔莉亚·卡林尼克,埃里卡·阿布拉哈姆,托比亚斯·舒伯特,拉尔夫·威默,伯恩德·贝克尔:
为SMT求解器的并行化开发不同的策略。 MBMV公司 2010:97-106
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mmb/WimmerB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mmb/WimmerB10网址
拉尔夫·威默,伯恩德·贝克尔:
马尔可夫链符号互模拟计算的正确性问题。 MMB/DFT公司 2010:287-301
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/qest/WimmerBBHCHDT10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/qest/WimmerBBHCHDT10
拉尔夫·威默,贝蒂娜Braiting,伯恩德·贝克尔,恩斯特·莫里茨·哈恩,Pepijn Crouzen公司,霍尔格·赫尔曼斯,阿比舍克达马,奥利弗·E·塞尔:
并发概率系统长运行平均值的符号计算。 QEST公司 2010:27-36
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/qest/AbrahamJWKB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/qest/AbrahamJWKB10
艾瑞卡·布拉哈姆,尼尔斯·詹森,拉尔夫·威默,Joost-Pieter Katoen公司,伯恩德·贝克尔:
通过SCC缩减进行DTMC模型检查。 QEST公司 2010:37-46

2000 – 2009

请参阅常见问题解答

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

2009
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tse/BodeHHJPPRWB09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tse/BodeHHJPPRWB09
埃卡德·博德,马克·赫伯斯特里特,霍尔格·赫尔曼斯,斯文·乔尔,托马斯·佩肯坎普,雷扎·普隆安,简·亨德里克·拉科夫,拉尔夫·威默,伯恩德·贝克尔:
STATEMATE的成分可靠性评估。 IEEE传输。软件工程。 35(2):274-292(2009)
[第14条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/pdpta/KalinnikSAWB09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pdpta/KalinnikSAWB09
纳塔莉亚·卡林尼克,托比亚斯·舒伯特,埃里卡·阿布拉哈姆,拉尔夫·威默,伯恩德·贝克尔:
Picoso-一个并行区间约束求解器。 PDPTA公司 2009:473-479
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sss/DhamaTCHWB09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sss/DhamaTCHWB09
阿比舍克达马,奥利弗·E·塞尔,Pepijn Crouzen公司,霍尔格·赫尔曼斯,拉尔夫·威默,伯恩德·贝克尔:
无声自稳定系统的可靠性工程。 SSS系统 2009:238-253
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/WimmerBB09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/WimmerBB09
拉尔夫·威默,贝蒂娜Braiting,伯恩德·贝克尔:
用有界模型检验生成离散时间马尔可夫链的反例。 VMCAI公司 2009:366-380
2008
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ddecs/WimmerKHB08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ddecs/WimmerKHB08网址
拉尔夫·威默,亚历山大·科尔特斯,马克·赫伯斯特里特,伯恩德·贝克尔:
概率模型检验和结果的可靠性。 DDECS公司 2008:207-212
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iccd/BeckerHKLLNW08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iccd/BeckerHKLLNW08
伯恩德·贝克尔,马克·赫伯斯特里特,纳塔莉亚·卡林尼克,马修·刘易斯,尤里·利奇特纳,托拜厄斯·诺珀,拉尔夫·威默:
部分电路设计有界模型检验的命题近似。 ICCD公司 2008:52-59
【c9】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/mbmv/WimmerKHB08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mbmv/WimmerKHB08网址
拉尔夫·威默,亚历山大·科尔特斯,马克·赫伯斯特里特,伯恩德·贝克尔:
概率验证中的可靠性要求。 MBMV公司 2008:99-108
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/qest/WimmerDH08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/qest/WimmerDH08
拉尔夫·威默,塞勒姆·德利萨维,霍尔格·赫尔曼斯:
动态平衡时间和空间的符号划分细化。 QEST公司 2008:65-74
2007
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/glvlsi/WimmerHB07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/glvlsi/WimmerHB07网址
拉尔夫·威默,马克·赫伯斯特里特,伯恩德·贝克尔:
基于BDD的互模拟计算的优化技术。 ACM大湖区超大规模集成电路研讨会 2007:405至410
【c6】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/mbmv/WimmerHB07型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mbmv/WimmerHB07网址
拉尔夫·威默,马克·赫伯斯特里特,伯恩德·贝克尔:
转发、分割和块排序以优化基于BDD的互模拟计算。 MBMV公司 2007:203-212
2006
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/WimmerHHSB06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/WimmerHHSB06
拉尔夫·威默,马克·赫布斯特里特,霍尔格·赫尔曼斯,凯利·斯特兰普,伯恩德·贝克尔:
Sigref-符号双模拟工具箱。 ATVA公司 2006:477-492
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ddecs/WimmerHB06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ddecs/WimmerHB06网址
拉尔夫·威默,马克·赫伯斯特里特,伯恩德·贝克尔:
使用符号分支互模拟最小化大型状态空间。 DDECS公司 2006:9-14
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/qest/BodeHHJPPWB06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/qest/BodeHHJPPWB06
埃卡德·博德,马克·赫伯斯特里特,霍尔格·赫尔曼斯,斯文·乔尔,托马斯·佩肯坎普,雷扎·普隆安,拉尔夫·威默,伯恩德·贝克尔:
STATEMATE的成分性能评估。 QEST公司 2006:167-178
2005
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wea/BeckerBEW05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wea/BeckerBEW05
伯恩德·贝克尔,马库斯·贝勒,弗里德里希·艾森布兰德,拉尔夫·威默:
Branch and Cut Framework中的BDD。 WEA公司 2005:452-463
2004
【c1】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/mbmv/贝克尔BEFHHKNPW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mbmv/BeckerBEFHHKNPW04
伯恩德·贝克尔,马库斯·贝尔,弗里德里希·艾森布兰德,马丁·弗兰兹勒,马克·赫伯斯特里特,克里斯蒂安·赫尔德,约格·霍夫曼,丹尼尔·克罗宁,伯恩哈德·内贝尔,伊利亚·波利安,拉尔夫·威默:
混合离散系统的有界模型检验和归纳验证。 MBMV公司 2004:65-75

合著者索引

请参阅常见问题解答

服务

管理网站设置

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