Výpis publikací

VESELÝ, Vojtěch; Eva ŠMIJÁKOVÁ; Samuel PASTVA; Nikola BENEŠ a David ŠAFRÁNEK. AEON 2025: Robust Control of Partially-Specified Boolean Networks. Online. In Fages, Francois and Peres, Sabine. International Conference on Computational Methods in Systems Biology, CMSB 2025. Cham: Springer Nature Switzerland, 2026, s. 61-68. ISBN 978-3-032-01435-1. Dostupné z: https://doi.org/10.1007/978-3-032-01436-8_4.

BENEŠ, Nikola; Luboš BRIM; Samuel PASTVA; David ŠAFRÁNEK a Eva ŠMIJÁKOVÁ. Phenotype Control of Partially Specified Boolean Networks. In Jun Pang, Joachim Niehren. Computational Methods in Systems Biology. Luxembourg City, Luxembourg: Springer Cham, 2023, s. 18-35. ISBN 978-3-031-42696-4. Dostupné z: https://doi.org/10.1007/978-3-031-42697-1_2.

BRIM, Luboš; Samuel PASTVA; David ŠAFRÁNEK a Eva ŠMIJÁKOVÁ. Temporary and Permanent Control of Partially Specified Boolean Networks. BIOSYSTEMS. Elsevier, 2023, roč. 223, JAN, s. 104795-104808. ISSN 0303-2647. Dostupné z: https://doi.org/10.1016/j.biosystems.2022.104795.

BENEŠ, Nikola; Luboš BRIM; Ondřej HUVAR; Samuel PASTVA; David ŠAFRÁNEK a Eva ŠMIJÁKOVÁ. AEON.py: Python library for attractor analysis in asynchronous Boolean networks. BIOINFORMATICS. UK: OXFORD UNIV PRESS, 2022, roč. 38, č. 21, s. 4978-4980. ISSN 1367-4803. Dostupné z: https://doi.org/10.1093/bioinformatics/btac624.

ŠMIJÁKOVÁ, Eva; Samuel PASTVA; David ŠAFRÁNEK a Luboš BRIM. Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications. Online. In Abate A., Petrov T., Wolf V. Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science, vol 12314. Cham: Springer, Cham, 2020, s. 280-297. ISBN 978-3-030-60326-7. Dostupné z: https://doi.org/10.1007/978-3-030-60327-4_15.