Sun, P.: Bi-(N-) cluster editing and its biomedical applications. Dissertation, 192 S., Universität des Saarlandes, Saarbrücken (2017)

Tang, C. H.: Logics for Rule-based Configuration Systems. Dissertation, X, 123 S., Universität des Saarlandes, Saarbrücken (2017)

Tang, S.: People detection and tracking in crowded scenes. Dissertation, 171 S., Universität des Saarlandes, Saarbrücken (2017)

Wand, D.: Superposition: Types and Induction. Dissertation, x, 167 S., Universität des Saarlandes, Saarbrücken (2017)

Weigel, M.: Interactive On-Skin Devices for Expressive Touch-based Interactions. Dissertation, 153 S., Universität des Saarlandes, Saarbrücken (2017)

Wu, X.: Structure-aware Content Creation. Dissertation, viii, 61 S., Universität des Saarlandes, Saarbrücken (2017)

Azmy, N.: A Machine-checked Proof of Correctness of Pastry. Dissertation, ix, 119 S., Universität des Saarlandes, Saarbrücken (2016)

Bachynskyi, M.: Biomechanical Models for Human-Computer Interaction. Dissertation, xiv, 206 S., Universität des Saarlandes, Saarbrücken (2016)

Chiu, W.-C.: Bayesian Non-Parametrics for Multi-Modal Segmentation. Dissertation, XII, 155 S., Universität des Saarlandes, Saarbrücken (2016)

Del Corro, L.: Methods for Open Information Extraction and Sense Disambiguation on Natural Language Text. Dissertation, xiv, 101 S., Universität des Saarlandes, Saarbrücken (2016)

Doncheva, N. T.: Network Biology Methods for Functional Characterization and Integrative Prioritization of Disease Genes and Proteins. Dissertation, XII, 242 S., Universität des Saarlandes, Saarbrücken (2016)

Elek, O.: Efficient Methods for Physically-based Rendering of Participating Media. Dissertation, Universität des Saarlandes, Saarbrücken (2016)

Hatefi Ardakani, H.: Finite Horizon Analysis of Markov Automata. Dissertation, X, 175 S., Universität des Saarlandes, Saarbrücken (2016)

Hauschild, A.-C.: Computational Methods for Breath Metabolomics in Clinical Diagnostics. Dissertation, 188 S., Universität des Saarlandes, Saarbrücken (2016)

Kellnhofer, P.: Perceptual Modeling for Stereoscopic 3D. Dissertation, xxiv, 158 S., Universität des Saarlandes, Saarbrücken (2016)

Klehm, O.: User-Guided Scene Stylization using Efficient Rendering Techniques. Dissertation, XIII, 111 S., Universität des Saarlandes, Saarbrücken (2016)

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)