×

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

最新的 引文 关联
克里希南德·查特吉;阿米尔·卡夫什达尔·戈哈沙迪;托拜厄斯·梅根多夫;Đikelić或

可靠完整的概率程序定量终止分析证书。 （英语） Zbl 1514.68027号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371，55-78（2022）。
MSC公司：68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，Lect。注释计算。科学。13371，55-78（2022；Zbl 1514.68027）
全文： 内政部
克里希南德·查特吉;拉斯穆斯·易卜森·延森;安德烈亚斯·帕夫罗甘尼斯

小树宽产品图的定量验证。 （英语） Zbl 07799620号

Bojañczyk，Mikołaj（编辑）等人，第41届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2021，虚拟会议，2021年12月15日至17日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。213，第42条，第23页（2021年）。
MSC公司：68号30 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。213，第42条，第23页（2021；兹bl 07799620）
全文： 内政部
克里希南德·查特吉;戈哈尔沙迪，埃桑·卡夫什达尔;诺沃顿，皮特;扎里沃基，基尼;Đikelić或

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

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

读-值-自等价下的无状态模型检查。 （英语） Zbl 1493.68200号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759341-366（2021年）。
MSC公司：60年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Agarwal}等人，Lect。注释计算。科学。12759、341--366（2021年；Zbl 1493.68200）
全文： 内政部 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 第68季度87 91A15型
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，Lect。注释计算。科学。12225398--420（2020年；Zbl 1478.68151）
全文： 内政部 arXiv公司
托马斯·布拉兹迪尔;克里希南德·查特吉;安东·库切拉;诺沃顿，皮特;多米尼克·维兰

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

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

非确定性概率程序的终止。 （英语） Zbl 1522.68152号

Enea，Constantin（编辑）等人，《验证、模型检查和抽象解释》。2019年1月13日至15日在葡萄牙卡斯凯斯举行的第20届国际会议，VMCAI 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11388, 468-490 (2019).
MSC公司：68号30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{H.Fu}和\textit{K.Chatterjee}，莱克特。注释计算。科学。11388、468--490（2019年；Zbl 1522.68152）
全文： 内政部
克里希南德·查特吉;莫妮卡·亨津格;维罗尼卡·洛伊琴鲍尔;Oraee、Simin公司;维克多·托曼

具有公平目标的图和马尔可夫决策过程的符号算法。 （英语） Zbl 1511.68150号

Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第二部分。查姆：斯普林格公开赛。莱克特。注释计算。科学。10982, 178-197 (2018).
MSC公司：60年第68季度 68周05 68瓦40 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，Lect。注释计算。科学。10982、178--197（2018年；Zbl 1511.68150）
全文： 内政部 arXiv公司
克里希南德·查特吉;沃尔夫冈·德沃亚克;莫妮卡·亨津格;亚历山大·斯沃齐尔

奇偶对策的基于拟多项式集的符号算法。 （英语） Zbl 1415.68142号

Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 233-253 (2018).
MSC公司：60年第68季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，EPiC Ser。计算。57233-253（2018年；兹比尔1415.68142）
全文： 内政部 arXiv公司
罗德里克·布洛姆;克里希南德·查特吉;芭芭拉·乔布斯曼

图形游戏和反应合成。 （英语） Zbl 1392.68233号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。921-962 (2018).
MSC公司：60年第68季度 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，in：模型检查手册。查姆：斯普林格。921-962（2018；Zbl 1392.68233）
全文： 内政部
克里希南德·查特吉;傅洪飞;阿米尔·卡夫什达尔·戈哈沙迪

递归程序的非多项式最坏情况分析。 （英语） Zbl 1494.68053号

Majumdar，Rupak（编辑）等人，《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10427, 41-63 (2017).
MSC公司：68号30 65年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，Lect。注释计算。科学。10427，41-63（2017；Zbl 1494.68053）
全文： 内政部 arXiv公司
克里希南德·查特吉;沃尔夫冈·德沃亚克;莫妮卡·亨津格;维罗尼卡·洛伊琴鲍尔

改进的基于集合的奇偶博弈符号算法。 （英语） Zbl 1436.68194号

