Publications by Maria-Emanuela-Canini Mateescu

Propagation Models for Biochemical Reaction Networks

In this thesis we investigate different ways of approximating the solution of the chemical master equation (CME). The CME is a system of differential equations that models the stochastic transient behaviour of biochemical reaction networks. It does so by d ...

EPFL2011

Approximation of event probabilities in noisy cellular processes

Maria-Emanuela-Canini Mateescu, Verena Wolf

Molecular noise, which arises from the randomness of the discrete events in the cell, significantly influences fundamental biological processes. Discrete-state continuous-time stochastic models (CTMC) can be used to describe such effects, but the calculati ...

2011

Hybrid Numerical Solution of the Chemical Master Equation

Maria-Emanuela-Canini Mateescu, Verena Wolf

We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the stochastic modeling of biological systems. Our approach is based on the const ...

2010

Sliding Window Abstraction for Infinite Markov Chains

Maria-Emanuela-Canini Mateescu, Verena Wolf

We present ail on-the-fly abstraction technique for infinite-state continuous-time Markov chains. We consider Markov chains that are specified by a finite set of transition classes. Such models naturally represent biochemical reactions and therefore play a ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2009

Approximation of Event Probabilities in Noisy Cellular Processes

Maria-Emanuela-Canini Mateescu, Verena Wolf

Molecular noise, which arises from the randomness of the discrete events in the cell, significantly influences fundamental biological processes. Discrete-state continuous-time stochastic models (CTMC) can be used to describe such effects, but the calculati ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2009

Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions

Maria-Emanuela-Canini Mateescu

We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds the number of steps that one process gets ahead of other processes; this all ...

Springer2008