"Michael Iten"@cs .