Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Thomas Brihaye
Thomas Brihaye a dirigé la thèse suivante :
Verification of Stochastic Timed Automata
par Pierre Carlier sous la direction de Patricia Bouyer-Decitre et de Thomas Brihaye . - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 08-12-2017
Thomas Brihaye a été rapporteur des 3 thèses suivantes :
Représenter la vulnérabilité transfrontalière : un modèle pour la mobilité
par Thomas Waroux sous la direction de Vincent Becue et de Patrizia Laudati . - Valenciennes
Sciences de l'information et de la communication
Soutenue le 22-10-2018
Quantitative analysis of stochastic systems : priority games and populations of Markov chains
par Bruno Karelović sous la direction de Wieslaw Zielonka et de Blaise Genest . - Sorbonne Paris Cité
Informatique. Théorie des jeux
Soutenue le 07-07-2017
Semantics of Strategy Logic
par Patrick Gardy sous la direction de Patricia Bouyer-Decitre et de Nicolas Markey . - Université Paris-Saclay (ComUE)
Mathématiques et Informatique
Soutenue le 12-06-2017
