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

  Chapter of a book

  Cyanobacteria: From Basic Science to Applications, edition: Vyd. 1st ed., year: 2018, number of pages: 14 s.

• PITHYA

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

  Year: 2018

• Unfolding of Parametric Boolean Networks

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

  Article in Periodical

  Electronic Notes in Theoretical Computer Science, year: 2018, volume: 335, edition: Duben 2018, DOI

2017

• BCSgen: Biochemical Space language software tool

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

  Year: 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

  Appeared in Conference without Proceedings

  Year: 2017, type: Appeared in Conference without Proceedings

• Detecting Attractors in Biological Models with Uncertain Parameters

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

  Article in Proceedings

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

• Discrete Bifurcation Analysis with Pithya

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

  Article in Proceedings

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

• Model Checking Approach to Discrete Bifurcation Analysis

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

  Appeared in Conference without Proceedings

  Year: 2017, type: Appeared in Conference without Proceedings

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

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

  Appeared in Conference without Proceedings

  Year: 2017, type: Appeared in Conference without Proceedings

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

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

  Article in Proceedings

  Computer Aided Verification. CAV 2017, year: 2017