"Hugh Doherty"@cs .