Cotton, S.: Satisfiability Checking with Difference Constraints. Master, Universität des Saarlandes, Saarbrücken (2005)

Dong, Z.: Relevant Technology Study on Programmable Graphics Hardware. Master, 65 S., Zhejiang University, Zheijang (2005)

Hussain, S. S.: Enconding a Hierarchical Proof Data Structure for Contextual Reasoning in a Logical Framework. Master, Universität des Saarlandes, Saarbrücken (2005)

Noori, H.: Getwistet induzierte Darstellungen der Gruppe Gl(3,Qp). Master, Universität Heidelberg: Mathematisches Institut, Heidelberg, Germany (2005)

Ray, S.: Counting Straight-Edge Tringulation of Planar Point Sets. Master, Universität des Saarlandes, Saarbrücken (2005)

Sliwerski, J.: Locating the Risk of Changes. Master, Universität des Saarlandes, Saarbrücken (2005)

Zhang, X.: Characterization of DigR, a novel response regulator protein in Myxococcus xanthus. Master, University of Southern Denmark, Odense, Denmark (2005)

Ahmed, N.: BRDF Reconstruction from Video Streams of Multi-View Recordings. Master, Universität des Saarlandes, Saarbrücken (2004)

Overgaard, M.: DigR, a novel DNA-binding response regulator in Myxococcus xanthus: Functional analysis using DNA microarrays. Master, University of Southern Denmark, Odense, Denmark (2004)

Ziegler, G.: MPEG Z/Alpha and High Resolution MPEG. Master, VII, 43 S., Linköping University, Norrköping (2003)

Jelsbak, L.: Characterization of the developmentally regulated fruA promoter in Myxococcus xanthus. Master, University of Southern Denmark, Odense, Denmark (2003)

Madrigal Mora, C.: Client Framework for the REAL Smart Door Displays. Master, Universität des Saarlandes, Saarbrücken (2003)

McCabe, P.: Lower Bounding the Number of Straight-Edge Triangulations of Planar Point Sets. Master, Universität des Saarlandes, Saarbrücken (2003)

Nielsen, M.: Identification and analysis of the hthA and hthB genes in Myxococcus xanthus. Master, University of Southern Denmark, Odense, Denmark (2003)

Tiwary, H. R.: Orthogonal Range Searching. Master, Universität des Saarlandes, Saarbrücken (2003)

Tverdyshev, S.: Documentation and Modelling of the IPC Mechanism in the L4 Kernel. Master, Universität des Saarlandes, Saarbrücken (2003)

Barnett-Cowan, M.: Induced phantom limb illusion. Master, Univeristy of Guelph, Guelph, ON, Canada (2002)

Rasmussen, A. A.: Identification of a Histidine Protein Kinase involved in C-signaling in Myxococcus xanthus. Master, University of Southern Denmark, Odense, Denmark (2002)

Rybalchenko, A.: A Model Checker based on Abstraction Refinement. Master, Universität des Saarlandes, Saarbrücken (2002)

Di Luca, M.: Percezione di superfici e illuminazione dinamica. Master, Università di Trieste, Trieste, Italy (2001)