ERODE
From MaRDI portal
Cited in
(26)- LumpingPositiviser
- Interpretable exact linear reductions via positivity
- Lumping Reductions for Multispread in Multi-Layer Networks
- Lumpability for uncertain continuous-time Markov chains
- Exact linear reduction for rational dynamical systems
- Verifying chemical reaction network implementations: a bisimulation approach
- An extension of ERODE to reduce Boolean networks by backward Boolean equivalence
- Bio-PEPA
- MultiVeStA
- Pirlo
- BioNetGen
- Ginsim
- BioAmbient Machine
- LBS
- BioModels
- JSBML
- CARMA
- Hecke
- Nemo
- NFsim
- Visual DSD
- A large-scale assessment of exact lumping of quantitative models in the biomodels repository
- CoLoMoTo
- Reducing Boolean networks with backward Boolean equivalence
- Comparing chemical reaction networks: a categorical and algorithmic perspective
- CLUE
This page was built for software: ERODE
