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.003zbMATH Open1440.92036OpenAlexW2121149194WikidataQ80282566 ScholiaQ80282566MaRDI QIDQ2189295FDOQ2189295
Authors: Gilles Bernot, Adrien Richard, Janine Guespin, 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
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
- Identification of all steady states in large networks by logical analysis
- Multistationarity, the basis of cell differentiation and memory. II: Logical analysis of regulatory networks in terms of feedback circuits
- Title not available (Why is that?)
- Qualitative dynamics of piecewise-linear differential equations: a discrete mapping approach
- 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
- Interpolants and Symbolic Model Checking
- Dynamical behaviour of biological regulatory networks. I: Biological role of feedback loops and practical use of the concept of the loop- characteristic state
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (38)
- Learning explanations for biological feedback with delays using an event calculus
- Modelling and analysing neural networks using a hybrid process algebra
- Automated inference of gene regulatory networks using explicit regulatory modules
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
- Bio-logics: logical analysis of bioregulatory networks
- Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
- On temporal logic constraint solving for analyzing numerical data time series
- 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
- Parameter space abstraction and unfolding semantics of discrete regulatory networks
- A multiscale hybrid model for exploring the effect of Resolvin D1 on macrophage polarization during acute inflammation
- Positive circuits and maximal number of fixed points in discrete dynamical systems
- On the effects of firing memory in the dynamics of conjunctive networks
- On the effects of firing memory in the dynamics of conjunctive networks
- Unfolding of parametric Boolean networks
- R. Thomas' modeling of biological regulatory networks: Introduction of singular states in the qualitative dynamics
- Title not available (Why is that?)
- Qualitative analysis of gene regulatory networks by temporal logic
- Artificial intelligence in biological modelling
- 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
- Positive and negative cycles in Boolean networks
- A genetically modified Hoare logic
- Local Structure and Behavior of Boolean Bioregulatory Networks
- Model Revision from Temporal Logic Properties in Computational Systems Biology
- Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods
- On algorithmic analysis of transcriptional regulation by LTL model checking
- Efficient synthesis of a class of Boolean programs from I-O data: application to genetic networks
- Temporal constraints in the logical analysis of regulatory networks
- Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
- Parallel model checking large-scale genetic regulatory networks with DiVinE
- Modeling and analysis of gene regulatory networks
- Conley-Morse-Forman theory for combinatorial multivector fields on Lefschetz complexes
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits
- Inferring reaction systems from ordinary differential equations
- Constrained Kripke structure for identifying parameters of biological models
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)
