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

2014

• Robustness Analysis of Stochastic Biochemical Systems

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

  Article in Periodical

  Plos One, year: 2014, volume: 9, edition: 4, DOI

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

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

  Article in Periodical

  Information and computation, year: 2014, volume: 236, edition: January, DOI

• Stochastic Modelling of the Interface between Regulatory Enzymes and Transcription Initiation at Inducible Genes

  ČEŠKA Milan SCHNEIDER Caroline ABATE Alessandro ŠAFRÁNEK David MAHADEVAN Louis KWIATKOWSKA Marta

  Appeared in Conference without Proceedings

  Year: 2014, type: Appeared in Conference without Proceedings

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

  Article in Proceedings

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

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

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

  Article in Proceedings

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

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

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

  Article in Proceedings

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

• Model Checking of Biological Systems

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

  Article in Proceedings

  Formal Methods for Dynamical Systems, year: 2013

• Qualitative modelling and analysis of Photosystem II

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

  Article in Proceedings

  CEUR Workshop Proceedings, year: 2013

• Robustness Analysis for Value-Freezing Signal Temporal Logic

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

  Article in Proceedings

  Proceedings HSB 2013, year: 2013

• Robustness Analysis of Stochastic Systems

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

  Article in Proceedings

  Electronic Proceedings in Theoretical Computer Science, Volume 116, year: 2013