Name Card

Full name Familienname, Vorname

Henzinger, Monika

Own Publications Eigene Publikationen

Results 1-7 of 7 (Search time: 0.002 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Chatterjee, Krishnendu ; Dvořák, Wolfgang ; Henzinger, Monika ; Svozil, Alexander	Algorithms and conditional lower bounds for planning problems	Artikel Article	2021
	2		Chatterjee, Krishnendu ; Dvorak, Wolfgang ; Henzinger, Monika ; Svozil, Alexander	Symbolic Time and Space Tradeoffs for Probabilistic Verification	Konferenzbeitrag Inproceedings	2021
	3		Chatterjee, Krishnendu ; Dvorak, Wolfgang ; Henzinger, Monika ; Svozil, Alexander	Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs	Konferenzbeitrag Inproceedings	2019
	4		Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika ; Loitzenbauer, Veronika	Expressive Power of Collective Attacks	Präsentation Presentation	2018
	5		Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika ; Loitzenbauer, Veronika	Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter	Konferenzbeitrag Inproceedings	2018
	6		Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika ; Svozil, Alexander	Algorithms and Conditional Lower bounds for Planning Problems	Konferenzbeitrag Inproceedings	2018
	7		Svozil, Alexander ; Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika	Quasipolynomial Set-Based Symbolic Algorithms for Parity Games	Konferenzbeitrag Inproceedings	2018