×
作者ID: 克莱恩·约阿希姆“Klein,Joachim”最近发表的zbMATH文章
发布日期: 约阿希姆·克莱因
已编制索引的文档: 20出版物自1981年以来
1进一步贡献
合著者: 18位合著者具有19份联合出版物
453联合作者

按年份列出的出版物

zbMATH Open中包含的引文

16出版物有被引用112中的次84文件 引用人 年份
线性时序逻辑公式的确定性(ω)自动机实验。 Zbl 1153.03016号
约阿希姆·克莱因;克里斯特尔·拜尔
14
2006
马尔可夫链和明确的Büchi自动机。 兹比尔1411.68051
克里斯特尔·拜尔;斯特凡·基弗;约阿希姆·克莱因;克吕佩尔霍尔茨,萨沙;大卫·米勒;詹姆斯·沃雷尔
13
2016
参数马尔可夫链:PCTL复杂性和无分数高斯消去。 Zbl 1443.68101号
克里斯特尔·拜尔;克里斯蒂安·亨塞尔;Lisa Hutschenreiter;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;约阿希姆·克莱因
11
2020
确保模型检查器的可靠性:马尔可夫决策过程的区间迭代。 Zbl 1494.68159号
克里斯特尔·拜尔;约阿希姆·克莱因;琳达·卢施纳;大卫·帕克;萨沙·旺德利希
11
2017
好的for-games自动机适合概率模型检查吗? Zbl 1408.68093号
约阿希姆·克莱因;大卫·米勒;克里斯特尔·拜尔;克吕佩尔霍尔茨,萨沙
11
2014
确定性自动机构造中的即兴断断续续。 Zbl 1139.68366号
约阿希姆·克莱因;克里斯特尔·拜尔
10
2007
线性时序逻辑重量监控:复杂性和可判定性。 Zbl 1401.68182号
克里斯特尔·拜尔;约阿希姆·克莱因;克吕佩尔霍尔茨,萨沙;萨沙·旺德利希
9
2014
参数马尔可夫链:PCTL复杂性和无分数高斯消去。 Zbl 1483.68195号
Lisa Hutschenreiter;克里斯特尔·拜尔;约阿希姆·克莱因
7
2017
用于能源效用分析的概率模型检查。 Zbl 1407.68279号
克里斯特尔·拜尔;克莱门斯,杜布拉夫;约阿希姆·克莱因;克吕佩尔霍尔茨,萨沙;萨沙·旺德利希
7
2014
组件和连接器的正式验证。 Zbl 1254.68143号
克里斯特尔·拜尔;托拜厄斯·布莱希曼;约阿希姆·克莱因;克吕佩尔霍尔茨,萨沙
5
2009
最大化实现目标的有条件预期回报。 Zbl 1453.90180号
克里斯特尔·拜尔;约阿希姆·克莱因;克吕佩尔霍尔茨,萨沙;萨沙·旺德利希
2017
使用外部协调对基于角色的系统进行建模。 Zbl 1475.68077号
菲利普·克尔森;克莱门斯,杜布拉夫;克里斯特尔·拜尔;约阿希姆·克莱因;克吕佩尔霍尔茨,萨沙
2016
通用空置检查,以获得乐趣和利润。 兹比尔1437.68092
克里斯特尔·拜尔;弗兰蒂舍克·布拉胡德克;亚历山大·杜雷特·卢茨;约阿希姆·克莱因;大卫·米勒;斯特雷切克,简
2019
用于策略和控制器的Reo连接器的合成。 Zbl 1286.68067号
克里斯特尔·拜尔;约阿希姆·克莱因;克吕佩尔霍尔茨,萨沙
2
2014
控制器综合的组成框架。 Zbl 1329.68182号
克里斯特尔·拜尔;约阿希姆·克莱因;克吕佩尔霍尔茨,萨沙
2
2011
线性时序逻辑公式的确定性(ω)自动机实验。 Zbl 1172.68514号
约阿希姆·克莱因;克里斯特尔·拜尔
1
2006
参数马尔可夫链:PCTL复杂性和无分数高斯消去。 Zbl 1443.68101号
克里斯特尔·拜尔;Hensel,基督徒;Lisa Hutschenreiter;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;约阿希姆·克莱因
11
2020
通用空置检查,以获得乐趣和利润。 Zbl 1437.68092号
克里斯特尔·拜尔;弗兰蒂舍克·布拉胡德克;亚历山大·杜雷特·卢茨;约阿希姆·克莱因;大卫·米勒;斯特雷切克,简
2019
确保模型检查器的可靠性:马尔可夫决策过程的区间迭代。 Zbl 1494.68159号
克里斯特尔·拜尔;约阿希姆·克莱因;琳达·卢施纳;大卫·帕克;萨沙·旺德利希
11
2017
参数马尔可夫链:PCTL复杂性和无分数高斯消去。 Zbl 1483.68195号
Lisa Hutschenreiter;克里斯特尔·拜尔;约阿希姆·克莱因
7
2017
最大化实现目标的有条件预期回报。 Zbl 1453.90180号
克里斯特尔·拜尔;约阿希姆·克莱因;克吕佩尔霍尔茨,萨沙;萨沙·旺德利希
2017
马尔可夫链和明确的Büchi自动机。 Zbl 1411.68051号
克里斯特尔·拜尔;斯特凡·基弗;约阿希姆·克莱因;克吕佩尔霍尔茨,萨沙;大卫·米勒;詹姆斯·沃雷尔
13
2016
使用外部协调对基于角色的系统进行建模。 Zbl 1475.68077号
菲利普·克尔森;克莱门斯,杜布拉夫;克里斯特尔·拜尔;约阿希姆·克莱因;克吕佩尔霍尔茨,萨沙
2016
好的for-games自动机适合概率模型检查吗? Zbl 1408.68093号
约阿希姆·克莱因;大卫·米勒;克里斯特尔·拜尔;克吕佩尔霍尔茨,萨沙
11
2014
线性时序逻辑重量监控:复杂性和可判定性。 Zbl 1401.68182号
克里斯特尔·拜尔;约阿希姆·克莱因;克吕佩尔霍尔茨,萨沙;萨沙·旺德利希
9
2014
用于能源效用分析的概率模型检查。 Zbl 1407.68279号
克里斯特尔·拜尔;克莱门斯,杜布拉夫;约阿希姆·克莱因;克吕佩尔霍尔茨,萨沙;萨沙·旺德利希
7
2014
用于策略和控制器的Reo连接器的合成。 Zbl 1286.68067号
克里斯特尔·拜尔;约阿希姆·克莱因;克吕佩尔霍尔茨,萨沙
2
2014
控制器综合的组成框架。 Zbl 1329.68182号
克里斯特尔·拜尔;约阿希姆·克莱因;克吕佩尔霍尔茨,萨沙
2
2011
组件和连接器的正式验证。 Zbl 1254.68143号
克里斯特尔·拜尔;托拜厄斯·布莱希曼;约阿希姆·克莱因;克吕佩尔霍尔茨,萨沙
5
2009
在构造确定性\(\omega\)自动机的过程中断断续续。 Zbl 1139.68366号
约阿希姆·克莱因;克里斯特尔·拜尔
10
2007
线性时序逻辑公式的确定性(ω)自动机实验。 Zbl 1153.03016号
约阿希姆·克莱因;克里斯特尔·拜尔
14
2006
线性时序逻辑公式的确定性(ω)自动机实验。 Zbl 1172.68514号
约阿希姆·克莱因;克里斯特尔·拜尔
1
2006
全部的 前5名

