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