Lermen, M.: Multiple Sequence Alignment. Master, Universität des Saarlandes, Saarbrücken (1997)

Manss, C.: Separatoren in planaren Graphen: Implementierung einer 2-Approximation. Master, Universität des Saarlandes, Saarbrücken (1997)

Margewitsch, E.: Parallele Berechnung elektrostatischer Wechselwirkungen für synthetische Polymere. Master, Universität des Saarlandes, Saarbrücken (1997)

Maurer, T.: Heuristiken für Goldbergs Preflow Push Algorithmus. Master, Universität des Saarlandes, Saarbrücken (1997)

Metzler, M.: Ergebnisüberprüfung bei Graphenalgorithmen. Master, Universität des Saarlandes, Saarbrücken (1997)

Oberhauser, F.: Arithmetik der Transduktoren. Master, Universität des Saarlandes, Saarbrücken (1997)

Rau, R.: Adaption of a Fuzzy Controller for a Cybernetic System through an Evolutionary Algorithm. Master, Universität des Saarlandes, Saarbrücken (1997)

Rau, S.: Ein experimenteller Vergleich von zwei Algorithmen zur Berechnung des maximalen Flusses in einem asymmetrischen Netzwerk mit reellen Kapazitäten. Master, Universität des Saarlandes, Saarbrücken (1997)

Schenkel, R.: Konzeption und Implementierung des Kommunikationsmanagers für das Workflow-Management-System MENTOR - Integration und Synchronisation der verteilten Workflow-Engine. Master, Universität des Saarlandes, Saarbrücken (1997)

Seidel, T.: Paralleles List Ranking. Master, Universität des Saarlandes, Saarbrücken (1997)

Timm, J.-G.: Testing the Satisfiability of RPO Constraints. Master, Universität des Saarlandes, Saarbrücken (1997)

Weiskircher, R.: 2-Schicht-Planarisierung bipartiter Graphen. Master, Universität des Saarlandes, Saarbrücken (1997)

Ziegenbein, K.: Bewertung verschiedener paarweiser Alignment-Methoden, Ersetzungsmatrizen und Gap-Funktionen. Master, Universität des Saarlandes, Saarbrücken (1997)

Autexier, S.: Heuristiken zum Beweisen von Gleichungen. Master, Universität des Saarlandes, Saarbrücken (1996)

Bach, A.: Static analysis of functional programs via Linear Logic. Master, Universität des Saarlandes, Saarbrücken (1996)

Becker, J.: Allgemeine approximative Kongruenz zweier Punktmengen im R³. Master, Universität des Saarlandes, Saarbrücken (1996)

Blanchebarbe, M.: Untersuchung zur Implementierung eines parallelen Algorithmus mit guter asymptotischer Laufzeit auf einem Rechner mit verteiltem Speicher und Message-Passing. Master, Universität des Saarlandes, Saarbrücken (1996)

Boullay, J.: Eine parallelisierbare Heuristik für das Min-Cost-Flow Problem. Master, Universität des Saarlandes, Saarbrücken (1996)

Dorchain, J.: An Implementation of a Convex Hull Algorithm Version 2.0. Master, Universität des Saarlandes, Saarbrücken (1996)

Engel, T.: Quantifier Elimination in Second-Order Predicate Logic. Master, Universität des Saarlandes, Saarbrücken (1996)