1. A. Donzé (2010): Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. In: CAV, pp. 167–170, doi:10.1007/978-3-642-14295-6_17.
  2. A. Funahashi, M. Morohashi, H. Kitano & N. Tanimura (2003): CellDesigner: a process diagram editor for gene-regulatory and biochemical networks. BIOSILICO 1(5), pp. 159–162, doi:10.1016/S1478-5382(03)02370-9.
  3. L. Granvilliers & F. Benhamou (2006): Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques. ACM Transactions on Mathematical Software 32(1), pp. 138–156, doi:10.1145/1132973.1132980.
  4. T. Z. Kidane, E. Sauble & M. C. Linder (2006): Release of iron from ferritin requires lysosomal activity. Am. J. Physiol., Cell Physiol. 291(3), pp. C445–455, doi:10.1152/ajpcell.00505.2005.
  5. N. Mobilia, A. Donzé, J. M. Moulis & É. Fanchon (2012): A Model of the Cellular Iron Homeostasis Network Using Semi-Formal Methods for Parameter Space Exploration. EPTCS 92, pp. 42–57, doi:10.4204/EPTCS.92.4.
  6. C. Seiser, M. Posch, N. Thompson & L. C. Kuhn (1995): Effect of transcription inhibitors on the iron-dependent degradation of transferrin receptor mRNA. J. Biol. Chem. 270(49), pp. 29400–29406, doi:10.1074/jbc.270.49.29400.
  7. L. V. Sharova, A. A. Sharov, T. Nedorezov, Y. Piao, N. Shaik & M. S. Ko (2009): Database for mRNA half-life of 19 977 genes obtained by DNA microarray analysis of pluripotent and differentiating mouse embryonic stem cells. DNA Res. 16(1), pp. 45–58, doi:10.1093/dnares/dsn030.

Comments and questions to:
For website issues: