"Carsten Petters"@cs .