编辑配置文件(在新选项卡中打开) 奥坎·桑库尔 合著者距离 作者ID: 桑库尔·奥坎 发布方式: 奥坎·桑库尔 外部链接: MGP公司 已编制索引的文档: 34出版物自2010年起 合著者: 36位合著者具有32联合出版物 771合著作者 全部的 前5名合著者 2 单作者的 13 尼古拉斯·马基 10 帕特里夏·鲍耶 10 Jean-François拉斯金 5 罗曼·布伦吉尔 4 米凯尔·兰多尔 三 皮埃尔·阿莱·雷尼尔 2 拜尔,克里斯特尔 2 尼古拉斯·巴塞特 2 Nathalie Bertrand 2 蒂埃里·杰伦 2 大卫·门特雷 2 Reiya Noguchi 2 吉列尔莫·A·佩雷斯。 1 达米安·巴斯托·加斯顿 1 洛伦佐·克莱门特 1 克莱门斯·杜伯斯拉夫 1 保罗·加斯丁 1 丹尼尔·巴雷克 1 吉勒·杰勒茨 1 阿琳·戈敏 1 斯特凡·格勒 1 弗雷德里克·赫布雷托 1 保罗·亨特 1 金·古德斯特兰·拉森 1 克莱尔·马修 1 本杰明·蒙梅格 1 尤索夫·乌阿尔哈德 1 雅各布皮里鲍尔 1 亚瑟·奎费莱 1 维克托·鲁萨纳利 1 马修·萨索拉斯 1 沃伦·舒迪 1 弗朗索瓦州施瓦岑特鲁伯 1 巴拉古鲁·斯里瓦桑 1 Jean-Pierre塔宾 1 克劳斯·苏兰(Claus R.Thrane)。 系列 2 理论计算机科学 1 信息学报 1 信息与计算 1 系统设计中的形式化方法 领域 33 计算机科学(68至XX) 10 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 4 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 27出版物有被引用145中的次89文件 引用人▼ 年份▼ 随机最短路径问题的变化。 Zbl 1432.90155号 米凯尔·兰多尔;Jean-François拉斯金;奥坎·桑库尔 18 2015 假设允许合成。 Zbl 1362.68202号 罗曼·布伦吉尔;Jean-François拉斯金;奥坎·桑库尔 13 2017 反应合成的非零和博弈。 Zbl 1435.68147号 罗曼·布伦吉尔;洛伦佐·克莱门特;保罗·亨特;吉列尔莫·A·佩雷斯。;米凯尔·兰多尔;Jean-François拉斯金;奥坎·桑库尔;马修·萨索拉斯 12 2016 多维马尔可夫决策过程中的百分比查询。 Zbl 1381.68219号 米凯尔·兰多尔;Jean-François拉斯金;奥坎·桑库尔 9 2015 假设允许合成。 Zbl 1374.68322号 罗曼·布伦吉尔;Jean-François拉斯金;奥坎·桑库尔 8 2015 定量图游戏中的可容许性。 Zbl 1394.91058号 罗曼·布伦吉尔;吉列尔莫·A·佩雷斯。;Jean-Francois拉斯金;奥坎·桑库尔 8 2016 时间自动机总是可以实现的。 Zbl 1343.68134号 帕特里夏·鲍耶;Larsen,Kim G。;尼古拉斯·马基;奥坎·桑库尔;克劳斯·苏兰 7 2011 时间自动机中的鲁棒性。 Zbl 1407.68282号 帕特里夏·鲍耶;尼古拉斯·马基;奥坎·桑库尔 7 2013 多维马尔可夫决策过程中的百分比查询。 Zbl 1360.68518号 米凯尔·兰多尔;Jean-François拉斯金;奥坎·桑库尔 7 2017 通过泵入通道机器对时间自动机进行鲁棒模型检查。 Zbl 1348.68122号 帕特里夏·鲍耶;尼古拉斯·马基;奥坎·桑库尔 6 2011 定时系统中的无定时语言保存。 Zbl 1343.68148号 奥坎·桑库尔 5 2011 时间自动机中的鲁棒控制器综合。 兹比尔1390.68416 奥坎·桑库尔;帕特里夏·鲍耶;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔 5 2013 在线相关聚类。 Zbl 1230.68219号 克莱尔·马修;奥坎·桑库尔;沃伦·舒迪 5 2010 缩小时间自动机。 Zbl 1246.68159号 奥坎·桑库尔;帕特里夏·鲍耶;尼古拉斯·马基 5 2011 时间自动机中的鲁棒可达性:基于游戏的方法。 Zbl 1367.68161号 帕特里夏·鲍耶;尼古拉斯·马基;奥坎·桑库尔 5 2012 马尔可夫决策过程中的随机最短路径和加权性质。 Zbl 1452.90315号 拜尔,克里斯特尔;Nathalie Bertrand;克莱门斯·杜伯斯拉夫;丹尼尔·巴雷克;奥坎·桑库尔 5 2018 并发游戏中的可接纳性。 Zbl 1442.68124号 尼古拉斯·巴塞特;吉勒·杰勒茨;Jean-François拉斯金;奥坎·桑库尔 三 2017 时间自动机的符号定量鲁棒性分析。 Zbl 1420.68111号 奥坎·桑库尔 三 2015 简洁表示的有限状态系统的比较。 兹比尔1364.68277 罗曼·布伦吉尔;斯特凡·格勒;奥坎·桑库尔 2 2012 概率稳健的定时游戏。 Zbl 1417.68088号 尤索夫·乌阿尔哈德;皮埃尔·阿莱·雷尼尔;奥坎·桑库尔 2 2014 时间自动机和游戏中的鲁棒可达性:基于游戏的方法。 Zbl 1302.68153号 帕特里夏·鲍耶;尼古拉斯·马基;奥坎·桑库尔 2 2015 用于检查实时一致性的增量方法。 Zbl 07317101号 蒂埃里·杰伦;尼古拉斯·马基;戴维·曼特雷;Reiya Noguchi;奥坎·桑库尔 2 2020 时间自动机的抽象精化算法。 Zbl 07805524号 维克多·鲁萨纳利;奥坎·桑库尔;尼古拉斯·马基 2 2019 多环境马尔可夫决策过程。 Zbl 1360.68598号 Jean-François拉斯金;奥坎·桑库尔 1 2014 时间游戏中可接受的策略。 Zbl 1431.68069号 尼古拉斯·巴塞特;Jean-François拉斯金;奥坎·桑库尔 1 2017 缩小时间自动机。 Zbl 1285.68090号 奥坎·桑库尔;帕特里夏·鲍耶;尼古拉斯·马基 1 2014 定时Büchi自动机中的鲁棒控制器综合:符号方法。 Zbl 07805555号 达米安·巴斯托·加斯顿;本杰明·蒙梅格;皮埃尔·阿莱·雷尼尔;奥坎·桑库尔 1 2019 用于检查实时一致性的增量方法。 Zbl 07317101号 蒂埃里·杰伦;尼古拉斯·马基;戴维·曼特雷;Reiya Noguchi;奥坎·桑库尔 2 2020 时间自动机的抽象精化算法。 Zbl 07805524号 维克多·鲁萨纳利;奥坎·桑库尔;尼古拉斯·马基 2 2019 定时Büchi自动机中的鲁棒控制器综合:符号方法。 Zbl 07805555号 达米安·巴斯托·加斯顿;本杰明·蒙梅格;皮埃尔·阿莱·雷尼尔;奥坎·桑库尔 1 2019 马尔可夫决策过程中的随机最短路径和加权性质。 Zbl 1452.90315号 拜尔,克里斯特尔;Nathalie Bertrand;克莱门斯·杜伯斯拉夫;丹尼尔·巴雷克;奥坎·桑库尔 5 2018 假设可容许合成。 Zbl 1362.68202号 罗曼·布伦吉尔;Jean-François拉斯金;奥坎·桑库尔 13 2017 多维马尔可夫决策过程中的百分比查询。 Zbl 1360.68518号 米凯尔·兰多尔;Jean-François拉斯金;奥坎·桑库尔 7 2017 并发游戏中的可接纳性。 Zbl 1442.68124号 尼古拉斯·巴塞特;吉勒·杰勒茨;Jean-François拉斯金;奥坎·桑库尔 三 2017 时间游戏中可接受的策略。 Zbl 1431.68069号 尼古拉斯·巴塞特;Jean-François拉斯金;奥坎·桑库尔 1 2017 反应合成的非零和对策。 Zbl 1435.68147号 罗曼·布伦吉尔;洛伦佐·克莱门特;保罗·亨特;吉列尔莫·A·佩雷斯。;米凯尔·兰多尔;Jean-François拉斯金;奥坎·桑库尔;马修·萨索拉斯 12 2016 定量图形游戏中的可容许性。 Zbl 1394.91058号 罗曼·布伦吉尔;吉列尔莫·A·佩雷斯。;Jean-Francois拉斯金;奥坎·桑库尔 8 2016 随机最短路径问题的变化。 Zbl 1432.90155号 米凯尔·兰多尔;Jean-François拉斯金;奥坎·桑库尔 18 2015 多维马尔可夫决策过程中的百分比查询。 Zbl 1381.68219号 米凯尔·兰多尔;Jean-François拉斯金;奥坎·桑库尔 9 2015 假设允许合成。 Zbl 1374.68322号 罗曼·布伦吉尔;Jean-François拉斯金;奥坎·桑库尔 8 2015 时间自动机的符号定量鲁棒性分析。 Zbl 1420.68111号 奥坎·桑库尔 三 2015 时间自动机和游戏中的鲁棒可达性:基于游戏的方法。 Zbl 1302.68153号 帕特里夏·鲍耶;尼古拉斯·马基;奥坎·桑库尔 2 2015 概率稳健的定时游戏。 兹伯利1417.68088 尤索夫·乌阿尔哈德;皮埃尔·阿莱·雷尼尔;奥坎·桑库尔 2 2014 多环境马尔可夫决策过程。 Zbl 1360.68598号 Jean-François拉斯金;奥坎·桑库尔 1 2014 缩小时间自动机。 Zbl 1285.68090号 奥坎·桑库尔;帕特里夏·鲍耶;尼古拉斯·马基 1 2014 时间自动机中的鲁棒性。 Zbl 1407.68282号 帕特里夏·鲍耶;尼古拉斯·马基;奥坎·桑库尔 7 2013 时间自动机中的鲁棒控制器综合。 Zbl 1390.68416号 奥坎·桑库尔;帕特里夏·鲍耶;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔 5 2013 时间自动机中的鲁棒可达性:基于游戏的方法。 Zbl 1367.68161号 帕特里夏·鲍耶;尼古拉斯·马基;奥坎·桑库尔 5 2012 简洁表示的有限状态系统的比较。 Zbl 1364.68277号 罗曼·布伦吉尔;斯特凡·格勒;奥坎·桑库尔 2 2012 时间自动机总是可以实现的。 Zbl 1343.68134号 帕特里夏·鲍耶;Larsen,Kim G。;尼古拉斯·马基;奥坎·桑库尔;克劳斯·苏兰 7 2011 通过泵入通道机器对时间自动机进行鲁棒模型检查。 Zbl 1348.68122号 帕特里夏·鲍耶;尼古拉斯·马基;奥坎·桑库尔 6 2011 定时系统中的非定时语言保存。 兹比尔1343.68148 奥坎·桑库尔 5 2011 缩小时间自动机。 Zbl 1246.68159号 奥坎·桑库尔;帕特里夏·鲍耶;尼古拉斯·马基 5 2011 在线相关聚类。 Zbl 1230.68219号 克莱尔·马修;奥坎·桑库尔;沃伦·舒迪 5 2010 所有引用出版物 前5名被引用出版物 全部的 前5名164位作者引用 13 尼古拉斯·马基 11 帕特里夏·鲍耶 11 Jean-François拉斯金 9 米凯尔·兰多尔 8 维罗尼克·布鲁埃 8 奥坎·桑库尔 6 埃蒂安·安德烈 6 托马斯·布里海耶 5 尼古拉斯·巴塞特 5 阿诺·保利。 4 阿琳·戈敏 4 Joost-Pieter卡托恩 4 圣埃芬·勒鲁 4 尤索夫·乌阿尔哈德 4 蒂姆·夸特曼 三 拜尔,克里斯特尔 三 佛罗伦萨德尔格兰奇 三 蒂埃里·杰伦 三 莱姆,迪迪埃 三 戴维·曼特雷 三 奥托普,简 2 阿克西,S。 2 乌迪·博克 2 彼得·巴赫霍尔茨 2 克鲁巴克,马雷克 2 克里斯托夫·杜尔 2 乌里·法伦贝格 2 艾曼纽·菲利奥特 2 帕特里克·加迪 2 洛依茨海露 2 托马斯·亨辛格(Thomas A.Henzinger)。 2 季赛 2 塞巴斯蒂安·荣格斯 2 奥尔纳·库普弗曼 2 Marta Z.Kwiatkowska。 2 金·古德斯特兰·拉森 2 Legay、Axel 2 鲁帕克·马朱姆达尔 2 贾库布·米查利辛 2 阿尼埃洛·穆拉诺 2 本特·尼尔森。 2 Reiya Noguchi 2 朱塞佩·佩雷利 2 安妮·凯瑟琳·施穆克 2 范登,博加德·玛丽 2 皮埃尔·范登霍夫 2 徐大川 1 恩里克·阿尔巴 1 尤金·亚萨林 1 加利特·阿什克纳齐·戈兰 1 朱塞佩·阿特尼塞 1 阿夫尼,盖伊 1 艾丁·戈尔(Ebru Aydin Gol) 1 巴伯,贝诺 1 雅罗斯拉夫·本迪克 1 拉斐尔·伯顿 1 阿德里安·博伊雷特 1 奥利维尔·伯内兹 1 罗曼·布伦吉尔 1 弗兰克·卡塞兹 1 巴勃罗·卡斯特罗。 1 伊万娜·乔纳 1 克里希南德·查特吉 1 文茨拉夫·乔涅夫 1 Cintrano,C。 1 艾米丽·克莱门特 1 佩德罗·鲁宾·达吉尼奥 1 米歇尔·德·罗杰蒙特 1 奥尔德里克·德戈尔 1 拉米罗·德马西 1 朱尔根·丁格尔 1 艾丽娜·多恩多夫 1 董金松 1 亚历山大·唐泽 1 杜冬蕾 1 克莱门斯·杜伯斯拉夫 1 亚历山大·法比扬 1 马可·费拉 1 塞尔吉奥·费奥·阿雷尼斯 1 卢卡·费鲁奇 1 伯恩德·芬克贝纳 1 达里奥·菲奥雷 1 伊丽莎白·菲尔曼 1 Flesch,Janos公司 1 Forejt、VojtŞch 1 弗洛里安·芬克 1 盖、凌 1 保罗·加斯丁 1 布莱斯·基内斯特 1 毛里西奥·冈萨雷斯 1 斯特凡·格鲁纳 1 拉森·金(Larsen Kim Guldstrand) 1 克里斯托夫·哈斯 1 阿恩·哈特曼斯 1 盖伊·赫菲茨 1 弗雷德里克·赫布雷托 1 伊斯马·杰克 1 彼得·格约尔·詹森 1 斯特凡·基弗 1 约阿希姆·克莱因 …还有64位作者 全部的 前5名23篇连载文章中引用 7 计算机科学中的逻辑方法 6 信息与计算 5 理论计算机科学 4 信息学报 2 国际计算机科学基础杂志 2 离散事件动态系统 2 系统设计中的形式化方法 2 运筹学的数学方法 1 信息科学 1 计算机与系统科学杂志 1 最优化理论与应用杂志 1 算法 1 自动推理杂志 1 亚太运筹学杂志 1 实时系统 1 数学与人工智能年鉴 1 计算系统理论 1 组合优化期刊 1 计算机基础理论 1 ACM计算逻辑事务 1 非线性分析。混合动力系统 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名11个领域引用 76 计算机科学(68至XX) 23 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 16 运筹学、数学规划(90-XX) 11 数学逻辑和基础(03-XX) 5 组合数学(05-XX) 4 系统论;控制(93至XX) 三 概率论与随机过程(60-XX) 三 信息与通信理论、电路(94-XX) 2 动力系统和遍历理论(37至XX) 1 阶、格、有序代数结构(06-XX) 1 数论(11-XX) 按年份列出的引文