Košta, M.: New Concepts for Real Quantifier Elimination by Virtual Substitution. Dissertation, xvi, 214 S., Universität des Saarlandes, Saarbrücken (2016)

Künnemann, M.: Tight(er) Bounds for Similarity Measures, Smoothed Approximation and Broadcasting. Dissertation, XI, 223 S., Universität des Saarlandes, Saarbrücken (2016)

Ott, S.: Algorithms for Classical and Modern Scheduling Problems. Dissertation, IX, 109 S., Universität des Saarlandes, Saarbrücken (2016)

Pironti, A.: Improving and Validating Data-driven Genotypic Interpretation Systems for the Selection of Antiretroviral Therapies. Dissertation, x, 272 S., Universität des Saarlandes, Saarbrücken (2016)

Pishchulin, L.: Articulated People Detection and Pose Estimation in Challenging Real World Environments. Dissertation, XIII, 248 S., Universität des Saarlandes, Saarbrücken (2016)

Rangapuram, S. S.: Graph-based Methods for Unsupervised and Semi-supervised Data Analysis. Dissertation, XI, 161 S., Universität des Saarlandes, Saarbrücken (2016)

Reinert, B.: Interactive, Example-driven Synthesis and Manipulation of Visual Media. Dissertation, XX, 116, XVII S., Universität des Saarlandes, Saarbrücken (2016)

Rhodin, H.: From Motion Capture to Interactive Virtual Worlds: Towards Unconstrained Motion-Capture Algorithms for Real-time Performance-Driven Character Animation. Dissertation, 179 S., Universität des Saarlandes, Saarbrücken (2016)

Sridhar, S.: Tracking Hands in Action for Gesture-based Computer Input. Dissertation, XXIII, 161 S., Universität des Saarlandes, Saarbrücken (2016)

Tandon, N.: Commonsense Knowledge Acquisition and Applications. Dissertation, XIV, 154 S., Universität des Saarlandes, Saarbrücken (2016)

Teflioudi, C.: Algorithms for Shared-Memory Matrix Completion and Maximum Inner Product Search. Dissertation, xi, 110 S., Universität des Saarlandes, Saarbrücken (2016)

Templin, K.: Depth, Shading, and Stylization in Stereoscopic Cinematograph. Dissertation, xii, 100 S., Universität des Saarlandes, Saarbrücken (2016)

Turoňová, B.: Progressive Stochastic Reconstruction Technique for Cryo Electron Tomography. Dissertation, XI, 118 S., Universität des Saarlandes, Saarbrücken (2016)

Yahya, M.: Question Answering and Query Processing for Extended Knowledge Graphs. Dissertation, x, 160 S., Universität des Saarlandes, Saarbrücken (2016)

Abdel Maksoud, M.: Processor Pipelines in WCET Analysis. Dissertation, 73 S., Universität des Saarlandes, Saarbrücken (2015)

Abed, F.: Coordinating Selfish Players in Scheduling Games. Dissertation, 70 S., Universität des Saarlandes, Saarbrücken (2015)

Elhayek, A.: Marker-less Motion Capture in General Scenes with Sparse Multi-camera Setups. Dissertation, XIV, 124 S., Universität des Saarlandes, Saarbrücken (2015)

Georgiev, I.: Path Sampling Techniques for Efficient Light Transport Simulation. Dissertation, 162 S., Universität des Saarlandes, Saarbrücken (2015)

Hagemann, W.: Symbolic Orthogonal Projections: A New Polyhedral Representation for Reachability Analysis of Hybrid Systems. Dissertation, XIII, 94 S., Universität des Saarlandes, Saarbrücken (2015)

Hoffart, J.: Discovering and Disambiguating Named Entities in Text. Dissertation, X, 103 S., Universität des Saarlandes, Saarbrücken (2015)