"Emanuel Soukup"@cs .