"Stephen Werner"@cs .