Goranko，Valentin（编辑）等人，第26届EACSL计算机科学逻辑年会，CSL 2017，瑞典斯德哥尔摩，2017年8月20日至24日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。82，第18条，第21页（2017年）。
MSC公司：60年第68季度 68瓦30 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。82，第18条，第21页（2017；Zbl 1436.68194）
全文： 内政部 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季度 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，《第44届ACM SIGPLAN编程语言原理年度研讨会论文集》，POPL’17，法国巴黎，2017年1月15-21日。纽约州纽约市：计算机协会（ACM）。145-160（2017年；兹bl 1380.68114）
全文： 内政部 arXiv公司
克里希南德·查特吉;莫尼卡·亨辛格;维罗尼卡·洛伊琴鲍尔

改进了奇偶性和Streett目标的算法。 （英语） Zbl 1459.68117号

日志。方法计算。科学。 13，第3号，第26号论文，27页（2017年）.
MSC公司：60年第68季度 65年第68季度 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，日志。方法计算。科学。13，第3号，第26号论文，27页（2017；Zbl 1459.68117）
全文： 内政部 arXiv公司
克里希南德·查特吉;伯恩哈德·克拉格尔;萨马拉·米什拉;安德烈亚斯·帕夫罗甘尼斯

加权递归状态机的更快算法。 （英语） Zbl 1485.68057号

Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日，作为欧洲软件理论和实践联席会议的一部分，在瑞典乌普萨拉举行的第26届欧洲编程研讨会，ESOP 2017。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。10201, 287-313 (2017).
MSC公司：68号30 65年第68季度 第68季度第70季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，Lect。注释计算。科学。102018287-313（2017年；兹比尔1485.68057）
全文： 内政部 arXiv公司
克里希南德·查特吉;傅洪飞;阿米尔·卡夫什达尔·戈哈沙迪

通过Positivestellensatz的概率程序终止分析。 （英语） Zbl 1411.68025号

Chaudhuri，Swarat（编辑）等人，《计算机辅助验证》。2016年7月17日至23日在加拿大安大略省多伦多举行的2016年CAV第28届国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。9779, 3-22 (2016).
MSC公司：68号30 60G42型
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，Lect。注释计算。科学。9779，3--22（2016；Zbl 1411.68025）
全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格。;奥托普，简

定量监控自动机。 （英语） Zbl 1394.68207号

对手，Xavier（编辑），静态分析。2016年9月8日至10日在英国爱丁堡举行的第23届SAS国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-53412-0/pbk；978-3-662-53413-7/ebook）。计算机科学讲座笔记9837，23-38（2016）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，Lect。注释计算。科学。9837，23-38（2016；Zbl 1394.68207）
全文： 内政部
克里希南德·查特吉;劳伦特·多恩

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

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。247-256 (2016).
MSC公司：第68季度87 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；Zbl 1401.68238）
全文： 内政部 arXiv公司
克里希南德·查特吉;沃尔夫冈·德沃亚克;莫妮卡·亨津格;维罗尼卡·洛伊琴鲍尔

带条件下限的模型和目标分离：析取比合取更难。 （英语） 兹比尔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季度 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，摘自：2016年第31届ACM/IEEE年度计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。197-206（2016；Zbl 1401.68189）
全文： 内政部 arXiv公司
克里希南德·查特吉;劳伦特·多恩

同步属性的计算树逻辑。 （英语） Zbl 1388.68184号

Chatzigiannakis，Ioannis（编辑）等人，第43届自动化、语言和编程国际学术讨论会，2016年ICALP，意大利罗马，2016年7月12-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-013-2）。LIPIcs–莱布尼茨国际信息学论文集55，第98条，第14页（2016）。
MSC公司：60年第68季度 03B25号 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{L.Doyen}，LIPIcs——莱布尼茨国际程序。通知。55，第98条，第14页（2016年；Zbl 1388.68184）
全文： 内政部 arXiv公司
克里希南德·查特吉;阿米尔·卡夫什达尔·戈哈沙迪;拉斯穆斯·易卜森·延森;安德烈亚斯·帕夫罗甘尼斯

恒定树宽组件并发系统中代数路径属性的算法。 （英语） Zbl 1347.68260号

Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。733-747 (2016).
MSC公司：68问题85 05C85号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，《第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集》，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。733--747（2016；Zbl 1347.68260）
全文： 内政部 arXiv公司
克里希南德·查特吉;傅洪飞;诺沃顿，皮特;鲁兹贝·哈什米尼扎德

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

Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。327-342（2016年）。
MSC公司：68号30 2017年第68季度 65年第68季度 第68季度87
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季度 第68季度87 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，J.Compute。系统。科学。82，No.5，878--911（2016；Zbl 1338.68166）
全文： 内政部 arXiv公司
罗德里克·布洛姆;克里希南德·查特吉;瑞典雅各布斯;罗伯特·Könighfer

