Bio-logics: logical analysis of bioregulatory networks
From MaRDI portal
(Redirected from Publication:4916070)
Recommendations
- Temporal constraints in the logical analysis of regulatory networks
- Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
- Logical modeling of biological systems
- Qualitative analysis of gene regulatory networks by temporal logic
- Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks
Cites work
- Analysis of discrete bioregulatory networks using symbolic steady states
- scientific article; zbMATH DE number 2144779 (Why is no real title available?)
- scientific article; zbMATH DE number 2102690 (Why is no real title available?)
- Hybrid Systems: Computation and Control
- Modeling and querying biomolecular interaction networks
- Multistationarity, the basis of cell differentiation and memory. II: Logical analysis of regulatory networks in terms of feedback circuits
- Necessary conditions for multistationarity in discrete dynamical systems
- Negative circuits and sustained oscillations in asynchronous automata networks
- Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks
- System modeling in cellular biology. From concepts to nuts and bolts.
- Temporal constraints in the logical analysis of regulatory networks
Cited in
(32)- Adding logic to the toolbox of molecular biology
- Analyzing steady states of dynamics of bio-molecules from the structure of regulatory networks
- On logical bifurcation diagrams
- Mathematical classification of regulatory logics for compound environmental changes
- Modeling multi-valued biological interaction networks using fuzzy answer set programming
- Minimization and equivalence in multi-valued logical models of regulatory networks
- Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
- Qualitative analysis of gene regulatory networks by temporal logic
- Combining refinement and signal-temporal logic for biological systems
- Applying differential dynamic logic to reconfigurable biological networks
- Analysis for gene networks based on logic relationships
- Temporal constraints in the logical analysis of regulatory networks
- Boolean function metrics can assist modelers to check and choose logical rules
- Multistationarity, the basis of cell differentiation and memory. II: Logical analysis of regulatory networks in terms of feedback circuits
- Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach
- Static analysis of biological regulatory networks dynamics using abstract interpretation
- Activity networks with delays an application to toxicity analysis
- scientific article; zbMATH DE number 3858900 (Why is no real title available?)
- Computation Tree Regular Logic for Genetic Regulatory Networks
- Estimating logic structure in complex system
- Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods
- Logical modelling of regulatory networks, methods and applications
- Integrated regulatory networks (IRNs): spatially organized biochemical modules
- scientific article; zbMATH DE number 1950548 (Why is no real title available?)
- scientific article; zbMATH DE number 2182436 (Why is no real title available?)
- Abstract interpretation of dynamics of biological regulatory networks
- Temporal logic modeling of biological systems
- Logics in Artificial Intelligence
- Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks
- Logical modeling of biological systems
- Local fact change logic
- Logical modelling, some recent methodological advances illustrated
This page was built for publication: Bio-logics: logical analysis of bioregulatory networks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4916070)
