3 Result(s)
within
Andre S. Ribeiro
Computer Science
Computational Biology/Bioinformatics
Software Engineering
-
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...
