Robert LegensteinInstitute for Theoretical Computer Science, University of Technology, Graz, Austria https://www.tugraz.at/institute/igi/people/prof-legenstein/