"Manfred Deckert"@cs .