Pages that link to "Item:Q2189295"
From MaRDI portal
The following pages link to Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic (Q2189295):
Displaying 33 items.
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach (Q276005) (← links)
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits (Q498908) (← links)
- Inferring reaction systems from ordinary differential equations (Q498919) (← links)
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures (Q548479) (← links)
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
- Efficient synthesis of a class of Boolean programs from I-O data: application to genetic networks (Q628335) (← links)
- On temporal logic constraint solving for analyzing numerical data time series (Q959788) (← links)
- Positive circuits and maximal number of fixed points in discrete dynamical systems (Q967384) (← links)
- Conley-Morse-Forman theory for combinatorial multivector fields on Lefschetz complexes (Q1692134) (← links)
- Positive and negative cycles in Boolean networks (Q1717061) (← links)
- Learning explanations for biological feedback with delays using an event calculus (Q2102315) (← links)
- Unfolding of parametric Boolean networks (Q2130572) (← links)
- Greening R. Thomas' framework with environment variables: a divide and conquer approach (Q2142101) (← links)
- Learning Boolean controls in regulated metabolic networks: a case-study (Q2142113) (← links)
- Robustness and fragility of Boolean models for genetic regulatory networks (Q2196807) (← links)
- On algorithmic analysis of transcriptional regulation by LTL model checking (Q2271449) (← links)
- Automated inference of gene regulatory networks using explicit regulatory modules (Q2288494) (← links)
- Qualitative analysis of gene regulatory networks by temporal logic (Q2355694) (← links)
- Parameter space abstraction and unfolding semantics of discrete regulatory networks (Q2422012) (← links)
- A genetically modified Hoare logic (Q2422014) (← links)
- Temporal constraints in the logical analysis of regulatory networks (Q2474436) (← links)
- Modelling cell lineage using a meta-Boolean tree model with a relation to gene regulatory networks (Q2632071) (← links)
- Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE (Q2870296) (← links)
- Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions (Q3506862) (← links)
- Local Structure and Behavior of Boolean Bioregulatory Networks (Q3599202) (← links)
- Modeling and Analysis of Gene Regulatory Networks (Q4554266) (← links)
- Model Revision from Temporal Logic Properties in Computational Systems Biology (Q5452030) (← links)
- On the effects of firing memory in the dynamics of conjunctive networks (Q5918927) (← links)
- On the effects of firing memory in the dynamics of conjunctive networks (Q5919282) (← links)
- Constrained Kripke structure for identifying parameters of biological models (Q6131194) (← links)
- Attractor landscapes in Boolean networks with firing memory: a theoretical study applied to genetic networks (Q6151172) (← links)
- A multiscale hybrid model for exploring the effect of Resolvin D1 on macrophage polarization during acute inflammation (Q6167794) (← links)