Thèses
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 voies métaboliques au cours du cycle cellulaire : application au métabolisme du cancer
Y. Ouakili (Encadrant)
Université Ibn Khaldoun (2015), Pages 154 Pages

Sécurisation systématique d'applications embarquées contre les attaques physiques
A. Belhadj (Encadrant)
Université Ibn Khaldoun (2015), Pages 111 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

Conception et développement de composants logiciels et matériels pour un dispositif ophtalmique
A. Zebairi (Encadrant)
Université Ibn Khaldoun (2015), Pages 106 Pages

Analyse et modélisation de la Dominance Temporelle des Sensations à l'aide de processus stochastiques
S. El gharabi (Encadrant)
Université Ibn Khaldoun (2015), Pages 102 Pages

Ordonnancement sous contrainte mémoire dans un modèle de programmation à base de tâches.
N. El mebtoul (Encadrant)
Université Ibn Khaldoun (2014), Pages 146 Pages

Liens
Contact
Laboratoire de Mathématiques, Informatique et Applications
Bloc des laboratoires
Laboratoire de Mathématiques, Informatique et Applications
Faculté des Science d'Assilah
53000 Assilah-tanger
Maroc
06123456789
05123456789
g.Rozenberg@gmail.res