编辑配置文件(在新选项卡中打开) 约阿希姆·克莱因 合著者距离 作者ID: 克莱恩·约阿希姆 发布日期: 约阿希姆·克莱因 已编制索引的文档: 20出版物自1981年以来 1进一步贡献 合著者: 18位合著者具有19份联合出版物 453联合作者 全部的 前5名合著者 1 单作者的 19 克里斯特尔·拜尔 10 克吕佩尔霍尔茨,萨沙 5 米勒(David I。 4 萨沙·旺德利希 2 克莱门斯,杜布拉夫 2 Lisa Hutschenreiter 2 斯特凡·基弗 2 詹姆斯·沃雷尔。 1 奥布里,D。 1 乔治·Y·巴拉迪。 1 梅尔文·L·拜伦。 1 弗兰蒂舍克·布拉胡德克 1 托拜厄斯·布莱希曼 1 查姆班,R。 1 菲利普·克尔森 1 彼得·A·昆达尔。 1 达瓦奇,M.-M。 1 R.O.戴维斯。 1 Des Croix博士。 1 钱德拉·S·德赛。 1 亚历山大·杜雷特·卢茨 1 贾姆希德·加布西 1 格德·古德胡斯 1 克里斯蒂安·亨塞尔 1 Janardhanam,R。 1 西蒙·扬奇 1 塞巴斯蒂安·荣格斯 1 Joost-Pieter卡托恩 1 迪米特里奥斯·科林巴斯 1 Lade,Poul V。 1 琳达·卢施纳 1 J.B.马丁斯。 1 安娜·克里斯蒂娜·马托斯 1 H·莫门。 1 乔治·马伦格 1 Ohmaki,S。 1 Jean-Herve,普雷沃斯特 1 罗兰·普什 1 雷诺德·利亚斯,B。 1 罗哈尼,B。 1 伊凡·桑德勒。 1 斯特雷切克,简 1 Szavits-Nossan,A.公司。 1 A.O.乌列尔。 1 威猛公司。 1 W.威特克。 全部的 前5名系列 1 信息学报 1 国际地质力学数值和分析方法杂志 1 计算机与系统科学杂志 1 理论计算机科学 1 信息与计算 1 系统设计中的形式化方法 1 计算机基础理论 全部的 前5名字段 19 计算机科学(68-XX) 7 数学逻辑和基础(03-XX) 4 概率论与随机过程(60-XX) 2 可变形固体力学(74-XX) 2 运筹学、数学规划(90-XX) 2 系统论;控制(93至XX) 1 变分法与最优控制;最优化(49-XX) 1 数值分析(65-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 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位作者 全部的 前5名11篇连载文章中引用 7 信息与计算 4 理论计算机科学 三 计算机与系统科学杂志 三 系统设计中的形式化方法 三 计算机科学中的逻辑方法 2 信息学报 2 计算的形式方面 1 自动推理杂志 1 分布式计算 1 计算机科学前沿 1 程序设计中的逻辑和代数方法杂志 全部的 前5名11个领域引用 75 计算机科学(68-XX) 16 数学逻辑和基础(03-XX) 13 概率论与随机过程(60-XX) 11 运筹学、数学规划(90-XX) 10 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 信息与通信理论、电路(94-XX) 2 数论(11-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 群论与推广(20-XX) 2 系统论;控制(93至XX) 1 阶、格、有序代数结构(06-XX) 按年份列出的引文