编辑配置文件(在新选项卡中打开) Mark Kattenbelt公司 合著者距离 作者ID: 凯滕贝尔·马克 发布日期: 马克·卡滕贝尔特 编入索引的文档: 4出版物自2008年起 合著者: 3位合著者具有4联合出版物 142位合作作者 合著者 0 单作者的 三 Marta Z.Kwiatkowska。 三 格钦·诺曼 1 迈克尔·R·A·胡特。 系列 1 系统设计中的形式化方法 领域 三 计算机科学(68至XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 数学逻辑和基础(03-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用46中的次37文件 引用人▼ 年份▼ 马尔可夫决策过程的基于游戏的抽象再定义框架。 Zbl 1233.90276号 Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 27 2010 概率软件的抽象精化。 Zbl 1206.68090号 Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 11 2009 PRISM中基于博弈的概率谓词抽象。 Zbl 1286.68316号 Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 6 2008 通过游戏验证和反驳概率规范。 Zbl 1248.68333号 Mark Kattenbelt公司;哈,迈克尔 2 2009 马尔可夫决策过程的基于游戏的抽象再定义框架。 Zbl 1233.90276号 Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 27 2010 概率软件的抽象精化。 兹比尔1206.68090 Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 11 2009 通过游戏验证和反驳概率规范。 Zbl 1248.68333号 Mark Kattenbelt公司;哈,迈克尔 2 2009 PRISM中基于博弈的概率谓词抽象。 Zbl 1286.68316号 Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 6 2008 所有引用出版物 前5名被引用出版物 全部的 前5名85位作者引用 8 Marta Z.Kwiatkowska。 6 格钦·诺曼 5 Joost-Pieter卡托恩 4 简·Křetínsk 4 马吉德·扎马尼 三 阿波法兹·拉瓦伊 三 马克西米利安·威宁格 2 马哈提·阿南德 2 拜尔,克里斯特尔 2 卢卡·博托卢西 2 谢尔盖·哈达德 2 阿列克桑德拉·乔瓦诺维奇。 2 塞巴斯蒂安·荣格斯 2 Mark Kattenbelt公司 2 本杰明·蒙梅格 2 伊曼纽尔·拉姆尼安图 2 亚历山大·斯利文斯基 1 亚历山德罗·阿巴特 1 艾丽卡·阿尔布拉汉姆 1 爱德华多·巴奇 1 罗伯托·巴布蒂 1 埃齐奥·巴托西 1 贝恩德·贝克尔 1 Calin A.Belta。 1 马可·卡卡莫 1 伊万娜·乔纳 1 克里希南德·查特吉 1 乔治·查齐利夫赫里奥 1 马丁·奇梅利克 1 卢卡·德·阿尔法罗 1 吕克·德·雷德 1 德纳特,基督徒 1 劳伦特·多恩 1 克劳斯博士 1 朱莉娅·艾森特罗 1 Forejt、VojtŞch 1 道格拉斯·弗雷泽 1 Daniel E.Gebler。 1 鲁本·贾昆塔 1 恩斯特·莫里茨·哈恩 1 Boudewijn R.哈维尔科特。 1 霍尔格赫尔曼斯 1 简·希尔斯顿 1 詹·菲利普·霍夫曼 1 鲁思·霍夫曼 1 史蒂文·霍尔岑 1 爱尔兰,穆雷 1 大卫·詹森(David N.Jansen)。 1 尼尔斯·詹森 1 Katsaros,Panagiotis公司 1 Edon Kelmendi 1 丹尼尔·克林克 1 科瓦奇,劳拉·伊尔迪科 1 罗伯塔·兰西亚尼 1 约翰内斯·莱曼 1 弗朗西丝卡·列维 1 蒂埃里·雅克·马萨特 1 保罗·米拉佐 1 爱丽丝·安·米勒 1 托德·德·米尔斯坦。 1 毗湿奴·穆拉利 1 劳拉·内兹 1 Neuhäußer,Martin R。 1 曲洪阳 1 Jean-François拉斯金 1 代表,Thomas W。 1 圭多·斯卡纳 1 桑吉特·阿伦库马尔·塞希亚 1 马赫萨·希尔穆罕默德 1 苏德贾尼,萨代格 1 马蒂杰斯·斯帕。 1 杰里米·斯普洛斯顿 1 米罗斯拉夫斯坦科维奇 1 马里耶·斯托林加 1 马里亚·斯沃雷奥娃 1 马克·蒂默 1 阿舒托什·特里维迪 1 范德波尔,扬·科内利斯 1 范登·布勒克,盖伊 1 马塞尔·瓦兹奎兹·香拉特 1 米歇尔·沃尔帕托 1 拉尔夫·维默(Ralf D.Wimmer)。 1 托拜厄斯·温克勒 1 杨文池 1 钟冰卓 全部的 前5名9篇连载文章中引用 6 理论计算机科学 5 信息与计算 2 Automatica公司 2 计算的形式方面 2 系统设计中的形式化方法 2 非线性分析。混合动力系统 1 计算机与系统科学杂志 1 机器学习 1 MSCS公司。计算机科学中的数学结构 全部的 前5名在7个字段中引用 32 计算机科学(68至XX) 9 博弈论、经济学、金融和其他社会和行为科学(91-XX) 6 概率论与随机过程(60-XX) 6 系统论;控制(93至XX) 5 运筹学、数学规划(90-XX) 1 数学逻辑和基础(03-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文