RNDr. Nikola Beneš, Ph.D.

Assistant professor, Department of Computer Systems and Communications

Office: B421
Botanická 554/68a
602 00 Brno

Show on the map

Phone:	+420 549 49 7287

social and academic networks:

Basic information

Type

Total number of publications: 66

2024

BNClassifier: Classifying Boolean Models by Dynamic Properties

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

Article in Proceedings

Computational Methods in Systems Biology, year: 2024

2023

Boolean network sketches: a unifying framework for logical model inference

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

Article in Periodical

Bioinformatics, year: 2023, volume: 39, edition: 4, DOI
Phenotype Control of Partially Specified Boolean Networks

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

Article in Proceedings

Computational Methods in Systems Biology, year: 2023

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

Article in Periodical

BIOINFORMATICS, year: 2022, volume: 38, edition: 21, DOI
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs

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

Article in Periodical

Logical Methods in Computer Science, year: 2022, volume: 18, edition: 1, DOI
Exploring attractor bifurcations in Boolean networks

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

Article in Periodical

BMC Bioinformatics, year: 2022, volume: 23, edition: 173, DOI

2021

Aeon 2021: Bifurcation Decision Trees in Boolean Networks

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

Article in Proceedings

International Conference on Computational Methods in Systems Biology (CMSB 2021), year: 2021
Computing Bottom SCCs Symbolically Using Transition Guided Reduction

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

Article in Proceedings

Computer Aided Verification - 33rd International Conference, CAV 2021, year: 2021
Symbolic Coloured SCC Decomposition

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

Article in Proceedings

Tools and Algorithms for the Construction and Analysis of Systems, 27th International Conference, TACAS 2021, year: 2021

2020

AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

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

Article in Proceedings

Computer Aided Verification. CAV 2020, year: 2020