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.Algorithms and Hardness for Diameter in Dynamic Graphs

作　　者：Bertie Ancona ;Monika Henzinger ;Liam Roditty 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-14.doi:10.4230/LIPIcs.ICALP.2019.13

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

文章 ID：238892148

文章详细全文下载

3.Efficient Algorithms for Graph-Related Problems in Computer-Aided Verification (Invited Talk)

作　　者：Monika Henzinger

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:2:1-2:1.doi:10.4230/LIPIcs.ICALP.2017.2

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

文章 ID：198371957

文章详细全文下载

4.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

文章详细全文下载

5.Improved Guarantees for Vertex Sparsification in Planar Graphs

作　　者：Gramoz Goranci ;Monika Henzinger ;Pan Peng

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;87:44:1-44:14.doi:10.4230/LIPIcs.ESA.2017.44

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

文章 ID：200735251

文章详细全文下载

6.The Power of Vertex Sparsifiers in Dynamic Graph Algorithms

作　　者：Gramoz Goranci ;Monika Henzinger ;Pan Peng

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;87:45:1-45:14.doi:10.4230/LIPIcs.ESA.2017.45

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

文章 ID：200735252

文章详细全文下载

7.Dynamic Clustering to Minimize the Sum of Radii

作　　者：Monika Henzinger ;Dariusz Leniowski ;Claire Mathieu

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;87:48:1-48:10.doi:10.4230/LIPIcs.ESA.2017.48

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

文章 ID：200735255

文章详细全文下载

8.Faster Algorithms for Mean-Payoff Parity Games

作　　者：Krishnendu Chatterjee ;Monika Henzinger ;Alexander Svozil

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:39:1-39:14.doi:10.4230/LIPIcs.MFCS.2017.39

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

文章 ID：205510087

文章详细全文下载

9.Conditional Hardness for Sensitivity Problems

作　　者：Monika Henzinger ;Andrea Lincoln ;Stefan Neumann 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;67:26:1-26:31.doi:10.4230/LIPIcs.ITCS.2017.26

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

文章 ID：205510151

文章详细全文下载

10.Fully-Dynamic Coresets

作　　者：Monika Henzinger ;Sagar Kale

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;173:57:1-57:21.doi:10.4230/LIPIcs.ESA.2020.57

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

文章 ID：255822812

文章详细全文下载

	有本地全文	23篇
	有全文链接	3篇

	2021	1篇
	2020	6篇
	2019	2篇
	2018	3篇
	2017	7篇

	2016	4篇
	2015	1篇
	2010	1篇
	2009	1篇

	Monika Henzinger	26篇
	Gramoz Goranci	6篇
	Christian Schulz	4篇
	Krishnendu Chatterjee	4篇
	Pan Peng	4篇

	Stefan Neumann	3篇
	Wolfgang Dvor{\'a}k	3篇
	Alexander Svozil	2篇
	Andrea Lincoln	2篇
	Dariusz Leniowski	2篇
	Veronika Loitzenbauer	2篇
	Virginia Vassilevska Williams	2篇
	Alexander Noe	1篇
	Andreas Wiese	1篇
	Barna Saha	1篇
	Bernhard Schuster	1篇
	Bertie Ancona	1篇
	Claire Mathieu	1篇
	Darren Strash	1篇
	Eda Baykan	1篇
	Ingmar Weber	1篇
	Kathrin Hanauer	1篇
	Liam Roditty	1篇
	Markus Kinzler	1篇
	Martin Starnberger	1篇
	Mikkel Thorup	1篇
	Nicole Wein	1篇
	Paul D{\"u}tting	1篇
	Richard Paul	1篇
	Sagar Kale	1篇
	Sayan Bhattacharya	1篇
	Sebastian de Castelberg	1篇
	Shahbaz Khan	1篇
	Sonja Biedermann	1篇
	Stefan F. Keller	1篇
	Wolfgang Dvor{'a}k	1篇
	Yun Kuen Cheung	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Monika Henzinger")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	25篇
	Electronic Colloquium on Computational Complexity	1篇