Schmidt, R. A.: Optimised Modal Translation and Resolution. Dissertation, Universität des Saarlandes, Saarbrücken (1997)

Viganò, L.: A Framework for Non-Classical Logics. Dissertation, Universität des Saarlandes, Saarbrücken (1997)

Waldmann, U.: Cancellative Abelian Monoids in Refutational Theorem Proving. Dissertation, Universität des Saarlandes, Saarbrücken (1997)

Zeyer, J.: Eine Beobachtungs-Logik für modulare Sprachen. Dissertation, Universität des Saarlandes, Saarbrücken (1997)

Burnikel, C.: Exact Computation of Voronoi Diagrams and Line Segment Intersections. Dissertation, Universität des Saarlandes, Saarbrücken (1996)

Fehrer, D.: A unifying logical framework for reason maintenance. Dissertation, Universität des Saarlandes, Saarbrücken (1996)

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)