Explore projects

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

Cosmos Statistical Model Checker

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