Authentification  Automates  Bisimulation  Calcul symbolique  Capacité de groupe  Clauses de premier ordre  Cohérence  Combinaison de formalismes  Complexité  Complexité algorithmique  Complexité de calcul  Complexité du raisonnement  Composition de services  Contraintes  Contraintes et satisfaisabilité,  Contrôle  Cryptographie  Del  Display calculs  Dynamique  Dynamique topologique  Décidabilité  Décidabilité  Décidabilité et complexité  Déduction  Délégation  Déontique  Epistémique  Espace  Espace et temps  Expressivité  Extraction de contre-Modèles  Flux de l'information  Information  Ingénierie dirigée par les modèles  Intelligence artificielle  Intelligence artificielle répartie  Langage et logique  Langages de programmation  Logique de premier ordre  Logique du premier ordre  Logique dynamique  Logique dynamique propositionnelle  Logique informatique  Logique modale  Logique modale monotone  Logique épistémique  Logiques de ressources  Logiques de séparation  Logiques epistemiques  Logiques modales  Modalité  Modalités binaires  Modèle d'intrus  Modèle de contrôle d'accès  Modélisation  Multi-agent  Médias -- Droit  Méthodes des tableaux  Méthodes formelles  Méthodes formelles  Négociation  Obligation de réserve  Ordonnancement  Pdl  Permission  Pi calcul appliqué  Preuves  Primitives algébriques  Procédures de décision  Programmation logique  Protocoles cryptographiques  Protocoles de vote électronique  Raisonnement  Raisonnement multi-échelle  Raisonnement qualitatif  Raisonnement spatio-temporel  Raisonnement topologique  Rbac  Recherche de preuves  Relations d'équivalence  Relations d'équivalence et de préordre  Représentation des connaissances  Résolution  SOA  Saturation  Simulation, Méthodes de  Synthèse de protocoles épistemiques  Systèmes de constraintes  Systèmes dynamiques  Systèmes experts  Systèmes informatiques -- Mise en oeuvre  Systèmes, Conception de  Sécurité  Séparation des tâches  Temps  Temps d'exécution  Temps réel  Théorie de la correspondance  Théorie des ensembles  Théorie des preuves  Traduction automatique  Traitement réparti  Treillis  Vérification et preuve  Workflow  

Philippe Balbiani a rédigé la thèse suivante :


Philippe Balbiani a dirigé les 8 thèses suivantes :

Intelligence artificielle
Soutenue en 2012
Thèse soutenue


Philippe Balbiani a été rapporteur des 2 thèses suivantes :


Philippe Balbiani a été membre de jury des 2 thèses suivantes :

Informatique
Soutenue le 01-12-2014
Thèse soutenue