$ Algorithmes optimaux  Algèbre  Algèbre de processus  Algèbres de processus  Automates temporisés probabilistes  Bisimilarité  Calcul kappa  Calculs de processus  Ccp  Chaînes de Markov  Codage de source  Communication fiable  Concurrence  Concurrency theory  Concurrent constraint programming  Confidentialité différentielle  Contrainte cumulative  Contraintes  Cryptographie  Dualité  Dualité, Principe de  Détection de communautés  Détection du signal  Détection et estimation  Epistemic logic  Equivalence Observationelle  Estimation, Théorie de l'  Graphes, Théorie des  Incertaine matrice d'adjacence  Internet mobile  Langages de programmation -- Sémantique  Logiciels -- Vérification  Logique mathématique  Logique modale  Logique temporelle  Logique temporelle de Pnueli  Logiques épistémiques  LouvainDP  Machines moléculaires  Maximum Variance  ModDivisive  Modal logic  Modalité  Model checking  Mécanismes d'obfuscation  Mécanismes optimaux  Méthodes formelles  Optimisation  Optimisation mathématique  Ordonnancement  Ordonnancement  Ordres stochastiques  Performabilité  Pi-calcul  Prism  Programmation Concurrent par Contraintes  Programmation par contraintes  Protection de l'information  Protocoles de sécurité  Précision finie  Quantification  Raffinement de partition  Raisonnement énergétique  Réseaux d'ordinateurs  Réseaux intelligents  Réseaux sociaux  Réseaux sociaux  Réseaux électriques intelligents  Systèmes communicants mobiles  Sémantique  Sémantique étiquetée  Sûreté -- Systèmes  Thèses et écrits académiques  Théorie d'ordre  Top-M-Filte  Transition systems  Treillis, Théorie des  Vie privée  Vie privée différentielle  Vérification  \beta)$-Échange  Échange intime des liens  équation chimique maître  

Catuscia Palamidessi a dirigé les 11 thèses suivantes :


Catuscia Palamidessi a été rapporteur des 2 thèses suivantes :

Informatique
Soutenue le 04-11-2016
Thèse soutenue

Catuscia Palamidessi a été membre de jury des 3 thèses suivantes :

Mathématiques et Informatique
Soutenue le 19-12-2017
Thèse soutenue