RNDr. Samuel Pastva, Ph.D.

2025

• AEON 2025: Robust Control of Partially-Specified Boolean Networks

  VESELÝ Vojtěch ŠMIJÁKOVÁ Eva PASTVA Samuel BENEŠ Nikola ŠAFRÁNEK David

  Článek ve sborníku

  AEON 2025: Robust Control of Partially-Specified Boolean Networks, rok: 2025

• An open problem: Why are motif-avoidant attractors so rare in asynchronous Boolean networks?

  PASTVA Samuel PARK Kyu Hyong HUVAR Ondrej ROZUM Jordan C. ALBERT Reka

  Článek v odborném periodiku

  JOURNAL OF MATHEMATICAL BIOLOGY, rok: 2025, ročník: 91, vydání: 1, DOI

• Mapping the attractor landscape of Boolean networks with biobalm

  TRINH Van-Giang PARK Kyu Hyong PASTVA Samuel ROZUM Jordan C.

  Článek v odborném periodiku

  BIOINFORMATICS, rok: 2025, ročník: 41, vydání: 5, DOI

• Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures

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

  Článek ve sborníku

  Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures, rok: 2025

2024

• BNClassifier: Classifying Boolean Models by Dynamic Properties

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

  Článek ve sborníku

  Computational Methods in Systems Biology, rok: 2024

• Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming

  TRINH Van-Giang BENHAMOU Belaid PASTVA Samuel SOLIMAN Sylvain

  Článek ve sborníku

  Proceedings of the AAAI Conference on Artificial Intelligence, rok: 2024

2023

• Binary decision diagrams on modern hardware

  PASTVA Samuel HENZINGER Thomas

  Článek ve sborníku

  Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023, rok: 2023

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

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

  Článek v odborném periodiku

  Bioinformatics, rok: 2023, ročník: 39, vydání: 4, DOI

• Phenotype Control of Partially Specified Boolean Networks

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

  Článek ve sborníku

  Computational Methods in Systems Biology, rok: 2023

• Rule-based Modelling of Biological Systems Using Regulated Rewriting

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

  Článek v odborném periodiku

  Biosystems, rok: 2023, ročník: 225, vydání: 104843, DOI