doc. RNDr. David Šafránek, Ph.D.

2014

• Biochemical Space: A Framework for Systemic Annotation of Biological Models

  KLEMENT Matej DĚD Tadeáš ŠAFRÁNEK David ČERVENÝ Jan MUELLER Stefan STEUER Ralf

  Článek ve sborníku

  Proceedings of the 5th International Workshop on Interactions between Computer Science and Biology (CS2Bio’14), rok: 2014

• From Formal Methods to Systems Biology

  ŠAFRÁNEK David

  Vyžádané přednášky

  Rok: 2014, druh: Vyžádané přednášky

• Robustness Analysis of Stochastic Biochemical Systems

  ČEŠKA Milan ŠAFRÁNEK David DRAŽAN Sven BRIM Luboš

  Článek v odborném periodiku

  Plos One, rok: 2014, ročník: 9, vydání: 4, DOI

• STL*: Extending signal temporal logic with signal-value freezing operator

  BRIM Luboš DLUHOŠ Petr ŠAFRÁNEK David VEJPUSTEK Tomáš

  Článek v odborném periodiku

  Information and computation, rok: 2014, ročník: 236, vydání: January, DOI

2013

• A Comprehensive Web-based Platform For Domain-Specific Biological Models

  KLEMENT Matej ŠAFRÁNEK David DĚD Tadeáš PEJZNOCH Aleš NEDBAL Ladislav STEUER Ralf ČERVENÝ Jan MUELLER Stefan

  Článek ve sborníku

  Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology (CS2Bio'13), rok: 2013

• Esther: Introducing an Online Platform for Parameter Identification of Boolean Networks

  STRECK Adam KOLČÁK Juraj SIEBERT Heike ŠAFRÁNEK David

  Článek ve sborníku

  Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings, rok: 2013

• Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking

  BRIM Luboš ČEŠKA Milan DRAŽAN Sven ŠAFRÁNEK David

  Článek ve sborníku

  25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, rok: 2013

• Model Checking of Biological Systems

  BRIM Luboš ČEŠKA Milan ŠAFRÁNEK David

  Článek ve sborníku

  Formal Methods for Dynamical Systems, rok: 2013

• Qualitative modelling and analysis of Photosystem II

  BRIM Luboš DĚD Vilém ŠAFRÁNEK David

  Článek ve sborníku

  CEUR Workshop Proceedings, rok: 2013

• Robustness Analysis for Value-Freezing Signal Temporal Logic

  BRIM Luboš VEJPUSTEK Tomáš ŠAFRÁNEK David FABRIKOVÁ Jana

  Článek ve sborníku

  Proceedings HSB 2013, rok: 2013