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

2013

• Robustness Analysis of Stochastic Systems

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

  Článek ve sborníku

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

• Timed Modelling of Gene Networks with Arbitrary Expression Level Discretization

  VAN GOETHEM Simon JACQUET Jean-Marie BRIM Luboš ŠAFRÁNEK David

  Článek ve sborníku

  Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio'12), rok: 2013

2012

• On Approximative Reachability Analysis of Biochemical Dynamical Systems

  BRIM Luboš FABRIKOVÁ Jana DRAŽAN Sven ŠAFRÁNEK David

  Článek ve sborníku

  Transactions on Computational Systems Biology XIV, rok: 2012

• On Expressing and Monitoring Oscillatory Dynamics

  DLUHOŠ Petr BRIM Luboš ŠAFRÁNEK David

  Článek v odborném periodiku

  Electronic Proceedings in Theoretical Computer Science, rok: 2012, ročník: 2012, vydání: 92, DOI

• On Parameter Synthesis by Parallel Model Checking

  BARNAT Jiří BRIM Luboš KREJČÍ Adam STRECK Adam ŠAFRÁNEK David VEJNÁR Martin VEJPUSTEK Tomáš

  Článek v odborném periodiku

  IEEE/ACM Transactions on Computational Biology and Bioinformatics, rok: 2012, ročník: 9, vydání: 3, DOI

• Parameter Identification and Model Ranking of Thomas Networks

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

  Článek ve sborníku

  Computational Methods in Systems Biology: 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings, rok: 2012

2011

• Abstraction of Biochemical Reaction Systems on Polytopes

  COLLINS Pieter HABETS Luc VAN SCHUPPEN Jan ČERNÁ Ivana FABRIKOVÁ Jana ŠAFRÁNEK David

  Článek ve sborníku

  Proceedings of the 18th IFAC World Congress, rok: 2011

• E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes

  ŠAFRÁNEK David ČERVENÝ Jan KLEMENT Matej POSPÍŠILOVÁ Jana BRIM Luboš LAZÁR Dušan NEDBAL Ladislav

  Článek v odborném periodiku

  BioSystems, rok: 2011, ročník: 103, vydání: 2, DOI

• Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation

  BRIM Luboš FABRIKOVÁ Jana DRAŽAN Sven ŠAFRÁNEK David

  Článek v odborném periodiku

  Electronic Proceedings in Theoretical Computer Science, rok: 2011, ročník: Neuveden, vydání: 67, DOI

2010

• E-photosynthesis: web software for modeling and analysis of biological processes behind photosynthesis

  KLEMENT Matej ŠAFRÁNEK David ČERVENÝ Jan BRIM Luboš NEDBAL Ladislav

  Software

  Rok: 2010