swMATH9090MaRDI QIDQ21083FDOQ21083
Author name not available (Why is that?)
Official website: http://www.sciencedirect.com/science/article/pii/S0303264705001693
Cited In (79)
- Title not available (Why is that?)
- The Regulation of Gene Expression by Operons and the Local Modeling Framework
- pystablemotifs
- Overcoming complexity of biological systems: from data analysis to mathematical modeling
- Boolean network analysis through the joint use of linear algebra and algebraic geometry
- Learning any memory-less discrete semantics for dynamical systems represented by logic programs
- Automated inference of gene regulatory networks using explicit regulatory modules
- Control of intracellular molecular networks using algebraic methods
- Computing bottom SCCs symbolically using transition guided reduction
- From structure to dynamics: frequency tuning in the p53-Mdm2 network. I: Logical approach
- Uncovering operational interactions in genetic networks using asynchronous Boolean dynamics
- Formalizing and enriching phenotype signatures using Boolean networks
- An extension of ERODE to reduce Boolean networks by backward Boolean equivalence
- Minimal trap spaces of logical models are maximal siphons of their Petri net encoding
- Variable stabilisation in Boolean monotonic model pools
- Reducing Boolean networks with backward Boolean equivalence
- Bilevel integer programming on a Boolean network for discovering critical genetic alterations in cancer development and therapy
- Petri net representation of multi-valued logical regulatory graphs
- Hopf bifurcation in the presomitic mesoderm during the mouse segmentation
- Positive circuits and maximal number of fixed points in discrete dynamical systems
- Stable states of Boolean regulatory networks composed over hexagonal grids
- Bistability and asynchrony in a Boolean model of the \textsc{L}-arabinose operon in \textit{Escherichia coli}
- Aeon 2021: bifurcation decision trees in Boolean networks
- Positive and negative cycles in Boolean networks
- A genetically modified Hoare logic
- AND-NOT logic framework for steady state analysis of Boolean network models
- Petri net modelling of biological regulatory networks
- Numerical simulation of piecewise-linear models of gene regulatory networks using complementarity systems
- SNOOPY
- BoolNet
- elmap
- parest_dae
- Celldesigner
- RoVerGeNe
- Polynome
- BiNoM
- BioModels
- Cistrome
- MILES
- ERODE
- BooleSim
- ADAM
- booleannet
- NFsim
- BioModelAnalyzer
- multi2boolean
- CANA
- Siconos
- neural ideal
- GDSCalc
- TURING
- AlzPathway
- REDfly
- INA
- LatViz
- ASSA-PBN
- multistatepdscontrol
- MaBoSS
- expansion-network
- BioLQM
- CellPublisher
- PyBoolNet
- GNA
- REVEAL
- TotemBioNet
- ATLANTIS
- CoLoMoTo
- Attractor computation using interconnected Boolean networks: testing growth rate models in \textit{E. coli}
- Aeon
- Reduction of Boolean network models
- Remarks on the respective roles of logical parameters and time delays in asynchronous logic: an homage to El Houssine Snoussi
- Dynamical modeling and analysis of large cellular regulatory networks
- Dynamically consistent reduction of logical regulatory graphs
- Analysis of discrete bioregulatory networks using symbolic steady states
- A circuit-preserving mapping from multilevel to Boolean dynamics
- Mapping multivalued onto Boolean dynamics
- Logical reduction of biological networks to their most determinative components
- The case for algebraic biology: from research to education
- Comparison of combinatorial signatures of global network dynamics generated by two classes of ODE models
This page was built for software: Ginsim
