"University of Nottingham"@cs .