swMATH20210MaRDI QIDQ32030FDOQ32030
Author name not available (Why is that?)
Official website: http://sysma.imtlucca.it/tools/erode/
Cited In (25)
- LumpingPositiviser
- 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
- MultiVeStA
- Pirlo
- BioNetGen
- Ginsim
- BioAmbient Machine
- LBS
- BioModels
- JSBML
- CARMA
- Hecke
- Nemo
- NFsim
- Visual DSD
- Verifying chemical reaction network implementations: a bisimulation approach
- Lumping Reductions for Multispread in Multi-Layer Networks
- CoLoMoTo
- CLUE
This page was built for software: ERODE
