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
2015
-
CyanoNetwork workshop - Cyanobacterium in silico 2015
Rok: 2015, druh: Uspořádání workshopu
-
Fourth International Workshop on Hybrid Systems Biology
Rok: 2015, druh: Uspořádání workshopu
-
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers, rok: 2015
-
Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers
Rok: 2015, druh: Editorství tématického sborníku
-
Parameter Synthesis by Model Checking in Formal Biochemical Space
Rok: 2015, druh: Vyžádané přednášky
-
Parameter Synthesis by Parallel Coloured CTL Model Checking
Computational Methods in Systems Biology, rok: 2015
2014
-
Biochemical Space: A Framework for Systemic Annotation of Biological Models
Proceedings of the 5th International Workshop on Interactions between Computer Science and Biology (CS2Bio’14), rok: 2014
-
From Formal Methods to Systems Biology
Rok: 2014, druh: Vyžádané přednášky
-
Model Checking in Systems Biology
Rok: 2014, druh: Vyžádané přednášky
-
Robustness Analysis of Stochastic Biochemical Systems
Plos One, rok: 2014, ročník: 9, vydání: 4, DOI