"Martin Wei\u00DF"@cs .