1.Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs

作　　者：Krishnendu Chatterjee ;Wolfgang Dvor{'a}k ;Monika Henzinger 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-16.doi:10.4230/LIPIcs.CONCUR.2019.7

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

文章 ID：238891915

文章详细全文下载
2.Improved Set-Based Symbolic Algorithms for Parity Games

作　　者：Krishnendu Chatterjee ;Wolfgang Dvor{\'a}k ;Monika Henzinger 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;82:18:1-18:21.doi:10.4230/LIPIcs.CSL.2017.18

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

文章 ID：200735084

文章详细全文下载
3.Welfare Maximization with Friends-of-Friends Network Externalities

作　　者：Sayan Bhattacharya ;Wolfgang Dvor{\'a}k ;Monika Henzinger 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;30:90-102.doi:10.4230/LIPIcs.STACS.2015.90

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

文章 ID：186846654

文章详细全文下载
4.Conditionally Optimal Algorithms for Generalized Büchi Games

作　　者：Krishnendu Chatterjee ;Wolfgang Dvor{\'a}k ;Monika Henzinger 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:25:1-25:15.doi:10.4230/LIPIcs.MFCS.2016.25

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

文章 ID：186847852

文章详细全文下载

	Monika Henzinger	4篇
	Krishnendu Chatterjee	3篇
	Wolfgang Dvor{\'a}k	3篇
	Veronika Loitzenbauer	2篇
	Alexander Svozil	1篇

	Martin Starnberger	1篇
	Sayan Bhattacharya	1篇
	Wolfgang Dvor{'a}k	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Wolfgang Dvor{\ a}k")))) )) ) )"

	2019	1篇
	2017	1篇
	2016	1篇
	2015	1篇