| 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] |