"Martin Hinterstocker"@cs . "Hinterstocker"@cs .