Dimova, D.: Propositional Abduction. Bachelor, 30 pp., Universität des Saarlandes, Saarbrücken (2007)

Dreßler, C.: First-order Proof Documentation. Bachelor, IV, 52 pp., Universität des Saarlandes, Saarbrücken (2007)

Huester, M.: Formale Beschreibung von Fertigungsprozessen mit der Prozessalgebra CCS. Bachelor, Universität des Saarlandes, Saarbrücken (2007)

Nicolay, M.: Design und Implementierung eines Sync-ML-Clients für das c'man-Framework für Symbian-Geräte. Bachelor, Universität des Saarlandes, Saarbrücken (2007)

Stadtmüller, M.: An XPath 2.0 Full-Text Query Parser for the TopX Search Engine. Bachelor, Universität des Saarlandes, Saarbrücken (2007)

Fuchs, F.: Verteilte Annotation von Dokumenten - Architekturentwurf und Implementierung eines Frameworks auf J2EE-Basis. Bachelor, Universität des Saarlandes (2006)

Caroli, M.: Exakte Arrangement-Berechnung gedrehter Quadratischer Kurven. Bachelor, Universität des Saarlandes, Saarbrücken (2006)

El-Abed, S.: A Computer Graphics-based Analysis-by-synthesis Approach for the Joint Recovery of the Gas and Dust Distributions in Bipolar Planetary Nebulae from Visible and Radio Wavelength Observations. Bachelor, Universität des Saarlandes, Saarbrücken (2006)

Fouz, M.: Hereditary Discrepancy in Different Numbers of Colors. Bachelor, Universität des Saarlandes, Saarbrücken (2006)

Frings, O.: Development of a Smith-Waterman-like Multi-aspect Alignment Tool. Bachelor, Universität des Saarlandes, Saarbrücken (2006)

Fuchs, D. K.: Verteilte Annotation von Dokumenten - Entwurf und Implementierung eines modularen Annotationsservers auf Basis von NLP-Technologien. Bachelor, Universität des Saarlandes, Saarbrücken (2006)

Glaab, E.: On the Predictability of CpG Methylation in Human Tissue at Single Basepair Resolution. Bachelor, Universität des Saarlandes, Saarbrücken (2006)

Guo, F.: Adaptation of the Focused Web Crawler BINGO! for the Minerva Project. Bachelor, Universität des Saarlandes, Saarbrücken (2006)

Jung, H.: Yamada Analyzer - A Tool for Fast Calculation of Genomic Attributes. Bachelor, Universität des Saarlandes, Saarbrücken (2006)

Mangel, T.: Query-driven Term Correlations for Advanced P2P Query Routing. Bachelor, Universität des Saarlandes, Saarbrücken (2006)

Pfeifer, S.: Development of a Fast Geometry-based Screening Compound Prefiltering Technique. Bachelor, Universität des Saarlandes, Saarbrücken (2006)

Reimer, D.: Docking Studies to Investigate the Effect of Correlated Mutations in the HIV-Protease on the Drug Resistance of HIV. Bachelor, Universität des Saarlandes, Saarbrücken (2006)

Schreiber, M.: Neighbourhood-conscious Record Linkage. Bachelor, Universität des Saarlandes, Saarbrücken (2006)

Steurer, D.: Tight Bounds on the Min-Max Boundary Decomposition Cost of Weighted Graphs. Bachelor, Universität des Saarlandes, Saarbrücken (2006)

Tevs, A.: Multi-Stereorekonstruktion nicht-lambert'scher Oberflächen mittels Graph-Cut Optimierung. Bachelor, 47 pp., Universität des Saarlandes, Saarbrücken (2006)