Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
From MaRDI portal
(Redirected from Publication:2189295)
Recommendations
- Bio-logics: logical analysis of bioregulatory networks
- Temporal constraints in the logical analysis of regulatory networks
- scientific article; zbMATH DE number 1950548
- Qualitative analysis of gene regulatory networks by temporal logic
- R. Thomas' modeling of biological regulatory networks: Introduction of singular states in the qualitative dynamics
Cites work
- scientific article; zbMATH DE number 3771418 (Why is no real title available?)
- scientific article; zbMATH DE number 1142326 (Why is no real title available?)
- scientific article; zbMATH DE number 1950548 (Why is no real title available?)
- scientific article; zbMATH DE number 1446599 (Why is no real title available?)
- Dynamical behaviour of biological regulatory networks. I: Biological role of feedback loops and practical use of the concept of the loop- characteristic state
- Identification of all steady states in large networks by logical analysis
- Interpolants and Symbolic Model Checking
- Logical identification of all steady states: The concept of feedback loop characteristic states
- Multistationarity, the basis of cell differentiation and memory. I: Structural conditions of multistationarity and other nontrivial behavior
- Multistationarity, the basis of cell differentiation and memory. II: Logical analysis of regulatory networks in terms of feedback circuits
- Qualitative dynamics of piecewise-linear differential equations: a discrete mapping approach
Cited in
(38)- Robustness and fragility of Boolean models for genetic regulatory networks
- Attractor landscapes in Boolean networks with firing memory: a theoretical study applied to genetic networks
- Qualitative analysis of gene regulatory networks by temporal logic
- Bio-logics: logical analysis of bioregulatory networks
- Parameter space abstraction and unfolding semantics of discrete regulatory networks
- Efficient synthesis of a class of Boolean programs from I-O data: application to genetic networks
- Greening R. Thomas' framework with environment variables: a divide and conquer approach
- Learning Boolean controls in regulated metabolic networks: a case-study
- Model Revision from Temporal Logic Properties in Computational Systems Biology
- Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach
- A multiscale hybrid model for exploring the effect of Resolvin D1 on macrophage polarization during acute inflammation
- Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods
- On algorithmic analysis of transcriptional regulation by LTL model checking
- Artificial intelligence in biological modelling
- Conley-Morse-Forman theory for combinatorial multivector fields on Lefschetz complexes
- Modeling and analysis of gene regulatory networks
- Positive circuits and maximal number of fixed points in discrete dynamical systems
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
- On the effects of firing memory in the dynamics of conjunctive networks
- On the effects of firing memory in the dynamics of conjunctive networks
- Positive and negative cycles in Boolean networks
- Parallel model checking large-scale genetic regulatory networks with DiVinE
- A genetically modified Hoare logic
- Local Structure and Behavior of Boolean Bioregulatory Networks
- Unfolding of parametric Boolean networks
- Learning explanations for biological feedback with delays using an event calculus
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits
- Inferring reaction systems from ordinary differential equations
- Temporal constraints in the logical analysis of regulatory networks
- On temporal logic constraint solving for analyzing numerical data time series
- Constrained Kripke structure for identifying parameters of biological models
- R. Thomas' modeling of biological regulatory networks: Introduction of singular states in the qualitative dynamics
- Modelling and analysing neural networks using a hybrid process algebra
- Modelling cell lineage using a meta-Boolean tree model with a relation to gene regulatory networks
- Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
- Automated inference of gene regulatory networks using explicit regulatory modules
- scientific article; zbMATH DE number 1950548 (Why is no real title available?)
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
This page was built for publication: Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2189295)
