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

2018

• E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria

  TROJÁK Matej ŠAFRÁNEK David HRABEC Jakub ŠALAGOVIČ Jakub ČERVENÝ Jan HAJNAL Matej MERTOVÁ Lukrécia PALUBOVÁ Katarína HAVLÍK Marek

  Další prezentace na konferencích

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

• Fully Automated Attractor Analysis of Cyanobacteria Models

  BENEŠ Nikola BRIM Luboš ČERVENÝ Jan PASTVA Samuel ŠAFRÁNEK David ŠALAGOVIČ Jakub TROJÁK Matej

  Článek ve sborníku

  22nd International Conference on System Theory, Control and Computing, rok: 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