Publications by authors named "Khaled Himed"