The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Steffen Märcker" ( http://dblp.L3S.de/Authors/Steffen_Märcker )

  Author page on DBLP  Author page in RDF  Community of Steffen Märcker in ASPL-2

Publication years (Num. hits)
2011-2018 (12)
Publication types (Num. hits)
article(4) inproceedings(8)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 13 publication records. Showing 12 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jerónimo Castrillón, Matthias Lieber, Sascha Klüppelholz, Marcus Völp, Nils Asmussen, Uwe Aßmann, Franz Baader, Christel Baier, Gerhard P. Fettweis, Jochen Fröhlich, Andrés Goens, Sebastian Haas, Dirk Habich, Hermann Härtig, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Akash Kumar 0001, Wolfgang Lehner, Linda Leuschner, Siqi Ling, Steffen Märcker, Christian Menard, Johannes Mey, Wolfgang E. Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt, Sascha Wunderlich A Hardware/Software Stack for Heterogeneous Systems. Search on Bibsonomy IEEE Trans. Multi-Scale Computing Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joachim Klein 0001, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller 0001 Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Justus A. Kromer, Steffen Märcker, Steffen Lange, Christel Baier, Benjamin M. Friedrich Decision making improves sperm chemotaxis in the presence of noise. Search on Bibsonomy PLoS Computational Biology The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Steffen Märcker, Christel Baier, Joachim Klein 0001, Sascha Klüppelholz Computing Conditional Probabilities: Implementation and Evaluation. Search on Bibsonomy SEFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joachim Klein 0001, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller 0001 Advances in Symbolic Probabilistic Model Checking with PRISM. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein 0001, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp Locks: Picking key methods for a scalable quantitative analysis. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christel Baier, Joachim Klein 0001, Sascha Klüppelholz, Steffen Märcker Computing Conditional Probabilities in Markovian Models Efficiently. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein 0001, Steffen Märcker, Sascha Wunderlich Probabilistic Model Checking and Non-standard Multi-objective Reasoning. Search on Bibsonomy FASE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select. Search on Bibsonomy NASA Formal Methods The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein 0001, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code Search on Bibsonomy SSV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein 0001, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp Waiting for Locks: How Long Does It Usually Take? Search on Bibsonomy FMICS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Manfred Droste, Doreen Götze, Steffen Märcker, Ingmar Meinecke Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics. Search on Bibsonomy Algebraic Foundations in Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license