Pages that link to "Item:Q2474435"
From MaRDI portal
The following pages link to Probabilistic model checking of complex biological pathways (Q2474435):
Displayed 23 items.
- An algorithm for the identification of components in biochemical pathways (Q276001) (← links)
- Modular verification of chemical reaction network encodings via serializability analysis (Q288812) (← links)
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits (Q498908) (← links)
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
- Probabilistic approximations of ODEs based bio-pathway dynamics (Q533363) (← links)
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA (Q764354) (← links)
- A mass action model of a fibroblast growth factor signaling pathway and its simplification (Q839947) (← links)
- Query-based verification of qualitative trends and oscillations in biochemical systems (Q969178) (← links)
- Bio-PEPA: A framework for the modelling and analysis of biological systems (Q2271444) (← links)
- Component identification in biochemical pathways (Q2348029) (← links)
- Qualitative analysis of gene regulatory networks by temporal logic (Q2355694) (← links)
- Reachability analysis of uncertain systems using bounded-parameter Markov decision processes (Q2389641) (← links)
- Model-Checking Linear-Time Properties of Quantum Systems (Q2946731) (← links)
- Biomodel Engineering – From Structure to Behavior (Q3068846) (← links)
- Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions (Q3506862) (← links)
- Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis (Q3506868) (← links)
- Probabilistic Model Checking of the PDGF Signaling Pathway (Q4912384) (← links)
- Translating Stochastic CLS into Maude (Q5179424) (← links)
- Computing Cumulative Rewards Using Fast Adaptive Uniformization (Q5270731) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)
- Analysing Biochemical Oscillation through Probabilistic Model Checking (Q5404071) (← links)
- Modular Verification of Interactive Systems with an Application to Biology (Q5404087) (← links)
- Modelling Intracellular Fate of FGF Receptors With BioAmbients (Q5415670) (← links)