RNDr. Samuel Pastva, Ph.D.

2026

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

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

  Stať ve sborníku

  International Conference on Computational Methods in Systems Biology, CMSB 2025, rok: 2026, DOI

• Control-guided refinement of partially specified Boolean networks: applications to RTK signaling

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

  Recenzovaný odborný článek

  Bioinformatics, rok: 2026, ročník: 42, vydání: 6, DOI

• Sketchbook: logical model inference from Boolean network sketches

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

  Recenzovaný odborný článek

  BIOINFORMATICS ADVANCES, rok: 2026, ročník: 6, vydání: 1, DOI

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

  Recenzovaný odborný článek

  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.

  Recenzovaný odborný článek

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

• Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks

  KABIR Mohimenul TRINH Van-Giang PASTVA Samuel MEEL Kuldeep S.

  Stať ve sborníku

  31ST INTERNATIONAL CONFERENCE ON PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2025, rok: 2025, DOI

• Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures

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

  Stať ve sborníku

  International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, rok: 2025, DOI

2024

• BNClassifier: Classifying Boolean Models by Dynamic Properties

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

  Stať ve sborníku

  Computational Methods in Systems Biology, rok: 2024, DOI

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

  TRINH Van-Giang BENHAMOU Belaid PASTVA Samuel SOLIMAN Sylvain

  Stať ve sborníku

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

2023

• Binary decision diagrams on modern hardware

  PASTVA Samuel HENZINGER Thomas

  Stať ve sborníku

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