Výpis publikací

HUVAR, Ondřej; Nikola BENEŠ; Luboš BRIM; Samuel PASTVA a David ŠAFRÁNEK. Sketchbook: logical model inference from Boolean network sketches. BIOINFORMATICS ADVANCES. OXFORD: OXFORD UNIV PRESS, 2026, roč. 6, č. 1, s. 1-5. ISSN 2635-0041. Dostupné z: https://doi.org/10.1093/bioadv/vbag014.

BENEŠ, Nikola; Luboš BRIM; Ondřej HUVAR; Samuel PASTVA a David ŠAFRÁNEK. Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures. Online. In Akshay, S. and Niemetz, Aina and Sankaranarayanan, Sriram. International Symposium on Automated Technology for Verification and Analysis, ATVA 2024. Cham: Springer Nature Switzerland, 2025, s. 212-233. ISBN 978-3-031-78749-2. Dostupné z: https://doi.org/10.1007/978-3-031-78750-8_11.

BENEŠ, Nikola; Luboš BRIM; Ondřej HUVAR; Samuel PASTVA a David ŠAFRÁNEK. BNClassifier: Classifying Boolean Models by Dynamic Properties. Online. In Gori, Roberta; Milazzo, Paolo; Tribastone, Mirco. Computational Methods in Systems Biology. Cham: Springer, 2024, s. 19-26. ISBN 978-3-031-71670-6. Dostupné z: https://doi.org/10.1007/978-3-031-71671-3_2.

BENEŠ, Nikola; Luboš BRIM; Ondřej HUVAR; Samuel PASTVA a David ŠAFRÁNEK. Boolean network sketches: a unifying framework for logical model inference. Bioinformatics. 2023, roč. 39, č. 4, s. "btad158", 8 s. ISSN 1367-4803. Dostupné z: https://doi.org/10.1093/bioinformatics/btad158.

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.