"Michael Doherty"@cs .