Dalinger, I.: Formal Verification of a Processor with Memory Management Units. Dissertation, XVI, 106 pp., Universität des Saarlandes, Saarbrücken (2006)

Dementiev, R.: Algorithm Engineering for Large Data Sets. Dissertation, Universität des Saarlandes, Saarbrücken (2006)

Graupmann, J.: Die Sphere-Search-Suchmaschine zur Graphbasierten Suche auf Heterogenen, Semistrukturierten Daten. Dissertation, Universität des Saarlandes, Saarbrücken (2006)

Hachenberger, P.: Boolean Operations on 3D Selective Nef Complexes: Data Structure, Algorithms Optimized Implementation, Experiments and Applications. Dissertation, Universität des Saarlandes, Saarbrücken (2006)

Kazakov, Y.: Saturation-Based Decision Procedures For Extensions Of The Guarded Fragment. Dissertation, Universität des Saarlandes, Saarbrücken (2006)

Mantiuk, R.: High-Fidelity Imaging - The Computational Models of the Human Visual System in High Dynamic Range Video Video Compression, Visible Difference Prediction and Image Processing. Dissertation, Universität des Saarlandes, Saarbrücken (2006)

Michail, D.: Minimum Cycle Basis, Algorithms & Applications. Dissertation, Universität des Saarlandes, Saarbrücken (2006)

Reichel, J.: Combinatorial Approaches to Trunk Packing Problem. Dissertation, Universität des Saarlandes, Saarbrücken (2006)

Tawara, T.: Efficient Global Illumination for Dynamic Scenes. Dissertation, Universität des Saarlandes, Saarbrücken (2006)

Vorsatz, J.: Dynamic Remeshing and Applications. Dissertation, Universität des Saarlandes, Saarbrücken (2006)

Yoshizawa, S.: Computational Differential Geometry Tools for Surface Interrogation, Fairing, and Design. Dissertation, Universität des Saarlandes, Saarbrücken (2006)

Rahnenführer, J.: Statistical Methods for the Biological Interpretation of Genome-wide Measurements. Habilitation, Universität des Saarlandes, Saarbrücken (2006)

Bankstahl, J.: Netflow analysis of SAP R/3 traffic in an enterprise environment. Diploma, Universität des Saarlandes, Saarbrücken (2006)

Bastuck, A.: Maschinell unterstützte Analyse eines Sicherheitsprotokolls. Diploma, Universität des Saarlandes, Saarbrücken (2006)

Huthmacher, C.: Decomposing Protein Networks Into Domain-Domain Interactions. Diploma, Eberhard Karls University, Tübingen (2006)

Parkitny, S.: A Comparative Study of Pub/Sub Methods in Structured P2P Networks. Diploma, Universität des Saarlandes, Saarbrücken (2006)

Sunkel, M.: Face Detection and 3D Face Reconstruction. Diploma, 79 pp., Universität des Saarlandes, Saarbrücken (2006)

Antova, L.: Efficient Representation and Processing of Incomplete Information. Master, Universität des Saarlandes, Saarbrücken (2006)

Assenov, Y.: Topological Analysis of Biological Networks. Master, Universität des Saarlandes, Saarbrücken (2006)

Binsl, T.: Feature Prints: A new method for calculating molecular similarities. Master, Universität des Saarlandes, Saarbrücken (2006)