Theses
Process-based semantics for higher-order languages
A. Mhamdi (Supervisor)
Université Ibn Khaldoun (2013), Pages 84 Pages

Multilevel proximal methods for image restoration
G. Rozenberg (Supervisor)
Université Ibn Khaldoun (2012), Pages 136 Pages

Bridging scale in the AMF symbiosis
G. Rozenberg (Supervisor)
Université Ibn Khaldoun (2012), Pages 109 Pages

Représentations adaptées à l'arithmétique modulaire et à la résolution de systèmes flous
A. Frosini (Supervisor)
Université Ibn Khaldoun (2012), Pages 133 Pages

Approche centrée activité pour la conception et l'orchestration d'activités numériques en classe
N. El mebtoul (Supervisor)
Université Ibn Khaldoun (2012), Pages 80 Pages

Explorations combinatoires des structures arborescentes et libres
A. Zariouh (Supervisor)
Université Ibn Khaldoun (2012), Pages 103 Pages

MemOpLight : vers une consolidation mémoire pour les conteneurs grâce à un retour applicatif
A. Zariouh (Supervisor)
Université Ibn Khaldoun (2012), Pages 121 Pages

Détection d'aiguilles et de grains dans les images ultrasonores pour la curiethérapie dynamique
B. Dadi (Supervisor)
Université Ibn Khaldoun (2012), Pages 132 Pages

Tests automatisés dirigés par les exigences pour systèmes cyber-physiques
F. Belarbi (Supervisor)
Université Ibn Khaldoun (2012), Pages 135 Pages

Génération de code pour un many-core avec des contraintes temps réel fortes
F. Belarbi (Supervisor)
Université Ibn Khaldoun (2012), Pages 106 Pages
Links
Contact
Laboratory of Mathematics, Computer Science and Applications
Laboratories block
Laboratory of Mathematics, Computer Science and Applications
Faculty of Sciences of Assilah
53000 Assilah-tanger
Morocco
06123456789
05123456789
g.Rozenberg@gmail.res