Marcus Daum
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2012–2016
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | TACAS | Advances in Symbolic Probabilistic Model Checking with PRISM. | Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klppelholz, Steffen Mrcker, David Mller |
| 2014 | FASE | Probabilistic Model Checking and Non-standard Multi-objective Reasoning. | Christel Baier, Clemens Dubslaff, Sascha Klppelholz, Marcus Daum, Joachim Klein, Steffen Mrcker, Sascha Wunderlich |
| 2012 | FMICS | Waiting for Locks: How Long Does It Usually Take? | Christel Baier, Marcus Daum, Benjamin Engel, Hermann Hrtig, Joachim Klein, Sascha Klppelholz, Steffen Mrcker, Hendrik Tews, Marcus Vlp |