Petz, C.: Hologrammsynthese und 3D-Analyse in der digitalen Holografie. Diplom, Philipps-Universität Marburg, Marburg (2003)

Annen, T.: Advanced Shadow Map Parameterization. Diplom, Hochschule für Technik und Wirtschaft des Saarlandes, Saarbrücken (2002)

Michail, D.: Lobster- A Load Balanced P2P Content Sharing Network. Diplom, Universität Kreta, Heraklion (2002)

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

Althaus, E.: Berechnung optimaler Steinerbäume in der Ebene. Diplom, Universität des Saarlandes, Saarbrücken (1998)

Ayari, A.: A Reinterpretation of the Deductive Tableaux System in Higher-Order Logic. Diplom, 154 S., Universität des Saarlandes, Saarbrücken (1995)

Bremer, D.: Analyse und Simulation eines Maximum-Flow Algorithmus für das Gitter. Diplom, 106 S., Universität des Saarlandes, Saarbrücken (1995)

Gerber, C.: Entwicklung eines Algorithmus zur effizienten Anfragebeantwortung für eine terminologische Wissensrepräsentationssprache. Diplom, 165 S., Universität des Saarlandes, Saarbrücken (1995)

Leinenbach, S.: Eine effiziente Datenstruktur für allgemeine Polyeder. Diplom, 342 S., Universität des Saarlandes, Saarbrücken (1995)

Meyer, U.: Deterministische Simulation einer PRAM auf Gitterrechnern. Diplom, 155 S., Universität des Saarlandes, Saarbrücken (1995)

Mohr, E.: Resolution-Based Calculi for Modal Logics. Diplom, viii, 128 S., Universität des Saarlandes, Saarbrücken (1995)

Müller, P. S.: Ein effizienter paralleler Molekulardynamik-Simulationsalgorithmus für synthetische Polymere. Diplom, 28 S., Universität des Saarlandes, Saarbrücken (1995)

Ost, K.: Algorithmen für das Kantenfärbungsproblem. Diplom, 103 S., Universität des Saarlandes, Saarbrücken (1995)

Rock, G.: Transformations of First-Order Formulae for Automated Reasoning. Diplom, 135 S., Universität des Saarlandes, Saarbrücken (1995)

Schmitz, C.: Analyse von Branch-and-Bound Algorithmen zum Problem des Handlungsreisenden. Diplom, 140 S., Universität des Saarlandes, Saarbrücken (1995)

Wilhelmi, H.: Erzeugung von Pseudozufallszahlen gemäß einer veränderbaren Verteilung. Diplom, 92 S., Universität des Saarlandes, Saarbrücken (1995)

Ziegler, T.: Max-Weighted-Matching auf allgemeinen Graphen. Diplom, 112 S., Universität des Saarlandes, Saarbrücken (1995)

Busch, P.: Wiedemann-Algorithmus zur Lösung dünnbesetzter Gleichungssysteme über Fp. Diplom, 76 S., Universität des Saarlandes, Saarbrücken (1994)

Emminghaus, F.: Effiziente Sortieralgorithmen für den d-dimensionalen Würfel (Hypercube). Diplom, 94 S., Universität des Saarlandes, Saarbrücken (1994)

Kasan, B.: Die Beschreibung der Design Features für die rechnerunterstützte Konstruktion und ihre formale Repräsentation. Diplom, 127 S., Universität des Saarlandes, Saarbrücken (1994)