Trinh G, Benhamou B, Pastva S, Soliman S. 2024. Scalable enumeration of trap spaces in boolean networks via answer set programming. Proceedings of the 38th AAAI Conference on Artificial Intelligence. vol. 38, 10714–10722.
LibreCat: https://research-explorer.ista.ac.at/record/15321
DOI: 10.1609/aaai.v38i9.28943

Benes N, Brim L, Huvar O, Pastva S, Safránek D. 2023. Boolean network sketches: A unifying framework for logical model inference. Bioinformatics. 39(4), btad158.
LibreCat: https://research-explorer.ista.ac.at/record/12876
DOI: 10.1093/bioinformatics/btad158
WoS: 000976610800001
PMID: 37004199

Trinh VG, Benhamou B, Henzinger TA, Pastva S. 2023. Trap spaces of multi-valued networks: Definition, computation, and applications. Bioinformatics. 39(Supplement_1), i513–i522.
LibreCat: https://research-explorer.ista.ac.at/record/13263
DOI: 10.1093/bioinformatics/btad262
WoS: 001027457000060
PMID: 37387165

Pastva S, Henzinger TA. 2023. Binary decision diagrams on modern hardware. Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design. FMCAD: Conference on Formal Methods in Computer-aided design, 122–131.
LibreCat: https://research-explorer.ista.ac.at/record/14718
DOI: 10.34727/2023/isbn.978-3-85448-060-0_20

Benes N, Brim L, Pastva S, Safránek D, Smijáková E. 2023. Phenotype control of partially specified boolean networks. 21st International Conference on Computational Methods in Systems Biology. CMSB: Computational Methods in Systems Biology, LNBI, vol. 14137, 18–35.
LibreCat: https://research-explorer.ista.ac.at/record/14411
DOI: 10.1007/978-3-031-42697-1_2