Maria Mateescu

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Signal Transduction Pathways

Genetic Regulatory Networks

Poisson Distribution

Top Venues

IEEE ACM Trans. Comput. Biol. Bioinform.

Publications

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