编辑配置文件(在新选项卡中打开) 托比亚斯·温克勒 合著者距离 作者ID: 温克勒·托比亚斯 发布日期: 托比亚斯·温克勒 已编制索引的文档: 10出版物自2019年起,包括1个附加arXiv预打印 合著者: 16位合著者具有10联合出版物 377位合作作者 全部的 前5名合著者 0 单作者的 9 Joost-Pieter卡托恩 2 克里希南德·查特吉 2 克里斯蒂娜·格南 2 塞巴斯蒂安·荣格斯 2 卢茨·克林肯伯格 2 吉列尔莫·A·佩雷斯。 2 马克西米利安·威宁格 1 普拉纳夫·阿肖克 1 凯文·巴茨 1 陈明帅 1 本杰明·卢西恩·卡明斯基 1 简·Křetínsk 1 约翰内斯·莱曼 1 汉娜·默滕斯 1 约书亚·默曼 1 蒂姆·夸特曼 系列 1 计算机与系统科学杂志 1 计算机科学中的逻辑方法 字段 9 计算机科学(68-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 数学逻辑和基础(03-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 6出版物有被引用24中的次23文件 引用人▼ 年份▼ 参数马尔可夫决策过程中可达性的复杂性。 Zbl 1477.68124号 塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;吉列尔莫·A·佩雷斯。;托比亚斯·温克勒 11 2021 广义可达性随机对策的近似值。 Zbl 1455.91035号 普拉纳夫·阿肖克;克里希南德·查特吉;简·Křetínsk;马克西米利安·威宁格;托比亚斯·温克勒 6 2020 具有词典可达性-安全目标的随机博弈。 Zbl 1478.68151号 克里希南德·查特吉;Joost-Pieter卡托恩;马克西米利安·威宁格;托比亚斯·温克勒 4 2020 参数马尔可夫决策过程可达性的复杂性。 Zbl 07649922号 托比亚斯·温克勒;塞巴斯蒂安·荣格斯;吉列尔莫·A·佩雷斯。;Joost-Pieter卡托恩 1 2019 概率程序的生成函数。 Zbl 07496650号 卢茨·克林肯伯格;凯文·巴茨;本杰明·卢西恩·卡明斯基;Joost-Pieter卡托恩;约书亚·莫尔曼;托比亚斯·温克勒 1 2021 递归概率程序的模型检查时间属性。 Zbl 07793042号 托比亚斯·温克勒;克里斯蒂娜·格南;Joost-Pieter卡托恩 1 2022 递归概率程序的模型检查时间属性。 Zbl 07793042号 托比亚斯·温克勒;克里斯蒂娜·格南;Joost-Pieter卡托恩 1 2022 参数马尔可夫决策过程中可达性的复杂性。 Zbl 1477.68124号 塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;吉列尔莫·A·佩雷斯。;托比亚斯·温克勒 11 2021 概率程序的生成函数。 Zbl 07496650号 卢茨·克林肯伯格;凯文·巴茨;本杰明·卢西恩·卡明斯基;Joost-Pieter卡托恩;约书亚·莫尔曼;托比亚斯·温克勒 1 2021 广义可达随机对策的近似值。 Zbl 1455.91035号 普拉纳夫·阿肖克;克里希南德·查特吉;简·Křetínsk;马克西米利安·威宁格;托比亚斯·温克勒 6 2020 具有词典可达性-安全目标的随机博弈。 Zbl 1478.68151号 克里希南德·查特吉;Joost-Pieter卡托恩;马克西米利安·威宁格;托比亚斯·温克勒 4 2020 参数马尔可夫决策过程可达性的复杂性。 Zbl 07649922号 托比亚斯·温克勒;塞巴斯蒂安·荣格斯;吉列尔莫·A·佩雷斯。;Joost-Pieter卡托恩 1 2019 所有引用出版物 排名前五的出版物 全部的 前5名44位作者引用 11 Joost-Pieter卡托恩 5 塞巴斯蒂安·荣格斯 4 拼写,Jip 三 尼尔斯·詹森 三 简·Křetínsk 三 马克西米利安·威宁格 三 托比亚斯·温克勒 2 Marta Z.Kwiatkowska。 2 格钦·诺曼 2 伊曼纽尔·拉姆尼安图 2 加布里埃尔·皮涅罗·阿尔维斯·桑托斯 2 亚历山大·斯利文斯基 2 杰里米·斯普洛斯顿 2 乌富克托普库 1 亚历山德罗·阿巴特 1 帕特里夏·鲍耶 1 马可·卡卡莫 1 史蒂文·卡尔 1 陈明帅 1 穆拉特·库布克特佩 1 Julia艾森特 1 瑟伦·埃内沃德森 1 克里斯蒂娜·格南 1 阿恩·哈特曼斯 1 见鬼,莱纳斯 1 马蒂亚斯·克劳斯·詹森 1 Edon Kelmendi 1 卢茨·克林肯伯格 1 科伦,布拉姆 1 金·古德斯特兰·拉森 1 阿波法兹·拉瓦伊 1 安德斯·马里加德 1 约书亚·莫尔曼 1 尤索夫·乌阿尔哈德 1 吉列尔莫·A·佩雷斯。 1 安德烈亚·佩鲁福 1 蒂姆·夸特曼 1 米凯尔·兰多尔 1 巴哈雷省萨勒马尼 1 吉·斯尔巴 1 斯文加·斯坦因 1 皮埃尔·范登霍夫 1 马吉德·扎马尼 1 钟冰卓 全部的 前5名引用于6个系列 三 计算机科学中的逻辑方法 2 信息与计算 1 Automatica公司 1 计算机与系统科学杂志 1 系统设计中的形式化方法 1 人工智能研究杂志 全部的 前5名在6个字段中引用 22 计算机科学(68-XX) 8 运筹学、数学规划(90-XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 数学逻辑和基础(03-XX) 2 概率论与随机过程(60-XX) 1 系统论;控制(93至XX) 按年份列出的引文