Steffen Mrcker
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2012–2022
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | DATE | Exploring Standard-Cell Designs for Reconfigurable Nanotechnologies: A Formal Approach. | Michael Raitza, Steffen Mrcker, Shubham Rai, Akash Kumar |
| 2017 | SEFM | Computing Conditional Probabilities: Implementation and Evaluation. | Steffen Mrcker, Christel Baier, Joachim Klein, Sascha Klppelholz |
| 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 |
| 2014 | TACAS | Computing Conditional Probabilities in Markovian Models Efficiently. | Christel Baier, Joachim Klein, Sascha Klppelholz, Steffen Mrcker |
| 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 |