Mukhopadhyay, S.: A Uniform Constraint-based Framework for the Verification of Infinite State Systems. Dissertation, XVIII, 160 S., Universität des Saarlandes, Saarbrücken (2001)

Priebe, V.: Average-case Complexity of Shortest-paths Problems. Dissertation, Universität des Saarlandes, Saarbrücken (2001)

Schenkel, R.: Transaktionen in föderierten Datenbanksystemen unter eingeschränkten Isolation Levels. Dissertation, Universität des Saarlandes, Saarbrücken (2001)

Schneider, R.: Efficient High-Quality Fairing of Discrete Curves and Surfaces. Dissertation, IV, 122 S., Universität des Saarlandes, Saarbrücken (2001)

Seel, M.: Planar Nef Polyhedra and Generic Higher-dimensional Geometry. Dissertation, Universität des Saarlandes, Saarbrücken (2001)

Ziegelmann, M.: Constrained Shortest Paths and Related Problems. Dissertation, Universität des Saarlandes, Saarbrücken (2001)

Bast, H.: Provably Optimal Scheduling of Similar Tasks. Dissertation, Universität des Saarlandes, Saarbrücken (2000)

Eisenbrand, F.: Gomory-Chvátal Cutting planes and the Elementary Closure of Polyhedra. Dissertation, Universität des Saarlandes, Saarbrücken (2000)

Gergov, J.: Algorithms for Interval Coloring, Geometric Packing and Memory Optimization. Dissertation, 225 S., Universität des Saarlandes, Saarbrücken (2000)

Kohlbacher, O.: New Approaches to Protein Docking. Dissertation, Universität des Saarlandes, Saarbrücken (2000)

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 S., 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)