"Jacob Schmidt-Svejstrup"@cs . "Schmidt-Svejstrup"@cs . "J. Schmidt-Svejstrup"@cs .