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

2015

• Biochemical Space: A Language for Formal Description and Annotation of Complex Biological Processes

  TROJÁK Matej DĚD Tadeáš ŠAFRÁNEK David KLEMENT Matej ČERVENÝ Jan BRIM Luboš

  Další prezentace na konferencích

  Rok: 2015, druh: Další prezentace na konferencích

• Coloured Model Checking Approach to Parameter Synthesis for Executable Models in Synthetic Biology

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

  Konferenční abstrakty

  Rok: 2015, druh: Konferenční abstrakty

• Compact Representation of Photosynthesis Dynamics by Rule-based Models

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

  Článek ve sborníku

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

• CyanoNetwork workshop - Cyanobacterium in silico 2015

  ČERVENÝ Jan MUELLER Stefan ŠAFRÁNEK David

  Uspořádání workshopu

  Rok: 2015, druh: Uspořádání workshopu

• Fourth International Workshop on Hybrid Systems Biology

  ABATE Alessandro ŠAFRÁNEK David

  Uspořádání workshopu

  Rok: 2015, druh: Uspořádání workshopu

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

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

  Článek ve sborníku

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

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

  ALESSANDRO Abate ŠAFRÁNEK David

  Editorství tématického sborníku

  Rok: 2015, druh: Editorství tématického sborníku

• Parameter Synthesis by Model Checking in Formal Biochemical Space

  ŠAFRÁNEK David

  Vyžádané přednášky

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

• Parameter Synthesis by Parallel Coloured CTL Model Checking

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

  Článek ve sborníku

  Computational Methods in Systems Biology, rok: 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

  Další prezentace na konferencích

  Rok: 2015, druh: Další prezentace na konferencích