Rybalchenko, A.: Temporal Verification with Transition Invariants. Dissertation, Universität des Saarlandes, Saarbrücken (2005)

Shegalov, G.: Integrated Data, Message, and Process Recovery for Failure Masking in Web Services. Dissertation, Universität des Saarlandes, Saarbrücken (2005)

Siersdorfer, S.: Combination Methods for Automatic Document Organization. Dissertation, Universität des Saarlandes, Saarbrücken (2005)

Sizov, S.: Automatic Generation of Thematically Focused Information Portals from Web Data. Dissertation, Universität des Saarlandes, Saarbrücken (2005)

Theobald, M.; Fuhr, N.: TopX: Efficient Top-k Query Processing for Text, Semistructured, and Structured Data. Dissertation, Universität des Saarlandes, Saarbrücken (2005)

Theobalt, C.: From Image-based Motion Analysis to Free-Viewpoint Video. Dissertation, Universität des Saarlandes, Saarbrücken (2005)

Backes, W.: Programmanalyse des XRTL Zwischencodes. Dissertation, Universität des Saarlandes, Saarbrücken (2004)

Beier, R.: Probabilistic Analysis of Discrete Optimization Problems. Dissertation, Universität des Saarlandes, Saarbrücken (2004)

Goesele, M.: New Acquisition Techniques for Real Objects and Light Sources in Computer Graphics. Dissertation, Universität des Saarlandes, Saarbrücken (2004)

Lensch, H. P. A.: Efficient, Image-based Appearance Acquisition of Real-World Objects. Dissertation, XIV, 158 pp., Cuvillier Verlag, Göttingen (2004)

Ray, R.: Geometric Algorithms for Object Placement and Planarity in a Terrain. Dissertation, Universität des Saarlandes, Saarbrücken (2004)

Schäfer, G.: Worst Case Instances are Fragile. Dissertation, X. 115 pp., Universität des Saarlandes, Saarbrücken (2004)

Sivadasan, N.: Online Problems and Two-Player Games: Algorithms and Analysis. Dissertation, Universität des Saarlandes, Saarbrücken (2004)

Theobald, A.: Die XXL-Suchmaschine zur ontologiebasierten Ähnlichkeitssuche in XML-Dokumenten. Dissertation, Universität des Saarlandes, Saarbrücken (2004)

Thiel, S.: Efficient Algorithms for Constraint Propagation and for Processing Tree Descriptions. Dissertation, Universität des Saarlandes, Saarbrücken (2004)

Wald, I.: Realtime Ray Tracing and Interactive Global Illumination. Dissertation, Universität des Saarlandes, Saarbrücken (2004)

Warken, T.: Collision detection for Curved Rigid Objects in the Context of Dynamics Simulations. Dissertation, Universität des Saarlandes, Saarbrücken (2004)

Winkel, S.: Optimal Global Instruction Scheduling for the Itanium® Processor Architecture. Dissertation, Universität des Saarlandes, Saarbrücken (2004)

Beerenwinkel, N.: Computational Analysis of HIV Drug resistance Data. Dissertation, VIII, 180 pp., Universität des Saarlandes, Saarbrücken (2003)

Brabec, S.: Shadow Techniques for Interactive and Real-Time Applications. Dissertation, Universität des Saarlandes, Saarbrücken (2003)