Doctorate (Dr. rer. nat.)
Markus Holzer obtained his doctorate in the field of theoretical computer science from the Universität Tübingen with the thesis
| [1] | M. Holzer. Data-Independent Versus Data-Dependent Computations on Multi-Head Automata. Doktorarbeit zur Erlangung eines Doktors der Naturwissenschaften (Dr. rer. nat), Eberhard-Karls Universität zu Tübingen, February 1998. |
under the supervision of Professor K.-J. Lange.
Parts of this thesis were presented at 19th, 20th, and 22nd Conference on Mathematical Foundations of Computer Science:
| [2] | C. Damm and M. Holzer. Inductive
Counting below LOGSPACE. In I. Prívara and
B. Rovan, editors, Proceedings of the 19th
Conference on Mathematical Foundations of Computer
Science, number 841 in LNCS, pages 276-285,
Kosice, Slovakia, August 1994. Springer.
DOI |
| [3] | C. Damm and M. Holzer. Automata That
Take Advice. In J. Wiedermann and
P. Hájek, editors, Proceedings of the 20th
Conference on Mathematical Foundations of Computer
Science, number 969 in LNCS, pages 149-158,
Prague, Czech Republic, August 1995. Springer.
DOI |
| [4] | M. Holzer. Multi-Head Finite Automata:
Data-Independent Versus Data-Dependent
Computations. In I. Prívara and
P. Ruzicka, editors, Proceedings of the 22nd
Conference on Mathematical Foundations of Computer
Science, number 1295 in LNCS, pages 299-308,
Bratislava, Slovakia, August 1997. Springer.
DOI |
The first and latter conference paper resulted in the journal publications
| [5] | C. Damm and M. Holzer. Inductive
Counting for Width-Restricted Branching Programs.
Information and Computation, 130(1):91-99,
October 1996.
DOI |
| [6] | M. Holzer. Multi-Head Finite Automata:
Data-Independent Versus Data-Dependent
Computations. Theoretical Computer
Science, 286:97-116, 2002.
DOI |