BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. BioModels Database (, part of the international initiative, provides access to published, peer-reviewed, quantitative models of biochemical and cellular systems. Each model is carefully curated to verify that it corresponds to the reference publication and gives the proper numerical results. Curators also annotate the components of the models with terms from controlled vocabularies and links to other relevant data resources. This allows the users to search accurately for the models they need. The models can currently be retrieved in the SBML format, and import/export facilities are being developed to extend the spectrum of formats supported by the resource.

References in zbMATH (referenced in 16 articles )

Showing results 1 to 16 of 16.
Sorted by year (citations)

  1. Nabli, Faten; Martinez, Thierry; Fages, François; Soliman, Sylvain: On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity (2016)
  2. Fages, François; Gay, Steven; Soliman, Sylvain: Inferring reaction systems from ordinary differential equations (2015)
  3. Heinle, Albert; Levandovskyy, Viktor: The SDEval benchmarking toolkit (2015)
  4. Samal, Satya Swarup; Grigoriev, Dima; Fröhlich, Holger; Radulescu, Ovidiu: Analysis of reaction network systems using tropical geometry (2015)
  5. Samal, Satya Swarup; Grigoriev, Dima; Fröhlich, Holger; Weber, Andreas; Radulescu, Ovidiu: A geometric method for model reduction of biochemical networks with polynomial rate functions (2015)
  6. Paulevé, Loïc; Craciun, Gheorghe; Koeppl, Heinz: Dynamical properties of discrete reaction networks (2014)
  7. De Matteis, Giovanni; Graudenzi, Alex; Antoniotti, Marco: A review of spatial computational models for multi-cellular systems, with regard to intestinal crypts and colorectal cancer development (2013)
  8. Kourdis, Panayotis D.; Goussis, Dimitris A.: Glycolysis in saccharomyces cerevisiae: algorithmic exploration of robustness and origin of oscillations (2013)
  9. Campbell, David; Steele, Russell J.: Smooth functional tempering for nonlinear differential equation models (2012)
  10. Liu, Bing; Hsu, David; Thiagarajan, P.S.: Probabilistic approximations of ODEs based bio-pathway dynamics (2011)
  11. Likić, Vladimir A.; Mcconville, Malcolm J.; Lithgow, Trevor; Bacic, Antony: Systems biology: the next frontier for bioinformatics (2010)
  12. Ciocchetta, Federica; Guerriero, Maria Luisa: Modelling biological compartments in bio-PEPA (2009)
  13. Ciocchetta, Federica; Hillston, Jane: Bio-PEPA: A framework for the modelling and analysis of biological systems (2009)
  14. Heath, Allison P.; Kavraki, Lydia E.: Computational challenges in systems biology (2009)
  15. Van Beek, Johannes H.G.M.; Hauschild, Anne-Christin; Hettling, Hannes; Binsl, Thomas W.: Robust modelling, measurement and analysis of human and animal metabolic systems (2009)
  16. Le Novère, Nicolas; Bornstein, Benjamin J.; Broicher, Alexander; Courtot, Mélanie; Donizelli, Marco; Dharuri, Harish; Li, Lu; Sauro, Herbert M.; Schilstra, Maria J.; Shapiro, Bruce E.; Snoep, Jacky L.; Hucka, Michael: Biomodels database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. (2006) ioport