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
2016
-
A Model Checking Approach to Discrete Bifurcation Analysis
Formal Methods. FM 2016, year: 2016
-
Biochemical Space: A Language for Formal Description and Annotation of Complex Biological Processes
Year: 2016, type: Appeared in Conference without Proceedings
-
E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of Cyanobacteria
Computational Methods in Systems Biology. CMSB 2016., year: 2016
-
E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria
Year: 2016
-
Formal Biochemical Space with Semantics in Kappa and BNGL
The 6th International Workshop on Static Analysis and Systems Biology, SASB 2015, year: 2016
-
High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study
Computational Methods in Systems Biology. CMSB 2016., year: 2016
-
Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems
Automated Technology for Verification and Analysis. ATVA 2016, year: 2016
-
Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways
Hybrid Systems Biology. HSB 2016, year: 2016
2015
-
Coloured Model Checking Approach to Parameter Synthesis for Executable Models in Synthetic Biology
Year: 2015, type: Conference abstract
-
Compact Representation of Photosynthesis Dynamics by Rule-based Models
5th International Workshop on Static Analysis and Systems Biology (SASB 2014), year: 2015