doc. RNDr. David Šafránek, Ph.D.
Associate professor, Department of Machine Learning and Data Processing
office: A411
Botanická 554/68a
602 00 Brno
phone: | +420 549 49 4476 |
---|---|
e‑mail: |
social and academic networks: |
---|
Total number of publications: 116
2014
-
Model Checking in Systems Biology
Year: 2014, type:
-
Robustness Analysis of Stochastic Biochemical Systems
Plos One, year: 2014, volume: 9, edition: 4, DOI
-
STL*: Extending signal temporal logic with signal-value freezing operator
Information and computation, year: 2014, volume: 236, edition: January, DOI
2013
-
A Comprehensive Web-based Platform For Domain-Specific Biological Models
Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology (CS2Bio'13), year: 2013
-
Esther: Introducing an Online Platform for Parameter Identification of Boolean Networks
Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings, year: 2013
-
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, year: 2013
-
Model Checking of Biological Systems
Formal Methods for Dynamical Systems, year: 2013
-
Qualitative modelling and analysis of Photosystem II
CEUR Workshop Proceedings, year: 2013
-
Robustness Analysis for Value-Freezing Signal Temporal Logic
Proceedings HSB 2013, year: 2013
-
Robustness Analysis of Stochastic Systems
Electronic Proceedings in Theoretical Computer Science, Volume 116, year: 2013