Multivariate Normal Approximation for the Stochastic Simulation Algorithm: Limit Theorem and Applications. - Vincent Picard; Anne Siegel; Jérémie Bourdon (SASB, 2014)

Réseaux de réactions : de l'analyse probabiliste à la réfutation . (Reaction networks : from probabilistic analysis to refutation). - Vincent Picard (2015)

A Logic for Checking the Probabilistic Steady-State Properties of Reaction Networks. - Vincent Picard; Anne Siegel; Jérémie Bourdon (J. Comput. Biol., 2017)