×

找到44个文档（结果1-44）

最新的 引文 关联
克里希南德·查特吉；埃桑·卡夫什达尔·戈哈沙迪；诺沃顿，皮特；扎里沃基，基尼；Đikelić或

概率终止的词典学证明规则。 （英语） Zbl 1521.68034号

Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13047, 619-639 (2021).
MSC公司：68号30 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。13047、619--639（2021；Zbl 1521.68034）
全文： 内政部 arXiv公司
阿里·阿萨迪；克里希南德·查特吉；阿米尔·卡夫什达尔；基亚拉什·穆罕默德；安德烈亚斯·帕夫罗甘尼斯

小树宽MC和MDP定量分析的快速算法。 （英语） Zbl 1517.68263号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12302, 253-270 (2020).
MSC公司：87年第68季度 60J20型 68瓦40 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{A.Asadi}等人，Lect。注释计算。科学。12302253-270（2020年；Zbl 1517.68263）
全文： 内政部 arXiv公司
克里希南德·查特吉；Joost-Pieter卡托恩；马克西米利安·威宁格；托拜厄斯·温克勒

具有词典可达性-安全目标的随机博弈。 （英语） Zbl 1478.68151号

Lahiri，Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12225, 398-420 (2020).
MSC公司：60年第68季度 2017年第68季度 65年第68季度 68问题85 87年第68季度 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。12225398--420（2020年；Zbl 1478.68151）
全文： 内政部 arXiv公司
普拉纳夫·阿肖克；克里希南德·查特吉；简·Křetínsk；马克西米利安·威宁格；托拜厄斯·温克勒

广义可达随机对策的近似值。 （英语） 兹比尔1455.91035

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。102-115 (2020).
MSC公司：91A15型 68周25 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{P.Ashok}等人，《2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集》，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。102-115（2020；Zbl 1455.91035）
全文： 内政部 arXiv公司
托马斯·布拉兹迪尔；克里希南德·查特吉；安东·库切拉；诺沃顿，皮特；多米尼克·维兰

不确定性概率VASS的快速终止判定。 （英语） Zbl 1437.68127号

Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 462-478 (2019).
MSC公司：68问题85 68号30 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Brázdil}等人，Lect。注释计算。科学。11781、462--478（2019年；Zbl 1437.68127）
全文： 内政部 arXiv公司
克里希南德·查特吉；托马斯·亨辛格（Thomas A.Henzinger）。；奥托普，简

概率语义下的定量自动机。 （英语） Zbl 1442.68086号

日志。方法计算。科学。 15，第3号，第16号论文，45页（2019年）.
MSC公司：65年第68季度 03B25号 68问题55 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，日志。方法计算。科学。15，第3号，第16号论文，45页（2019年；Zbl 1442.68086）
全文： arXiv公司
塞巴斯蒂安·阿明；埃齐奥·巴托奇；克里希南德·查特吉；Joost-Pieter卡托恩；安娜·索科洛娃

通过POMDP实现pMDP的参数无关策略。 （英语） Zbl 1514.68190号

McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 53-70 (2018).
MSC公司：87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{S.Arming}等人，Lect。注释计算。科学。11024，53-70（2018；Zbl 1514.68190）
全文： 内政部 arXiv公司
普拉纳夫·阿肖克；克里希南德·查特吉；Daca，Przemysław公司；简·Křetínsk；托拜厄斯·梅根多夫

马尔可夫决策过程中长期平均报酬的值迭代。 （英语） Zbl 1494.68126号

Majumdar，Rupak（编辑）等人，《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。10426, 201-221 (2017).
MSC公司：65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{P.Ashok}等人，Lect。注释计算。科学。10426，201-221（2017；Zbl 1494.68126）
全文： 内政部 arXiv公司
克里希南德·查特吉；诺沃顿，皮特；Đikelić或

