Publication Records

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA, David ŠAFRÁNEK and 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, p. 18-35. ISBN 978-3-031-42696-4. Available from: https://dx.doi.org/10.1007/978-3-031-42697-1_2.

BRIM, Luboš, Samuel PASTVA, David ŠAFRÁNEK and Eva ŠMIJÁKOVÁ. Temporary and Permanent Control of Partially Specified Boolean Networks. BIOSYSTEMS. Elsevier, 2023, vol. 223, JAN, p. 104795-104808. ISSN 0303-2647. Available from: https://dx.doi.org/10.1016/j.biosystems.2022.104795.

BENEŠ, Nikola, Luboš BRIM, Ondřej HUVAR, Samuel PASTVA, David ŠAFRÁNEK and Eva ŠMIJÁKOVÁ. AEON.py: Python library for attractor analysis in asynchronous Boolean networks. BIOINFORMATICS. UK: OXFORD UNIV PRESS, 2022, vol. 38, No 21, p. 4978-4980. ISSN 1367-4803. Available from: https://dx.doi.org/10.1093/bioinformatics/btac624.

ŠMIJÁKOVÁ, Eva, Samuel PASTVA, David ŠAFRÁNEK and Luboš BRIM. Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications. (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, p. 280-297. ISBN 978-3-030-60326-7. Available from: https://dx.doi.org/10.1007/978-3-030-60327-4_15.