Vincent Picard

According to our database, Vincent Picard authored at least 3 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

A Logic for Checking the Probabilistic Steady-State Properties of Reaction Networks.

Vincent Picard, Anne Siegel, Jérémie Bourdon

J. Comput. Biol., 2017

2015

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

Vincent Picard

PhD thesis, 2015

2014

Multivariate Normal Approximation for the Stochastic Simulation Algorithm: Limit Theorem and Applications.

Vincent Picard, Anne Siegel, Jérémie Bourdon

Proceedings of the 5th International Workshop on Static Analysis and Systems Biology, 2014