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

2015

• Compact Representation of Photosynthesis Dynamics by Rule-based Models

  BRIM Luboš NIŽNAN Juraj ŠAFRÁNEK David

  Article in Proceedings

  5th International Workshop on Static Analysis and Systems Biology (SASB 2014), year: 2015

• CyanoNetwork workshop - Cyanobacterium in silico 2015

  ČERVENÝ Jan MUELLER Stefan ŠAFRÁNEK David

  Workshop

  Year: 2015, type: Workshop

• Fourth International Workshop on Hybrid Systems Biology

  ABATE Alessandro ŠAFRÁNEK David

  Workshop

  Year: 2015, type: Workshop

• High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems

  BRIM Luboš DEMKO Martin PASTVA Samuel ŠAFRÁNEK David

  Article in Proceedings

  Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers, year: 2015

• Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers

  ALESSANDRO Abate ŠAFRÁNEK David

  Year: 2015, type:

• Parameter Synthesis by Model Checking in Formal Biochemical Space

  ŠAFRÁNEK David

  Year: 2015, type:

• Parameter Synthesis by Parallel Coloured CTL Model Checking

  BRIM Luboš ČEŠKA Milan DEMKO Martin PASTVA Samuel ŠAFRÁNEK David

  Article in Proceedings

  Computational Methods in Systems Biology, year: 2015

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

  ČEŠKA Milan SCHNEIDER Caroline ALESSANDRO Abate ŠAFRÁNEK David MAHADEVAN Louis KWIATKOWSKA Marta

  Appeared in Conference without Proceedings

  Year: 2015, type: Appeared in Conference without Proceedings

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

  Article in Proceedings

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

• From Formal Methods to Systems Biology

  ŠAFRÁNEK David

  Year: 2014, type: