BOURJILA Abdelhak
BOURJILA Abdelhak
  1. A. Bourjila
  2. Recherche
  3. Thèses encadrées
Thèses encadrées
Développement et certification en Coq/MathComp d'optimisations Datalog pour la vérification réseau
Université Ibn Khaldoun, Soutenue le 29-07-2021
Sur le traitement de données conforme au RGPD
Université Ibn Khaldoun, Soutenue le 29-03-2017
Exploration interactive de collections de données guidée par l'humain
Université Ibn Khaldoun, Soutenue le 29-06-2017
Exploration des approches de synchronisation directes pour la simulation unifiée et de haut niveau des systèmes continus/discrets
Université Ibn Khaldoun, Soutenue le 29-06-2015
Contribution à la lecture automatique à l’aide de réseaux neuronaux profonds
Université Ibn Khaldoun, Soutenue le 29-06-2015