Algèbres des relations  Architecture des réseaux d'ordinateurs  Bisimulation  Calcul des tableaux  Capacité de groupe  Co-algèbre  Complexité algorithmique  Concurrence  Contingence  Del  Display calculs  Dynamique  Dynamique topologique  Décidabilité  Déontique  Désinformation  Epistémique  Extraction de contre-Modèles  Extraction de contre-modèles  Formalisme  Information  Informations incohérentes  Informations incomplètes  Intelligence artificielle répartie  Labels  Logique de contingence  Logique informatique  Logique modale  Logique modale monotone  Logique épistémique  Logique épistémique dynamique  Logiques de ressources  Logiques de séparation  Logiques epistemiques  Logiques hybrides  Logiques modales  Logiques temporelles  Logiques épistémiques  Mensonge  Modalité  Modèle de voisinage  Modélisation  Médias -- Droit  Mésinformation  Méthodes des tableaux  Méthodes formelles  Méthodes formelles  Obligation de réserve  Omission  Parallélisme  Pdl  Permission  Preuve  Preuves  Protocoles tolérants aux pannes  Qualité de l’information  Raisonnement  Raisonnement sur les connaissances et les croyances  Raisonnement topologique  Recherche de preuves  Sciences cognitives  Simulation, Méthodes de  Synthèse de protocoles épistemiques  Systèmes dynamiques  Systèmes experts  Systèmes, Conception de  Sémantique  Théorie de la correspondance  Théorie des ensembles  Théorie des preuves  Topologie combinatoire  Traitement du renseignement  Treillis  Tromperie  Vague  Vérification et preuve  Évaluation de l’information  

Hans van Ditmarsch a dirigé les 3 thèses suivantes :


Hans van Ditmarsch a été président de jury de la thèse suivante :


Hans van Ditmarsch a été rapporteur des 3 thèses suivantes :


Hans van Ditmarsch a été membre de jury des 3 thèses suivantes :

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