编辑配置文件（在新选项卡中打开） 克里希南德·查特吉 合著者距离 作者ID： 查特吉·克里什嫩杜 发布日期： 克里希南德·查特吉;查特吉，K。 主页： 网址：http://pub.ist.ac.at/~克查特吉/ 外部链接： MGP公司·ORCID公司·维基数据·谷歌学者·数据库许可证·接地·ID参考 编入索引的文档： 226出版物自2003年以来，包括2个附加arXiv预打印 5名编辑的贡献 合著者： 135位合著者具有220联合出版物 2333位合作作者 全部的 前5名合著者 11 单作者的 73 托马斯·亨辛格（Thomas A.Henzinger）。 37 劳伦特·多恩 19 莫妮卡·劳赫·亨津格 17 鲁帕克·马朱姆达尔 16 拉斯穆斯·易卜森·延森 12 奥托普，简 12 安德烈亚斯·帕夫罗甘尼斯 11 马丁·切梅里克 11 Jean-François拉斯金 10 卢卡·德·阿尔法罗 9 简·Křetínsk 9 维罗尼卡·洛伊琴鲍尔 9 纱线维纳 8 托马斯·布拉兹迪尔 8 傅洪飞 7 沃尔夫冈·德沃亚克 7 阿米尔·卡夫什达尔·戈哈沙迪 7 马丁·安德烈亚斯·诺瓦克 7 帕布，维纳亚克S。 6 芭芭拉·乔布斯曼 6 诺沃顿，皮特 5 罗德里克·布洛姆 5 Forejt，Vojtěch公司 5 马尔钦·尤季扬斯基 5 安东尼·库塞拉 5 尼尔·皮特曼 5 维什瓦纳斯·拉曼 4 霍恩，弗洛里安 4 塞巴斯蒂安·克林格 4 米凯尔·兰多尔 4 亚历山大·斯沃齐尔 三 Calin A.Belta。 三 伊万娜·乔纳 三 查克拉巴蒂，帕塔·普拉蒂姆 三 帕拉布·达斯古普塔 三 纳塔娜·菲亚尔科夫 三 雨果·金伯特 三 马纳斯·R·约格勒卡尔。 三 乌尔里希·施密德 三 尼萨尔·沙阿 三 罗希特·辛格。 三 马里亚·斯沃雷奥娃 三 维克托·托曼 三 马修·特雷科尔 三 莫西·亚亚科夫·瓦尔迪 三 朱伊凯利奇，{D} 或{d} e（电子） 2 普拉纳夫·阿肖克 2 迪特马尔·伯旺格 2 西德赫什·乔巴尔 2 Daca，Przemysław公司 2 马可·费拉 2 艾曼纽·菲利奥特 2 Joost-Pieter卡托恩 2 贝蒂娜·柯尼霍费尔 2 罗伯特·Könighfer 2 亚历山大·科勒 2 奥尔纳·库普弗曼 2 马迪 2 托拜厄斯·梅根多夫 2 丹农纳农开 2 延斯·帕尔斯伯格 2 普里克洛佩尔，塔迪亚斯 2 吉·斯加尔 2 多米尼克·维兰 2 马克西米利安·韦宁格 2 托拜厄斯·温克勒 2 赵、田 1 本·阿德拉姆 1 普拉图什·阿加瓦尔 1 塞巴斯蒂安·阿明 1 阿里·纳加什·阿萨迪 1 阿夫尼，盖伊 1 苏古曼·班萨尔 1 埃齐奥·巴托西 1 贝拉德，贝特里奇 1 乌迪·博克 1 瓦茨拉夫·布罗泽克 1 查克拉巴蒂，阿林达姆 1 马丁·德·沃尔夫 1 赫伯特·埃德尔斯布伦纳 1 吕迪格·埃勒斯 1 哈桑·费里特·恩塞尔 1 安德烈亚斯·费尔纳 1 埃桑·卡夫什达尔·戈哈沙迪 1 戈亚尔，普拉提什 1 卡琳·格雷梅尔 1 拉加夫·古普塔 1 克里斯托弗·阿恩斯费尔特·汉森 1 鲁兹贝哈希米内扎德 1 乔治·霍夫雷克 1 黄明章 1 瑞典雅各布斯 1 伊斯马·杰克 1 戈哈沙迪·阿米尔·卡夫什达尔 1 普里蒂什·卡马特 1 阿尤什·卡诺迪亚 1 祖扎纳科马尔科娃 1 伯恩哈德·克拉格尔 1 祖扎纳Křetínská 1 Marta Z.Kwiatkowska。 ……还有35位合著者 全部的 前5名系列 12 信息与计算 10 计算机科学中的逻辑方法 6 计算机与系统科学杂志 6 ACM计算逻辑事务 5 理论计算机科学 5 系统设计中的形式化方法 4 信息处理信件 三 信息学报 三 人工智能 三 美国医学会杂志 三 计算机科学课堂讲稿 三 理论生物学杂志 2 国际计算机科学基础杂志 1 离散应用数学 1 IEEE自动控制汇刊 1 国际博弈论杂志 1 符号逻辑杂志 1 运筹学数学 1 理论种群生物学 1 算法 1 自动推理杂志 1 计算的形式方面 1 实时系统 1 非线性分析。混合动力系统 1 游戏 1 伦敦皇家学会会刊。A.数学、物理和工程科学 全部的 前5名领域 200 计算机科学（68至XX） 124 博弈论、经济学、金融和其他社会和行为科学（91-XX） 35 运筹学、数学规划（90-XX） 16 组合数学（05-XX） 15 数学逻辑和基础（03-XX） 13 系统论；控制（93至XX） 5 总体主题；集合（00-XX） 三 概率论与随机过程（60-XX） 三 生物学和其他自然科学（92-XX） 三 信息与通信理论、电路（94-XX） 1 动力系统和遍历理论（37至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 201出版物有1814年被引用中的次736文件 引用人▼ 年份▼ 战略逻辑。 Zbl 1205.68197号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;尼尔·皮特曼 63 2010 通过量化目标提高合成质量。 Zbl 1242.68151号 罗德里克·布洛姆;克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;芭芭拉·乔布斯曼 56 2009 定量语言。 Zbl 1351.68155号 克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。 55 2010 定量随机平价博弈。 Zbl 1318.91027号 克里希南德·查特吉;马尔钦·尤季扬斯基;托马斯·亨辛格（Thomas A.Henzinger）。 50 2004 定量语言。 Zbl 1156.68449号 克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。 42 2008 随机（欧米伽）正则博弈研究。 Zbl 1237.91036号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。 39 2012 广义平均分摊和能量博弈。 Zbl 1245.68090号 克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。;Jean-François拉斯金 37 2010 具有安全平衡的游戏。 Zbl 1108.91007号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;马尔钦·尤季扬斯基 36 2006 随机博弈中的纳什均衡。 Zbl 1095.91001号 克里希南德·查特吉;鲁帕克·马朱姆达尔;马尔钦·尤季扬斯基 36 2004 能源平价游戏。 Zbl 1260.91039号 克里希南德·查特吉;劳伦特·多恩 36 2012 合成鲁棒系统。 Zbl 1302.93079号 罗德里克·布洛姆;克里希南德·查特吉;卡琳·格雷梅尔;托马斯·亨辛格（Thomas A.Henzinger）。;乔治·霍夫雷克;芭芭拉·乔布斯曼;贝蒂娜·柯尼霍费尔;罗伯特·Könighfer 34 2014 不完全信息下欧米伽规则博弈的算法。 Zbl 1125.91028号 Jean-Francois拉斯金;克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。 32 2007 多均值和多能量游戏的复杂性。 Zbl 1309.68082号 纱线维纳;克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。;亚历山大·拉比诺维奇;Jean-François拉斯金 31 2015 简单的随机平价游戏。 Zbl 1116.68493号 克里希南德·查特吉;马尔钦·尤季扬斯基;托马斯·亨辛格（Thomas A.Henzinger）。 30 2003 战略逻辑。 Zbl 1151.03327号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;尼尔·皮特曼 29 2007 常规比赛中的最终胜利。 Zbl 1351.68156号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;霍恩，弗洛里安 28 2009 使用学习算法验证马尔可夫决策过程。 Zbl 1448.68290号 托马斯·布拉兹迪尔;克里希南德·查特吉;马丁·切梅里克;Forejt，Vojtěch公司;简·Křetínsk;玛尔塔·奎亚特科夫斯卡;大卫·帕克;乌日马，马特乌什 26 2014 多维量化目标的战略合成。 Zbl 1360.68208号 克里希南德·查特吉;米凯尔·兰多尔;Jean-François拉斯金 26 2014 定量语言的表达性和闭包属性。 Zbl 1200.68135号 克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。 25 2010 交替加权自动机。 兹比尔1252.68167 克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。 25 2009 概率验证中用于最大末端组件分解和相关图问题的更快和动态算法。 Zbl 1374.68272号 克里希南德·查特吉;莫妮卡·亨津格 24 2011 图形游戏和反应合成。 Zbl 1392.68233号 罗德里克·布洛姆;克里希南德·查特吉;芭芭拉·乔布斯曼 24 2018 多目标马尔可夫决策过程。 Zbl 1136.90498号 克里希南德·查特吉;鲁帕克·马朱姆达尔;托马斯·亨辛格（Thomas A.Henzinger）。 23 2006 具有累计值的时间规格。 Zbl 1354.68169号 乌迪·博克;克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼 23 2014 交替Büchi对策和最大终成分分解的高效动态算法。 Zbl 1295.91019号 克里希南德·查特吉;莫妮卡·亨津格 23 2014 不完全信息下欧米伽规则博弈的算法。 Zbl 1225.91012号 克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。;Jean-François拉斯金 19 2006 模型检验\（\omega\）-区间Markov链的正则性质。 Zbl 1138.68441号 克里希南德·查特吉;塞·库什克;托马斯·亨辛格（Thomas A.Henzinger）。 18 2008 随机拉宾和斯特雷特博弈的复杂性。 Zbl 1085.68060号 克里希南德·查特吉;卢卡·德·阿尔法罗;托马斯·亨辛格（Thomas A.Henzinger）。 17 2005 通过Positivestellensatz的概率程序终止分析。 Zbl 1411.68025号 克里希南德·查特吉;傅洪飞;阿米尔·卡夫什达尔·戈哈沙迪 17 2016 假设-保证合成。 Zbl 1186.68284号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。 16 2007 广义平价博弈。 Zbl 1195.68053号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;尼尔·皮特曼 16 2007 能源平价游戏。 Zbl 1288.68160号 克里希南德·查特吉;劳伦特·多恩 15 2010 价值迭代。 Zbl 1143.68042号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。 15 2008 通过窗口查看平均值和总值。 Zbl 1317.68065号 克里希南德·查特吉;劳伦特·多恩;米凯尔·兰多尔;Jean-François拉斯金 15 2015 交替Büchi游戏的（O（n^2））时间算法。 Zbl 1421.68110号 克里希南德·查特吉;莫妮卡·亨津格 15 2012 合成的环境假设。 Zbl 1160.68437号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;芭芭拉·乔布斯曼 14 2008 免费的随机性。 Zbl 1287.91027号 克里希南德·查特吉;劳伦特·多恩;雨果·金伯特;托马斯·亨辛格（Thomas A.Henzinger）。 14 2010 部分可观测马尔可夫决策过程的定性分析。 Zbl 1287.68104号 克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。 14 2010 带有尾部目标的并发游戏。 Zbl 1177.91031号 克里希南德·查特吉 13 2007 随机极限平均游戏在EXPTIME中。 Zbl 1154.91004号 克里希南德·查特吉;鲁帕克·马朱姆达尔;托马斯·亨辛格（Thomas A.Henzinger）。 13 2008 具有多个长期平均目标的马尔可夫决策过程。 Zbl 1326.90101号 托马斯·布拉兹迪尔;瓦茨拉夫·布罗泽克;克里希南德·查特吉;Forejt，Vojtěch公司;安东·库切拉 13 2014 概率加权自动机。 兹比尔1254.68133 克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。 13 2009 数量并发奇偶博弈的复杂性。 Zbl 1192.68430号 克里希南德·查特吉;卢卡·德·阿尔法罗;托马斯·亨辛格（Thomas A.Henzinger）。 12 2006 仿射概率程序定性和定量终止问题的算法分析。 Zbl 1347.68075号 克里希南德·查特吉;傅洪飞;诺沃顿，皮特;鲁兹贝·哈什米尼扎德 12 2016 部分观察随机博弈，信念失败时如何取胜。 Zbl 1291.91021号 克里希南德·查特吉;劳伦特·多恩 12 2014 放大器的选择。 Zbl 1371.92093号 阿德拉姆，B。;查特吉，K。;Nowak，医学硕士。 12 2015 能量和平均值奇偶马尔可夫决策过程。 Zbl 1343.90107号 克里希南德·查特吉;劳伦特·多恩 11 2011 概率终止的随机不变量。 Zbl 1380.68114号 克里希南德·查特吉;诺沃顿，皮特;Đikelić或 11 2017 向上闭合目标的纳什均衡。 Zbl 1225.91009号 克里希南德·查特吉 10 2006 在常规比赛中赢得财政胜利。 Zbl 1180.68171号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。 10 2006 智能合约的定量分析。 Zbl 1418.68024号 克里希南德·查特吉;阿米尔·卡夫什达尔·戈哈沙迪;纱线维纳 10 2018 并发可达性和基于循环的随机安全博弈的策略改进。 Zbl 1269.91022号 克里希南德·查特吉;卢卡·德·阿尔法罗;托马斯·亨辛格（Thomas A.Henzinger）。 10 2013 具有多个长期平均目标的马尔可夫决策过程。 Zbl 1135.90427号 克里希南德·查特吉 9 2007 具有欧米伽规则目标的部分可观测马尔可夫决策过程的可判定性。 Zbl 1356.68142号 克里希南德·查特吉;马丁·奇梅利克;马修·特雷科尔 9 2013 无限词上概率自动机的可判定问题。 Zbl 1360.68546号 克里希南德·查特吉;马修·特雷科尔 9 2012 递归程序的非多项式最坏情况分析。 Zbl 1494.68053号 克里希南德·查特吉;傅洪飞;阿米尔·卡夫什达尔·戈哈沙迪 9 2017 具有安全平衡的游戏。 兹比尔1143.68447 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;马尔钦·尤季扬斯基 8 2005 半完美的信息游戏。 兹比尔1172.68540 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。 8 2005 结构等价并发奇偶博弈的鲁棒性。 Zbl 1352.68178号 克里希南德·查特吉 8 2012 定性并行平价游戏。 Zbl 1351.68179号 克里希南德·查特吉;卢卡·德·阿尔法罗;托马斯·亨辛格（Thomas A.Henzinger）。 8 2011 具有有限条件的无限状态博弈。 Zbl 1356.68059号 克里希南德·查特吉;纳塔娜·菲亚尔科夫 8 2013 具有有限记忆策略的部分观测随机奇偶博弈的复杂性。 Zbl 1405.68135号 克里希南德·查特吉;劳伦特·多恩;苏米特·奈恩;莫舍·瓦尔迪。 8 2014 马尔可夫决策过程的概率不透明性。 Zbl 1366.68213号 贝拉德，贝特里奇;克里希南德·查特吉;纳塔利·斯兹纳杰德 8 2015 具有limsup和liminf目标的随机博弈研究。 Zbl 1248.91015号 克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。 8 2009 非确定性概率程序的终止。 Zbl 1522.68152号 傅洪飞;克里希南德·查特吉 8 2019 随机奇偶博弈的策略改进和随机次指数算法。 Zbl 1136.91322号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。 7 2006 定时奇偶游戏：复杂性和健壮性。 Zbl 1237.68112号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;帕布，维纳亚克S。 7 2011 随机米勒博弈的复杂性。 Zbl 1238.91022号 克里希南德·查特吉 7 2012 意思是支付自动机表达式。 Zbl 1287.68093号 克里希南德·查特吉;劳伦特·多恩;赫伯特·埃德尔斯布伦纳;托马斯·亨辛格（Thomas A.Henzinger）。;菲利普·兰诺 7 2010 部分观察平价游戏的复杂性。 Zbl 1298.91050号 克里希南德·查特吉;劳伦特·多恩 7 2010 将随机奇偶性简化为随机平均对赌游戏。 Zbl 1186.68306号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。 7 2008 马尔可夫决策过程中长期平均报酬的值迭代。 Zbl 1494.68126号 普拉纳夫·阿肖克;克里希南德·查特吉;Daca，Przemysław公司;简·Křetínsk;托拜厄斯·梅根多夫 7 2017 编辑下推自动机的距离。 Zbl 1440.68151号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;拉斯穆斯·易卜森·延森;奥托普，简 7 2015 POMDP中的最优成本几乎保证可达性。 Zbl 1351.68307号 克里希南德·查特吉;马丁·切梅里克;拉加夫·古普塔;阿尤什·卡诺迪亚 7 2016 代码感知资源管理。 兹比尔1291.68137 克里希南德·查特吉;卢卡·德·阿尔法罗;马可·费拉;鲁帕克·马朱姆达尔;维什瓦纳斯·拉曼 7 2013 解决并发安全和可达性游戏的终止标准。 Zbl 1425.91074号 克里希南德·查特吉;卢卡·德·阿尔法罗;托马斯·亨辛格（Thomas A.Henzinger）。 7 2009 嵌套加权自动机。 Zbl 1401.68154号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简 7 2015 概率语义下的定量自动机。 Zbl 1401.68155号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简 7 2016 多维mean-payoff游戏的超平面分离技术。 Zbl 1371.68106号 克里希南德·查特吉;纱线维纳 7 2013 使用绑定函数验证定量属性。 Zbl 1159.68313号 查克拉巴蒂，阿林达姆;克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼;鲁帕克·马朱姆达尔 6 2005 具有特殊权重结构的能量博弈的多项式时间算法。 Zbl 1303.91048号 克里希南德·查特吉;莫妮卡·亨津格;塞巴斯蒂安·克林格;丹农纳农开 6 2014 具有恒定树宽的递归状态机中代数路径属性的更快算法。 Zbl 1346.68047号 克里希南德·查特吉;拉斯穆斯·易卜森·延森;安德烈亚斯·帕夫罗甘尼斯;普拉蒂什·戈亚尔 6 2015 马尔可夫决策过程稳定性的交易性能。 Zbl 1359.90147号 托马斯·布拉兹迪尔;克里希南德·查特吉;Forejt，Vojtěch公司;安东·库切拉 6 2017 部分观测随机平价博弈研究综述。 Zbl 1291.91022号 克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。 6 2013 概率语义下的POMDP。 Zbl 1329.90158号 克里希南德·查特吉;马丁·切梅里克 6 2015 意味着回报推下游戏。 Zbl 1361.68137号 克里希南德·查特吉;纱线维纳 6 2012 图和MDP中的多目标折扣奖励验证。 Zbl 1406.68051号 克里希南德·查特吉;Forejt，Vojtěch公司;多米尼克·沃伊特扎克 6 2013 具有广义平均值目标的完全信息随机对策。 Zbl 1401.68238号 克里希南德·查特吉;劳伦特·多恩 6 2016 遍历平均路径游戏的复杂性。 Zbl 1410.68156号 克里希南德·查特吉;拉斯穆斯·易卜森·延森 6 2014 自动重复分析，以获得近似线性的预期时间界限。 Zbl 1494.68319号 克里希南德·查特吉;傅洪飞;阿尼基特·穆赫卡尔 6 2017 欧米茄规则游戏的末日平衡。 Zbl 1428.68181号 克里希南德·查特吉;劳伦特·多恩;艾曼纽·菲利奥特;Jean-François拉斯金 6 2014 从奇偶博弈到简单随机博弈的缩减。 Zbl 1460.91027号 克里希南德·查特吉;纳塔娜·菲亚尔科夫 6 2011 部分观察随机博弈：信念失败时如何取胜。 兹比尔1362.91008 克里希南德·查特吉;劳伦特·多恩 6 2012 广义可达性随机对策的近似值。 兹比尔1455.91035 普拉纳夫·阿肖克;克里希南德·查特吉;简·Křetínsk;马克西米利安·韦宁格;托拜厄斯·温克勒 6 2020 VASS中终止时间渐近界的有效算法。 Zbl 1497.68328号 托马斯·布拉兹迪尔;克里希南德·查特吉;安东·库切拉;诺沃顿，皮特;多米尼克·维兰;弗洛里安·祖勒格 6 2018 请求响应游戏的复杂性。 Zbl 1330.68105号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;霍恩，弗洛里安 5 2011 不完全信息奇偶博弈的策略构造。 Zbl 1232.91007号 迪特马尔·伯旺格;克里希南德·查特吉;马丁·德·沃尔夫;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。 5 2010 概率程序几乎完全终止的新方法。 Zbl 1519.68052号 黄明章;傅洪飞;克里希南德·查特吉 5 2018 定量程序间分析。 Zbl 1345.68098号 克里希南德·查特吉;安德烈亚斯·帕夫罗甘尼斯;纱线维纳 5 2015 恒定树宽组件并发系统中代数路径属性的算法。 Zbl 1347.68260号 克里希南德·查特吉;阿米尔·卡夫什达尔·戈哈沙迪;拉斯穆斯·易卜森·延森;安德烈亚斯·帕夫罗甘尼斯 5 2016 可靠完整的概率程序定量终止分析证书。 Zbl 1514.68027号 克里希南德·查特吉;阿米尔·卡夫什达尔·戈哈沙迪;托拜厄斯·梅根多夫;Đikelić或 1 2022 鞅概率规划的终止分析。 Zbl 07311047号 克里希南德·查特吉;傅洪飞;诺沃顿，皮特 4 2021 概率终止的词典学证明规则。 Zbl 1521.68034号 克里希南德·查特吉;埃桑·卡夫什达尔·戈哈沙迪;诺沃顿，皮特;扎里沃基，基尼;Đikelić或 1 2021 规划问题的算法和条件下限。 Zbl 1519.68231号 克里希南德·查特吉;沃尔夫冈·德沃亚克;莫妮卡·亨津格;亚历山大·斯沃齐尔 1 2021 有界树宽图定量验证的快速算法。 Zbl 1522.68301号 克里希南德·查特吉;拉斯穆斯·易卜森·延森;安德烈亚斯·帕夫罗甘尼斯 1 2021 广义可达随机对策的近似值。 Zbl 1455.91035号 普拉纳夫·阿肖克;克里希南德·查特吉;简·Křetínsk;马克西米利安·韦宁格;托拜厄斯·温克勒 6 2020 具有词典可达性-安全目标的随机博弈。 Zbl 1478.68151号 克里希南德·查特吉;Joost-Pieter卡托恩;马克西米利安·韦宁格;托拜厄斯·温克勒 4 2020 小树宽MC和MDP定量分析的快速算法。 Zbl 1517.68263号 阿里·阿萨迪;克里希南德·查特吉;阿米尔·卡夫什达尔·戈哈沙迪;基亚拉什·穆罕默德;安德烈亚斯·帕夫罗甘尼斯 1 2020 简化的生活游戏：算法和复杂性。 兹伯利07559393 克里希南德·查特吉;拉斯穆斯·易卜森·延森;伊斯马·杰克;雅库布·斯沃博达 1 2020 非确定性概率程序的终止。 Zbl 1522.68152号 傅洪飞;克里希南德·查特吉 8 2019 图和MDP中街道目标的近线性时间算法。 Zbl 07649915号 克里希南德·查特吉;沃尔夫冈·德沃亚克;莫妮卡·亨津格;亚历山大·斯沃齐尔 三 2019 带状态向量加法系统的长期平均行为。 兹比尔07649935 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简 2 2019 通过定量博弈对学习控制器进行运行时优化。 Zbl 07805558号 阿夫尼，盖伊;罗德里克·布洛姆;克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;贝蒂娜·柯尼霍费尔;斯特凡·普朗格 2 2019 随机平价博弈的定性获胜组合。 Zbl 07649914号 克里希南德·查特吉;尼尔·皮特曼 1 2019 概率语义下的定量自动机。 Zbl 1442.68086号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简 1 2019 不确定性概率VASS的快速终止判定。 Zbl 1437.68127号 托马斯·布拉兹迪尔;克里希南德·查特吉;安东·库切拉;诺沃顿，皮特;多米尼克·维兰 1 2019 图形游戏和反应合成。 Zbl 1392.68233号 罗德里克·布洛姆;克里希南德·查特吉;芭芭拉·乔布斯曼 24 2018 智能合约的定量分析。 Zbl 1418.68024号 克里希南德·查特吉;阿米尔·卡夫什达尔·戈哈沙迪;纱线维纳 10 2018 VASS中终止时间渐近界的有效算法。 Zbl 1497.68328号 托马斯·布拉兹迪尔;克里希南德·查特吉;安东·库切拉;诺沃顿，皮特;多米尼克·维兰;弗洛里安·祖勒格 6 2018 概率程序几乎完全终止的新方法。 Zbl 1519.68052号 黄明章;傅洪飞;克里希南德·查特吉 5 2018 奇偶对策的基于拟多项式集的符号算法。 Zbl 1415.68142号 克里希南德·查特吉;沃尔夫冈·德沃亚克;莫妮卡·亨津格;亚历山大·斯沃齐尔 5 2018 图上符号计算的下限：强连接组件、活性、安全性和直径。 Zbl 1403.68063号 克里希南德·查特吉;沃尔夫冈·德沃亚克;莫妮卡·亨津格;维罗尼卡·洛伊琴鲍尔 4 2018 通过POMDP实现pMDP的参数无关策略。 Zbl 1514.68190号 塞巴斯蒂安·阿明;埃齐奥·巴托西;克里希南德·查特吉;Joost-Pieter卡托恩;安娜·索科洛娃 2 2018 具有公平目标的图和马尔可夫决策过程的符号算法。 Zbl 1511.68150号 克里希南德·查特吉;莫妮卡·亨津格;维罗尼卡·洛伊琴鲍尔;西明·奥雷;维克托·托曼 2 2018 反应合成中决策树的策略表示。 Zbl 1423.68118号 托马斯·布拉兹迪尔;克里希南德·查特吉;简·Křetínsk;维克托·托曼 1 2018 用于分析密码攻击的遍历平均值游戏。 Zbl 1520.94045号 克里希南德·查特吉;戈哈尔沙迪·阿米尔;拉斯穆斯·易卜森·延森;纱线维纳 1 2018 概率终止的随机不变量。 兹比尔1380.68114 克里希南德·查特吉;诺沃顿，皮特;Đikelić或 11 2017 递归程序的非多项式最坏情况分析。 Zbl 1494.68053号 克里希南德·查特吉;傅洪飞;阿米尔·卡夫什达尔·戈哈沙迪 9 2017 马尔可夫决策过程中长期平均报酬的值迭代。 Zbl 1494.68126号 普拉纳夫·阿肖克;克里希南德·查特吉;Daca，Przemysław公司;简·Křetínsk;托拜厄斯·梅根多夫 7 2017 马尔可夫决策过程稳定性的交易性能。 Zbl 1359.90147号 托马斯·布拉兹迪尔;克里希南德·查特吉;Forejt，Vojtěch公司;安东·库切拉 6 2017 自动重复分析，以获得近似线性的预期时间界限。 Zbl 1494.68319号 克里希南德·查特吉;傅洪飞;阿尼基特·穆赫卡尔 6 2017 统一马尔可夫决策过程中对多个平均值目标的两种观点。 Zbl 1448.68280号 克里希南德·查特吉;祖扎纳Křetínská;简·Křetínsk 5 2017 多维mean-payoff游戏的超平面分离技术。 Zbl 1371.68107号 克里希南德·查特吉;纱线维纳 4 2017 精确性在定量可达性方面的代价。 Zbl 1431.68073号 克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。 4 2017 无向图上Moran过程固定概率的快速Monte Carlo算法。 Zbl 1447.92274号 克里希南德·查特吉;拉斯穆斯·易卜森·延森;马丁·诺瓦克。 4 2017 并发安全游戏的策略复杂性。 Zbl 1447.91018号 克里希南德·查特吉;克里斯托弗·阿恩斯费尔特·汉森;拉斯穆斯·易卜森·延森 4 2017 随机线性系统的时间逻辑控制，使用概率对策的抽象精化。 Zbl 1351.93138号 马里亚·斯沃雷奥娃;简·Křetínsk;马丁·切梅里克;克里希南德·查特吉;伊万娜·乔纳;卡林·贝尔塔 三 2017 改进了奇偶性和Streett目标的算法。 Zbl 1459.68117号 克里希南德·查特吉;莫妮卡·亨津格;维罗尼卡·洛伊琴鲍尔 三 2017 嵌套加权自动机。 Zbl 1407.68248号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简 三 2017 定量公平模拟游戏。 Zbl 1370.68165号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简;纱线维纳 三 2017 mean-payoff pushdown游戏的复杂性。 Zbl 1426.68163号 克里希南德·查特吉;纱线维纳 三 2017 加权递归状态机的更快算法。 Zbl 1485.68057号 克里希南德·查特吉;伯恩哈德·克拉格尔;萨马拉·米什拉;安德烈亚斯·帕夫罗甘尼斯 2 2017 双向嵌套加权自动机。 Zbl 1442.68087号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简 2 2017 改进的基于集合的奇偶博弈符号算法。 Zbl 1436.68194号 克里希南德·查特吉;沃尔夫冈·德沃亚克;莫妮卡·亨津格;维罗尼卡·洛伊琴鲍尔 2 2017 具有恒定树宽的下推可达性。 Zbl 1422.68184号 克里希南德·查特吉;奥桑，乔治 1 2017 编辑下推自动机的距离。 兹比尔1440.68152 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;拉斯穆斯·易卜森·延森;奥托普，简 1 2017 欧米茄规则游戏的末日平衡。 Zbl 1370.68164号 克里希南德·查特吉;劳伦特·多恩;艾曼纽·菲利奥特;Jean-François拉斯金 1 2017 用于平均对偶游戏的更快算法。 Zbl 1441.91015号 克里希南德·查特吉;莫妮卡·亨津格;亚历山大·斯沃齐尔 1 2017 选择性互动和可疑行为有助于囚犯困境中的信任合作。 Zbl 1394.91049号 普里克洛佩尔，塔迪亚斯;克里希南德·查特吉;马丁·诺瓦克 1 2017 通过Positivestellensatz的概率程序终止分析。 Zbl 1411.68025号 克里希南德·查特吉;傅洪飞;阿米尔·卡夫什达尔·戈哈沙迪 17 2016 仿射概率程序定性和定量终止问题的算法分析。 Zbl 1347.68075号 克里希南德·查特吉;傅洪飞;诺沃顿，皮特;鲁兹贝·哈什米尼扎德 12 2016 POMDP中的最优成本几乎保证可达性。 Zbl 1351.68307号 克里希南德·查特吉;马丁·切梅里克;拉加夫·古普塔;阿尤什·卡诺迪亚 7 2016 概率语义下的定量自动机。 Zbl 1401.68155号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简 7 2016 具有广义平均值目标的完全信息随机对策。 Zbl 1401.68238号 克里希南德·查特吉;劳伦特·多恩 6 2016 恒定树宽组件并发系统中代数路径属性的算法。 Zbl 1347.68260号 克里希南德·查特吉;阿米尔·卡夫什达尔·戈哈沙迪;拉斯穆斯·易卜森·延森;安德烈亚斯·帕夫罗甘尼斯 5 2016 定量监控自动机。 Zbl 1394.68207号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简 5 2016 带条件下限的模型和目标分离：析取比合取更难。 Zbl 1401.68189号 克里希南德·查特吉;沃尔夫冈·德沃亚克;莫妮卡·亨津格;维罗尼卡·洛伊琴鲍尔 5 2016 有界宽度的嵌套加权极限平均自动机。 Zbl 1398.68305号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简 4 2016 具有（ω）正则目标的部分可观测马尔可夫决策过程的可判定性。 Zbl 1338.68166号 克里希南德·查特吉;马丁·切梅里克;马修·特雷科尔 三 2016 广义Büchi对策的条件最优算法。 Zbl 1398.68390号 克里希南德·查特吉;沃尔夫冈·德沃亚克;莫妮卡·亨津格;维罗尼卡·洛伊琴鲍尔 三 2016 同步属性的计算树逻辑。 兹比尔1388.68184 克里希南德·查特吉;劳伦特·多恩 2 2016 恒定树宽图中距离查询的最优可达性和时空权衡。 兹比尔1397.68030 克里希南德·查特吉;拉斯穆斯·易卜森·延森;安德烈亚斯·帕夫罗甘尼斯 1 2016 多均值和多能量游戏的复杂性。 Zbl 1309.68082号 纱线维纳;克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。;亚历山大·拉比诺维奇;Jean-François拉斯金 31 2015 通过窗口查看平均值和总值。 Zbl 1317.68065号 克里希南德·查特吉;劳伦特·多恩;米凯尔·兰多尔;Jean-François拉斯金 15 2015 放大器的选择。 Zbl 1371.92093号 阿德拉姆，B。;查特吉，K。;Nowak，医学硕士。 12 2015 马尔可夫决策过程的概率不透明性。 Zbl 1366.68213号 贝拉德，贝特里奇;克里希南德·查特吉;纳塔利·斯兹纳杰德 8 2015 编辑下推自动机的距离。 Zbl 1440.68151号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;拉斯穆斯·易卜森·延森;奥托普，简 7 2015 嵌套加权自动机。 Zbl 1401.68154号 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简 7 2015 具有恒定树宽的递归状态机中代数路径属性的更快算法。 Zbl 1346.68047号 克里希南德·查特吉;拉斯穆斯·易卜森·延森;安德烈亚斯·帕夫罗甘尼斯;普拉蒂什·戈亚尔 6 2015 概率语义下的POMDP。 Zbl 1329.90158号 克里希南德·查特吉;马丁·切梅里克 6 2015 定量程序间分析。 Zbl 1345.68098号 克里希南德·查特吉;安德烈亚斯·帕夫罗甘尼斯;纱线维纳 5 2015 统一马尔可夫决策过程中对多个平均值目标的两种观点。 Zbl 1401.68171号 克里希南德·查特吉;祖扎纳科马尔科娃;简·Křetínsk 5 2015 概率环境中的测量和综合系统。 兹比尔1321.68344 克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;芭芭拉·乔布斯曼;辛格，罗希特 4 2015 使用具有奇偶目标的POMDP进行时序逻辑运动规划（案例研究论文）。 Zbl 1364.93521号 马里亚·斯沃雷奥娃;马丁·切梅里克;莱希、凯文;哈桑·费里特·恩塞尔;克里希南德·查特吉;伊万娜·乔纳;卡林·贝尔塔 4 2015 恒定树宽图中定量验证的快速算法。 Zbl 1381.68150号 克里希南德·查特吉;拉斯穆斯·易卜森·延森;安德烈亚斯·帕夫罗甘尼斯 三 2015 通过学习马尔可夫决策过程中的小策略进行反例解释。 Zbl 1381.68104号 托马斯·布拉兹迪尔;克里希南德·查特吉;马丁·切梅里克;安德烈亚斯·费尔纳;简·Křetínsk 三 2015 同时进行的均值对均值博弈的定性分析。 Zbl 1318.91039号 克里希南德·查特吉;拉斯穆斯·易卜森·延森 三 2015 随机线性系统的时间逻辑控制，使用概率对策的抽象精化。 Zbl 1364.93751号 马里亚·斯沃雷奥娃;简·Křetínsk;马丁·切梅里克;克里希南德·查特吉;伊万娜·乔纳;卡林·贝尔塔 三 2015 改进了单对和（k）对Streett目标的算法。 Zbl 1401.68190号 克里希南德·查特吉;莫妮卡·亨津格;维罗尼卡·洛伊琴鲍尔 三 2015 假设具有部分信息的并发反应式程序的保证综合。 Zbl 1420.68064号 罗德里克·布洛姆;克里希南德·查特吉;瑞典雅各布斯;罗伯特·Könighfer 三 2015 定时系统的定量时间模拟和细化距离。 Zbl 1360.68545号 克里希南德·查特吉;帕布，维纳亚克S。 2 2015 免费提供随机性。 兹比尔1333.91008 克里希南德·查特吉;劳伦特·多恩;雨果·金贝尔;托马斯·亨辛格（Thomas A.Henzinger）。 1 2015 概率成分合成的复杂性。 Zbl 1440.68045号 克里希南德·查特吉;劳伦特·多恩;莫舍·瓦尔迪。 1 2015 并发平手游戏有限记忆策略下的值1问题。 Zbl 1372.91007号 克里希南德·查特吉;拉斯穆斯·易卜森·延森 1 2015 合成鲁棒系统。 Zbl 1302.93079号 罗德里克·布洛姆;克里希南德·查特吉;卡琳·格雷梅尔;托马斯·亨辛格（Thomas A.Henzinger）。;乔治·霍夫雷克;芭芭拉·乔布斯曼;贝蒂娜·柯尼霍费尔;罗伯特·Könighfer 34 2014 使用学习算法验证马尔可夫决策过程。 Zbl 1448.68290号 托马斯·布拉兹迪尔;克里希南德·查特吉;马丁·切梅里克;Forejt，Vojtěch公司;简·Křetínsk;玛尔塔·奎亚特科夫斯卡;大卫·帕克;乌日马，马特乌什 26 2014 多维量化目标的战略合成。 Zbl 1360.68208号 克里希南德·查特吉;米凯尔·兰多尔;Jean-François拉斯金 26 2014 具有累计值的时间规格。 Zbl 1354.68169号 乌迪·博克;克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼 23 2014 交替Büchi对策和最大终成分分解的高效动态算法。 Zbl 1295.91019号 克里希南德·查特吉;莫妮卡·亨津格 23 2014 具有多个长期平均目标的马尔可夫决策过程。 Zbl 1326.90101号 托马斯·布拉兹迪尔;瓦茨拉夫·布罗泽克;克里希南德·查特吉;Forejt，Vojtěch公司;安东·库切拉 13 2014 部分观察随机博弈，信念失败时如何取胜。 Zbl 1291.91021号 克里希南德·查特吉;劳伦特·多恩 12 2014 具有有限记忆策略的部分观测随机奇偶博弈的复杂性。 Zbl 1405.68135号 克里希南德·查特吉;劳伦特·多恩;苏米特·奈恩;莫舍·瓦尔迪。 8 2014 具有特殊权重结构的能量博弈的多项式时间算法。 Zbl 1303.91048号 克里希南德·查特吉;莫妮卡·亨津格;塞巴斯蒂安·克林格;丹农纳农开 6 2014 遍历平均路径游戏的复杂性。 Zbl 1410.68156号 克里希南德·查特吉;拉斯穆斯·易卜森·延森 6 2014 欧米茄规则游戏的末日平衡。 Zbl 1428.68181号 克里希南德·查特吉;劳伦特·多恩;艾曼纽·菲利奥特;Jean-François拉斯金 6 2014 与弱小对手的比赛。 Zbl 1409.68169号 克里希南德·查特吉;劳伦特·多恩 5 2014 完美信息随机平均平价游戏。 Zbl 1405.68225号 克里希南德·查特吉;劳伦特·多恩;雨果·金伯特;尤索夫·乌阿尔哈德 4 2014 假设数字合同签订的担保合成。 Zbl 1342.94068号 克里希南德·查特吉;维什瓦纳斯·拉曼 三 2014 定性并行平价博弈：有限理性。 Zbl 1417.68122号 克里希南德·查特吉 三 2014 近似最小周期平均值。 Zbl 1417.68284号 克里希南德·查特吉;莫妮卡·亨津格;塞巴斯蒂安·克林格;维罗尼卡·洛伊琴鲍尔;迈克尔·拉斯金（Michael A.Raskin）。 三 2014 …和101多个文档 所有引用出版物 前5名被引用出版物 全部的 前5名被972位作者引用 73 克里希南德·查特吉 39 托马斯·亨辛格（Thomas A.Henzinger）。 31 Jean-François拉斯金 29 奥尔纳·库普弗曼 24 阿尼埃洛·穆拉诺 20 帕特里夏·鲍耶 20 曼弗雷德·德罗斯特 20 Joost-Pieter卡托恩 19 金·古德斯特兰·拉森 18 尼古拉斯·马基 18 米凯尔·兰多尔 17 阿夫尼，盖伊 17 拜尔，克里斯特尔 17 马丁·齐默尔曼 16 法比奥·莫加维罗 15 劳伦特·多恩 15 朱塞佩·佩雷利 14 朱利安·古铁雷斯 14 塞巴斯蒂安·荣格斯 14 迈克尔·J·伍尔德里奇。 12 维罗尼克·布鲁埃 12 简·Křetínsk 12 Legay、Axel 12 奥托普，简 12 斯文·舍韦 11 Marta Z.Kwiatkowska。 11 圣埃芬·勒鲁 10 马西莫·贝内雷塞蒂 10 托马斯·布里海耶 10 艾曼纽·菲利奥特 10 莫妮卡·劳赫·亨津格 9 罗德里克·布洛姆 9 劳拉·博泽利 9 乌里·法伦贝格 9 拉斯穆斯·易卜森·延森 8 安东尼·库塞拉 8 格钦·诺曼 8 吉列尔莫·A·佩雷斯。 8 阿舒托什·特里维迪 8 多米尼克·沃伊特扎克 7 丹尼尔·德尔尔巴 7 弗拉基米尔·古尔维奇。 7 尼尔斯·詹森 7 芭芭拉·乔布斯曼 7 约阿希姆·克莱因 7 Kazuhisa Makino 7 阿诺·保利。 7 洛雷达纳·索伦蒂诺 7 杰里米·斯普洛斯顿 7 莫西·亚亚科夫·瓦尔迪 6 拉杰夫·阿鲁尔 6 乌迪·博克 6 恩德雷·博罗斯 6 托马斯·布拉兹迪尔 6 马丁·切梅里克 6 Elbassioni，Khaled M。 6 纳塔娜·菲亚尔科夫 6 Forejt，Vojtěch公司 6 古哈，柴桥 6 鲁帕克·马朱姆达尔 6 巴斯蒂安·莫伯特 6 贾库布·米查利辛 6 雷诺·尼斯卡宁 6 尼尔·皮特曼 6 伊戈尔·波塔波夫 6 萨沙·鲁宾 6 乌富克托普库 6 安德烈·索夫斯基 6 亚历山大·韦内特 5 亚历山德罗·阿巴特 5 Nathalie Bertrand 5 卢卡·德·阿尔法罗 5 伯恩德·芬克贝纳 5 谢尔盖·哈达德 5 维萨·哈拉瓦 5 克里斯托弗·阿恩斯费尔特·汉森 5 特罗·哈尔朱 5 保罗·哈伦斯坦 5 霍恩，弗洛里安 5 克吕佩尔霍尔茨，萨沙 5 理查德·梅尔（Richard M.Mayr）。 5 Manuel jun，马祖。 5 尼尔，丹尼尔 5 尤索夫·乌阿尔哈德 5 奥坎·桑库尔 5 施穆克，安妮·凯瑟琳 5 桑吉特·阿伦库马尔·塞希亚 5 埃隆·索兰 5 纱线维纳 5 詹姆斯·沃雷尔。 4 埃齐奥·巴托西 4 弗朗西斯科·贝拉迪内利 4 迪特马尔·伯旺格 4 贝诺·德拉哈耶 4 莱奥·埃克巴德 4 马可·费拉 4 杰诺斯·弗莱希 4 阿琳·戈敏 4 瓦伦丁·F·戈兰科。 4 马库斯·格勒 …还有872名作者 全部的 前5名73篇连载文章中引用 65 信息与计算 46 理论计算机科学 28 计算机科学中的逻辑方法 24 系统设计中的形式化方法 22 信息学报 22 人工智能 17 计算机与系统科学杂志 13 ACM计算逻辑事务 12 Automatica公司 11 理论生物学杂志 10 信息处理信件 10 离散事件动态系统 7 国际计算机科学基础杂志 6 数学生物学杂志 5 计算系统理论 5 美国医学会杂志 5 非线性分析。混合动力系统 4 自动推理杂志 4 计算的形式方面 4 游戏 4 动态游戏和应用 4 程序设计中的逻辑和代数方法杂志 三 离散应用数学 三 信息科学 三 运筹学数学 三 算法 三 经济理论 三 数学与人工智能年鉴 三 逻辑与代数程序设计杂志 2 哲学逻辑杂志 2 计算机与运筹学 2 国际近似推理杂志 2 实时系统 2 国际代数与计算杂志 2 MSCS公司。计算机科学中的数学结构 2 逻辑、语言与信息杂志 2 人工智能研究杂志 2 软计算 2 优化信函 1 模糊集与系统 1 国际博弈论杂志 1 最优化理论与应用杂志 1 海军研究后勤 1 SIAM计算机杂志 1 合成 1 理论种群生物学 1 系统和控制信件 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 机器学习 1 游戏与经济行为 1 计算统计学 1 国际计算机数学杂志 1 数学与应用杂志。Neuvième Série 1 美国国家科学院院刊 1 SIAM优化杂志 1 国际应用科学与工程分叉与混沌杂志 1 运筹学国际交易 1 欧洲控制杂志 1 运筹学的数学方法 1 计算机基础理论 1 国际博弈论综述 1 逻辑程序设计理论与实践 1 机器学习研究杂志（JMLR） 1 数学生物科学与工程 1 斯多葛学派 1 理论计算机科学的基础和发展趋势 1 动力学及相关模型 1 Vestnik Yuzhno-美国的kogo Gosudarstennogo大学。Seriya Matematicheskoe Modelirovanie i程序 1 算法 1 RAIRO公司。理论信息学及其应用 1 计算机科学评论 1 动力学与游戏杂志 全部的 前5名21个领域被引用 604 计算机科学（68至XX） 285 博弈论、经济学、金融和其他社会和行为科学（91-XX） 145 数学逻辑和基础（03-XX） 71 运筹学、数学规划（90-XX） 51 系统论；控制（93至XX） 31 概率论与随机过程（60-XX） 26 组合数学（05-XX） 20 生物学和其他自然科学（92-XX） 10 信息与通信理论、电路（94-XX） 三 结合环与代数（16-XX） 2 测量和集成（28-XX） 2 变分法与最优控制；最优化（49至XX） 1 总体主题；集合（00-XX） 1 阶、格、有序代数结构（06-XX） 1 交换代数（13-XX） 1 范畴理论；同调代数（18-XX） 1 群论与推广（20-XX） 1 偏微分方程（35-XX） 1 动力系统和遍历理论（37至XX） 1 统计学（62-XX） 1 数值分析（65-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.