Explore projects

Cosmos Statistical Model Checker

Conservation analysis and discrete probabilistic approximations for parameter estimation of biochemical networks

BSML based on Multicore Ocaml . Implementation, modelisation and proofs, related papers