"Rudolf Leitner"@cs .