Showing 1 - 3 results of 3 for search 'Steffen Märcker', query time: 0.02s Refine Results
  1. 1
    Decision making improves sperm chemotaxis in the presence of noise.

    Decision making improves sperm chemotaxis in the presence of noise. by Justus A Kromer, Steffen Märcker, Steffen Lange, Christel Baier, Benjamin M Friedrich

    Published 2018-04-01
    Get full text
    Article
  2. 2
    Quantitative Characterization of Reconfigurable Transistor Logic Gates

    Quantitative Characterization of Reconfigurable Transistor Logic Gates by Michael Raitza, Steffen Marcker, Jens Trommer, Andre Heinzig, Sascha Kluppelholz, Christel Baier, Akash Kumar

    Published 2020-01-01
    Get full text
    Article
  3. 3
    Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code

    Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code by Marcus Völp, Steffen Märcker, Hendrik Tews, Hermann Härtig, Sascha Klüppelholz, Benjamin Engel, Marcus Daum, Christel Baier, Joachim Klein

    Published 2012-11-01
    Get full text
    Article

Search Tools: