| |
| 2009 | ||
|---|---|---|
| 3 | EE | Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle: An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. SOFSEM 2009: 485-496 |
| 2008 | ||
| 2 | Johann Schuster, Markus Siegle: A Symbolic Multilevel Method with Sparse Submatrix Representation for Memory-Speed-Tradeoff. MMB 2008: 191-206 | |
| 1 | EE | Martin Riedl, Johann Schuster, Markus Siegle: Recent Extensions to the Stochastic Process Algebra Tool CASPA. QEST 2008: 113-114 |
| 1 | Jens Bachmann | [3] |
| 2 | Martin Riedl | [1] [3] |
| 3 | Markus Siegle | [1] [2] [3] |