Steffen Hölldobler 2006 Prof. Steffen Hölldobler

Edited Publications

E1:   Automatisches Beweisen. In: Einführung in die Künstliche Intelligenz. Addison-Wesley, 2nd edition: 1995.

E2:   KI-96: Advances in Artificial Intelligence. Lecture Notes in Artificial Intelligence, 1137, Springer: 1996 (together with G. Goerz; eds.)

E3:   Ausgezeichnete Informatikdissertationen 1997. Teubner: 1998 (together with H. Fiedler, P. Gorny, W. Grass, G. Hotz, I.O. Kerner and R. Reischuk).

E4:   KI-Forschungsführer 1998. In: KI-98: Advances in Artificial Intelligence, Lecture Notes in Artificial Intelligence 1504, 251-353, Springer: 1998 (together with E. Sandner).

E5:   Ausgezeichnete Informatikdissertationen 1998. Teubner: 1999 (together with H. Fiedler, P. Gorny, W. Grass, G. Hotz and R. Reischuk).

E6:   Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel. Kluwer Academic Publishers: 2000.

E7:   Ausgezeichnete Informatikdissertationen 1999. Teubner: 2000 (together with H. Fiedler, O. Günther, W. Grass, G. Hotz, R. Reischuk, B. Seeger and D. Wagner).

E8:   Ausgezeichnete Informatikdissertationen 2000. Lecture Notes in Informatics, D-1, German Informatics Society: 2001 (together with H. Fiedler, W. Grass, O. Günther, G. Hotz, R. Reischuk, B. Seeger and D. Wagner).

E9:   Ausgezeichnete Informatikdissertationen 2001. Lecture Notes in Informatics, D-2, German Informatics Society: 2002 (together with H. Beilner, H. Fiedler, O. Günther, G. Hotz, P. Liggesmeyer, K.-P. Löhr, R. Reischuk, B. Seeger and D. Wagner).

E10:   Ausgezeichnete Informatikdissertationen 2002. Lecture Notes in Informatics, D-3, German Informatics Society: 2003 (together with H. Beilner, H. Fiedler, M. Gross, O. Günther, G. Hotz, K.-P. Löhr, R. Reischuk and D. Wagner).

E11:   Ausgezeichnete Informatikdissertationen 2003. Lecture Notes in Informatics, D-4, German Informatics Society: 2004 (together with H. Beilner, T. Dreier, M. Gross, O. Günther, G. Hotz, K.-P. Löhr, R. Reischuk und D. Wagner).

E12:   Ausgezeichnete Informatikdissertationen 2004. Lecture Notes in Informatics, D-5, German Informatics Society: 2005 (together with T. Dreier, O. Günther, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe und D. Wagner).

E13:   Ausgezeichnete Informatikdissertationen 2005. Lecture Notes in Informatics, D-6, German Informatics Society: 2005 (together with A. Bernstein, T. Dreier, O. Günther, G. Horz, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe, M. Spiliopoulou und D. Wagner).

E14:   Ausgezeichnete Informatikdissertationen 2006. Lecture Notes in Informatics, D-7, German Informatics Society: 2007 (together with A. Bernstein, T. Dreier, G. Hotz, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe, M. Spiliopoulou und D. Wagner).

E15:   Ausgezeichnete Informatikdissertationen 2007. Lecture Notes in Informatics, D-8, German Informatics Society: 2008 (together with A. Bernstein, T. Dreier, G. Hotz, K.-P. Löhr, P. Molitor, D. Wagner, R. Reischuk, D. Saupe, M. Spiliopoulou, H. Störrle und D. Wagner).