Schönig, Stefan, Institute for Computer Science University of Bayreuth, Germany