假设具有部分信息的并发反应式程序的保证综合。 （英语） Zbl 1420.68064号

Baier，Christel（编辑）等人，《系统构建和分析的工具和算法》。第21届国际会议，TACAS 2015，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11日至18日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。9035, 517-532 (2015).
MSC公司：68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛R.Bloem｝等人，Lect。注释计算。科学。9035，517--532（2015；Zbl 1420.68064）
全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格。;奥托普，简

嵌套加权自动机。 （英语） Zbl 1401.68154号

2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年7月6日至10日，日本京都，LICS 2015。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4799-8875-4）。725-737 (2015).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，in：2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年LICS，日本京都，2015年7月6日至10日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。725--737（2015；Zbl 1401.68154）
全文： 内政部 arXiv公司
克里希南德·查特吉;莫妮卡·亨津格;维罗尼卡·洛伊琴鲍尔

改进了单对和（k）对Streett目标的算法。 （英语） Zbl 1401.68190号

2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年7月6日至10日，日本京都，LICS 2015。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4799-8875-4）。269-280 (2015).
MSC公司：60年第68季度 65年第68季度 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，in：2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年LICS，日本京都，2015年7月6日至10日。加利福尼亚州洛斯阿拉米托斯：IEEE计算机协会。269--280（2015；Zbl 1401.68190）
全文： 内政部
克里希南德·查特吉;拉斯穆斯·易卜森·延森;安德烈亚斯·帕夫罗甘尼斯

恒定树宽图中定量验证的快速算法。 （英语） Zbl 1381.68150号

Kroening，Daniel（编辑）等人，《计算机辅助验证》。2015年7月18日至24日，第27届国际会议，CAV 2015，美国加利福尼亚州旧金山。诉讼程序。第一部分：查姆：施普林格（ISBN 978-3-319-21689-8/pbk；978-3-3169-21690-4/电子书）。计算机科学讲义9206140-157（2015）。
MSC公司：60年第68季度 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，Lect。注释计算。科学。9206140-157（2015年；Zbl 1381.68150）
全文： 内政部 arXiv公司 链接
马里亚·斯沃雷奥娃;简·Křetínsk \345];马丁·奇梅利克;克里希南德·查特吉;伊万娜·乔纳;卡林·贝尔塔

随机线性系统的时间逻辑控制，使用概率博弈的抽象精化。 （英语） 兹比尔1364.93751

第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3433-4）。259-268 (2015).
MSC公司：93E03型 93C55美元 93二氧化碳 60年第68季度 91A15型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Svoreňová}等人，in：第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）。259--268（2015年；Zbl 1364.93751）
全文： 内政部 链接
马里亚·斯沃雷奥娃;马丁·奇梅利克;莱希、凯文;哈桑·费里特·恩塞尔;克里希南德·查特吉;伊万娜·乔纳;卡林·贝尔塔

使用具有奇偶目标的POMDP进行时序逻辑运动规划（案例研究论文）。 （英语） Zbl 1364.93521号

第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3433-4）。233-238 (2015).
MSC公司：93C85号 60年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{M.Svoreňová}等人，in：第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）。233——238（2015；Zbl 1364.93521）
全文： 内政部
克里希南德·查特吉;安德烈亚斯·帕夫罗甘尼斯;纱线维纳

定量程序间分析。 （英语） Zbl 1345.68098号

第42届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。539-551 (2015).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，in：第42届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。539——551（2015年；兹比尔1345.68098）
全文： 内政部
克里希南德·查特吉;劳伦特·多恩;莫舍·瓦尔迪。

概率成分合成的复杂性。 （英语） 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季度 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，Lect。注释计算。科学。9135108-120（2015；Zbl 1440.68045）
全文： 内政部 arXiv公司
托马斯·布拉兹迪尔;克里希南德·查特吉;马丁·奇梅利克;Forejt，Vojtěch公司;简·Křetínsk \345];玛尔塔·奎亚特科夫斯卡;大卫·帕克;马特乌斯·乌玛

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

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

