Steffen Märcker

Steffen Märcker

Technische Universität Dresden - Dresden / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 4536155
Dresden University of Technology
person_outline Steffen Märcker's MOST POPULAR ARTICLES
1-) Computing conditional probabilities in Markovian models efficiently Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
2-) Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata International Journal on Software Tools for Technology Transfer 20 (2), 179-194, 2018
3-) Weighted tree automata over valuation monoids and their characterization by weighted logics Algebraic Foundations in Computer Science: Essays Dedicated to Symeon …, 2011
4-) A hardware/software stack for heterogeneous systems IEEE Transactions on Multi-Scale Computing Systems 4 (3), 243-259, 2017
5-) Advances in symbolic probabilistic model checking with PRISM International Conference on Tools and Algorithms for the Construction and …, 2016