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)

Ibragimov, R.: Exact and Heuristic Algorithms for Network Alignment using Graph Edit Distance Models. Dissertation, 149 S., Universität des Saarlandes, Saarbrücken (2015)

Lamotte-Schubert, M.: Automatic Authorization Analysis. Dissertation, 118 S., Universität des Saarlandes, Saarbrücken (2015)

Neumann, A.: On Efficiency and Reliability in Computer Science. Dissertation, 95 S., Universität des Saarlandes, Saarbrücken (2015)

Nguyen, C.: Data-driven Approaches for Interactive Appearance Editing. Dissertation, XVII, 134 S., Universität des Saarlandes, Saarbrücken (2015)

Olberding, S.: Fabricating Custom-shaped Thin-film Interactive Surfaces. Dissertation, XVI, 145 S., Universität des Saarlandes, Saarbrücken (2015)

Pepik, B.: Richer Object Representations for Object Class Detection in Challenging Real World Image. Dissertation, xii, 219 S., Universität des Saarlandes, Saarbrücken (2015)

Pourmiri, A.: Random Walk-based Algorithms on Networks. Dissertation, 112 S., Universität des Saarlandes, Saarbrücken (2015)

Ramezani, F.: Application of Multiplicative Weights Update Method in Algorithmic Game Theory. Dissertation, 85 S., Universität des Saarlandes, Saarbrücken (2015)

Rizkallah, C.: Verification of Program Computations. Dissertation, 132 S., Universität des Saarlandes, Saarbrücken (2015)

Seufert, S.: Algorithmic Building Blocks for Relationship Analysis over Large Graphs. Dissertation, 198 S., Universität des Saarlandes, Saarbrücken (2015)

Suda, M.: Resolution-based Methods for Linear Temporal Reasoning. Dissertation, 233 S., Universität des Saarlandes, Saarbrücken (2015)

Tylenda, T.: Methods and Tools for Summarization of Entities and Facts in Knowledge Bases. Dissertation, 113 S., Universität des Saarlandes, Saarbrücken (2015)

Wang, Z.: Pattern Search for the Visualization of Scalar, Vector, and Line Fields. Dissertation, 103 S., Universität des Saarlandes, Saarbrücken (2015)

Yosef, M. A.: U-AIDA: A Customizable System for Named Entity Recognition, Classification, and Disambiguation. Dissertation, XV, 101 S., Universität des Saarlandes, Saarbrücken (2015)