1. Model checking to assess t-helper cell plasticity;Abou-Jaoudé;Front. Bioeng. Biotechnol.,2014
2. The decomposition of switching functions;Ashenhurst,1957
3. Shadow enhancers: frequently asked questions about distributed cis-regulatory information and enhancer redundancy;Barolo;Bioessays,2012
4. Behaegel, J., Comet, J.-P., Folschette, M., 2016. A Hybrid Hoare Logic for Gene Network Models. arXiv preprint arXiv:1610.06715.
5. Gene regulatory networks with multiplexes;Bernot,2008