欧米茄规则游戏的末日平衡。 （英语） 兹比尔1428.68181

McMillan，Kenneth L.（编辑）等人，《验证、模型检查和抽象解释》。2014年1月19日至21日，第15届国际会议，VMCAI 2014，美国加利福尼亚州圣地亚哥。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。8318，78-97（2014年）。
MSC公司：60年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，Lect。注释计算。科学。8318，78-97（2014年；Zbl 1428.68181）
全文： 内政部 arXiv公司
克里希南德·查特吉;劳伦特·多恩

与弱小对手的比赛。 （英语） Zbl 1409.68169号

Esparza，Javier（编辑）等人，《自动化、语言和编程》。2014年7月8日至11日，第41届国际学术讨论会，ICALP 2014，丹麦哥本哈根。诉讼，第二部分。柏林：施普林格。莱克特。注释计算。科学。8573, 110-121 (2014).
MSC公司：60年第68季度 65年第68季度 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{L.Doyen}，莱克特。注释计算。科学。8573、110-121（2014；Zbl 1409.68169）
全文： 内政部 arXiv公司
托马斯·布拉兹迪尔;瓦茨拉夫·布罗泽克;克里希南德·查特吉;Forejt，Vojtěch公司;安东·库切拉

具有多个长期平均目标的马尔可夫决策过程。 （英语） Zbl 1326.90101号

日志。方法计算。科学。 10，第1号，第13号论文，29页（2014）.
MSC公司：90立方厘米 60年第68季度 90C29型
PDF格式BibTeX公司 XML格式引用
\textit{T.Brázdil}等人，日志。方法计算。科学。10，第1号，第13号论文，29页（2014；Zbl 1326.90101）
全文： 内政部
克里希南德·查特吉;马丁·奇梅利克;马修·特雷科尔

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

Ronchi della Rocca，Simona（编辑），计算机科学逻辑2013。2013年9月2日至5日，意大利都灵，第27届CSL研讨会和欧洲计算机科学逻辑协会（EACSL）第22届年会论文集。瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-939897-60-6）。LIPIcs–莱布尼茨国际信息学论文集23，165-180（2013）。
MSC公司：60年第68季度 2017年第68季度 65年第68季度 65年第68季度 第68季度87 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季度 第68季度87 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季度 第68季度87 90C29型 90立方厘米 91A15型
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，Lect。注释计算。科学。8312、228--242（2013；Zbl 1406.68051）
全文： 内政部
克里希南德·查特吉;纱线维纳

平均收益下推游戏。 （英语） Zbl 1361.68137号

2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。195-204 (2012).
MSC公司：60年第68季度 68号30 65年第68季度 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{Y.Velner}，摘自：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。195-204（2012；Zbl 1361.68137）
全文： 内政部
克里希南德·查特吉;西德赫什·乔巴尔;普里蒂什·卡马特

交替细化关系的更快算法。 （英语） Zbl 1252.68202号

Cégielski，Patrick（编辑）等人，《计算机科学逻辑》（CSL’12）。2012年9月3日至6日，在法国枫丹白露举行的第21届EACSL年会第26届国际研讨会。根据会议上的陈述选择论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-42-2）。LIPIcs–莱布尼茨国际信息学会议录16，167-182，仅电子版（2012年）。
MSC公司：68问题85 60年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。16、167--182（2012；Zbl 1252.68202）
全文： 内政部 arXiv公司
克里希南德·查特吉;莫尼卡·亨辛格

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

Randall，Dana（编辑），第22届ACM-SIAM离散算法年度研讨会论文集，2011年SODA，美国加利福尼亚州旧金山，2011年1月23日至25日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。1318-1336 (2011).
MSC公司：60年第68季度 05C70号 05C85号 65年第68季度 第68季度87
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）
全文： 链接
克里希南德·查特吉;Vinayak S.普拉布。

为实现安全目标，综合使用内存高效的“实时”控制器。 （英语） 兹比尔1361.68164

2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。221-230 (2011).
MSC公司：68问题85 60年第68季度 91A05型 91A80型 93亿B50
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{V.S.Prabhu}，in：第14届ACM混合系统国际会议论文集：计算和控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。221--230（2011年；Zbl 1361.68164）
全文： 内政部
克里希南德·查特吉;卢卡·德·阿尔法罗;托马斯·亨辛格。