概率终止的随机不变量。 （英语） Zbl 1380.68114号

Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。145-160 (2017).
MSC公司：68号30 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，《第44届ACM SIGPLAN编程语言原理年度研讨会论文集》，POPL’17，法国巴黎，2017年1月15-21日。纽约州纽约市：计算机协会（ACM）。145-160（2017；Zbl 1380.68114）
全文： 内政部 arXiv公司
克里希南德·查特吉；祖扎纳Křetínská；简·Křetínsk

统一马尔可夫决策过程中对多个平均值目标的两种观点。 （英语） 兹比尔1448.68280

日志。方法计算。科学。 13，第2号，第15号论文，50页（2017年）.
MSC公司：68问题55 87年第68季度 90立方厘米 91个40个
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，日志。方法计算。科学。13，第2号，第15号论文，50页（2017；Zbl 1448.68280）
全文： 内政部
克里希南德·查特吉；劳伦特·多恩

具有广义平均值目标的完全信息随机对策。 （英语） Zbl 1401.68238号

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。247-256 (2016).
MSC公司：87年第68季度 2017年第68季度 60年第68季度 91A15型 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{L.Doyen}，摘自：2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。247-256（2016年；兹比尔1401.68238）
全文： 内政部 arXiv公司
克里希南德·查特吉；沃尔夫冈·德沃亚克；莫妮卡·亨津格；维罗尼卡·洛伊琴鲍尔

带条件下限的模型和目标分离：析取比合取更难。 （英语） Zbl 1401.68189号

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。197-206 (2016).
MSC公司：60年第68季度 05C85号 2017年第68季度 65年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，摘自：2016年第31届ACM/IEEE年度计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。197-206（2016；Zbl 1401.68189）
全文： 内政部 arXiv公司
克里希南德·查特吉；托马斯·亨辛格（Thomas A.Henzinger）。；奥托普，简

概率语义下的定量自动机。 （英语） Zbl 1401.68155号

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。76-85（2016年）。
MSC公司：65年第68季度 03B25号 68问题55 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，摘自：2016年第31届ACM/IEEE年度计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。76-85（2016；Zbl 1401.68155）
全文： 内政部 arXiv公司
克里希南德·查特吉；傅洪飞；诺沃顿，皮特；鲁兹贝哈希米内扎德

仿射概率程序定性和定量终止问题的算法分析。 （英语） Zbl 1347.68075号

Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。327-342 (2016).
MSC公司：68号30 2017年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，《第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集》，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。327--342（2016；Zbl 1347.68075）
全文： 内政部 arXiv公司
克里希南德·查特吉；马丁·奇梅利克；马修·特雷科尔

具有（ω）正则目标的部分可观测马尔可夫决策过程的可判定性。 （英语） Zbl 1338.68166号

J.计算。系统。科学。 82，No.5，878-911（2016）.
MSC公司：60年第68季度 2017年第68季度 65年第68季度 65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，J.Compute。系统。科学。82，No.5，878--911（2016；Zbl 1338.68166）
全文： 内政部 arXiv公司
克里希南德·查特吉；祖扎纳科马尔科娃；简·Křetínsk

统一马尔可夫决策过程中对多个平均值目标的两种观点。 （英语） Zbl 1401.68171号

2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年7月6日至10日，日本京都，LICS 2015。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4799-8875-4）。244-256 (2015).
MSC公司：68问题55 87年第68季度 90立方厘米 91个40个
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，in：2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年LICS，日本京都，2015年7月6日至10日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。244-256（2015年；兹bl 1401.68171）
全文： 内政部 arXiv公司
托马斯·布拉兹迪尔；克里希南德·查特吉；马丁·奇梅利克；安德烈亚斯·费尔纳；简·Křetínsk

通过学习马尔可夫决策过程中的小策略进行反例解释。 （英语） 兹比尔1381.68104

