Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
From MaRDI portal
Publication:2189295
DOI10.1016/j.jtbi.2004.04.003zbMath1440.92036OpenAlexW2121149194WikidataQ80282566 ScholiaQ80282566MaRDI QIDQ2189295
Janine Guespin, Adrien Richard, Gilles Bernot, Jean-Paul Comet
Publication date: 15 June 2020
Published in: Journal of Theoretical Biology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jtbi.2004.04.003
Related Items (33)
Modelling and analysing neural networks using a hybrid process algebra ⋮ Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach ⋮ Unfolding of parametric Boolean networks ⋮ Modelling cell lineage using a meta-Boolean tree model with a relation to gene regulatory networks ⋮ Greening R. Thomas' framework with environment variables: a divide and conquer approach ⋮ Learning Boolean controls in regulated metabolic networks: a case-study ⋮ Modeling and Analysis of Gene Regulatory Networks ⋮ Parameter space abstraction and unfolding semantics of discrete regulatory networks ⋮ A genetically modified Hoare logic ⋮ Conley-Morse-Forman theory for combinatorial multivector fields on Lefschetz complexes ⋮ Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions ⋮ Constrained Kripke structure for identifying parameters of biological models ⋮ Attractor landscapes in Boolean networks with firing memory: a theoretical study applied to genetic networks ⋮ Robustness and fragility of Boolean models for genetic regulatory networks ⋮ Efficient synthesis of a class of Boolean programs from I-O data: application to genetic networks ⋮ A multiscale hybrid model for exploring the effect of Resolvin D1 on macrophage polarization during acute inflammation ⋮ Positive and negative cycles in Boolean networks ⋮ 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 ⋮ Positive circuits and maximal number of fixed points in discrete dynamical systems ⋮ Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures ⋮ CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks ⋮ On algorithmic analysis of transcriptional regulation by LTL model checking ⋮ Local Structure and Behavior of Boolean Bioregulatory Networks ⋮ Model Revision from Temporal Logic Properties in Computational Systems Biology ⋮ Automated inference of gene regulatory networks using explicit regulatory modules ⋮ On the effects of firing memory in the dynamics of conjunctive networks ⋮ On the effects of firing memory in the dynamics of conjunctive networks ⋮ Learning explanations for biological feedback with delays using an event calculus ⋮ Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE ⋮ Qualitative analysis of gene regulatory networks by temporal logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Identification of all steady states in large networks by logical analysis
- Logical identification of all steady states: The concept of feedback loop characteristic states
- Dynamical behaviour of biological regulatory networks. I: Biological role of feedback loops and practical use of the concept of the loop- characteristic state
- Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits
- Multistationarity, the basis of cell differentiation and memory. I. Structural conditions of multistationarity and other nontrivial behavior
- Qualitative dynamics of piecewise-linear differential equations: a discrete mapping approach
- Interpolants and Symbolic Model Checking
This page was built for publication: Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
