"Petr Neumann"@cs .