The following pages link to (Q4413225):
Displaying 17 items.
- Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints (Q533354) (← links)
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures (Q548479) (← links)
- On temporal logic constraint solving for analyzing numerical data time series (Q959788) (← links)
- Modeling and querying biomolecular interaction networks (Q1884862) (← links)
- Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice (Q1884863) (← links)
- Greening R. Thomas' framework with environment variables: a divide and conquer approach (Q2142101) (← links)
- Formal semantics and verification of network-based biocomputation circuits (Q2234096) (← links)
- On algorithmic analysis of transcriptional regulation by LTL model checking (Q2271449) (← links)
- Qualitative analysis of gene regulatory networks by temporal logic (Q2355694) (← links)
- Abstract interpretation and types for systems biology (Q2518376) (← links)
- Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE (Q2870296) (← links)
- Biomodel Engineering – From Structure to Behavior (Q3068846) (← links)
- Formal Cellular Machinery (Q5404096) (← links)
- Model Revision from Temporal Logic Properties in Computational Systems Biology (Q5452030) (← links)
- Constrained Kripke structure for identifying parameters of biological models (Q6131194) (← links)
- Artificial intelligence in biological modelling (Q6602271) (← links)
