Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. - Jasmin Fisher; Thomas A. Henzinger; Maria Mateescu; Nir Piterman (FMSB, 2008)

Sliding Window Abstraction for Infinite Markov Chains. - Thomas A. Henzinger; Maria Mateescu; Verena Wolf (CAV, 2009)

Hybrid numerical solution of the chemical master equation. - Thomas A. Henzinger; Linar Mikeev; Maria Mateescu; Verena Wolf (CMSB, 2010)

SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks. - Frédéric Didier; Thomas A. Henzinger; Maria Mateescu; Verena Wolf (QEST, 2010)

Solving the chemical master equation using sliding windows. - Verena Wolf; Rushil Goel; Maria Mateescu; Thomas A. Henzinger (BMC Syst. Biol., 2010)

Propagation models for computing biochemical reaction networks. - Thomas A. Henzinger; Maria Mateescu (CMSB, 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 Biochemical Reaction Networks. - Maria Mateescu (2011)

Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits. - Calin C. Guet; Ashutosh Gupta 001; Thomas A. Henzinger; Maria Mateescu; Ali Sezgin (CAV, 2012)

The Propagation Approach for Computing Biochemical Reaction Networks. - Thomas A. Henzinger; Maria Mateescu (IEEE ACM Trans. Comput. Biol. Bioinform., 2013)