Son, J.-B.: Berechnung konvexer Hüllen in erwarteter Linearzeit. Master, Universität des Saarlandes, Saarbrücken (1999)

Thiel, S.: Persistente Suchbäume. Master, Universität des Saarlandes, Saarbrücken (1999)

Veit, J.: Formal Fairness Proofs for Optimistic Contract Signing Protocols. Master, Universität des Saarlandes, Saarbrücken (1999)

Backes, W.: Berechnung kürzester Gittervektoren. Master, Univesität des Saarlandes, Saarbrücken (1998)

Feld, T.: Analyse und Implementierung von Algorithmen zum Minimum Cost Circulation Problem. Master, Universität des Saarlandes, Saarbrücken (1998)

Friedrich, S.: Integration of a Decision Procedure for Second-Order Monadic Logic in a Higher-Order Logic Theorem Proving Environment. Master, Universität des Saarlandes, Saarbrücken (1998)

Goesele, M.: Interaktive Konstruktion von Dreidimensionalen Szenen. Master, Universität Ulm, Ulm (1998)

Kappel, H.: Eine Methode zur Berechnung von Vorzeichen ganzzahliger Determinanten. Master, Universität des Saarlandes, Saarbrücken (1998)

Kettner, B.: Eine Implementation von k-Server-Algorithmen. Master, Universität des Saarlandes, Saarbrücken (1998)

Kursawe, K.: Exploration von geometrischen Umgebungen mit Hindernissen. Master, Universität des Saarlandes, Saarbrücken (1998)

Kwappik, C.: Exact Linear Programming. Master, Universität des Saarlandes, Saarbrücken (1998)

Lauer, T.: Design und Implementierung eines Testmanagers für LiDIA. Master, Universität des Saarlandes, Saarbrücken (1998)

Leven, P.: Integrating Clausal Decision Procedures in a Tactic Based Theorem Prover. Master, Universität des Saarlandes, Saarbrücken (1998)

Miller, T.: Implementation and Experimental Evaluation of Dynamic Transitive Closure Algorithms. Master, Universität des Saarlandes, Saarbrücken (1998)

Mueck, T.: Implementation of Hammock Decomposition with Application to Shortest Path Problems. Master, Universität des Saarlandes, Saarbrücken (1998)

Müller, M.: Ein Simulator für Prozessor-Netzwerke. Master, Universität des Saarlandes, Saarbrücken (1998)

Nest, M.: Vergleich von praxisnahen seriellen und parallelisierten Verfahren zur Bestimmung der Schnittpunkte von Liniensegmenten in der Ebene. Master, Universität des Saarlandes, Saarbrücken (1998)

Nissen, M.: Graph Iterators: Decoupling Graph Structures from Algorithms. Master, Universität des Saarlandes, Saarbrücken (1998)

Reinstädtler, M.: Verlustfreie Datenkompression mit selbstorganisierenden Listen. Master, Universität des Saarlandes, Saarbrücken (1998)

Röhrig, H.: Tree Decomposition: A Feasibility Study. Master, Universität des Saarlandes, Saarbrücken (1998)