Samuel Pastva

9 Publications

Mark all

[9]
2025 | Published | Journal Article | IST-REx-ID: 19796 | OA
Trinh VG, Park KH, Pastva S, Rozum JC. 2025. Mapping the attractor landscape of Boolean networks with biobalm. Bioinformatics. 41(5), btaf280.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
[8]
2025 | Published | Journal Article | IST-REx-ID: 19854 | OA
Pastva S, Park KH, Huvar O, Rozum JC, Albert R. 2025. An open problem: Why are motif-avoidant attractors so rare in asynchronous Boolean networks? Journal of Mathematical Biology. 91, 11.
[Published Version] View | Files available | DOI | arXiv
 
[7]
2024 | Published | Conference Paper | IST-REx-ID: 15321 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.)
 
[6]
2024 | Published | Conference Paper | IST-REx-ID: 18177
Beneš N, Brim L, Huvar O, Pastva S, Šafránek D. 2024. BNClassifier: Classifying boolean models by dynamic properties. Computational Methods in Systems Biology. , LNBI, vol. 14971, 19–26.
View | DOI
 
[5]
2024 | Research Data Reference | IST-REx-ID: 19800 | OA
trinh VG, Park KH, Pastva S, Rozum J. 2024. Mapping the attractor landscape of Boolean networks, Zenodo, 10.5281/ZENODO.13854759.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
[4]
2023 | Published | Conference Paper | IST-REx-ID: 14411 | OA
Beneš N, Brim L, Pastva S, Šafránek D, Šmijá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.
[Submitted Version] View | Files available | DOI
 
[3]
2023 | Published | Journal Article | IST-REx-ID: 12876 | OA
Beneš N, Brim L, Huvar O, Pastva S, Šafránek D. 2023. Boolean network sketches: A unifying framework for logical model inference. Bioinformatics. 39(4), btad158.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
[2]
2023 | Published | Journal Article | IST-REx-ID: 13263 | OA
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.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
[1]
2023 | Published | Conference Paper | IST-REx-ID: 14718 | OA
Pastva S, Henzinger TA. 2023. Binary decision diagrams on modern hardware. Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 122–131.
[Published Version] View | Files available | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Export / Embed

Grants


9 Publications

Mark all

[9]
2025 | Published | Journal Article | IST-REx-ID: 19796 | OA
Trinh VG, Park KH, Pastva S, Rozum JC. 2025. Mapping the attractor landscape of Boolean networks with biobalm. Bioinformatics. 41(5), btaf280.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
[8]
2025 | Published | Journal Article | IST-REx-ID: 19854 | OA
Pastva S, Park KH, Huvar O, Rozum JC, Albert R. 2025. An open problem: Why are motif-avoidant attractors so rare in asynchronous Boolean networks? Journal of Mathematical Biology. 91, 11.
[Published Version] View | Files available | DOI | arXiv
 
[7]
2024 | Published | Conference Paper | IST-REx-ID: 15321 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.)
 
[6]
2024 | Published | Conference Paper | IST-REx-ID: 18177
Beneš N, Brim L, Huvar O, Pastva S, Šafránek D. 2024. BNClassifier: Classifying boolean models by dynamic properties. Computational Methods in Systems Biology. , LNBI, vol. 14971, 19–26.
View | DOI
 
[5]
2024 | Research Data Reference | IST-REx-ID: 19800 | OA
trinh VG, Park KH, Pastva S, Rozum J. 2024. Mapping the attractor landscape of Boolean networks, Zenodo, 10.5281/ZENODO.13854759.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
[4]
2023 | Published | Conference Paper | IST-REx-ID: 14411 | OA
Beneš N, Brim L, Pastva S, Šafránek D, Šmijá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.
[Submitted Version] View | Files available | DOI
 
[3]
2023 | Published | Journal Article | IST-REx-ID: 12876 | OA
Beneš N, Brim L, Huvar O, Pastva S, Šafránek D. 2023. Boolean network sketches: A unifying framework for logical model inference. Bioinformatics. 39(4), btad158.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
[2]
2023 | Published | Journal Article | IST-REx-ID: 13263 | OA
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.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
[1]
2023 | Published | Conference Paper | IST-REx-ID: 14718 | OA
Pastva S, Henzinger TA. 2023. Binary decision diagrams on modern hardware. Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 122–131.
[Published Version] View | Files available | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Export / Embed