Hopf, J.: Photomaskenlayout für eine 3D-Grauton-Lithographie als kombinatorisches Optimierungsproblem. Dissertation, Universität des Saarlandes, Saarbrücken (2001)

Klau, G. W.: A Combinatorial Approach to Orthogonal Placement Problems. Dissertation, Universität des Saarlandes, Saarbrücken (2001)

Krysta, P.: Approximation Algorithms for Combinatorial Optimization Problems in Graph Coloring and Network Design. Dissertation, VI, 132 pp., Universität des Saarlandes, Saarbrücken (2001)

Mukhopadhyay, S.: A Uniform Constraint-based Framework for the Verification of Infinite State Systems. Dissertation, XVIII, 160 pp., 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 pp., 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)

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

Schüler, P.: 3D-Rekonstruktion aus kalibrierten Bilddaten mittels "Space-Carving". Diploma, Universität des Saarlandes, Saarbrücken (2001)

Albrecht, I.: Speech Synchronization for Physics-based Animation of Human Face Models. Master, Universität des Saarlandes, Saarbrücken (2001)

Fink, C.: Oberflächenrekonstruktion von planaren Konturen. Master, Universität des Saarlandes, Saarbrücken (2001)

Grenner, I.: Die Erzeugung von Schnittebenen mit maximalem Verletzungsgrad und deren Einsatz im Branch-and-Cut Verfahren. Master, Universität des Saarlandes, Saarbrücken (2001)

Immich, S.: Berechnung der Momente von quadratischen Komplexen. Master, Universität des Saarlandes, Saarbrücken (2001)

Jung, G.: Ein Frontend für die Anwendung von Model Checking auf die Analyse von Array Bounds für C Programme. Master, Universität des Saarlandes, Saarbrücken (2001)

Lambert, G.: Ein Parametric Search Toolkit. Master, Universität des Saarlandes, Saarbrücken (2001)

Reichel, J.: Optimale Hüllkörper für Objekte mit gekrümmten Oberflächen. Master, Universität des Saarlandes, Saarbrücken (2001)

Schanne, T.: Visualisierung der Dialektgeographie und Topographie im deutschen Dialektraum. Master, Universität des Saarlandes, Saarbrücken (2001)

Schulte, R.: Exaktes Lineares Programmieren. Master, Universität des Saarlandes, Saarbrücken (2001)