Kroening，Daniel（编辑）等人，《计算机辅助验证》。2015年7月18日至24日，第27届国际会议，CAV 2015，美国加利福尼亚州旧金山。诉讼程序。第一部分：查姆：施普林格（ISBN 978-3-319-21689-8/pbk；978-3-3169-21690-4/电子书）。计算机科学讲义9206158-177（2015）。
MSC公司：68问题32 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Brázdil}等人，Lect。注释计算。科学。9206158--177（2015年；Zbl 1381.68104）
全文： 内政部 arXiv公司
克里希南德·查特吉；劳伦特·多恩；莫舍·瓦尔迪。

概率成分合成的复杂性。 （英语） Zbl 1440.68045号

Halldórsson，Magnüs M.（编辑）等人，《自动化、语言和编程》。第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。9135, 108-120 (2015).
MSC公司：68号30 2017年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。9135108-120（2015；Zbl 1440.68045）
全文： 内政部 arXiv公司
托马斯·布拉兹迪尔；克里希南德·查特吉；马丁·奇梅利克；Forejt，Vojtěch公司；简·Křetínsk；玛尔塔·奎亚特科夫斯卡；大卫·帕克；马特乌斯·乌玛

使用学习算法验证马尔可夫决策过程。 （英语） Zbl 1448.68290号

Cassez，Franck（编辑）等人，《用于验证和分析的自动化技术》。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，第十二届国际研讨会，ATVA 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8837, 98-114 (2014).
MSC公司：60年第68季度 87年第68季度 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{T.Brázdil}等人，Lect。注释计算。科学。8837、98——114（2014年；Zbl 1448.68290）
全文： 内政部 arXiv公司
克里希南德·查特吉

部分观测随机可达性和奇偶对策。 （英语） Zbl 1425.68140号

Csuhaj-Varjü，Erzébet（编辑）等人，2014年计算机科学数学基础。2014年8月25-29日在匈牙利布达佩斯举行的2014年MFCS第39届国际研讨会。会议记录，第一部分，柏林：施普林格。莱克特。注释计算。科学。8634, 1-4 (2014).
MSC公司：65年第68季度 87年第68季度 91A15型 91A43型 68-02 91-02
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}，莱克特。注释计算。科学。8634，1--4（2014；Zbl 1425.68140）
全文： 内政部
克里希南德·查特吉；莫妮卡·亨津格；塞巴斯蒂安·克林格；维罗尼卡·洛伊琴鲍尔；迈克尔·拉斯金（Michael A.Raskin）。

近似最小周期平均值。 （英语） Zbl 1417.68284号

西奥。计算。科学。 547, 104-116 (2014).
MSC公司：68周25 05C22号 05元50分 05C85号 68瓦40 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Theor。计算。科学。547104-116（2014；Zbl 1417.68284）
全文： 内政部 arXiv公司
克里希南德·查特吉；劳伦特·多恩；雨果·金伯特；尤索夫·乌阿尔哈德

完美信息随机平均平价游戏。 （英语） Zbl 1405.68225号

Muscholl，Anca（编辑），《软件科学和计算结构基础》。第17届国际会议，FOSSACS 2014，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2014，法国格勒诺布尔，2014年4月5日至13日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54829-1/pbk）。计算机科学课堂讲稿841210-225（2014）。
MSC公司：87年第68季度 65年第68季度 91A15型 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。8412、210-225（2014年；Zbl 1405.68225）
全文： 内政部
托马斯·布拉兹迪尔；克里希南德·查特吉；Forejt，Vojtěch公司；安东·库切拉

马尔可夫决策过程稳定性的交易性能。 （英语） Zbl 1366.68087号

2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-5020-6）。331-340 (2013).
MSC公司：65年第68季度 87年第68季度 90立方厘米 93亿B50
PDF格式BibTeX公司 XML格式引用
\textit{T.Brázdil}et al.，in：2013年第28届ACM/IEEE年度计算机科学逻辑研讨会论文集，2013年LICS，美国路易斯安那州新奥尔良市杜兰大学，2013年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。331-340（2013年；Zbl 1366.68087）
全文： 内政部
克里希南德·查特吉；马丁·奇梅利克；马修·特雷科尔

