"Prantl"@cs .