Binsl, T.: Feature Prints: A new method for calculating molecular similarities. Master, Universität des Saarlandes, Saarbrücken (2006)

Demir, M.: Predicting Component Failures at Early Design Time. Master, Universität des Saarlandes, Saarbrücken (2006)

Dimitrova, R.: Model Checking with Abstraction Refinement for Well-structured Systems. Master, 93 S., Universität des Saarlandes, Saarbrücken (2006)

Guo, X.: Improving Fold Recognition Using Protein and Domain Interactions. Master, Universität des Saarlandes, Saarbrücken (2006)

Halachev, K.: EpiGRAPHregression: A toolkit for (epi-)genomic correlation analysis and prediction of quantitative attributes. Master, Universität des Saarlandes, Saarbrücken (2006)

Hirth, S.: Automatische Analyse von DHCP und höheren Infrasturkturdiensten mit SPASS. Master, Universität des Saarlandes, Saarbrücken (2006)

Iqbal, Y.: Flexible Backing-off Strategies for HMM based Named Entity Recognition. Master, Universität des Saarlandes, Saarbrücken (2006)

Johannsen, D.: Sampling Rooted 3-Connected Planar Graphs in Deterministic Polynomial Time. Master, Humboldt-Universität zu Berlin, Saarbrücken (2006)

Karl, C.: Automatische Analyse von Layer 3 Netzwerken mit SPASS. Master, Universität des Saarlandes, Saarbrücken (2006)

Kaspar, M.: Automated conformational analysis of macrocyclic ring systems. Master, Universität des Saarlandes, Saarbrücken (2006)

Kerber, M.: Analysis of Real Algebraic Plane Curves. Master, Universität des Saarlandes, Saarbrücken (2006)

Ludwig, M.: Extensions of the Knuth-Bendix Ordering with LPO-like Properties. Master, Universität des Saarlandes, Saarbrücken (2006)

Maue, J.: A Goal-Directed Shortest Path Algorithm Using Precomputed Cluster Distances. Master, Universität des Saarlandes, Saarbrücken (2006)

Osipov, V.: A polynomial Time Randomized Parallel Approximation Algorithm for Finding Heavy Planar Subgraphs. Master, Universität des Saarlandes, Saarbrücken (2006)

Pohl, S.: Exact Integer Linear Programming with Bounded Variables in a Branch- and Cut Algorithm. Master, Universität des Saarlandes, Saarbrücken (2006)

Recktenwald, F.: Sampling and Interpolation of the Plenoptic Function from Sparse Data. Master, Universität des Saarlandes, Saarbrücken (2006)

Schäf, M.: Abstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften. Master, Universität des Saarlandes, Saarbrücken (2006)

Schneider, T.: Dynamics in Large-Scale Peer-to-Peer-Networks. Master, Universität des Saarlandes, Saarbrücken (2006)

Schu, I.: Time-series Rule Discovery on Gene Expression Data. Master, Universität des Saarlandes, Saarbrücken (2006)

Steurer, D.: An Asymptomic Approximation Scheme for Multigraph Edge Coloring. Master, Universität des Saarlandes, Saarbrücken (2006)