Samuel Pastva

Henzinger_Thomas Group

6 Publications

Mark all

[6]
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.)
 
[5]
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
 
[4]
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
 
[3]
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
 
[2]
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
 
[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: Conference on Formal Methods in Computer-aided design, 122–131.
[Published Version] View | Files available | DOI
 
Marked Publication(s)

Search

Filter Publications

  • 5 OA Fulltext(s)

Display / Sort

Export / Embed

Grants


6 Publications

Mark all

[6]
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.)
 
[5]
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
 
[4]
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
 
[3]
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
 
[2]
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
 
[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: Conference on Formal Methods in Computer-aided design, 122–131.
[Published Version] View | Files available | DOI
 
Marked Publication(s)

Search

Filter Publications

  • 5 OA Fulltext(s)

Display / Sort

Export / Embed