1. Fisher J, Henzinger TA. Executable cell biology. Nat Biotechnol. 2007; 25(11):1239–49.
2. Machado D, Costa RS, Rocha M, Ferreira EC, Tidor B, Rocha I. Modeling formalisms in systems biology. AMB Express. 2011; 1(1):1–14.
3. Barnat J, Brim L, Černá I, Dražan S, Šafránek D. Parallel model checking large-scale genetic regulatory networks with divine. Electron Notes Theor Comput Sci. 2008; 194(3):35–50. Proceedings of the First Workshop From Biology To Concurrency and back (FBTC 2007).
4. Brim L, Barnat J, Černá I, Dražan S, Fabriková J, Šafránek D. Computational analysis of large-scale multi-affine ode models. In: High Performance Computational Systems Biology, 2009. HIBI ’09. International Workshop On. Los Alamitos (CA), USA: IEEE: 2009. p. 81–90.
5. De Jong H, Page M, Hernandez C, Geiselmann J. Qualitative simulation of genetic regulatory networks: Method and application. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence - Volume 1, IJCAI’01. San Francisco: Morgan Kaufmann Publishers Inc.: 2001. p. 67–73.