Helten, T.: Processing and Tracking Human Motions Using Optical, Inertial, and Depth Sensors. Dissertation, Universität des Saarlandes, Saarbrücken (2013)

Jurkiewicz, T.: Toward Better Computation Models for Modern Machines. Dissertation, 94 pp., Universität des Saarlandes, Saarbrücken (2013)

Kerber, J.: Of Assembling Small Sculptures and Disassembling Large Geometry. Dissertation, Universität des Saarlandes, Saarbrücken (2013)

Kruglov, E.: Superposition Modulo Theory. Dissertation, X, 229 pp., Universität des Saarlandes, Saarbrücken (2013)

Lu, T.: Formal Verification of the Pastry Protocol. Dissertation, Universität des Saarlandes, Saarbrücken (2013)

Patil, K. R.: Genome Signature based Sequence Comparison for Taxonomic Assignment and Tree Inference. Dissertation, Universität des Saarlandes, Saarbrücken (2013)

Qu, L.: Sentiment Analysis with Limited Training Data. Dissertation, 133 pp., Universität des Saarlandes, Saarbrücken (2013)

Scherbaum, K.: Data Driven Analysis of Faces from Images. Dissertation, Universität des Saarlandes, Saarbrücken (2013)

Shaheen, M.: Cache Based Optimization of Stencil Computations an Algorithmic Approach. Dissertation, Universität des Saarlandes, Saarbrücken (2013)

Stupar, A.: Soundtrack Recommendation for Images. Dissertation, 149 pp., Universität des Saarlandes, Saarbrücken (2013)

Taneva, B.: Automatic Population of Knowledge Bases with Multimodal Data about Named Entities. Dissertation, Universität des Saarlandes, Saarbrücken (2013)

Wang, Y.: Methods and Tools for Temporal Knowledge Harvesting. Dissertation, Universität des Saarlandes, Saarbrücken (2013)

Zeini, B.: Design and Evaluation of an Incremental Ranking Model for Large-scale Data Stored in HBase. Master, Universität des Saarlandes, Saarbrücken (2013)

Afsari Yeganeh, E.: Human Motion Alignment Using a Depth Camera. Master, Universität des Saarlandes, Saarbrücken (2013)

Ansari, F.: A Comparative Study of MAX-SAT Solving Techniques with Soft and Hard Rules. Master, Universität des Saarlandes, Saarbrücken (2013)

Belet, R.: Leveraging Independence and Locality for Random Forests in a Distributed Environment. Master, 132 pp., Universität des Saarlandes, Saarbrücken (2013)

Boldyrev, A.: Dictionary-based Named Entity Recognition. Master, Universität des Saarlandes, Saarbrücken (2013)

de Oliveira Melo, A.: Learning Rules With Categorical Attributes from Linked Data Sources. Master, Universität des Saarlandes, Saarbrücken (2013)

Dinu, L.: Randomized Median-of-Three Trees. Master, Universität des Saarlandes, Saarbrücken (2013)

Ebel, F.: Lessons from the Black-Box: Fast Crossover-based Algorithms. Master, VIII,, 38 pp., Universistät des Saarlandes, Saarbrücken (2013)