Výpis publikací

BENEŠ, Nikola, Luboš BRIM, Ondřej HUVAR, Samuel PASTVA a David ŠAFRÁNEK. Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures. Springer Cham, 2025. ISBN 978-3-031-78708-9.

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://dx.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://dx.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://dx.doi.org/10.1093/bioinformatics/btac624.