"Martin Hoop"@cs .