| |
| 2005 | ||
|---|---|---|
| 2 | EE | Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan: Model Checking Markov Reward Models with Impulse Rewards. DSN 2005: 722-731 |
| 1 | EE | Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev: A Markov Reward Model Checker. QEST 2005: 243-244 |
| 1 | Lucia Cloth | [2] |
| 2 | Joost-Pieter Katoen | [1] [2] |
| 3 | Reza Pulungan | [2] |
| 4 | Ivan S. Zapreev | [1] |