Habilitation (and Venia Legendi)
Markus Holzer did his hablitation in the field of computational complexity theory at the Technische Universität München with the thesis
| [1] | M. Holzer. On the Computational Complexity of Tensor Formula and Circuit Evaluation. Habilitationsschrift, Technische Universität München, February 2004. |
refereed by Professor W. Brauer and Professor L. Hemaspaandra.
The thesis is based on results previously presented at the 15th Conference on Computational Complexity Theory and on the 26th and 29th Conference on Mathematical Foundations of Computer Science:
| [2] | C. Damm, M. Holzer, and P. McKenzie.
The Complexity of Tensor Calculus. In
Proceedings of the 15th Annual IEEE Conference on
Computational Complexity, pages 70-86, Florence,
Italy, July 2000. IEEE Computer Society Press.
DOI |
| [3] | M. Beaudry and M. Holzer. The
Complexity of Tensor Circuit Evaluation. In
J. Sgall, A. Pultr, and P. Kolman,
editors, Proceedings of the 26th Conference on
Mathematical Foundations of Computer Science,
number 2136 in LNCS, pages 173-185, Mariánské Lázne,
Czech Republic, August 2001. Springer.
DOI |
| [4] | M. Beaudry J. M. Fernandez and
M. Holzer. A Common Algebraic Description for
Probabilistic and Quantum Computation. In
J. Fiala, V. Koubek, and J. Kratochvil,
editors, Proceedings of the 29th Conference on
Mathematical Foundations of Computer Science,
number 3153 in LNCS, pages 851-862, Prague, Czech
Republic, August 2004. Springer.
DOI |
The journal versions of these conference papers appeared in
| [5] | C. Damm, M. Holzer, and P. McKenzie.
The Complexity of Tensor Calculus.
Computational Complexity, 11(1/2):54-89,
January 2003.
DOI |
| [6] | M. Beaudry, J. M. Fernandez, and
M. Holzer. A Common Algebraic Description of
Probabilistic and Quantum Computations.
Theoretical Computer Science,
345(2/3):206-234, November 2005.
DOI |
| [7] | M. Beaudry and M. Holzer. The
Complexity of Tensor Circuit Evaluation.
Computational Complexity, 16(1):60-111, May
2007.
DOI |
The Venia Legendi for the whole field of computer science was granted in 2007 from the Technische Universität München.