"Petr H\u00FCbner"@cs .