AEON.py: Python library for attractor analysis in asynchronous Boolean networks. - Nikola Benes; Lubos Brim; Ondrej Huvar; Samuel Pastva; David Safránek; Eva Smijáková (Bioinform., 2022)

Boolean network sketches: a unifying framework for logical model inference. - Nikola Benes; Lubos Brim; Ondrej Huvar; Samuel Pastva; David Safránek (Bioinform., 2023)

Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures. - Nikola Benes; Lubos Brim; Ondrej Huvar; Samuel Pastva; David Safránek (ATVA (2), 2024)

BNClassifier: Classifying Boolean Models by Dynamic Properties. - Nikola Benes; Lubos Brim; Ondrej Huvar; Samuel Pastva; David Safránek (CMSB, 2024)