定性并行平价游戏。 （英语） Zbl 1351.68179号

ACM事务处理。计算。日志。 第12号第4条第28条第51页（2011年）.
MSC公司：68问题85 03B44号 65年第68季度 60年第68季度 91A05型 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，《美国医学杂志》。计算。日志。12，第4号，第28条，第51页（2011年；兹bl 1351.68179）
全文： 内政部
克里希南德·查特吉;托马斯·亨辛格。;芭芭拉·乔布斯曼;罗希特·辛格

QUASY：定量合成工具。 （英语） Zbl 1316.68071号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605267-271（2011）。
MSC公司：60年第68季度 90立方厘米 91-04年 91A05型
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，Lect。注释计算。科学。6605267--271（2011；Zbl 1316.68071）
全文： 内政部
克里希南德·查特吉;劳伦特·多恩

能源平价游戏。 （英语） Zbl 1288.68160号

Abramsky，Samson（编辑）等人，自动机，语言和编程。第37届国际学术讨论会，ICALP 2010，波尔多，法国，2010年7月6日至10日。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-14161-4/pbk）。计算机科学课堂讲稿6199599-610（2010）。
MSC公司：60年第68季度 65年第68季度 91A05型 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{L.Doyen}，莱克特。注释计算。科学。6199，599--610（2010；Zbl 1288.68160）
全文： 内政部
克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格。

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

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

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

Hliněn଑，Petr（ed.）等人，《2010年计算机科学的数学基础》。2010年8月23日至27日，第35届国际研讨会，MFCS 2010，捷克共和国布尔诺。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15154-5/pbk）。《计算机科学讲义》6281246-257（2010）。
MSC公司：91A43型 91A05型 60年第68季度 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，Lect。注释计算。科学。6281246--257（2010年；Zbl 1287.91027）
全文： 内政部 arXiv公司
克里希南德·查特吉;霍恩，弗洛里安;克里斯托夫·Löding

义务游戏。 （英语） Zbl 1287.68105号

Gastin，Paul（编辑）等人，CONCUR 2010–并发理论。第21届国际会议，CONCUR 2010，法国巴黎，2010年8月31日至9月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15374-7/pbk）。计算机科学课堂讲稿6269284-296（2010）。
MSC公司：60年第68季度 65年第68季度 91A05型 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，Lect。注释计算。科学。6269、284--296（2010年；Zbl 1287.68105）
全文： 内政部
克里希南德·查特吉;托马斯·亨辛格。;霍恩，弗洛里安

目标有限的随机博弈。 （英语） Zbl 1250.68185号

Králović，Rastislav（编辑）等人，《2009年计算机科学的数学基础》。2009年8月24-28日，斯洛伐克High Tatras，Novy Smokovec，第34届国际研讨会，MFCS 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03815-0/pbk）。计算机科学课堂讲稿5734，34-54（2009）。
MSC公司：60年第68季度 65年第68季度 91A15型
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，Lect。注释计算。科学。5734、34-54（2009年；Zbl 1250.68185）
全文： 内政部
罗德里克·布洛姆;克里希南德·查特吉;托马斯·亨辛格。;芭芭拉·乔布斯曼

通过量化目标提高合成质量。 （英语） Zbl 1242.68151号

Bouajjani，Ahmed（编辑）等人，《计算机辅助验证》。2009年6月26日至7月2日在法国格勒诺布尔举行的第21届CAV 2009国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02657-7/pbk）。计算机科学讲座笔记5643140-156（2009）。
MSC公司：60年第68季度 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，Lect。注释计算。科学。5643、140-156（2009年；Zbl 1242.68151）
全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格。;芭芭拉·乔布斯曼

合成的环境假设。 （英语） Zbl 1160.68437号

van Breugel，Franck（编辑）等人，CONCUR 2008–并发理论。第19届国际会议，CONCUR 2008，加拿大多伦多，2008年8月19-22日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85360-2/pbk）。《计算机科学讲义》5201147-161（2008）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，Lect。注释计算。科学。5201、147--161（2008年；Zbl 1160.68437）
全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格。

价值迭代。 （英语） Zbl 1143.68042号

