Mapping the attractor landscape of Boolean networks with biobalm
V.G. Trinh, K.H. Park, S. Pastva, J.C. Rozum, Bioinformatics 41 (2025).

An open problem: Why are motif-avoidant attractors so rare in asynchronous Boolean networks?
S. Pastva, K.H. Park, O. Huvar, J.C. Rozum, R. Albert, Journal of Mathematical Biology 91 (2025).

Scalable enumeration of trap spaces in boolean networks via answer set programming
G. Trinh, B. Benhamou, S. Pastva, S. Soliman, in:, Proceedings of the 38th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2024, pp. 10714–10722.

BNClassifier: Classifying boolean models by dynamic properties
N. Benes, L. Brim, O. Huvar, S. Pastva, D. Safránek, in:, Computational Methods in Systems Biology, Springer Nature, 2024, pp. 19–26.

Mapping the attractor landscape of Boolean networks
V.G. trinh, K.H. Park, S. Pastva, J. Rozum, (2024).

Phenotype control of partially specified boolean networks
N. Benes, L. Brim, S. Pastva, D. Safránek, E. Smijáková, in:, 21st International Conference on Computational Methods in Systems Biology, Springer Nature, 2023, pp. 18–35.

Boolean network sketches: A unifying framework for logical model inference
N. Benes, L. Brim, O. Huvar, S. Pastva, D. Safránek, Bioinformatics 39 (2023).

Trap spaces of multi-valued networks: Definition, computation, and applications
V.G. Trinh, B. Benhamou, T.A. Henzinger, S. Pastva, Bioinformatics 39 (2023) i513–i522.

Binary decision diagrams on modern hardware
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.