Thèses encadrées

Thèses encadrées

Sur la combinatoire des polytopes en nombres entiers, génération aléatoire et enumération

Université Ibn Khaldoun, Soutenue le 29-07-2017

S. Rafai (Encadrant)
BENAMAR Houria (Thésard)

Prise en compte du contexte inter-phrastique pour l'extraction d'événements supervisée

Université Ibn Khaldoun, Soutenue le 29-04-2016

S. Rafai (Encadrant)
FAHDIMI Asmae (Thésard)

Algorithmique de graphes pour la similarité structurelle de molécules et de réactions

Université Ibn Khaldoun, Soutenue le 29-05-2015

S. Rafai (Encadrant)
OUATIFI Aymant (Thésard)

Traduction mécanisée et certifiée en Coq d'une algèbre relationnelle étendue pour SQL vers une algèbre imbriquée

Université Ibn Khaldoun, Soutenue le 29-07-2015

S. Rafai (Encadrant)
BENCHAABOUNE Youssef (Thésard)

Secure distributed computations for the personal cloud

Université Ibn Khaldoun, Soutenue le 29-07-2014

S. Rafai (Encadrant)
LAARAICHI Karim (Thésard)