177位作者引用

16 Joost-Pieter卡托恩
12 克里斯特尔·拜尔
12 塞巴斯蒂安·荣格斯
8 约阿希姆·克莱因
8 简·Křetínsk
6 米凯尔·兰多尔
6 马克西米利安·威宁格
4 克吕佩尔霍尔茨,萨沙
4 丹尼斯·库珀伯格
4 米勒(David I。
4 拼写,Jip
4 Moshe Ya’akov瓦尔迪
4 张丽君
弗洛伦特·德尔格兰奇
克莱门斯,杜布拉夫
斯特凡·基弗
李勇
托拜厄斯·梅根多夫
奥托普,简
蒂姆·夸特曼
亚历山大·斯利文斯基
2 保罗·C·贝尔。
2 弗兰蒂舍克·布拉胡德克
2 大卫·布雷索林
2 托马斯·布里海耶
2 克里希南德·查特吉
2 埃里克·P·德文克。
2 亚历山大·杜雷特·卢茨
2 哈维尔·埃斯帕尔扎
2 冯伟志
2 Lisa Hutschenreiter
2 尼尔斯·詹森
2 西蒙·扬奇
2 Lanese,伊万
2 金·古德斯特兰·拉森
2 阿尼尔班·马朱姆达尔
2 安德斯·马里加德
2 贾库布·米查利辛
2 尤索夫·乌阿尔哈德
2 吉列尔莫·A·佩雷斯。
2 伊戈尔·波塔波夫
2 伊曼纽尔·拉姆尼安图
2 帕维尔·塞穆金
2 所罗门·西克特
2 斯特雷切克,简
2 安德烈亚·图里尼
2 克拉拉·沃尔德曼
2 卡斯·威德肖恩
2 托比亚斯·温克勒
1 亚历山德罗·阿巴特
1 艾丽卡·阿尔布拉汉姆
1 萨巴阿夫拉基
1 克里斯托夫·舒尔特·阿尔托夫
1 拉杰夫·阿鲁尔
1 罗马人Andriushchenko
1 斯文·阿佩尔
1 法哈德·阿尔巴
1 朱塞佩·阿特尼塞
1 穆克西特·阿齐姆
1 乔瓦尼·巴奇
1 马克·巴格诺尔
1 凯文·巴茨
1 贝恩德·贝克尔
1 西蒙·布利兹
1 博佐博纳克达普尔
1 帕特里夏·鲍耶
1 维罗尼克·布鲁埃
1 巴勃罗·卡斯特罗。
1 科什卡,米兰
1 陈明帅
1 Frank Ciesinski先生
1 马克西米利安·科朗格
1 佩德罗·鲁宾·达吉尼奥
1 普拉蒂斯·达塔
1 贝诺·德拉哈耶
1 拉米罗·德马西
1 阿列克桑达尔·迪莫夫斯基。
1 Dokter,Kasper公司
1 杰罗姆·杜波伊斯
1 拉塔·杜塔
1 Julia艾森特
1 瑟伦·埃内沃德森
1 亚历山大·伊万杰里迪斯
1 达里奥·菲奥雷
1 塞斯·福格蒂。
1 付,陈
1 亚历山大·巴吉迪·艾塞
1 Clément吉拉德
1 毛里西奥·冈萨雷斯
1 马库斯·格勒
1 顾嘉义
1 恩斯特·莫里茨·哈恩
1 韩婷婷
1 阿恩·哈特曼斯
1 昆廷豪特
1 沃伊特·哈夫勒纳
1 见鬼,莱纳斯
1 Hensel,基督徒
1 托马斯·亨辛格(Thomas A.Henzinger)。
1 史蒂文·霍尔岑
…还有77位作者

按年份列出的引文