Department of Computer Science and Mathematics, Goethe-Universität Frankfurt am Main