DEROUICH Abderrahmane
DEROUICH Abderrahmane
  1. A. Derouich
  2. Recherche
  3. Thèses encadrées
Thèses encadrées
Preuves symboliques de propriétés d’indistinguabilité calculatoire
Université Ibn Khaldoun, Soutenue le 29-06-2015
  • A. Derouich (Encadrant)
  • MOUTAOUAKIL Achraf (Thésard)
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, Soutenue le 29-06-2015
Logique de requêtes à la XPath : systèmes de preuve et pertinence pratique
Université Ibn Khaldoun, Soutenue le 29-01-2015
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, Soutenue le 29-03-2014
Techniques d'interaction exploitant la mémoire pour faciliter l'activation de commandes
Université Ibn Khaldoun, Soutenue le 29-01-2014