Samuel Pastva

9 Publications

Mark all

[9]
2025 | Published | Journal Article | IST-REx-ID: 19796 | OA
Trinh, Van Giang, Kyu Hyong Park, Samuel Pastva, and Jordan C. Rozum. “Mapping the Attractor Landscape of Boolean Networks with Biobalm.” Bioinformatics. Oxford University Press, 2025. https://doi.org/10.1093/bioinformatics/btaf280.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
[8]
2025 | Published | Journal Article | IST-REx-ID: 19854 | OA
Pastva, Samuel, Kyu Hyong Park, Ondřej Huvar, Jordan C. Rozum, and Réka Albert. “An Open Problem: Why Are Motif-Avoidant Attractors so Rare in Asynchronous Boolean Networks?” Journal of Mathematical Biology. Springer Nature, 2025. https://doi.org/10.1007/s00285-025-02235-8.
[Published Version] View | Files available | DOI | arXiv
 
[7]
2024 | Published | Conference Paper | IST-REx-ID: 15321 | OA
Trinh, Giang, Belaid Benhamou, Samuel Pastva, and Sylvain Soliman. “Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming.” In Proceedings of the 38th AAAI Conference on Artificial Intelligence, 38:10714–22. Association for the Advancement of Artificial Intelligence, 2024. https://doi.org/10.1609/aaai.v38i9.28943.
[Published Version] View | DOI | Download Published Version (ext.)
 
[6]
2024 | Published | Conference Paper | IST-REx-ID: 18177
Beneš, Nikola, Luboš Brim, Ondřej Huvar, Samuel Pastva, and David Šafránek. “BNClassifier: Classifying Boolean Models by Dynamic Properties.” In Computational Methods in Systems Biology, 14971:19–26. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-71671-3_2.
View | DOI
 
[5]
2024 | Research Data Reference | IST-REx-ID: 19800 | OA
trinh, Van Giang, Kyu Hyong Park, Samuel Pastva, and Jordan Rozum. “Mapping the Attractor Landscape of Boolean Networks.” Zenodo, 2024. https://doi.org/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š, Nikola, Luboš Brim, Samuel Pastva, David Šafránek, and Eva Šmijáková. “Phenotype Control of Partially Specified Boolean Networks.” In 21st International Conference on Computational Methods in Systems Biology, 14137:18–35. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-42697-1_2.
[Submitted Version] View | Files available | DOI
 
[3]
2023 | Published | Journal Article | IST-REx-ID: 12876 | OA
Beneš, Nikola, Luboš Brim, Ondřej Huvar, Samuel Pastva, and David Šafránek. “Boolean Network Sketches: A Unifying Framework for Logical Model Inference.” Bioinformatics. Oxford University Press, 2023. https://doi.org/10.1093/bioinformatics/btad158.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
[2]
2023 | Published | Journal Article | IST-REx-ID: 13263 | OA
Trinh, Van Giang, Belaid Benhamou, Thomas A Henzinger, and Samuel Pastva. “Trap Spaces of Multi-Valued Networks: Definition, Computation, and Applications.” Bioinformatics. Oxford University Press, 2023. https://doi.org/10.1093/bioinformatics/btad262.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
[1]
2023 | Published | Conference Paper | IST-REx-ID: 14718 | OA
Pastva, Samuel, and Thomas A Henzinger. “Binary Decision Diagrams on Modern Hardware.” In Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, 122–31. TU Vienna Academic Press, 2023. https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20.
[Published Version] View | Files available | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed

Grants


9 Publications

Mark all

[9]
2025 | Published | Journal Article | IST-REx-ID: 19796 | OA
Trinh, Van Giang, Kyu Hyong Park, Samuel Pastva, and Jordan C. Rozum. “Mapping the Attractor Landscape of Boolean Networks with Biobalm.” Bioinformatics. Oxford University Press, 2025. https://doi.org/10.1093/bioinformatics/btaf280.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
[8]
2025 | Published | Journal Article | IST-REx-ID: 19854 | OA
Pastva, Samuel, Kyu Hyong Park, Ondřej Huvar, Jordan C. Rozum, and Réka Albert. “An Open Problem: Why Are Motif-Avoidant Attractors so Rare in Asynchronous Boolean Networks?” Journal of Mathematical Biology. Springer Nature, 2025. https://doi.org/10.1007/s00285-025-02235-8.
[Published Version] View | Files available | DOI | arXiv
 
[7]
2024 | Published | Conference Paper | IST-REx-ID: 15321 | OA
Trinh, Giang, Belaid Benhamou, Samuel Pastva, and Sylvain Soliman. “Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming.” In Proceedings of the 38th AAAI Conference on Artificial Intelligence, 38:10714–22. Association for the Advancement of Artificial Intelligence, 2024. https://doi.org/10.1609/aaai.v38i9.28943.
[Published Version] View | DOI | Download Published Version (ext.)
 
[6]
2024 | Published | Conference Paper | IST-REx-ID: 18177
Beneš, Nikola, Luboš Brim, Ondřej Huvar, Samuel Pastva, and David Šafránek. “BNClassifier: Classifying Boolean Models by Dynamic Properties.” In Computational Methods in Systems Biology, 14971:19–26. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-71671-3_2.
View | DOI
 
[5]
2024 | Research Data Reference | IST-REx-ID: 19800 | OA
trinh, Van Giang, Kyu Hyong Park, Samuel Pastva, and Jordan Rozum. “Mapping the Attractor Landscape of Boolean Networks.” Zenodo, 2024. https://doi.org/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š, Nikola, Luboš Brim, Samuel Pastva, David Šafránek, and Eva Šmijáková. “Phenotype Control of Partially Specified Boolean Networks.” In 21st International Conference on Computational Methods in Systems Biology, 14137:18–35. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-42697-1_2.
[Submitted Version] View | Files available | DOI
 
[3]
2023 | Published | Journal Article | IST-REx-ID: 12876 | OA
Beneš, Nikola, Luboš Brim, Ondřej Huvar, Samuel Pastva, and David Šafránek. “Boolean Network Sketches: A Unifying Framework for Logical Model Inference.” Bioinformatics. Oxford University Press, 2023. https://doi.org/10.1093/bioinformatics/btad158.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
[2]
2023 | Published | Journal Article | IST-REx-ID: 13263 | OA
Trinh, Van Giang, Belaid Benhamou, Thomas A Henzinger, and Samuel Pastva. “Trap Spaces of Multi-Valued Networks: Definition, Computation, and Applications.” Bioinformatics. Oxford University Press, 2023. https://doi.org/10.1093/bioinformatics/btad262.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
[1]
2023 | Published | Conference Paper | IST-REx-ID: 14718 | OA
Pastva, Samuel, and Thomas A Henzinger. “Binary Decision Diagrams on Modern Hardware.” In Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, 122–31. TU Vienna Academic Press, 2023. https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20.
[Published Version] View | Files available | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed