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

2018

• Influence of circadian clocks on optimal regime of central C-N metabolism of cyanobacteria

  ČERVENÝ Jan ŠALAGOVIČ Jakub MUZIKA František ŠAFRÁNEK David SCHREIBER Igor

  Kapitola v knize

  Cyanobacteria: From Basic Science to Applications, vydání: Vyd. 1st ed., rok: 2018, počet stran: 14 s.

• PITHYA

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

  Software

  Rok: 2018

• Unfolding of Parametric Boolean Networks

  KOLČÁK Juraj ŠAFRÁNEK David LOIC Paulevé HAAR Stefan

  Článek v odborném periodiku

  Electronic Notes in Theoretical Computer Science, rok: 2018, ročník: 335, vydání: Duben 2018, DOI

2017

• BCSgen: Biochemical Space language software tool

  TROJÁK Matej ŠAFRÁNEK David ŠALAGOVIČ Jakub

  Software

  Rok: 2017

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

  TROJÁK Matej ŠAFRÁNEK David ŠALAGOVIČ Jakub ROMANOVSKÁ Františka HAJNAL Matej

  Další prezentace na konferencích

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

• Detecting Attractors in Biological Models with Uncertain Parameters

  BRIM Luboš BARNAT Jiří ŠAFRÁNEK David BENEŠ Nikola DEMKO Martin PASTVA Samuel HAJNAL Matej

  Článek ve sborníku

  Computational Methods in Systems Biology. CMSB 2017, rok: 2017

• Discrete Bifurcation Analysis with Pithya

  BENEŠ Nikola BRIM Luboš DEMKO Martin HAJNAL Matej PASTVA Samuel ŠAFRÁNEK David

  Článek ve sborníku

  15th International Conference on Computational Methods in Systems Biology (CMSB), rok: 2017

• Model Checking Approach to Discrete Bifurcation Analysis

  BENEŠ Nikola BRIM Luboš DEMKO Martin ŠAFRÁNEK David PASTVA Samuel HAJNAL Matej

  Další prezentace na konferencích

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

• Parameter Synthesis of Biological Models by Model Checking: A Case Study

  BRIM Luboš ŠAFRÁNEK David BENEŠ Nikola DEMKO Martin PASTVA Samuel HAJNAL Matej

  Další prezentace na konferencích

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

• Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems

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

  Článek ve sborníku

  Computer Aided Verification. CAV 2017, rok: 2017