doc. RNDr. David Šafránek, Ph.D.
docent – Katedra strojového učení a zpracování dat
kancelář: A408
Botanická 554/68a
602 00 Brno
telefon: | 549 49 4476 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
Počet publikací: 115
2018
-
Unfolding of Parametric Boolean Networks
Electronic Notes in Theoretical Computer Science, rok: 2018, ročník: 335, vydání: Duben 2018, DOI
2017
-
BCSgen: Biochemical Space language software tool
Rok: 2017
-
Biochemical Space: A framework for formal description and annotation of complex biological processes
Rok: 2017, druh: Další prezentace na konferencích
-
Detecting Attractors in Biological Models with Uncertain Parameters
Computational Methods in Systems Biology. CMSB 2017, rok: 2017
-
Discrete Bifurcation Analysis with Pithya
15th International Conference on Computational Methods in Systems Biology (CMSB), rok: 2017
-
E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria
Rok: 2017, druh: Další prezentace na konferencích
-
Model Checking Approach to Discrete Bifurcation Analysis
Rok: 2017, druh: Další prezentace na konferencích
-
Parameter Synthesis of Biological Models by Model Checking: A Case Study
Rok: 2017, druh: Další prezentace na konferencích
-
Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems
Computer Aided Verification. CAV 2017, rok: 2017
-
PITHYA: High-Performance Parameter Synthesis for Biological Models
Rok: 2017, druh: Další prezentace na konferencích