RNDr. Nikola Beneš, Ph.D.

2026

• AEON 2025: Robust Control of Partially-Specified Boolean Networks

  VESELÝ Vojtěch ŠMIJÁKOVÁ Eva PASTVA Samuel BENEŠ Nikola ŠAFRÁNEK David

  Stať ve sborníku

  International Conference on Computational Methods in Systems Biology, CMSB 2025, rok: 2026, DOI

• Sketchbook: logical model inference from Boolean network sketches

  HUVAR Ondřej BENEŠ Nikola BRIM Luboš PASTVA Samuel ŠAFRÁNEK David

  Recenzovaný odborný článek

  BIOINFORMATICS ADVANCES, rok: 2026, ročník: 6, vydání: 1, DOI

2025

• Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures

  BENEŠ Nikola BRIM Luboš HUVAR Ondřej PASTVA Samuel ŠAFRÁNEK David

  Stať ve sborníku

  International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, rok: 2025, DOI

2024

• BNClassifier: Classifying Boolean Models by Dynamic Properties

  BENEŠ Nikola BRIM Luboš HUVAR Ondřej PASTVA Samuel ŠAFRÁNEK David

  Stať ve sborníku

  Computational Methods in Systems Biology, rok: 2024, DOI

2023

• Boolean network sketches: a unifying framework for logical model inference

  BENEŠ Nikola BRIM Luboš HUVAR Ondřej PASTVA Samuel ŠAFRÁNEK David

  Recenzovaný odborný článek

  Bioinformatics, rok: 2023, ročník: 39, vydání: 4, DOI

• Phenotype Control of Partially Specified Boolean Networks

  BENEŠ Nikola BRIM Luboš PASTVA Samuel ŠAFRÁNEK David ŠMIJÁKOVÁ Eva

  Stať ve sborníku

  Computational Methods in Systems Biology, rok: 2023, DOI

2022

• AEON.py: Python library for attractor analysis in asynchronous Boolean networks

  BENEŠ Nikola BRIM Luboš HUVAR Ondřej PASTVA Samuel ŠAFRÁNEK David ŠMIJÁKOVÁ Eva

  Recenzovaný odborný článek

  BIOINFORMATICS, rok: 2022, ročník: 38, vydání: 21, DOI

• BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs

  BENEŠ Nikola BRIM Luboš PASTVA Samuel ŠAFRÁNEK David

  Recenzovaný odborný článek

  Logical Methods in Computer Science, rok: 2022, ročník: 18, vydání: 1, DOI

• Exploring attractor bifurcations in Boolean networks

  BENEŠ Nikola BRIM Luboš KADLECAJ Jakub PASTVA Samuel ŠAFRÁNEK David

  Recenzovaný odborný článek

  BMC Bioinformatics, rok: 2022, ročník: 23, vydání: 173, DOI

2021

• Aeon 2021: Bifurcation Decision Trees in Boolean Networks

  BENEŠ Nikola BRIM Luboš PASTVA Samuel ŠAFRÁNEK David

  Stať ve sborníku

  International Conference on Computational Methods in Systems Biology (CMSB 2021), rok: 2021, DOI