ABC  Apprentissage  Automates  Automates communicants  Bioinformatique  Biologie computationnelle  Biologie systémique  Classification  Complexité  Concurrence  Diagnosticabilité  HASL  Hiérarchie  Implementation  Information partielle  Inférence  Jeux de parité  Jeux de priorité  Julia  Logique avec k variables  Logique du premier ordre  Logique dynamique propositionnelle  Logique temporelle  Logiques temporelles  Markov, Processus de  Message sequence charts  Model-checking  Modèles stochastiques  Prise de décision  Processus de décision markovien  Processus stochastiques  Robotique autonome  Robots autonomes  Réactions chimiques organiques -- Mécanismes  Statistique bayésienne  Systèmes stochastiques  

Blaise Genest a rédigé la thèse suivante :

L'odyssée des graphes de diagrammes de séquences ( MSC-Graphes)

par Blaise Genest sous la direction de Anca Muscholl - Paris 7

Informatique

Soutenue en 2004

Blaise Genest a dirigé les 3 thèses suivantes :

Detection and quantification of events in stochastic systems

par Hugo Bazille sous la direction de Éric Fabre et de Blaise Genest . - Rennes 1

Informatique

Soutenue le 02-12-2019

Analyse multi-niveaux en biologie systémique computationnelle : le cas des cellules HeLa sous traitement apoptotique

par Matthieu Pichené sous la direction de Blaise Genest - Rennes 1

Informatique

Soutenue le 25-06-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

Blaise Genest a été rapporteur des 2 thèses suivantes :

Statistical Inference and Verification of Chemical Reaction Networks

par Mahmoud Bentriou sous la direction de Paul-Henry Cournède et de Paolo Ballarini . - université Paris-Saclay

Mathématiques appliquées

Soutenue le 08-12-2021

Expressivité de la logique du premier ordre, de la logique dynamique propositionnelle sans étoile et des automates communicants

par Marie Fortin sous la direction de Paul Gastin - université Paris-Saclay

Informatique

Soutenue le 27-11-2020

Blaise Genest a été membre de jury de la thèse suivante :

Decision-making algorithms for autonomous robots

par Ludovic Hofer sous la direction de Olivier Ly et de Hugo Gimbert . - Bordeaux

Informatique

Soutenue le 27-11-2017