Maria Mateescu

13 papers A* 2Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2013 J jnl
The Propagation Approach for Computing Biochemical Reaction Networks.
IEEE ACM Trans. Comput. Biol. Bioinform.
Thomas A. Henzinger, Maria Mateescu
2012 A* conf
Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits.
CAV
Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Maria Mateescu, Ali Sezgin
2011 J jnl
Approximation of event probabilities in noisy cellular processes.
Theor. Comput. Sci.
Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
2011 — —
Propagation Models for Biochemical Reaction Networks.
Maria Mateescu
2011 — conf
Propagation models for computing biochemical reaction networks.
CMSB
Thomas A. Henzinger, Maria Mateescu
2010 J jnl
Hybrid Numerical Solution of the Chemical Master Equation
CoRR
Thomas A. Henzinger, Maria Mateescu, Linar Mikeev, Verena Wolf
2010 — conf
Hybrid numerical solution of the chemical master equation.
CMSB
Thomas A. Henzinger, Linar Mikeev, Maria Mateescu, Verena Wolf
2010 J jnl
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks
CoRR
Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
2010 — conf
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks.
QEST
Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
2010 J jnl
Solving the chemical master equation using sliding windows.
BMC Syst. Biol.
Verena Wolf, Rushil Goel, Maria Mateescu, Thomas A. Henzinger
2009 — conf
Approximation of Event Probabilities in Noisy Cellular Processes.
CMSB
Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
2009 A* conf
Sliding Window Abstraction for Infinite Markov Chains.
CAV
Thomas A. Henzinger, Maria Mateescu, Verena Wolf
2008 — conf
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions.
FMSB
Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman