1.Edit Distance for Pushdown Automata

作　　者：Otop, Jan ;Ibsen-Jensen, Rasmus ;Henzinger, Thomas A. 等

出　　处：Logical Methods in Computer Science. 2017 ;13(3).

出版社：Technical University of Braunschweig

文章 ID：1011733826

文章详细
2.Improved Algorithms for Parity and Streett objectives

作　　者：Loitzenbauer, Veronika ;Henzinger, Monika ;Chatterjee, Krishnendu

出　　处：Logical Methods in Computer Science. 2017 ;13(3).

出版社：Technical University of Braunschweig

文章 ID：1011733829

文章详细
3.Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes

作　　者：Křetínský, Jan ;Křetínská, Zuzana ;Chatterjee, Krishnendu

出　　处：Logical Methods in Computer Science. 2017 ;13(2).

出版社：Technical University of Braunschweig

文章 ID：1011733852

文章详细
4.Faster Algorithms for Bounded Liveness in Graphs and Game Graphs

作　　者：Chatterjee, Krishnendu ;Henzinger, Monika ;Kale, Sagar Sudhir 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;198.doi:10.4230/LIPIcs.ICALP.2021.124

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：1037088377

文章详细
5.Quantitative Verification on Product Graphs of Small Treewidth

作　　者：Chatterjee, Krishnendu ;Ibsen-Jensen, Rasmus ;Pavlogiannis, Andreas

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;213.doi:10.4230/LIPIcs.FSTTCS.2021.42

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：1037089186

文章详细

	Křetínská, Zuzana	1篇
	Křetínský, Jan	1篇
	Loitzenbauer, Veronika	1篇
	Otop, Jan	1篇
	Pavlogiannis, Andreas	1篇
	Svozil, Alexander	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Chatterjee, Krishnendu")))) )) ) )"

	Chatterjee, Krishnendu	5篇
	Henzinger, Monika	2篇
	Ibsen-Jensen, Rasmus	2篇
	Henzinger, Thomas A.	1篇
	Kale, Sagar Sudhir	1篇

	Logical Methods in Computer Science	3篇
	LIPIcs : Leibniz International Proceedings in Informatics	2篇

	2021	2篇
	2017	3篇