"Johan Niemann"@cs .