Johann Schuster
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2009–2013
Best venue rank
Unranked
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | TACAS | The Quest for Minimal Quotients for Probabilistic Automata. | Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang |
| 2010 | EDCC | Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA. | Michael Gnther, Johann Schuster, Markus Siegle |
| 2010 | EDCC | Dependability modelling with the stochastic process algebra tool CASPA. | Johann Schuster, Markus Siegle |
| 2009 | SOFSEM | An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. | Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle |