"Marek Mucha"@cs .