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)

Schröder, B.: Upper and Lower Bounds for Basic Scheduling Problems. Master, Universität des Saarlandes, Saarbrücken (1998)

Stormer, H.: Ein Programm zum visuellen Erlernen von Graphalgorithmen. Master, Universität des Saarlandes, Saarbrücken (1998)

Wissen, M.: Automatisiertes Zeichnen von Zustandsdiagrammen. Master, Universität des Saarlandes, Saarbrücken (1998)

Birk, R.: Lösung von Varianten des Post-Office-Problems mit Hilfe von Skip List Range Trees. Master, Universität des Saarlandes, Saarbrücken (1997)

Brockenauer, R.: Separierung von Kuratowski-Ungleichungen für das größte planare Untergraphenproblem. Master, Universität des Saarlandes, Saarbrücken (1997)

Butz, B.: Robuste Implementierung eines Algorithmus zur Berechnung eines Voronoi-Diagramms für Polygone. Master, Universitaet des Saarlandes, Saarbrücken (1997)

Christen, M.: A Calculus of Simplification for Superposition. Master, Universität des Saarlandes, Saarbrücken (1997)

Fialko, S.: Das planare Augmentierungsproblem. Master, Universität des Saarlandes, Saarbrücken (1997)

Funke, S.: Exact Arithmetic using Cascaded Computation. Master, Universität des Saarlandes, Saarbrücken (1997)

Gast, C.: Das Maximum-Weight-Trace-Problem bei multiplem Sequenz-Alignment. Master, Universität des Saarlandes, Saarbrücken (1997)

Guillaume, F.: Praktisches Paralleles List Ranking. Master, Universität des Saarlandes, Saarbrücken (1997)