"Paul Pietsch"@cs .