| |
| 2008 | ||
|---|---|---|
| 7 | EE | Jasen Markovski, Erik P. de Vink: Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. ACSD 2008: 180-189 |
| 6 | EE | Jasen Markovski, Erik P. de Vink: Extending Timed Process Algebra with Discrete Stochastic Time. AMAST 2008: 268-283 |
| 5 | Jasen Markovski, Nikola Trcka: Aggregation Methods for Markov Reward Chains with Fast and Silent Transitions. MMB 2008: 93-108 | |
| 2007 | ||
| 4 | EE | Jasen Markovski, Erik P. de Vink: Real-Time Process Algebra with Stochastic Delays. ACSD 2007: 177-186 |
| 3 | EE | Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink: Compositionality for Markov Reward Chains with Fast Transitions. EPEW 2007: 18-32 |
| 2006 | ||
| 2 | EE | Jasen Markovski, Erik P. de Vink: Embedding Real Time in Stochastic Process Algebras. EPEW 2006: 47-62 |
| 1 | EE | Jasen Markovski, Nikola Trcka: Lumping Markov Chains with Silent Steps. QEST 2006: 221-232 |
| 1 | Ana Sokolova | [3] |
| 2 | Nikola Trcka | [1] [3] [5] |
| 3 | Erik P. de Vink | [2] [3] [4] [6] [7] |