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)

Walter, N.: Adversarial Textures: Misleading Deep Neural Networks by Overlaying Semi-Transparent Textures. Bachelor, 74 S., Universität des Saarlandes, Saarbrücken (2020)

Klesen, J.: Black-Box Adversarial Attacks in Machine Learning. Bachelor, 91 S., Universität des Saarlandes, Saarbrücken (2019)

Humble, M.: Redescription Mining on Financial Time Series Data. Bachelor, XV, 100 S., Universität des Saarlandes, Saarbrücken (2018)

Lange, L.: Time in Newspaper: A Large-Scale Analysis of Temporal Expressions in News Corpora. Bachelor, 77 S., Universität des Saarlandes, Saarbrücken (2017)

Wellnitz, P.: Clique-based Lower Bounds for Parsing Tree-adjoining Grammars. Bachelor, 13 S., Universität des Saarlandes, Saarbrücken (2017)

Halbe, M.: Skim: Alternative Candidate Selections for Slim through Sketching. Bachelor, X, 52 S., Universität des Saarlandes, Saarbrücken (2016)

Lüssem, H.: Identifying Structural Variants Using Variant Graphs. Bachelor, Universität des Saarlandes, Saarbrücken (2016)

Rommes, B.: Genome-Wide Association Studies on Simulated Bacterial Genomes. Bachelor, Universität des Saarlandes, Saarbrücken (2016)

Deuber, D.: Visualisierung, Vergleich und Analyse genetischer Variationen. Bachelor, Universität des Saarlandes, Saarbrücken (2015)

Siegel, V.: Aufspüren von strukturellen Varianten in menschlichen Genomen mittels BWA-MEM-Alignments. Bachelor, Universität des Saarlandes, Saarbrücken (2015)