-
Chapter
Evolutionary Dynamics of a Population of Cells with a Toxin Suppressor Gene
Environmental changes are known to trigger evolutionary changes, e.g. by favoring higher mutation rates. We study the evolutionary dynamics of a delayed stochastic genetic circuit using a simulator developed f...
-
Chapter and Conference Paper
Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics
The recently introduced Hybrid Automata Stochastic Logic (HASL) establishes a powerful framework for the analysis of a broad class of stochastic processes, namely Discrete Event Stochastic Processes (DESPs). H...
-
Chapter and Conference Paper
Modelling Polar Retention of Complexes in Escherichia coli
The cytoplasm of Escherichia coli is a crowded, heterogeneous environment. The spatial kinetics and heterogeneities of synthetic RNA-protein complexes have been recently studied using single-cell live imaging. A ...
-
Chapter and Conference Paper
Modeling and Engineering Promoters with Pre-defined RNA Production Dynamics in Escherichia Coli
Recent developments in live-cell time-lapse microscopy and signal processing methods for single-cell, single-RNA detection now allow characterizing the in vivo dynamics of RNA production of Escherichia coli promo...