Thèses de doctorat
Titre Auteur
Optimizing multi-constrained skyline queries using view materialization Samiha Brahimi
Formalisation et analyse des processus BPEL temporellement temporisés par l’utilisation des modèles de temps Imed Eddine Chama
Approche bio-inspirées pour la résolution du problème de coloration de graphes Halima Djelloul
Vérification Logique des Systèmes Temps Réel dans le Contexte de la Sémantique de Maximalité Souad Guellati
Une approche multi-agent pour la conception de systèmes d'intelligence ambiante : Un modèle formel intégrant planification et apprentissage Ahmed-Chawki Chaouche
Caractérisation des performances des systèmes Concurents dans le contexte de la sémantique de maximalité Mokdad Arous
Intelligence computationnelle pour les problèmes de routage adaptatif efficace en énergie et multicritères dans les réseaux mobiles Ad-Hoc Saloua Chettibi
Test formel des systèmes temps réel stochastiques basé sur la sémantique de maximalité Kenza Bouarroudj
Une approche de composition de services Web basée transformation de graphes Fayçal Bachtarzi
Une approche de composition de services Web à l’aide des réseaux de Petri orientés objet Sofiane Chemaa
Des diagrammes UML 2.0 vers les diagrammes orientés aspect à l’aide de transformation de graphes Mouna Aouag
Sécurisation d'images médicales par des méthodes hybrides : cryptage et insertion de données cachées Zahia Brahimi
Une approche de spécification des changements de besoins basée transformations de graphes Khaled Khalfaoui
Détection de communautés et identification de leaders dans les réseaux sociaux de confiance:Plateforme de recommandation collaborative Nassira Chekkai
Résolution de problèmes d’optimisation combinatoire par les algorithmes du calcul évolutionnaire Sara Sabba
Un cadre formel pour la modélisation et l'analyse des agents mobiles Nardjes-Tessilia Dehimi
Une approche basée transformation de graphes pour la génération de modèles de réseaux de Petri analysables à partir de diagrammes UML Mouna Bouarioua
Vérification comportementale des systèmes temporisés : Approches de Maximalité Adel Benamira
Méthodes bio-inspirés hybrides pour la résolution des systemes complexes Said Labed
Méthodes de résolution de problèmes difficiles académiques Amira Gherboudj