RNDr. Eva Šmijáková

2023

• Phenotype Control of Partially Specified Boolean Networks

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

  Article in Proceedings

  Computational Methods in Systems Biology, year: 2023

• Temporary and Permanent Control of Partially Specified Boolean Networks

  BRIM Luboš PASTVA Samuel ŠAFRÁNEK David ŠMIJÁKOVÁ Eva

  Article in Periodical

  BIOSYSTEMS, year: 2023, volume: 223, edition: JAN, DOI

2022

• AEON.py: Python library for attractor analysis in asynchronous Boolean networks

  BENEŠ Nikola BRIM Luboš HUVAR Ondřej PASTVA Samuel ŠAFRÁNEK David ŠMIJÁKOVÁ Eva

  Article in Periodical

  BIOINFORMATICS, year: 2022, volume: 38, edition: 21, DOI

2020

• Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications.

  ŠMIJÁKOVÁ Eva PASTVA Samuel ŠAFRÁNEK David BRIM Luboš

  Article in Proceedings

  Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science, vol 12314, year: 2020