"Johan Derksen"@cs .