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

2013

• Timed Modelling of Gene Networks with Arbitrary Expression Level Discretization

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

  Article in Proceedings

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

2012

• On Approximative Reachability Analysis of Biochemical Dynamical Systems

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

  Article in Proceedings

  Transactions on Computational Systems Biology XIV, year: 2012

• On Expressing and Monitoring Oscillatory Dynamics

  DLUHOŠ Petr BRIM Luboš ŠAFRÁNEK David

  Article in Periodical

  Electronic Proceedings in Theoretical Computer Science, year: 2012, volume: 2012, edition: 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áš

  Article in Periodical

  IEEE/ACM Transactions on Computational Biology and Bioinformatics, year: 2012, volume: 9, edition: 3, DOI

• Parameter Identification and Model Ranking of Thomas Networks

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

  Article in Proceedings

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

2011

• Abstraction of Biochemical Reaction Systems on Polytopes

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

  Article in Proceedings

  Proceedings of the 18th IFAC World Congress, year: 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

  Article in Periodical

  BioSystems, year: 2011, volume: 103, edition: 2, DOI

• Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation

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

  Article in Periodical

  Electronic Proceedings in Theoretical Computer Science, year: 2011, volume: Neuveden, edition: 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

  Year: 2010

• High-performance analysis of biological systems dynamics with the DiVinE model checker

  BARNAT Jiří BRIM Luboš ŠAFRÁNEK David

  Article in Periodical

  Briefings in Bioinformatics, year: 2010, volume: 11, edition: 3