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

  Paper in proceedings

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

• Sketchbook: logical model inference from Boolean network sketches

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

  Peer-reviewed scientific article

  BIOINFORMATICS ADVANCES, year: 2026, volume: 6, edition: 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

  Peer-reviewed scientific article

  JOURNAL OF MATHEMATICAL BIOLOGY, year: 2025, volume: 91, edition: 1, DOI

• Mapping the attractor landscape of Boolean networks with biobalm

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

  Peer-reviewed scientific article

  BIOINFORMATICS, year: 2025, volume: 41, edition: 5, DOI

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

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

  Paper in proceedings

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

• Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures

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

  Paper in proceedings

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

2024

• BNClassifier: Classifying Boolean Models by Dynamic Properties

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

  Paper in proceedings

  Computational Methods in Systems Biology, year: 2024

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

  TRINH Van-Giang BENHAMOU Belaid PASTVA Samuel SOLIMAN Sylvain

  Paper in proceedings

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

2023

• Binary decision diagrams on modern hardware

  PASTVA Samuel HENZINGER Thomas

  Paper in proceedings

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

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

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

  Peer-reviewed scientific article

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