"K\u00E1roly Wiedermann"@cs .