Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications. - Eva Smijáková; Samuel Pastva; David Safránek; Lubos Brim (CMSB, 2020)

Parallel One-Step Control of Parametrised Boolean Networks. - Lubos Brim; Samuel Pastva; David Safránek; Eva Smijakova (CoRR, 2020)

Robust Control of Partially Specified Boolean Networks. - Lubos Brim; Samuel Pastva; David Safránek; Eva Smijáková (CoRR, 2022)

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)

Phenotype Control of Partially Specified Boolean Networks. - Nikola Benes; Lubos Brim; Samuel Pastva; David Safránek; Eva Smijáková (CMSB, 2023)

Temporary and permanent control of partially specified Boolean networks. - Lubos Brim; Samuel Pastva; David Safránek; Eva Smijáková (Biosyst., 2023)

AEON 2025: Robust Control of Partially-Specified Boolean Networks. - Vojtech Veselý; Eva Smijáková; Samuel Pastva; Nikola Benes; David Safránek (CMSB, 2025)