...  Algorithmes  Analyse quantitative  Analyse statique  Architecture des réseaux d'ordinateurs  Arithmétique entière en précision arbitraire  Arithmétique interne des ordinateurs  Automates  Automates de Büchi  Automates programmables  Automates temporisés  Automates temporisés et stochastiques  Commande robuste  Concurrence  Concurrent  Des circuits analogiques  Determinisation  Diagnostic  Drones terrestres  Décidabilité  Décidabilité  Déduction  Détermination  Equilibre  Expressions rationnelles  Formalisme  Génie logiciel  Information imparfaite  Jeux  Jeux multi-joueurs  Jeux pondérés  Langages temporisés  Logiciels -- Vérification  Logique informatique  Maintenance automatisée  Markov, Processus de  Model Checking  Motifs  Méthodes formelles  Méthodes formelles  Nash  Optimisation stochastique  Preuve par réflexion  Processus de décision de Markov  Processus décisionnels de Markov relationnels  Processus stochastiques  Prototypes  Recherche quantitative  Robustesse  Réseaux électriques intelligents  Smart grids  Sous-programmes  Stochastique  Stratégies gagnantes  Surveillance  Synthèse  Synthèse de haut niveau  Synthèse distribuée  Systèmes distribués  Systèmes temporisés  Temps  Theorie des jeux  Théorie des jeux  Théorèmes -- Démonstration automatique  Uniformisation  Verification  Vérification  Vérification de modèles  Vérification déductive de programmes  Vérification formelle  Why3  

Patricia Bouyer-decitre a rédigé la thèse suivante :


Patricia Bouyer-decitre dirige actuellement les 3 thèses suivantes :

Concurrence déterminée

par Benjamin Bordais sous la direction de Patricia Bouyer-decitre et de Stéphane Le roux . - université Paris-Saclay

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

Jeux multi-joueurs

par Nathan Thomasset sous la direction de Patricia Bouyer-decitre et de Stéphane Le roux . - université Paris-Saclay

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

Informatique
En préparation depuis le 30-09-2018
Thèse en préparation


Patricia Bouyer-decitre a dirigé les 4 thèses suivantes :

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

Patricia Bouyer-decitre a été rapporteur des 2 thèses suivantes :

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

Patricia Bouyer-decitre a été membre de jury des 5 thèses suivantes :

Mathématiques et Informatique
Soutenue le 15-01-2018
Thèse soutenue