- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 3 |      | Thomas A. Henzinger, Maria Mateescu, Verena Wolf: Sliding Window Abstraction for Infinite Markov Chains. CAV 2009: 337-352 |
| 2 | | Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf: Approximation of Event Probabilities in Noisy Cellular Processes. CMSB 2009: 173-188 |
| 2008 | ||
| 1 | | Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman: Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. FMSB 2008: 17-32 |
| 1 | Frédéric Didier | [2] |
| 2 | Jasmin Fisher | [1] |
| 3 | Thomas A. Henzinger | [1] [2] [3] |
| 4 | Nir Piterman | [1] |
| 5 | Verena Wolf | [2] [3] |