编辑配置文件(在新选项卡中打开) 克里斯蒂安·德内特 合著者距离 作者ID: 德纳·克里斯蒂安 发布日期: 克里斯蒂安·德内特 已编制索引的文档: 6出版物自2013年起 合著者: 12位合著者具有6联合出版物 338合著作者 全部的 前5名合著者 0 单作者的 5 Joost-Pieter卡托恩 4 尼尔斯·詹森 2 艾丽卡·阿尔布拉汉姆 2 拉尔夫·维默(Ralf D.Wimmer)。 1 贝恩德·贝克尔 1 Daniel E.Gebler。 1 大卫·詹森(David N.Jansen)。 1 塞巴斯蒂安·荣格斯 1 本杰明·卢西恩·卡明斯基 1 蒂姆·夸特曼 1 米歇尔·沃尔帕托 1 卢卡斯·韦斯特霍芬 系列 领域 6 计算机科学(68至XX) 2 概率论与随机过程(60-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用47次41文件 引用人▼ 年份▼ 马尔可夫模型的参数合成:比以往更快。 Zbl 1398.68346号 蒂姆·夸特曼;克里斯蒂安·德内特;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 23 2016 基于SMT的马尔可夫模型的互模拟最小化。 Zbl 1426.68168号 克里斯蒂安·德内特;Joost-Pieter卡托恩;大卫·帕克 7 2013 概率程序的有界模型检验。 兹比尔1398.68343 尼尔斯·詹森;克里斯蒂安·德内特;本杰明·卢西恩·卡明斯基;Joost-Pieter卡托恩;卢卡斯·韦斯特霍芬 7 2016 离散时间马尔可夫模型的反例生成:介绍性调查。 Zbl 1445.68130号 艾丽卡·阿尔布拉汉姆;贝恩德·贝克尔;克里斯蒂安·德内特;尼尔斯·詹森;Joost-Pieter卡托恩;拉尔夫·威默 5 2014 关于概率系统的抽象。 Zbl 1426.68167号 克里斯蒂安·德内特;丹尼尔·格布勒;米歇尔·沃尔帕托;大卫·詹森(David N.Jansen)。 三 2014 快速调试PRISM模型。 Zbl 1448.68295号 克里斯蒂安·德内特;尼尔斯·詹森;拉尔夫·威默;艾丽卡·阿尔布拉汉姆;Joost-Pieter卡托恩 2 2014 马尔可夫模型的参数合成:比以往任何时候都快。 Zbl 1398.68346号 蒂姆·夸特曼;克里斯蒂安·德内特;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 23 2016 概率程序的有界模型检验。 Zbl 1398.68343号 尼尔斯·詹森;克里斯蒂安·德内特;本杰明·卢西恩·卡明斯基;Joost-Pieter卡托恩;卢卡斯·韦斯特霍芬 7 2016 离散时间马尔可夫模型的反例生成:介绍性调查。 兹比尔1445.68130 艾丽卡·阿尔布拉汉姆;贝恩德·贝克尔;克里斯蒂安·德内特;尼尔斯·詹森;Joost-Pieter卡托恩;拉尔夫·威默 5 2014 关于概率系统的抽象。 Zbl 1426.68167号 克里斯蒂安·德内特;丹尼尔·格布勒;米歇尔·沃尔帕托;大卫·詹森(David N.Jansen)。 三 2014 快速调试PRISM模型。 Zbl 1448.68295号 克里斯蒂安·德内特;尼尔斯·詹森;拉尔夫·威默;艾丽卡·阿尔布拉汉姆;Joost-Pieter卡托恩 2 2014 基于SMT的马尔可夫模型的互模拟最小化。 Zbl 1426.68168号 克里斯蒂安·德内特;Joost-Pieter卡托恩;大卫·帕克 7 2013 所有引用出版物 前5名被引用出版物 全部的 前5名84位作者引用 19 Joost-Pieter卡托恩 12 塞巴斯蒂安·荣格斯 5 拼写,Jip 4 托拜厄斯·温克勒 三 克里斯特尔·拜尔 三 尼尔斯·詹森 2 埃齐奥·巴托西 2 Češka,米兰 2 陈明帅 2 穆拉特·库布克特佩 2 霍尔格·吉斯 2 克里斯蒂安·亨塞尔 2 Lisa Hutschenreiter 2 约阿希姆·克莱因 2 玛丽亚·马克西莫娃 2 吉列尔莫·A·佩雷斯。 2 斯文·施奈德 2 乌富克托普库 2 米尔科·特里巴斯通 2 安德里亚·万丁 1 亚历山德罗·阿巴特 1 萨巴阿夫拉基 1 罗马人Andriushchenko 1 塞巴斯蒂安·阿明 1 凯文·巴茨 1 博尔祖·博纳克达尔普尔 1 卢卡·卡德利 1 克里希南德·查特吉 1 乔治·查齐利夫赫里奥 1 安吉洛·德·卡罗 1 埃里克·P·德文克。 1 克里斯蒂安·德内特 1 邓雨欣 1 弗洛里安·芬克 1 保罗·盖纳 1 休伯特·加拉维 1 Daniel E.Gebler。 1 格罗特,扬·弗里索 1 恩斯特·莫里茨·哈恩 1 阿恩·哈特曼斯 1 见鬼,莱纳斯 1 伊奥维诺、文森佐 1 大卫·詹森(David N.Jansen)。 1 西蒙·扬奇 1 马克·乔伊 1 本杰明·卢西恩·卡明斯基 1 Katsaros,Panagiotis公司 1 卢茨·克林肯伯格 1 科伦,布拉姆 1 科瓦奇,劳拉·伊尔迪科 1 奥尔纳库普弗曼 1 弗雷德里克·朗 1 阿波法兹·拉瓦伊 1 约翰内斯·莱曼 1 罗桂明 1 克里斯托夫·马提亚 1 约书亚·莫尔曼 1 亚当·奥尼尔 1 伊凡·帕普萨 1 劳雷·佩特鲁奇 1 埃多尔多·皮罗瓦诺 1 哈桑·普纳瓦拉(Hasan A.Poonawala)。 1 青、杜正 1 里奥·里维拉·威尔杜斯科 1 巴哈雷省萨勒马尼 1 斯文·舍韦 1 菲利普·施勒 1 弗拉基米尔·斯科贝列夫。 1 沃洛德米尔·斯库贝列夫五世。 1 安娜·索科洛娃 1 萨代赫·苏贾尼 1 马蒂杰斯·斯帕。 1 米罗斯拉夫斯坦科维奇 1 斯文加·斯坦因 1 马克斯·柴科夫斯基 1 范德波尔,扬·科内利斯 1 加尔省瓦尔迪 1 马蒂亚斯·沃尔克 1 米歇尔·沃尔帕托 1 王伟静 1 徐明 1 于立新 1 马吉德·扎马尼 1 张连毅 全部的 前5名12篇连载文章中引用 三 信息与计算 1 人工智能 1 Automatica公司 1 计算机与系统科学杂志 1 理论计算机科学 1 计算的形式方面 1 统计计算与仿真杂志 1 分布式计算 1 系统设计中的形式化方法 1 摩尔多瓦计算机科学杂志 1 算法 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在9个字段中引用 38 计算机科学(68至XX) 12 概率论与随机过程(60-XX) 9 运筹学、数学规划(90-XX) 5 数学逻辑和基础(03-XX) 2 系统论;控制(93至XX) 2 信息与通信理论、电路(94-XX) 1 有序,格,有序代数结构(06-XX) 1 常微分方程(34-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文