Maria Mateescu

According to our database, Maria Mateescu authored at least 10 papers between 2008 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

The Propagation Approach for Computing Biochemical Reaction Networks.

Thomas A. Henzinger, Maria Mateescu

IEEE ACM Trans. Comput. Biol. Bioinform., 2013

2012

Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits.

Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Maria Mateescu, Ali Sezgin

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Propagation Models for Biochemical Reaction Networks.

Maria Mateescu

PhD thesis, 2011

Approximation of event probabilities in noisy cellular processes.

Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf

Theor. Comput. Sci., 2011

Propagation models for computing biochemical reaction networks.

Thomas A. Henzinger, Maria Mateescu

Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

2010

Solving the chemical master equation using sliding windows.

Verena Wolf, Rushil Goel, Maria Mateescu, Thomas A. Henzinger

BMC Syst. Biol., 2010

SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks.

Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf

Proceedings of the QEST 2010, 2010

Hybrid numerical solution of the chemical master equation.

Thomas A. Henzinger, Linar Mikeev, Maria Mateescu, Verena Wolf

Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

2009

Sliding Window Abstraction for Infinite Markov Chains.

Thomas A. Henzinger, Maria Mateescu, Verena Wolf

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions.

Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman

Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008