"Papadimitriou" . "H." . "Christos" . "Christos H. Papadimitriou" . . . .