doc. RNDr. David Šafránek, Ph.D.

Associate professor, Department of Machine Learning and Data Processing

office: A411
Botanická 554/68a
602 00 Brno

Show on the map

phone:	+420 549 49 4476
e‑mail:

social and academic networks:

Basic information

Type

Total number of publications: 116

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
Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data

KLEIN Julia PHUNG Huy HAJNAL Matej ŠAFRÁNEK David PETROV Tatjana

Article in Periodical

Plos one, year: 2023, volume: 18, edition: 11, 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
Rule-based Modelling of Biological Systems Using Regulated Rewriting

TROJÁK Matej ŠAFRÁNEK David PASTVA Samuel BRIM Luboš

Article in Periodical

Biosystems, year: 2023, volume: 225, edition: 104843, DOI
Temporary and Permanent Control of Partially Specified Boolean Networks

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

Article in Periodical

BIOSYSTEMS, year: 2023, volume: 223, edition: JAN, 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

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
eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems

TROJÁK Matej ŠAFRÁNEK David BROZMANN Branislav BRIM Luboš

Article in Proceedings

20th International Conference on Computational Methods in Systems Biology, year: 2022
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