"Flori\u00E1n Machonius"@cs .