Schilz, T.: Effiziente Algorithmen für das verteilte Rechnen auf Workstation-Clustern. Dissertation, Universität des Saarlandes, Saarbrücken (2000)

Stuber, J.: Superposition Theorem Proving for Commutative Algebraic Theories. Dissertation, Universität des Saarlandes, Saarbrücken (2000)

Tzakova, M.: Hybrid Languages. Dissertation, Universität des Saarlandes, Saarbrücken (2000)

Ziegler, T.: Crossing Minimization in Automatic Graph Drawing. Dissertation, 179 pp., Universität des Saarlandes, Saarbrücken (2000)

Baumeister, H.: Relations between Abstract Datatypes modeled as Abstract Datatypes. Dissertation, Universität des Saarlandes, Saarbrücken (1999)

Heidrich, W.: High-quality Shading and Lighting for Hardware-accelerated Rendering. Dissertation, Universität Erlangen-Nürnberg, Erlangen (1999)

Hustadt, U.: Resolution-Based Decision Procedures for Subclasses of First-Order Logic. Dissertation, Universität des Saarlandes, Saarbrücken (1999)

Meyer, C.: Soft Typing for Clausal Inference Systems. Dissertation, Universität des Saarlandes, Saarbrücken (1999)

Müller, P.: Parallel molecular dynamics simulations for synthetic polymers. Dissertation, Universität des Saarlandes, Saarbrücken (1999)

Reinert, K.: A polyhedral approach to sequence alignment problems. Dissertation, Universität des Saarlandes, Saarbrücken (1999)

Stamminger, M.: Finite Element Methods for Global Illumination Computations. Dissertation, Universität Erlangen-Nürnberg, Erlangen (1999)

Struth, G.: Canonical Transformation in Algebra, Universal Algebra and Logic. Dissertation, Universität des Saarlandes, Saarbrücken (1999)

Kasper, T.: A Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming. Dissertation, Universität des Saarlandes, Saarbrücken (1998)

Finkler, U.: Design of Efficient and Correct Algorithms: Theoretical Results and Runtime Prediction of Implementations in Practice. Dissertation, Universität des Saarlandes, Saarbrücken (1997)

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)