"Kinshofer"@cs .