具有欧米伽规则目标的部分可观测马尔可夫决策过程的可判定性。 （英语） Zbl 1356.68142号

Ronchi della Rocca，Simona（编辑），计算机科学逻辑2013。2013年9月2日至5日，意大利都灵，欧洲计算机科学逻辑协会（EACSL）第27届CSL研讨会和第22届年会论文选集。瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-939897-60-6）。LIPIcs–莱布尼茨国际信息学论文集23，165-180（2013）。
MSC公司：60年第68季度 2017年第68季度 65年第68季度 65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，LIPIcs——莱布尼茨国际会议记录。通知。23、165-180（2013；Zbl 1356.68142）
全文： 内政部
克里希南德·查特吉；莫妮卡·亨津格；玛纳斯·乔格勒卡尔；尼萨尔·沙阿

具有Büchi目标的马尔可夫决策过程定性分析的符号算法。 （英语） Zbl 1291.68251号

形式方法系统。设计。 42，第3期，301-327（2013）.
MSC公司：60年第68季度 87年第68季度 68瓦30 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，《形式方法系统》。设计。42，第3号，301-327（2013；Zbl 1291.68251）
全文： 内政部 arXiv公司
克里希南德·查特吉；Forejt，Vojtěch公司；多米尼克·沃伊特扎克

图和MDP中的多目标折扣奖励验证。 （英语） Zbl 1406.68051号

McMillan，Ken（编辑）等人，《编程逻辑、人工智能和推理》。第19届国际会议，LPAR-19，南非斯特伦博什，2013年12月14-19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-45220-8/pbk）。计算机科学课堂讲稿8312，228-242（2013）。
MSC公司：60年第68季度 65年第68季度 87年第68季度 90C29型 90立方厘米 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。8312、228--242（2013；Zbl 1406.68051）
全文： 内政部
克里希南德·查特吉；马修·特雷科尔

无限单词上概率自动机的可判定问题。 （英语） Zbl 1360.68546号

2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯阿拉米托斯：IEEE计算机协会（ISBN 978-0-7695-4769-5）。185-194 (2012).
MSC公司：65年第68季度 2017年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{M.Tracol}，摘自：2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。185-194（2012年；Zbl 1360.68546）
全文： 内政部 arXiv公司
克里希南德·查特吉；玛纳斯·乔格勒卡尔；尼萨尔·沙阿

具有Büchi目标的Markov决策过程经典算法的平均案例分析。 （英语） Zbl 1354.68112号

D’Souza，Deepak（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2012）。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-47-7）。LIPIcs–莱布尼茨国际信息学论文集18，461-473（2012）。
MSC公司：65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，LIPIcs——莱布尼茨国际会议记录。通知。18、461--473（2012年；Zbl 1354.68112）
全文： 内政部 arXiv公司
克里希南德·查特吉；莫妮卡·亨津格

概率验证中最大终成分分解和相关图问题的快速动态算法。 （英语） Zbl 1374.68272号

Randall，Dana（编辑），第22届ACM-SIAM离散算法年度研讨会论文集，2011年SODA，美国加利福尼亚州旧金山，2011年1月23日至25日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。1318-1336 (2011).
MSC公司：60年第68季度 05立方厘米70 05C85号 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{M.Henzinger}，in：第22届年度ACM-SIAM离散算法研讨会论文集，2011年SODA，美国加利福尼亚州旧金山，2011年1月23日至25日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。1318--1336（2011年；Zbl 1374.68272）
全文： 链接
克里希南德·查特吉；劳伦特·多恩；托马斯·亨辛格（Thomas A.Henzinger）。

