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

2022

• eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems

  TROJÁK Matej ŠAFRÁNEK David BROZMANN Branislav BRIM Luboš

  Article in Proceedings

  20th International Conference on Computational Methods in Systems Biology, year: 2022

• Exploring attractor bifurcations in Boolean networks

  BENEŠ Nikola BRIM Luboš KADLECAJ Jakub PASTVA Samuel ŠAFRÁNEK David

  Article in Periodical

  BMC Bioinformatics, year: 2022, volume: 23, edition: 173, DOI

• Extracting individual characteristics from population data reveals a negative social effect during honeybee defence

  PETROV Tatjana HAJNAL Matej KLEIN Julia ŠAFRÁNEK David NOUVIAN Morgane

  Article in Periodical

  Plos Computational Biology, year: 2022, volume: 18, edition: 9, DOI

• Polyhydroxyalkanoates synthesis by halophiles and thermophiles: towards sustainable production of microbial bioplastics

  OBRUČA Stanislav DVOŘÁK Pavel SEDLÁČEK Petr KOLLER Martin SEDLÁŘ Karel PERNICOVÁ Iva ŠAFRÁNEK David

  Article in Periodical

  Biotechnology Advances, year: 2022, volume: 58, edition: September, DOI

2021

• Aeon 2021: Bifurcation Decision Trees in Boolean Networks

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

  Article in Proceedings

  International Conference on Computational Methods in Systems Biology (CMSB 2021), year: 2021

• Computing Bottom SCCs Symbolically Using Transition Guided Reduction

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

  Article in Proceedings

  Computer Aided Verification - 33rd International Conference, CAV 2021, year: 2021

• DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications

  HAJNAL Matej PETROV Tatjana ŠAFRÁNEK David

  Article in Proceedings

  Performance Engineering and Stochastic Modeling, year: 2021

• Symbolic Coloured SCC Decomposition

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

  Article in Proceedings

  Tools and Algorithms for the Construction and Analysis of Systems, 27th International Conference, TACAS 2021, year: 2021

2020

• AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

  BENEŠ Nikola BRIM Luboš KADLECAJ Jakub PASTVA Samuel ŠAFRÁNEK David

  Article in Proceedings

  Computer Aided Verification. CAV 2020, year: 2020

• Digital Bifurcation Analysis of Internet Congestion Control Protocols

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

  Article in Periodical

  International Journal of Bifurcation and Chaos, year: 2020, volume: 30, edition: 13, DOI