"Martin Hasse"@cs .