Kerber, J.; Wand, M.; Bokeloh, M.; Seidel, H.-P.: Symmetry Detection in Large Scale City Scans. (2012), 32 S.

Miettinen, P.; Vreeken, J.: MDL4BMF: Minimum Description Length for Boolean Matrix Factorization. Max-Planck-Institut für Informatik, Saarbrücken (2012), 48 S.

Suda, M.; Weidenbach, C.: Labelled Superposition for PLTL. Max-Planck-Institut für Informatik, Saarbrücken (2012), 42 S.

Tenth Biennial Report: May 2009 - April 2011 (Biennial Report / Max-Planck-Institut für Informatik, 10). Max-Planck-Institut für Informatik, Saarbrücken (2011), 680 S.

Bericht 2011 (Jahresbericht, 2011). Max-Planck-Institut für Informatik, Saarbrücken (2011), 115 S.

Report 2011 (Annual Report, 2011). Max-Planck-Institut für Informatik, Saarbrücken (2011), 116 S.

Anand, A.; Bedathur, S.; Berberich, K.; Schenkel, R.: Temporal Index Sharding for Space-time Efficiency in Archive Search. Universität des Saarlandes, Saarbrücken (2011)

Berner, A.; Burghard, O.; Wand, M.; Mitra, N.; Klein, R.; Seidel, H.-P.: A Morphable Part Model for Shape Manipulation. Max-Planck-Institut für Informatik, Saarbrücken (2011), 33 S.

Damm, W.; Disch, S.; Hagemann, W.; Scholl, C.; Waldmann, U.; Wirtz, B.: Integrating Incremental Flow Pipes into a Symbolic Model Checker for Hybrid Systems (AVACS Technical Report, 76). SFB/TR 14 AVACS, Saarbrücken (2011)

Damm, W.; Ihlemann, C.; Sofronie-Stokkermans, V.: PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata (AVACS Technical Report, 70). SFB/TR 14 AVACS (2011), 31 S.

Gemulla, R.; Haas, P. J.; Nijkamp, E.; Sismanis, Y.: Large-scale Matrix Factorization with Distributed Stochastic Gradient Descent (IBM Research Report, RJ10481). IBM Research Division, San Jose, CA (2011)

Granados, M.; Tompkin, J.; Kim, K.; Grau, O.; Kautz, J.; Theobalt, C.: How Not to Be Seen -- Inpainting Dynamic Objects in Crowded Scenes. MPI für Informatik, Saarbrücken (2011), 35 S.

Kim, K. I.; Kwon, Y.; Kim, J. H.; Theobalt, C.: Efficient Learning-based Image Enhancement: Application to Compression Artifact Removal and Super-resolution. Max-Planck-Institut für Informatik, Saarbrücken (2011)

Lu, T.; Merz, S.; Weidenbach, C.: Towards Verification of the Pastry Protocol using TLA+. Max-Planck-Institut für Informatik, Saarbrücken (2011), 51 S.

Taneva, B.; Kacimi El Hassani, M.; Weikum, G.: Finding Images of Rare and Ambiguous Entities. Max-Planck-Institut für Informatik, Saarbrücken (2011), 30 S.

Tompkin, J.; Kim, K. I.; Kautz, J.; Theobalt, C.: Videoscapes: Exploring Unstructured Video Collections. Max-Planck-Institut für Informatik, Saarbrücken (2011), 32 S.

Bericht 2009/2010 (Jahresbericht, 2010). Max-Planck-Institut für Informatik, Saarbrücken (2010), 120 S.

Report 2009/2010 (Annual Report, 2010). Max-Planck-Institut für Informatik, Saarbrücken (2010), 120 S.

Althaus, E.; Altmeyer, S.; Naujoks, R.: A New Combinatorial Approach to Parametric Path Analysis (AVACS Technical Report, 58). SFB/TR 14 AVACS (2010), 33 S.

Anand, A.; Bedathur, S.; Berberich, K.; Schenkel, R.: Efficient Temporal Keyword Queries over Versioned Text. Max-Planck-Institut für Informatik, Saarbrücken (2010), 39 S.