Rechercher dans
Liens
Nos Events & Actus
  1. FSA
  2. Equipes de Recherche
  3. Equipe Rech. CCSI
  4. Thèses
Thèses
Twin-Width : caractérisations combinatoires et logiques
G. Rozenberg (Encadrant)
Université Ibn Khaldoun (2016), Pages 82 Pages
Architecture distribuée de collaboration pour systèmes critiques : application aux systèmes navals
M. Benyamna (Encadrant)
Université Ibn Khaldoun (2016), Pages 90 Pages
Modélisation d'infrastructure informatique pour l'identification et la prévention des risques
A. Heddad (Encadrant)
Université Ibn Khaldoun (2016), Pages 116 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
Categorical Foundations of Quantitative Algebraic Reasoning
G. Rozenberg (Encadrant)
Université Ibn Khaldoun (2015), Pages 135 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 problématiques liées à la reconnaissance de sons ambiants en environnement réel
E. B. Zaroual (Encadrant)
Université Ibn Khaldoun (2015), Pages 108 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
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