Ginsim

swMATH9090MaRDI QIDQ21083FDOQ21083

Author name not available (Why is that?)

Official website: http://www.sciencedirect.com/science/article/pii/S0303264705001693

Cited In (79)

• 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
• 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

This page was built for software: Ginsim