6LOWPAN  Algèbre de relations  Alignement d'ontologies  Arbre de routage  Atms  Automatisation  Autonomie ajustable  Base de données distribuée  Bases de données -- Gestion  Bases de données de capteurs  Calcul formel  Calcul qualitatif  Calcul symbolique  Catégorie de Schröder  Circulation urbaine  Cohérence  Collecte périodique de données  Combinaison de formalismes  Complexité de calcul  Complexité du raisonnement  Connaissances historiques du trafic  Constraints floues  ContikiOS  Contraintes  Contraintes et satisfaisabilité,  Contrôleur d'écheance de transaction  DODAG  Earliest Deadline First  Espace  Espace et temps  Exploration de données  Fenêtre temporelle  First In First Out  Gestion des connaissances  Histoire  IPv6  Inférence  Intelligence artificielle  Intelligence artificielle répartie  Internet des objets  Intéraction hommes-robots  Langages d'interrogation  Latence réseau  Logique propositionnelle  Logique temporelle  Maintien de vérité  Markov, Processus de  Méthode DEC  Ontologie spatiale  Ontologies  Ordonnancement temps réel  Planification -- Informatique  Planification  Planification temporelle  Problème du voyageur de commerce  Problèmes par systèmes multi-agents  Protocole de routage  Préférences  Raisonnement  Raisonnement multi-échelle  Raisonnement qualitatif  Raisonnement spatial  Raisonnement spatio-temporel  Raisonnement temporel  Raisonnement temporelle les relations d'Allen  Rate Monotonic  Représentation des connaissances  Réseaux ad hoc  Réseaux de capteurs  SQL  Services Web  Système de traitement de requêtes  Systèmes auto-organisés  Systèmes de maintien de la cohérence  TOSSIM  Temps  Temps réel  Tiny DB  Transports semi-collectifs  Union d'intervalles convexes  Validité temporelle de données  Vitesses de voyages dependantes du temps  Web sémantique  

Maroua Bouzid a rédigé la thèse suivante :


Maroua Bouzid a dirigé les 6 thèses suivantes :

Informatique et applications
Soutenue en 2011
Thèse soutenue

Maroua Bouzid a été rapporteur de la thèse suivante :

Mathématiques et informatique
Soutenue le 25-04-2016
Thèse soutenue

Maroua Bouzid a été membre de jury des 2 thèses suivantes :