Hilpert, P.: Heuristiken für das euklidische Travelling Salesman Problem. Master, Universitat des Saarlandes, Saarbrücken (1996)

Jung, K.: Die hierarchische Darstellung konvexer Polyeder und einige Anwendungen. Master, Universität des Saarlandes, Saarbrücken (1996)

Ksinsik, P.: Approximative Bewegungsplanung für einen rechteckigen Roboter mit Hilfe von Voronoidiagrammen. Master, Universität des Saarlandes, Saarbrücken (1996)

Lutter, S.: Ein Bewegungsplanungsalgorithmus für zwei Rechtecke mit einem gemeinsamen Eckpunkt. Master, Universität des Saarlandes, Saarbrücken (1996)

Meyer, C.: Parallel Unit Resulting Resolution. Master, Universität des Saarlandes, Saarbrücken (1996)

Rottmann, K.-D.: Bewegung eines Polygons zwischen polygonalen Hindernisse. Master, Universität des Saarlandes, Saarbrücken (1996)

Schlobach, S.: Untersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung. Master, Universität des Saarlandes, Saarbrücken (1996)

Smaus, J. -. G.: Finding Resolution K-Transformations. Master, Universität des Saarlandes, Saarbrücken (1996)

Srivastava, S.: Entwicklung und Implementierung eines Entscheidungsalgorithmus zur Zuordnung von Probleminstanzen an Hierarchieebenen. Master, Universität des Saarlandes, Saarbrücken (1996)

Bozkurt, A.: Strategien für Resolutionsbeweiser in Logik höherer Stufe. Master, Universität des Saarlandes, Saarbrücken (1995)

Gaede, B.: Superposition Extended with Sorts. Master, Universität Kaiserslautern, Saarbrücken (1995)

Abo-Hasna, Z.: Verdrahtung von Kanälen mit Seitenanschlüssen. Master, Universität des Saarlandes, Saarbrücken (1994)

Bast, H.: Fast Parallel Space Allocation, Estimation and Integer Sorting. Master, Universität des Saarlandes, Saarbrücken (1994)

Becker, J.: Effiziente Subsumption in Deduktionssystemen. Master, Universität des Saarlandes, Saarbrücken (1994)

Piskorski, J.: Parallele Graphenalgorithmen für den Hypercube. Master, Universität des Saarlandes, Saarbrücken (1994)

Graf, P.: Unification Using Dynamic Sorts. Master, Universität des Saarlandes, Saarbrücken (1992)

Reinold, M.: Transformation in dichten Wäldern. Master, Universität des Saarlandes, Saarbrücken (1991)

Baumeister, H.: Über die Stabilität parameterisierter algebraischer Spezifikationen. Master, Universität Dortmund, Dortmund (1990)

Gabelmann, J.: Few-Shot Learning with the Help of Self-Supervision. Bachelor, V, 30 S., Universität des Saarlandes, Saarbrücken (2023)

Singh, N.: Adversarial Robustness of Convolutional Dynamic Alignment Networks. Bachelor, 74 S., Universität des Saarlandes, Saarbrücken (2021)