×

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

最新的 引文 关联
克里希南德·查特吉;沃尔夫冈·德沃亚克;莫尼卡·亨辛格;亚历山大·斯沃齐尔

规划问题的算法和条件下限。 （英语） Zbl 1519.68231号

工件。智力。 297，文章ID 103499，22 p.（2021）。
理学硕士：68T20型 2017年第68季度 68兰特 90立方厘米40 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Artif。智力。297，文章ID 103499，22 p.（2021；Zbl 1519.68231）
全文： 内政部 arXiv公司 链接
苏古曼·班萨尔;克里希南德·查特吉;莫舍·瓦尔迪。

关于量化游戏中的满意度。 （英语） Zbl 1467.68161号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 20-37 (2021).
理学硕士：68T20型 65年第68季度 90立方厘米35 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{S.Bansal}等人，Lect。注释计算。科学。12651，20--37（2021；Zbl 1467.68161）
全文： 内政部 arXiv公司
OA许可证
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简

状态向量加法系统的多维长期平均问题。 （英语） Zbl 07559479号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第23条，第22页（2020年）。
理学硕士：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。171，第23条，第22页（2020；兹bl 07559479）
全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简

具有状态的向量加法系统的长期平均行为。 （英语） Zbl 07649935号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第27条，第16页（2019年）。
理学硕士：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。140，第27条，第16页（2019年；Zbl 07649935）
全文： 内政部 arXiv公司
托马斯·布拉兹迪尔;克里希南德·查特吉;安东·库切拉;诺沃顿，皮特;多米尼克·维兰

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

Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 462-478 (2019).
理学硕士：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年）。
理学硕士：65年第68季度 03B25号 第68季度55 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，日志。方法计算。科学。15，第3号，第16号论文，45页（2019年；Zbl 1442.68086）
全文： arXiv公司
罗德里克·布洛姆;克里希南德·查特吉;芭芭拉·乔布斯曼

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

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。921-962 (2018).
理学硕士：60年第68季度 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，in：模型检查手册。查姆：斯普林格。921-962（2018；Zbl 1392.68233）
全文： 内政部
克里希南德·查特吉;克里斯托弗·阿恩斯费尔特·汉森;拉斯穆斯·易卜森·延森

并发安全游戏的策略复杂性。 （英语） Zbl 1447.91018号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第55条，第13页（2017年）。
理学硕士：91A20型 91A43型 91A05型 91A68型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。83，第55条，13 p.（2017；Zbl 1447.91018）
全文： 内政部
克里希南德·查特吉;伯恩哈德克拉格尔;萨马拉·米什拉;安德烈亚斯·帕夫罗甘尼斯

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

Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10201, 287-313 (2017).
理学硕士：68号30 65年第68季度 70年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。10201、287--313（2017；Zbl 1485.68057）
全文： 内政部 arXiv公司
克里希南德·查特吉;莫妮卡·亨津格;塞巴斯蒂安·克林格;维罗尼卡·洛伊琴鲍尔;迈克尔·拉斯金（Michael A.Raskin）。

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

西奥。计算。科学。 547, 104-116 (2014)。
理学硕士：68周25 05C22号 05元50分 05C85号 68瓦40 90立方厘米35
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Theor。计算。科学。547104-116（2014；Zbl 1417.68284）
全文： 内政部 arXiv公司
罗德里克·布洛姆;克里希南德·查特吉;卡琳·格雷梅尔;托马斯·亨辛格（Thomas A.Henzinger）。;乔治·霍夫雷克;芭芭拉·乔布斯曼;贝蒂娜·科尼霍费尔;罗伯特·Könighfer

合成鲁棒系统。 （英语） Zbl 1302.93079号

学报信息。 51，编号3-4193-220（2014）。
理学硕士：93B35型 93B50个 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，Acta Inf.51，No.3--4，193-220（2014；Zbl 1302.93079）
全文： 内政部
克里希南德·查特吉;卢卡·德·阿尔法罗;托马斯·亨辛格（Thomas A.Henzinger）。

