RNDr. Samuel Pastva, Ph.D.

2023

• Boolean network sketches: a unifying framework for logical model inference

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

  Article in Periodical

  Bioinformatics, year: 2023, volume: 39, edition: 4, DOI

• 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

• Rule-based Modelling of Biological Systems Using Regulated Rewriting

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

  Article in Periodical

  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

  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

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

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

  Article in Periodical

  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

  Article in Periodical

  BMC Bioinformatics, year: 2022, volume: 23, edition: 173, 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

• 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