, Institute for Computer Science University of Bayreuth, Germany