Grumberg，Orna（编辑）等人，25年的模型检查。历史、成就、观点。柏林：施普林格出版社（ISBN 978-3-540-69849-4/pbk）。计算机科学讲义5000，107-138（2008）。
MSC公司：60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝和\textit｛T.A.Henzinger｝，Lect。注释计算。科学。5000、107——138（2008；Zbl 1143.68042）
全文： 内政部
克里希南德·查特吉;塞·库什克;托马斯·亨辛格。

模型检验\（\omega\）-区间Markov链的正则性质。 （英语） Zbl 1138.68441号

Amadio，Roberto（编辑），《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008，该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78497-5/pbk）。计算机科学课堂讲稿4962302-317（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，Lect。注释计算。科学。4962、302-317（2008年；Zbl 1138.68441）
全文： 内政部
克里希南德·查特吉

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

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

假设-保证合成。 （英语） Zbl 1186.68284号

Grumberg，Orna（编辑）等人，《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007，是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71208-4/pbk）。计算机科学课堂讲稿4424261-275（2007）。
MSC公司：60年第68季度 68问题85 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{T.A.Henzinger}，莱克特。注释计算。科学。44242261-275（2007年；兹比尔1186.68284）
全文： 内政部
克里希南德·查特吉;卢卡·德·阿尔法罗;托马斯·亨辛格。

数量并发平价游戏的复杂性。 （英语） Zbl 1192.68430号

第十七届ACM-SIAM离散算法年会论文集，佛罗里达州迈阿密，2006年1月22日至24日。纽约州纽约市：计算机协会（ACM）；宾夕法尼亚州费城：工业和应用数学学会（SIAM）（ISBN 0-89871-605-5）。678-687 (2006).
MSC公司：60年第68季度 05年3月 65年第68季度 91A05型 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，in：第十七届ACM-SIAM离散算法年度研讨会论文集，SODA 2006，佛罗里达州迈阿密，2006年1月22日至24日。纽约州纽约市：计算机协会（ACM）；宾夕法尼亚州费城：工业和应用数学学会（SIAM）。678--687（2006年；Zbl 1192.68430）
全文： 内政部
克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格。;Jean-François拉斯金

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

埃西克，佐尔坦（编辑），《计算机科学逻辑》。2006年9月25日至29日在匈牙利塞格德举行的第20届CSL国际研讨会，第15届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-45458-8/pbk）。计算机科学课堂讲稿4207，287-302（2006）。
MSC公司：91A43型 60年第68季度 91A05型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，Lect。注释计算。科学。4207，287--302（2006；Zbl 1225.91012）
全文： 内政部
克里希南德·查特吉

向上闭合目标的纳什均衡。 （英语） Zbl 1225.91009号

埃西克，佐尔坦（编辑），《计算机科学逻辑》。2006年9月25日至29日在匈牙利塞格德举行的第20届CSL国际研讨会，第15届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-45458-8/pbk）。计算机科学课堂讲稿4207，271-286（2006）。
MSC公司：91A15型 65年第68季度 60年第68季度 91A10号 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\发短信{K.Chatterjee}，Lect。注释计算。科学。4207、271--286（2006；Zbl 1225.91009）
全文： 内政部
克里希南德·查特吉

带有尾部目标的并发游戏。 （英语） Zbl 1225.91008号

埃西克，佐尔坦（编辑），《计算机科学逻辑》。2006年9月25日至29日在匈牙利塞格德举行的第20届CSL国际研讨会，第15届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-45458-8/pbk）。计算机科学课堂讲稿4207，256-270（2006）。
MSC公司：91A15型 60年第68季度 91A10号 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}，莱克特。注释计算。科学。4207256-270（2006年；Zbl 1225.91008）
全文： 内政部
克里希南德·查特吉;托马斯·亨辛格。

随机拉宾和斯特雷特博弈的策略改进。 （英语） Zbl 1151.68474号

Baier，Christel（编辑）等人，CONCUR 2006–并发理论。第17届国际会议，CONCUR 2006，德国波恩，2006年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37376-6/pbk）。计算机科学讲义4137，375-389（2006）。
MSC公司：60年第68季度 65年第68季度 68问题85 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{T.A.Henzinger}，莱克特。注释计算。科学。41375--389（2006年；Zbl 1151.68474）
全文： 内政部
克里希南德·查特吉;托马斯·亨辛格。

