"Mathias Hoppe"@cs .