Podelski, A.; Wagner, S.: A method and a tool for automatic veriication of region stability for hybrid systems. Max-Planck-Institut für Informatik, Saarbrücken (2007), 46 pp.

Stoll, C.; de Aguiar, E.; Theobalt, C.; Seidel, H.-P.: A volumetric approach to interactive shape editing. Max-Planck-Institut für Informatik, Saarbrücken (2007), 28 pp.

Suchanek, F.; Kasneci, G.; Weikum, G.: Yago: a large ontology from Wikipedia and WordNet. Max-Planck-Institut für Informatik, Saarbrücken (2007), 67 pp.

El Kahoui, M.: Computing with algebraic curves in generic position. (2007)

El Kahoui, M.: Polynomial parametrization of nonsingular algebraic curves. (2007)