The following pages link to CoLoMoTo (Q1353664):
Displaying 6 items.
- Formalizing and enriching phenotype signatures using Boolean networks (Q1730115) (← links)
- What is a cell cycle checkpoint? The \texttt{TotemBioNet} answer (Q2110690) (← links)
- An extension of ERODE to reduce Boolean networks by backward Boolean equivalence (Q2112170) (← links)
- Reducing Boolean networks with backward Boolean equivalence (Q2142096) (← links)
- Toward model selection by formal methods (Q2229136) (← links)
- Boolean function metrics can assist modelers to check and choose logical rules (Q2670178) (← links)
