"Demetris Christofias"@cs .