Horbach, M.: Saturation-based Decision Procedures for Fixed Domain and Minimal Model Semantics. Dissertation, Universität des Saarlandes, Saarbrücken (2010)

Huber, A.: Randomized Rounding and Rumor Spreading with Stochastic Dependencies. Dissertation, Universität des Saarlandes, Saarbrücken (2010)

Hullin, M. B.: Reconsidering Light Transport: Acquisition and Display of Real-World Reflectance and Geometry. Dissertation, Universität des Saarlandes, Saarbrücken (2010)

Ihlemann, C.: Reasoning in Combinations of Theories. Dissertation, Universität des Saarlandes, Saarbrücken (2010)

Jacobs, S.: Hierarchic Decision Procedures for Verification. Dissertation, 121 S., Universität des Saarlandes, Saarbrücken (2010)

Johannsen, D.: Random combinatorial structures and randomized search heuristics. Dissertation, Universität des Saarlandes, Saarbrücken (2010)

Kratsch, S.: Kernelization of generic problems: upper and lower bounds. Dissertation, Universität des Saarlandes, Saarbrücken (2010)

Pyrga, E.: Algorithmic Game Theory and Networks. Dissertation, Universität des Saarlandes, Saarbrücken (2010)

Saleem, W.: Digital Processing and Management Tools for 2D and 3D Shape Repositories. Dissertation, XIV, 137 S., Universität des Saarlandes, Saarbrücken (2010)

Schlicker, A.: Ontology-based Similarity Measures and their Application in Bioinformatics. Dissertation, Universität des Saarlandes, Saarbrücken (2010)

Starostin, A.: Formal Verification of Demand Paging. Dissertation, Universität des Saarlandes, Saarbrücken (2010)

Wojek, C.: Monocular Visual Scene Understanding from Mobile Platforms. Dissertation, XI, 158 S., Technische Universität, Darmstadt (2010)

Zhu, H.: Characterization, Classification and Alignment of Protein-protein Interfaces. Dissertation, Universität des Saarlandes, Saarbrücken (2010)

Andreychenko, A.: Uniformization for Time-Inhomogeneous Markov Population Models. Master, Universität des Saarlandes, Saarbrücken (2010)

Bazine, Y.: Image-based Bilateral Symmetry Estimation. Master, VII, 61 S., Universität des Saarlandes, Saarbrücken (2010)

Brock, H.: Automated Classification of Trampoline Motions Based on Inertial Sensor Input. Master, Universität des Saarlandes, Saarbrücken (2010)

Byelozyorov, S.: Construction of Virtual Worlds with Web 2.0 Technology. Master, Universität des Saarlandes, Saarbrücken (2010)

de la Garza, L.: Implementation and evaluation of an efficient, distributed replication algorithm in a real network. Master, Universität des Saarlandes, Saarbrücken (2010)

Jansen, S.: Symmetry Detection in Images Using Belief Propagation. Master, X, 51 S., Universität des Saarlandes, Saarbrücken (2010)

Kuhn Cuellar, L. E.: A probabilistic algorithm for matching protein structures - and its application to detecting functionally relevant patterns. Master, Universität des Saarlandes, Saabrücken (2010)