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

2022

• BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs

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

  Článek v odborném periodiku

  Logical Methods in Computer Science, rok: 2022, ročník: 18, vydání: 1, DOI

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

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

  Článek ve sborníku

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

• Exploring attractor bifurcations in Boolean networks

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

  Článek v odborném periodiku

  BMC Bioinformatics, rok: 2022, ročník: 23, vydání: 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

  Článek v odborném periodiku

  Plos Computational Biology, rok: 2022, ročník: 18, vydání: 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

  Článek v odborném periodiku

  Biotechnology Advances, rok: 2022, ročník: 58, vydání: September, DOI

2021

• Aeon 2021: Bifurcation Decision Trees in Boolean Networks

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

  Článek ve sborníku

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

• Computing Bottom SCCs Symbolically Using Transition Guided Reduction

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

  Článek ve sborníku

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

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

  HAJNAL Matej PETROV Tatjana ŠAFRÁNEK David

  Článek ve sborníku

  Performance Engineering and Stochastic Modeling, rok: 2021

• Symbolic Coloured SCC Decomposition

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

  Článek ve sborníku

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

2020

• AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

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

  Článek ve sborníku

  Computer Aided Verification. CAV 2020, rok: 2020