Thiel, C.: Effiziente Algorithmen für Probleme der Kollisionserkennung und der geometrischen Optimierung. Dissertation, Universität des Saarlandes, Saarbrücken (1996)

Weidenbach, C.: Computational Aspects of a First-Order Logic with Sorts. Dissertation, Universität des Saarlandes, Saarbrücken (1996)

Barth, P.: Logic-based 0-1 Constraint Solving in Constraint Logic Programming. Dissertation, iv, 187 pp., Universität des Saarlandes, Saarbrücken (1995)

Graf, P.: Term Indexing. Dissertation, xx, 238 pp., Universität des Saarlandes, Saarbrücken (1995)

Jaeger, M.: Default Reasoning about Probabilities. Dissertation, x, 166 pp., Universität des Saarlandes, Saarbrücken (1995)

Nonnengart, A.: A Resolution-Based Calculus for Temporal Logics. Dissertation, Universität des Saarlandes, Saarbrücken (1995)

Schwarzenecker, E.: Ein NP-schweres Plazierungsproblem. Dissertation, 207 pp., Universität des Saarlandes, Saarbrücken (1995)

Ohlbach, H. J.: A Resolution Calculus for Modal Logics. Dissertation, Universität Kaiserslautern, Kaiserslautern (1988)

Mehlhorn, K.: Polynomial and abstract subrecursive classes. Dissertation, Cornell University, New York, NY (1974)

Ihrke, I.: Computational Optical Measurement and Display: Case Studies in Plenoptic Imaging and Projection. Habilitation, Université de Bordeaux, Bordeaux (2012)

Antes, I.: Computational Methods for the Investigation of Protein-Ligand Interactions. Habilitation, Universität des Saarlandes, Saarbrücken (2009)

Mutzel, P.: Zeichnen von Diagrammen - Theorie und Praxis. Habilitation, Universität des Saarlandes, Saarbrücken (2009)

Sommer, I.: From Protein Structure to Function. Habilitation, VI, 218 pp., Universität des Saarlandes, Saarbrücken (2009)

Rahnenführer, J.: Statistical Methods for the Biological Interpretation of Genome-wide Measurements. Habilitation, Universität des Saarlandes, Saarbrücken (2006)

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)