Samuel Pastva

4 Publications

Mark all

[4]
2023 | Published | Conference Paper | IST-REx-ID: 14411 | OA
N. Beneš, L. Brim, S. Pastva, D. Šafránek, and E. Šmijáková, “Phenotype control of partially specified boolean networks,” in 21st International Conference on Computational Methods in Systems Biology, Luxembourg City, Luxembourg, 2023, vol. 14137, pp. 18–35.
[Submitted Version] View | Files available | DOI
 
[3]
2023 | Published | Conference Paper | IST-REx-ID: 14718 | OA
S. Pastva and T. A. Henzinger, “Binary decision diagrams on modern hardware,” in Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, Ames, IA, United States, 2023, pp. 122–131.
[Published Version] View | Files available | DOI
 
[2]
2023 | Published | Journal Article | IST-REx-ID: 13263 | OA
V. G. Trinh, B. Benhamou, T. A. Henzinger, and S. Pastva, “Trap spaces of multi-valued networks: Definition, computation, and applications,” Bioinformatics, vol. 39, no. Supplement_1. Oxford Academic, pp. i513–i522, 2023.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
[1]
2023 | Published | Journal Article | IST-REx-ID: 12876 | OA
N. Beneš, L. Brim, O. Huvar, S. Pastva, and D. Šafránek, “Boolean network sketches: A unifying framework for logical model inference,” Bioinformatics, vol. 39, no. 4. Oxford Academic, 2023.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

Grants


4 Publications

Mark all

[4]
2023 | Published | Conference Paper | IST-REx-ID: 14411 | OA
N. Beneš, L. Brim, S. Pastva, D. Šafránek, and E. Šmijáková, “Phenotype control of partially specified boolean networks,” in 21st International Conference on Computational Methods in Systems Biology, Luxembourg City, Luxembourg, 2023, vol. 14137, pp. 18–35.
[Submitted Version] View | Files available | DOI
 
[3]
2023 | Published | Conference Paper | IST-REx-ID: 14718 | OA
S. Pastva and T. A. Henzinger, “Binary decision diagrams on modern hardware,” in Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, Ames, IA, United States, 2023, pp. 122–131.
[Published Version] View | Files available | DOI
 
[2]
2023 | Published | Journal Article | IST-REx-ID: 13263 | OA
V. G. Trinh, B. Benhamou, T. A. Henzinger, and S. Pastva, “Trap spaces of multi-valued networks: Definition, computation, and applications,” Bioinformatics, vol. 39, no. Supplement_1. Oxford Academic, pp. i513–i522, 2023.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
[1]
2023 | Published | Journal Article | IST-REx-ID: 12876 | OA
N. Beneš, L. Brim, O. Huvar, S. Pastva, and D. Šafránek, “Boolean network sketches: A unifying framework for logical model inference,” Bioinformatics, vol. 39, no. 4. Oxford Academic, 2023.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed