swMATH13610MaRDI QIDQ25524FDOQ25524
Author name not available (Why is that?)
Official website: http://www.ebi.ac.uk/biomodels-main/
Cited In (only showing first 100 items - show all)
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Probabilistic approximations of ODEs based bio-pathway dynamics
- On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
- PoCaB: A Software Infrastructure to Explore Algebraic Methods for Bio-chemical Reaction Networks
- MapleBinomials
- Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks
- Analysis of reaction network systems using tropical geometry
- A case study on the parametric occurrence of multiple steady states
- Algorithmic reduction of biological networks with multiple time scales
- Modelling biological compartments in bio-PEPA
- Dynamical properties of discrete reaction networks
- Computational challenges in systems biology
- Bio-PEPA
- PNML
- REDLOG
- PetriNets
- OptiML
- CellML
- PoCaB
- Binomials.m2
- sbtoolbox
- Libxml2
- MetaCyc
- TRANSPATH
- Paramotopy
- Ginsim
- BIOCHAM
- Celldesigner
- ProjectionCAD
- PEPA
- iDynoR
- SESSL
- BioSPI
- KEGG2SBML
- COPASI
- BlenX
- libSBML
- Metatool
- PySB
- SakerGrid
- SBMLsimulator
- SloppyCell
- Ernest
- KEGG
- JSBML
- KEGGtranslator
- CoNtRol
- CLPGUI
- Reactome
- Bio-SPICE
- ERODE
- NFsim
- crnpy
- MTT
- JSim
- MetaFork
- ConvAn
- SuBliMinaL
- SOSlib
- tellurium
- SpaceScanner
- Design space toolbox
- STOCHSIM
- CRN++
- MESSI
- CompuCell3D
- MOCCASIN
- KappaTools
- libRoadRunner
- PyDREAM
- Expression2Kinases
- Spatkin
- TRuML
- SimpleSBML
- cPath
- PyBoolNet
- Dizzy
- SBRML
- PottersWheel
- MEMo
- polco
- GNA
- REVEAL
- CausalKinetiX
- SAXON
- bond_graph_cardiac_AP
- Inferring reaction systems from ordinary differential equations
- A review of spatial computational models for multi-cellular systems, with regard to intestinal crypts and colorectal cancer development
- Misinterpretation risks of global stochastic optimisation of kinetic models revealed by multiple optimisation runs
- Smooth functional tempering for nonlinear differential equation models
- Glycolysis in saccharomyces cerevisiae: algorithmic exploration of robustness and origin of oscillations
- rsconnect
- A computational approach to extinction events in chemical reaction networks with discrete state spaces
- Coping with dynamical reaction system topologies using deterministic P modules: a case study of photosynthesis
- LumpingPositiviser
- An extension of ERODE to reduce Boolean networks by backward Boolean equivalence
- Condor-COPASI
- The \textsc{SDEval} benchmarking toolkit
- Robust modelling, measurement and analysis of human and animal metabolic systems
- Model-based selection of the robust JAK-STAT activation mechanism
This page was built for software: BioModels
