Müller, F.: Assessing Antibody Neutralization of HIV-1 as an Initial Step in the Search for gp160-based Immunogens. Master, XIV, 95 S., Universität des Saarlandes, Saarbrücken (2009)

Pironti, A.: Probabilistic Disease Gene Prioritization. Master, Universität des Saarlandes, Saarbrücken (2009)

Puzhay, D.: Modeling Bug Reporter Reputation. Master, Universität des Saarlandes, Saarbrücken (2009)

Ragneala, R.: A Useful Resource for Defect Prediction Models. Master, Universität des Saarlandes, Saarbrücken (2009)

Rizkallah, C.: Proof Representations for Higher-Order Logic. Master, Universität des Saarlandes, Saarbrücken (2009)

Tylenda, T.: Time-aware Link Prediction in Evolving Social Networks. Master, Universität des Saarlandes, Saarbrücken (2009)

Ebert, P.: Computational Analysis of Genomic HPV Data. Bachelor, Universität des Saarlandes, Saarbrücken (2009)

Weimann, A.: Using Multidimensional Scaling for Visualizing Similarities of Protein Domains. Bachelor, Universität des Saarlandes, Saarbrücken (2009)

Hemmer, M.: Modular Arithmetic, CGAL - Computational Geometry Algorithms Library, release 3.4. (2009)

Sarma, A. D.; Nanongkai, D.; Pandurangan, G.; Tetali, P.: Efficient Distributed Random Walks with Applications. (2009), 27 S.

Ninth Biennial Report: April 2007 – April 2009 (Biennial Report / Max-Planck-Institut für Informatik, 9). Max-Planck-Institut für Informatik, Saarbrücken (2009), 676 S.

Bedathur, S.; Berberich, K.; Dittrich, J.; Mamoulis, N.; Weikum, G.: Scalable Phrase Mining for Ad-hoc Text Analytics. Max-Planck-Institut für Informatik, Saarbrücken (2009), 41 S.

Berner, A.; Bokeloh, M.; Wand, M.; Schilling, A.; Seidel, H.-P.: Generalized intrinsic symmetry detection. Max-Planck-Institut für Informatik, Saarbrücken (2009), 33 S.

de Melo, G.; Weikum, G.: Towards a Universal Wordnet by Learning from Combined Evidenc. Max-Planck-Institut für Informatik, Saarbrücken (2009), 32 S.

Fuchs, M.; Chen, T.; Wang, O.; Raskar, R.; Lensch, H. P. A.; Seidel, H.-P.: A shaped temporal filter camera. Max-Planck-Institut für Informatik, Saarbrücken (2009), 25 S.

Havran, V.; Zajac, J.; Drahokoupil, J.; Seidel, H.-P.: MPI Informatics building model as data for your research. Max-Planck-Institut für Informatik, Saarbrücken (2009), 113 S.

Horbach, M.; Weidenbach, C.: Deciding the Inductive Validity of Forall Exists* Queries. (2009)

Horbach, M.; Weidenbach, C.: Superposition for Fixed Domains. Max-Planck-Institut für Informatik, Saarbrücken (2009), 49 S.

Horbach, M.; Weidenbach, C.: Decidability Results for Saturation-based Model Building. Max-Planck-Institut für Informatik, Saarbrücken (2009), 38 S.

Hullin, M. B.; Ajdin, B.; Hanika, J.; Seidel, H.-P.; Kautz, J.; Lensch, H. P. A.: Acquisition and analysis of bispectral bidirectional reflectance distribution functions. Max-Planck-Institut für Informatik, Saarbrücken (2009), 25 S.