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