doc. RNDr. David Šafránek, Ph.D.
Associate professor, Department of Machine Learning and Data Processing
Office: A408
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4476 |
---|---|
E‑mail: |
social and academic networks: |
---|
Total number of publications: 114
2018
-
Unfolding of Parametric Boolean Networks
Electronic Notes in Theoretical Computer Science, year: 2018, volume: 335, edition: Duben 2018, DOI
2017
-
BCSgen: Biochemical Space language software tool
Year: 2017
-
Biochemical Space: A framework for formal description and annotation of complex biological processes
Year: 2017, type: Appeared in Conference without Proceedings
-
Detecting Attractors in Biological Models with Uncertain Parameters
Computational Methods in Systems Biology. CMSB 2017, year: 2017
-
Discrete Bifurcation Analysis with Pithya
15th International Conference on Computational Methods in Systems Biology (CMSB), year: 2017
-
E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria
Year: 2017, type: Appeared in Conference without Proceedings
-
Model Checking Approach to Discrete Bifurcation Analysis
Year: 2017, type: Appeared in Conference without Proceedings
-
Parameter Synthesis of Biological Models by Model Checking: A Case Study
Year: 2017, type: Appeared in Conference without Proceedings
-
Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems
Computer Aided Verification. CAV 2017, year: 2017
-
PITHYA: High-Performance Parameter Synthesis for Biological Models
Year: 2017, type: Appeared in Conference without Proceedings