"Diederik Simon"@cs . "Simon"@cs .