"Rene Lavan"@cs .