RNDr. Samuel Pastva, Ph.D.

2023

• Phenotype Control of Partially Specified Boolean Networks

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

  Paper in proceedings

  Computational Methods in Systems Biology, year: 2023, DOI

• Rule-based Modelling of Biological Systems Using Regulated Rewriting

  TROJÁK Matej ŠAFRÁNEK David PASTVA Samuel BRIM Luboš

  Peer-reviewed scientific article

  Biosystems, year: 2023, volume: 225, edition: 104843, DOI

• Temporary and Permanent Control of Partially Specified Boolean Networks

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

  Peer-reviewed scientific article

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

• Trap spaces of multi-valued networks: definition, computation, and applications

  TRINH Van-Giang BENHAMOU Belaid HENZINGER Thomas PASTVA Samuel

  Peer-reviewed scientific article

  BIOINFORMATICS, year: 2023, volume: 39, edition: Supplement_1, 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

  Peer-reviewed scientific article

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

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

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

  Peer-reviewed scientific article

  Logical Methods in Computer Science, year: 2022, volume: 18, edition: 1, DOI

• Exploring attractor bifurcations in Boolean networks

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

  Peer-reviewed scientific article

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

• Variable Stabilisation in Boolean Monotonic Model Pools

  PASTVA Samuel

  Paper in proceedings

  Computational Methods in Systems Biology, year: 2022, DOI

2021

• Aeon 2021: Bifurcation Decision Trees in Boolean Networks

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

  Paper in proceedings

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

• Computing Bottom SCCs Symbolically Using Transition Guided Reduction

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

  Paper in proceedings

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