RNDr. Samuel Pastva, Ph.D.

2024

• BNClassifier: Classifying Boolean Models by Dynamic Properties

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

  Article 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

  Article in Proceedings

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

2023

• Binary decision diagrams on modern hardware

  PASTVA Samuel HENZINGER Thomas

  Article 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

  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

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

  TRINH Van-Giang BENHAMOU Belaid HENZINGER Thomas PASTVA Samuel

  Article in Periodical

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