Hemmer, M.: Reliable computation of planar and spatial arrangements of quadrics. Master, Universität des Saarlandes, Saarbrücken (2002)

Kessler, H.: Robust Computation of Visibility Maps. Master, Universität des Saarlandes, Saarbrücken (2002)

Ossamy, R.: TSP Cuts Outside the Template Paradigm. Master, Universität des Saarlandes, Saarbrücken (2002)

Rybalchenko, A.: A Model Checker based on Abstraction Refinement. Master, Universität des Saarlandes, Saarbrücken (2002)

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)

Theobalt, C.: Navigation on a Mobile Robot. Master, Universität des Saarlandes, University of Edinburgh, Saarbrücken (2001)

Ashoff, O.: Agorithmen der modularen Arithmetik. Master, Universität des Saarlandes, Saarbrücken (2000)

Behrens, C.: Solid Modeling durch Boolesche Operationen. Master, Universität des Saarlandes, Saarbrücken (2000)

Beier, R.: Eine Heuristik für das Gossiping-Problem. Master, Universität des Saarlandes, Saarbrücken (2000)

Braun, S.: Entwicklung und Test von für statische Graphen optimierten Datentypen. Master, Universität des Saarlandes, Saarbrücken (2000)

Brengel, K.: Externe Prioritätswarteschlangen. Master, Universität des Saarlandes, Saarbrücken (2000)

Brinker, C.: Geometrisches Schließen mit SPASS. Master, Universität des Saarlandes, Saarbrücken (2000)