Büchler, Marco, Institute of Computer Science, Georg-August-Universität, Göttingen, Germany