"Libor Forch"@cs .