Doerr, B.: Integral Approximation. Habilitation, Christian-Albrechts-Universität zu Kiel, Kiel (2005)

Magnor, M.: Visuelle Ästhetik vs. Visual Computing. Habilitation, Universität des Saarlandes, Saarbrücken (2005)

Sofronie-Stokkermans, V.: Algebraic and logical methods in automated theorem proving and in the study of concurrency. Habilitation, Universität des Saarlandes, Saarbrücken (2004)

Charatonik, W.: Direktionale Typen in der Logischen Programmierung. Habilitation, Universität des Saarlandes, Saarbrücken (2002)

Myszkowski, K.: Efficient and Predictive Realistic Image Synthesis. Habilitation, Warsaw Institute of Technology, Warsaw, Poland (2001)

Weidenbach, C.: Entscheidbarkeitsprobleme für monadische (Horn)Klauselklassen. Habilitation, Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät, Saarbrücken (2000)

Albers, S.: Online-Algorithmen. Habilitation, Universität des Saarlandes, Saarbrücken (1999)

Fleischer, R.: Effiziente und Online-Algorithmen. Habilitation, Universität des Saarlandes, Saarbrücken (1999)

Lenhof, H.-P.: Bioinformatik. Habilitation, Universität des Saarlandes, Saarbrücken (1999)

Sibeyn, J.: Effiziente parallele Algorithmen. Habilitation, Universität des Saarlandes, Saarbrücken (1999)

Podelski, A.: Thema der Antrittsvorlesung: Alte Resultate aus der Automatentheorie. Habilitation, Universität des Saarlandes, Saarbrücken (1998)

Schirra, S.: Computational Geometry: Theory and Implementation. Habilitation, Universität des Saarlandes, Saarbrücken (1998)

Bockmayr, A.: Gleichheit und Constraints in der Logikprogrammierung. Habilitation, Universität des Saarlandes, Saarbrücken (1996)

Basin, D. A.: Thema der Antrittsvorlesung: MONA - Ein Werkzeug zur Systemverifikation und -entwicklung. Habilitation, Universität des Saarlandes, Saarbrücken (1995)

Hanus, M.: Thema der Antrittsvorlesung: Deklarative Programmierparadigmen und ihre Integration. Habilitation, Universität des Saarlandes, Saarbrücken (1994)

Ohlbach, H. J.: Thema der Antrittsvorlesung: Transformation logischer Systeme. Habilitation, Universität des Saarlandes, Saarbrücken (1993)

Blankenburg, H.: A Distributed Annotation System for Molecular Interactions. Diploma, Universität des Saarlandes, Saarbrücken (2007)

Emig, D.: The Impact of Alternative Splicing on Protein Interaction Networks. Diploma, Eberhard Karls Universität Tübingen, Saarbrücken (2007)

Kopp, A.: Design and Implementation of an Automatic Semantic Annotation Service. Diploma, Universität des Saarlandes, Saarbrücken (2007)

Zimmer, S.: Intelligent Combination of a First Order Theorem Prover and SMT Procedures. Diploma, Universität des Saarlandes, Saarbrücken (2007)