Alvarez Amaya, V.: Approximation of Minimum Spanning Trees of Set of Points in the Hausdorff Metric. Master, Universität des Saarlandes (2007)

Elbassuoni, S.: Adaptive Personalization of Web Search. Master, Universität des Saarlandes, Saarbrücken (2007)

Horozal, F. F.: Towards a Natural Representation of Mathematics in Proof Assistants. Master, Universität des Saarlandes, Saarbrücken (2007)

Hritcu, C.: Step-indexed Semantic Model of Types for the Functional Object Calculus. Master, Universität des Saarlandes, Saarbrücken (2007)

Machablishvili, L.: Computing k-hop Broadcast Trees Exactly. Master, Universität des Saarlandes, Saarbrücken (2007)

Mileva, Y.: Invariance with Optic Flow. Master, Universität des Saarlandes, Saarbrücken (2007)

Nenova, S.: Extraction of Attack Signatures. Master, Universität des Saarlandes, Saarbrücken (2007)

Pool, D.: Pilot Control in Compensatory Roll Axis Tracking Tasks. Master, Delft University of Technology, Delft, The Netherlands (2007)

Strauss, M.: Realtime Generation of Multimodal Affective Sports Commentary for Embodied Agents. Master, Universität des Saarlandes, Saarbrücken (2007)

Valgaerts, L.: Combining Variational and Feature-based Methods for Motion Estimation. Master, Technische Universität München, München (2007)

Ashfaq, A.: Numerical Solutions of Population Balance Models for Crystallization Porcesses. Master, Otto-von-Guericke-Universität, Magdeburg (2006)

Antova, L.: Efficient Representation and Processing of Incomplete Information. 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)

Dingemanse, M.: The semantics of Bantu noun classification: A review and comparison of three approaches. Master, 25 S., Leiden University (2006)

Lennert, T.: Attentional Modulation Induced by Statistical Learning. Master, Eberhard-Karls-Universität, Tübingen, Germany (2006)

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

Tolosi, L.: Analysis of Array CGH Data for the Estimation of Genetic Tumor Progression. Master, Universität des Saarlandes, Saarbrücken (2006)

Alexa, A.: Integrating the GO Graph Structure in Scoring the Significance of Gene Ontology Terms. Master, Universität des Saarlandes, Saarbrücken (2005)

Chernov, S.: Result Merging in a Peer-to-Peer Web Search Engine. Master, Universität des Saarlandes, Saarbrücken (2005)