并发可达性和基于循环的随机安全博弈的策略改进。 （英语） Zbl 1269.91022号

J.计算。系统。科学。 79，第5号，640-657（2013）。
理学硕士：91A43型 91A15型 90立方厘米40
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，J.Compute。系统。科学。79，第5号，640--657（2013；Zbl 1269.91022）
全文： 内政部 arXiv公司
OA许可证
克里希南德·查特吉;莫妮卡·亨津格

交替Büchi游戏的（O（n^2））时间算法。 （英语） Zbl 1421.68110号

Rabani，Yuval（编辑），第23届ACM-SIAM离散算法年度研讨会论文集，SODA 2012，日本京都，2012年1月17日至19日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。1386-1399 (2012).
理学硕士：68兰特 05C85号 68瓦40 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{M.Henzinger}，摘自：第23届年度ACM-SIAM离散算法研讨会论文集，SODA 2012，日本京都，2012年1月17-19日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。1386——1399（2012；Zbl 1421.68110）
全文： arXiv公司 链接
克里希南德·查特吉;维什瓦纳斯·拉曼

数字合同签署的综合协议。 （英语） Zbl 1325.94115号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148152-168（2012）。
理学硕士：94A60型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{V.Raman}，莱克特。注释计算。科学。7148152--168（2012年；Zbl 1325.94115）
全文： 内政部
克里希南德·查特吉;鲁帕克·马朱姆达尔

欧米伽规则目标的最小注意力控制器综合。 （英语） Zbl 1348.68096号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，145-159（2011）。
理学硕士：65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{R.Majumdar}，莱克特。注释计算。科学。6919、145--159（2011年；Zbl 1348.68096）
全文： 内政部
克里希南德·查特吉;劳伦特·多恩;罗希特·辛格

关于无记忆定量目标。 （英语） Zbl 1342.91005号

Owe，Olaf（编辑）等人，《计算理论基础》。2011年8月22日至25日在挪威奥斯陆举行的FCT 2011第18届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22952-7/pbk）。计算机科学课堂讲稿6914，148-159（2011）。
理学硕士：91A43型 91A05型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。6914、148--159（2011；Zbl 1342.91005）
全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;芭芭拉·乔布斯曼;罗希特·辛格

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

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。《计算机科学讲义》6605、267-271（2011）。
理学硕士：60年第68季度 90立方厘米40 91-04 91A05型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。6605267--271（2011；Zbl 1316.68071）
全文： 内政部
克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（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）。
理学硕士：65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。5710244--258（2009年；Zbl 1254.68133）
全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;霍恩，弗洛里安

目标有限的随机博弈。 （英语） 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）。
理学硕士：60年第68季度 65年第68季度 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。5734、34-54（2009年；Zbl 1250.68185）
全文： 内政部
迪特马尔·伯旺格;克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。;拉杰，桑格拉姆

不完全信息奇偶博弈的策略构造。 （英语） Zbl 1160.68455号

van Breugel，Franck（编辑）等人，CONCUR 2008–并发理论。2008年8月19日至22日，加拿大多伦多，第19届国际会议，CONCUR 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85360-2/pbk）。计算机科学课堂讲稿5201，325-339（2008）。
理学硕士：68问题85 03B70号 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{D.Berwanger}等人，Lect。注释计算。科学。5201325--339（2008年；Zbl 1160.68455）
全文： 内政部 链接
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。

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

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

随机米勒博弈是PSPACE完备的。 （英语） 兹比尔1135.91333

Arvind，V.（ed.）等人，FSTTCS 2007：软件技术和理论计算机科学基础。第27届国际会议，印度新德里，2007年12月12-14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77049-7/pbk）。计算机科学课堂讲稿4855436-448（2007）。
理学硕士：91A43型 91A15型 2017年第68季度 91A40型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}，莱克特。注释计算。科学。4855、436--448（2007年；Zbl 1135.91333）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件