Pages that link to "Item:Q2189295"

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)