( en | de | ru )

 

Disambiguation of "Henzinger, Monika"

Author of the publication

copydeleteadd this publication to your clipboard
Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.

, , , and . CAV, volume 6806 of Lecture Notes in Computer Science, page 260-276. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Monika Mühlbauer

Modelling wall interactions of a high-pressure, hollow cone spray. TU Darmstadt, (2009)

Monika Dittrich

Monika Wacker

Monika Dücker

Monika Kramer

 

Other publications of authors with the same name

Detecting the origin of text segments efficiently., , , and . WWW, page 61-70. ACM, (2009)Shared-Memory Branch-and-Reduce for Multiterminal Cuts., , and . ALENEX, page 42-55. SIAM, (2020)Dynamic Clustering to Minimize the Sum of Radii., , and . ESA, volume 87 of LIPIcs, page 48:1-48:10. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Efficient Algorithms for Graph-Related Problems in Computer-Aided Verification (Invited Talk).. ICALP, volume 80 of LIPIcs, page 2:1-2:1. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)A Deamortization Approach for Dynamic Spanner and Dynamic Maximal Matching., , and . CoRR, (2018)Extracting knowledge from the World Wide Web, and . Proceedings of the National Academy of Sciences of the United States of America, page 5186-5191. (2004)Simple, Scalable and Effective Clustering via One-Dimensional Projections., , , , and . CoRR, (2023)Valuation Compressions in VCG-Based Combinatorial Auctions., , and . WINE, volume 8289 of Lecture Notes in Computer Science, page 146-159. Springer, (2013)Upper and Lower Bounds for Fully Retroactive Graph Problems., and . WADS, volume 12808 of Lecture Notes in Computer Science, page 471-484. Springer, (2021)Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives., , , , and . CAV (2), volume 10982 of Lecture Notes in Computer Science, page 178-197. Springer, (2018)