Pages that link to "Item:Q2474436"
From MaRDI portal
The following pages link to Temporal constraints in the logical analysis of regulatory networks (Q2474436):
Displaying 12 items.
- Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach (Q276005) (← links)
- Remarks on the respective roles of logical parameters and time delays in asynchronous logic: an homage to El Houssine Snoussi (Q371968) (← links)
- On temporal logic constraint solving for analyzing numerical data time series (Q959788) (← links)
- From structure to dynamics: frequency tuning in the p53-Mdm2 network. I: Logical approach (Q1624234) (← links)
- Uncovering operational interactions in genetic networks using asynchronous Boolean dynamics (Q1625862) (← links)
- Modeling delayed dynamics in biological regulatory networks from time series data (Q1662593) (← links)
- Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic (Q2189295) (← links)
- Qualitative analysis of gene regulatory networks by temporal logic (Q2355694) (← links)
- A genetically modified Hoare logic (Q2422014) (← links)
- Modelling cell lineage using a meta-Boolean tree model with a relation to gene regulatory networks (Q2632071) (← links)
- Bio-Logics: Logical Analysis of Bioregulatory Networks (Q4916070) (← links)
- Temporal logic based synthesis of experimentally constrained interaction networks (Q6074994) (← links)
