Cited in
(17)- Formalizing and enriching phenotype signatures using Boolean networks
- An extension of ERODE to reduce Boolean networks by backward Boolean equivalence
- Reducing Boolean networks with backward Boolean equivalence
- Toward model selection by formal methods
- BoolNet
- Ginsim
- Cistrome
- ERODE
- LatViz
- BioLQM
- Pint
- PyBoolNet
- Boolean function metrics can assist modelers to check and choose logical rules
- TotemBioNet
- caspo
- What is a cell cycle checkpoint? The \texttt{TotemBioNet} answer
- Aeon
This page was built for software: CoLoMoTo
