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

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

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