Abstraction  Accès -- Contrôle  Agents mobiles  Agents mobiles  Algorithmes  Algèbre de processus  Architecture des réseaux d'ordinateurs  Attaques  Automates d'arbres  Automates hybrides  Calcul parallèle  Calculabilité  Canaux cachés  Commande de processus  Complexité  Contrôle d'accès  Dmp  Dossier médical personnel  Décidabilité  Détection  Entropie  Flux d'information  Fonctions calculables -- Informatique  Formalisme  Gestion électronique de documents  Grille de calcul  Grilles informatiques  Génie logiciel  Informatique  Intelligence artificielle répartie  Jeux  Jeux multi-agents  Logique monadique  Logique temporelle  Logiques de stratégies  Logiques multi-valuées  Model Checking  Model checking  Model-Checking  Modèle formel  Médical  Méthodes formelles  Méthodes formelles  Non-Interference  Pi-calcul  Programmes malveillants  Protection de l'information  Protocoles  Protocoles de réseaux d'ordinateurs  Réseaux d'ordinateurs -- Mesures de sûreté  Security  Simulation par ordinateur  Sous-programmes  Spécifications formelles  Synthèse  Synthèse de contrôleurs  Synthèse de haut niveau  Synthèse rationnelle  Système distribué  Systèmes complexes  Systèmes concurrents  Systèmes d'information  Systèmes dynamiques  Systèmes informatiques  Systèmes ouverts  Sémantique selon la théorie des jeux  Tableaux  Technique d'abstraction  Techniques d'Abstraction  Temps réel  Theorie des jeux  Théorie des jeux  Tolérance aux fautes  Traduction automatique  Transducteurs  Types abstraits de données  Types de données  Verification  Véhicules autonomes  Vérification  Vérification formelle  

Catalin Dima a rédigé les 2 thèses suivantes :


Catalin Dima dirige actuellement les 4 thèses suivantes :

Algorithmes pour la synthèse rationnelle dans les systèmes multi-agents

par Madalina Jitaru sous la direction de Catalin Dima et de Rodica Condurache . - Paris 12

Informatique
En préparation depuis le 01-10-2021
Thèse en préparation

Informatique
En préparation depuis le 15-10-2020
Thèse en préparation

Informatique
En préparation depuis le 01-09-2020
Thèse en préparation

Informatique
En préparation depuis le 15-10-2012
Thèse en préparation


Catalin Dima a dirigé les 2 thèses suivantes :

Informatique
Soutenue le 12-12-2016
Thèse soutenue

Catalin Dima a été président de jury des 2 thèses suivantes :


Catalin Dima a été rapporteur de la thèse suivante :


Catalin Dima a été membre de jury des 6 thèses suivantes :

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