DEROUICH Abderrahmane
DEROUICH Abderrahmane
  1. A. Derouich
  2. Research
  3. Supervised theses
Supervised theses
Preuves symboliques de propriétés d’indistinguabilité calculatoire
Université Ibn Khaldoun, Defended on 29-06-2015
  • A. Derouich (Supervisor)
  • MOUTAOUAKIL Achraf (PhD candidate)
Contributions au co-design de noyaux irréguliers sur architectures manycore : cas du remaillage anisotrope multi-échelle en mécanique des fluides numérique
Université Ibn Khaldoun, Defended on 29-06-2015
  • A. Derouich (Supervisor)
  • NAINIA Hamid (PhD candidate)
Logique de requêtes à la XPath : systèmes de preuve et pertinence pratique
Université Ibn Khaldoun, Defended on 29-01-2015
  • A. Derouich (Supervisor)
  • TERFASI Saloua (PhD candidate)
Archives, fragments Web et diasporas : pour une exploration désagrégée de corpus d'archives Web liées aux représentations en ligne des diasporas
Université Ibn Khaldoun, Defended on 29-03-2014
  • A. Derouich (Supervisor)
  • HARIANI Ikram (PhD candidate)
Approche orientée modèles pour la sûreté et la sécurité des systèmes embarqués
Université Ibn Khaldoun, Defended on 29-03-2014
  • A. Derouich (Supervisor)
  • OULAYACHI Walid (PhD candidate)