Rechercher dans
Liens
Nos Events & Actus
  1. FSA
  2. Equipes de Recherche
  3. Equipe Rech. CCSI
  4. Thèses
Thèses
New structural decompositions
G. Rozenberg (Encadrant)
Université Ibn Khaldoun (2016), Pages 123 Pages
Twin-Width : caractérisations combinatoires et logiques
G. Rozenberg (Encadrant)
Université Ibn Khaldoun (2016), Pages 82 Pages
Modélisation de réseaux IoT hétérogènes à des fins d’évaluation de sécurité
A. Frosini (Encadrant)
Université Ibn Khaldoun (2016), Pages 93 Pages
Scalable DNA algorithms
G. Rozenberg (Encadrant)
Université Ibn Khaldoun (2015), Pages 91 Pages
Toward a verified compilation infrastructure for concurrent programs : non-sequential paradigms in Vellvm
G. Rozenberg (Encadrant)
Université Ibn Khaldoun (2015), Pages 130 Pages
Garantie de confiance et de sécurité dans la composition de services et fonctions réseaux distribuées
A. Frosini (Encadrant)
Université Ibn Khaldoun (2015), Pages 155 Pages
Analyse des voies métaboliques au cours du cycle cellulaire : application au métabolisme du cancer
Y. Ouakili (Encadrant)
Université Ibn Khaldoun (2015), Pages 154 Pages
Application du deep learning pour la représentation de graphes à différentes échelles
A. Attmani (Encadrant)
Université Ibn Khaldoun (2015), Pages 134 Pages
Aide à la décision dans l'évaluation des impacts des politiques de financement de la recherche
A. Belhadj (Encadrant)
Université Ibn Khaldoun (2015), Pages 156 Pages
Sécurisation systématique d'applications embarquées contre les attaques physiques
A. Belhadj (Encadrant)
Université Ibn Khaldoun (2015), Pages 111 Pages
Algorithmique de graphes pour la similarité structurelle de molécules et de réactions
S. Rafai (Encadrant)
Université Ibn Khaldoun (2015), Pages 110 Pages
Routage efficace et garanti dans les réseaux de capteurs sans fil
A. Boualem (Encadrant)
Université Ibn Khaldoun (2015), Pages 89 Pages
Application des architectures many core dans les systèmes embarqués temps réel
A. Boualem (Encadrant)
Université Ibn Khaldoun (2015), Pages 149 Pages
Architecture de dataflow pour des systèmes modulaires et génériques de simulation de plante
K. Hajji (Encadrant)
Université Ibn Khaldoun (2015), Pages 137 Pages