在常规比赛中赢得财政胜利。 （英语） Zbl 1180.68171号

Hermanns，Holger（编辑）等人，《系统构建和分析的工具和算法》。2006年3月25日至4月2日在奥地利维也纳举行的第12届国际会议TACAS 2006，是欧洲软件理论与实践联合会议ETAPS 2006的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33056-9/pbk）。计算机科学课堂讲稿3920，257-271（2006）。
MSC公司：60年第68季度 68问题85 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{T.A.Henzinger}，莱克特。注释计算。科学。3920、257--271（2006年；Zbl 1180.68171）
全文： 内政部
克里希南德·查特吉;托马斯·亨辛格。

半完美信息游戏。 （英语） Zbl 1172.68540号

Ramanujam，R.（ed.）等人，FSTTCS 2005：软件技术和理论计算机科学基础。第25届国际会议，印度海得拉巴，2005年12月15日至18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30495-9/pbk）。计算机科学课堂讲稿3821,1-18（2005）。
MSC公司：60年第68季度 68问题85 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{T.A.Henzinger}，莱克特。注释计算。科学。3821，1-18（2005；Zbl 1172.68540）
全文： 内政部
克里希南德·查特吉;托马斯·亨辛格。;马尔钦·尤季扬斯基

具有安全平衡的游戏。 （英语） Zbl 1143.68447号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2004年11月2日至5日，第三届国际研讨会，FMCO，荷兰莱顿。修订的讲座。柏林：施普林格出版社（ISBN 3-540-29131-8/pbk）。计算机科学课堂讲稿3657141-161（2005）。
MSC公司：60年第68季度 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，Lect。注释计算。科学。3657，141--161（2005；Zbl 1143.68447）
全文： 内政部
查克拉巴蒂，阿林达姆;克里希南德·查特吉;托马斯·亨辛格。;奥尔纳·库普弗曼;鲁帕克·马朱姆达尔

使用绑定函数验证定量属性。 （英语） Zbl 1159.68313号

Borrione，Dominique（编辑）等人，《正确的硬件设计和验证方法》。第13届IFIP WG 10.5高级研究工作会议，CHARME 2005，德国萨尔布吕肯，2005年10月3日至6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29105-9/pbk）。计算机科学讲义3725，50-64（2005）。
MSC公司：2007年7月68日 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Chakrabarti}等人，Lect。注释计算。科学。3725、50-64（2005年；Zbl 1159.68313）
全文： 内政部
克里希南德·查特吉;帕拉布·达斯古普塔;查克拉巴蒂，P.P。

简单结构上计算树逻辑的合成模型检查的复杂性。 （英语） Zbl 1113.68425号

Das，Nabanita（编辑）等人，《分布式计算——IWDC 2004》。第六届国际研讨会，印度加尔各答，2004年12月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24076-4/pbk）。计算机科学课堂讲稿3326102-113（2004）。
MSC公司：60年第68季度 64岁以下
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，Lect。注释计算。科学。3326102-113（2004年；Zbl 1113.68425）
全文： 内政部
克里希南德·查特吉;马尔钦·尤季扬斯基;托马斯·亨辛格。

简单的随机平价游戏。 （英语） Zbl 1116.68493号

Baaz，Matthias（编辑）等人，《计算机科学逻辑》。2003年8月25日至30日，第17届CSL国际研讨会，第12届EACSL年会，KGC 2003年第8届库尔特·哥德尔学术讨论会，奥地利维也纳。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40801-0/pbk）。莱克特。注释计算。科学。2803, 100-113 (2003).
MSC公司：60年第68季度 91A15型 91A43型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，Lect。注释计算。科学。2803100--113（2003年；Zbl 1116.68493）
全文： 内政部
克里希南德·查特吉;马迪;鲁帕克·马朱姆达尔;赵、田;托马斯·亨辛格。;延斯·帕尔斯伯格

中断驱动程序的堆栈大小分析。 （英语） Zbl 1067.68539号

Cousot，Radhia（编辑），静态分析。2003年6月11日至13日，第十届国际研讨会，SAS 2003，美国加利福尼亚州圣地亚哥。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40325-6/pbk）。莱克特。注释计算。科学。第2694109-126页（2003年）。
MSC公司：68号30 68甲19 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，Lect。注释计算。科学。2694109-126（2003年；Zbl 1067.68539）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件