- Oliver Friedmann
Exponential Lower Bounds for Solving Infinitary Payoff Games and Linear Programs [Thesis].
Doctoral Thesis, University of Munich, 2011.
Additional material: [Abstract, Extended Abstract, Abstract (German), Extended Abstract (German)].
Supervised by Prof. Dr. Martin Hofmann and Prof. Dr. Martin Lange
- Oliver Friedmann
A Proof System for CTL* [PDF].
Diploma Thesis, University of Munich, 2008.
Supervised by Prof. Dr. Martin Hofmann and Prof. Dr. Martin Lange
- Oliver Friedmann
A Proof System for the Modal μ-Calculus [PDF].
Project Thesis, University of Munich, 2006.
Supervised by Prof. Dr. Martin Hofmann and Prof. Dr. Martin Lange