部分可观测马尔可夫决策过程的定性分析。 （英语） 兹比尔1287.68104

HlinŞný，Petr（编辑）等人，2010年计算机科学数学基础。2010年8月23日至27日，第35届国际研讨会，MFCS 2010，捷克共和国布尔诺。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15154-5/pbk）。计算机科学课堂讲稿6281258-269（2010）。
MSC公司：60年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。6281258--269（2010年；Zbl 1287.68104）
全文： 内政部 arXiv公司
克里希南德·查特吉；劳伦特·多恩；雨果·金伯特；托马斯·亨辛格（Thomas A.Henzinger）。

免费的随机性。 （英语） Zbl 1287.91027号

HlinŞný，Petr（编辑）等人，2010年计算机科学数学基础。2010年8月23日至27日，第35届国际研讨会，MFCS 2010，捷克共和国布尔诺。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15154-5/pbk）。计算机科学课堂讲稿6281246-257（2010）。
MSC公司：91A43型 91A05型 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。6281246--257（2010年；Zbl 1287.91027）
全文： 内政部 arXiv公司
克里希南德·查特吉；托马斯·亨辛格（Thomas A.Henzinger）。

具有limsup和liminf目标的概率系统。 （英语） Zbl 1258.68099号

Archibald，Margaret（编辑）等人，《逻辑与计算中的无限》。2007年11月3日至5日在南非开普敦举行的2007年国际劳工大会国际会议。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03091-8/pbk）。计算机科学课堂讲稿5489。《人工智能讲义》，32-45（2009）。
MSC公司：87年第68季度 65年第68季度 91A15型 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{T.A.Henzinger}，莱克特。注释计算。科学。5489，32-45（2009年；Zbl 1258.68099）
全文： 内政部 arXiv公司
克里希南德·查特吉；劳伦特·多恩；托马斯·亨辛格（Thomas A.Henzinger）。

概率加权自动机。 （英语） Zbl 1254.68133号

Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710，244-258（2009）。
MSC公司：65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。5710244--258（2009年；Zbl 1254.68133）
全文： 内政部 arXiv公司
克里希南德·查特吉；卢卡·德·阿尔法罗；鲁帕克·马朱姆达尔；维什瓦纳斯·拉曼

游戏度量的算法。 （英语） Zbl 1248.68349号

Hariharan，Ramesh（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2008），2008年12月9日至11日，印度班加罗尔。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-08-8）。LIPIcs–莱布尼茨国际信息学论文集2，107-118，仅电子版（2008年）。
MSC公司：68问题85 87年第68季度 65年第68季度 91A15型 90C05（二氧化碳）
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，LIPIcs——莱布尼茨国际会议记录。通知。2107--118（2008；Zbl 1248.68349）
全文： 内政部 链接
Jean-Francois拉斯金；克里希南德·查特吉；劳伦特·多恩；托马斯·亨辛格（Thomas A.Henzinger）。

不完全信息下欧米伽规则博弈的算法。 （英语） Zbl 1125.91028号

日志。方法计算。科学。 3，第3号，论文4，23页（2007年）.
MSC公司：91A90 91A05型 91A43型 60年第68季度 93亿B50
PDF格式BibTeX公司 XML格式引用
\textit{J.-F.Raskin}等人，日志。方法计算。科学。3，第3号，论文4，23页（2007年；Zbl 1125.91028）
全文： 内政部
克里希南德·查特吉

随机Müller对策中的最优策略综合。 （英语） Zbl 1195.68065号

塞德尔，赫尔穆特（编辑），软件科学和计算结构基础。2007年3月24日至4月1日在葡萄牙布拉加举行的第十届国际会议FOSSACS 2007，该会议是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71388-3/pbk）。计算机科学课堂讲稿4423138-152（2007）。
MSC公司：60年第68季度 05第57页 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}，莱克特。注释计算。科学。4423，138--152（2007；Zbl 1195.68065）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件