David Safranek
Identifiers
- name variant David Safranek 0.60 · backfill
Papers (2)
- On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking cs.NA · 2013 · author #4
- Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation cs.SY · 2011 · author #4
Mentions
Frequent Coauthors
- Lubos Brim 2 shared papers
- Sven Drazan 2 shared papers
- Jana Fabrikova 1 shared papers
- Milan Ceska 1 shared papers