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
2013
-
Timed Modelling of Gene Networks with Arbitrary Expression Level Discretization
Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio'12), year: 2013
2012
-
On Approximative Reachability Analysis of Biochemical Dynamical Systems
Transactions on Computational Systems Biology XIV, year: 2012
-
On Expressing and Monitoring Oscillatory Dynamics
Electronic Proceedings in Theoretical Computer Science, year: 2012, volume: 2012, edition: 92, DOI
-
On Parameter Synthesis by Parallel Model Checking
IEEE/ACM Transactions on Computational Biology and Bioinformatics, year: 2012, volume: 9, edition: 3, DOI
-
Parameter Identification and Model Ranking of Thomas Networks
Computational Methods in Systems Biology: 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings, year: 2012
2011
-
Abstraction of Biochemical Reaction Systems on Polytopes
Proceedings of the 18th IFAC World Congress, year: 2011
-
E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes
BioSystems, year: 2011, volume: 103, edition: 2, DOI
-
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation
Electronic Proceedings in Theoretical Computer Science, year: 2011, volume: Neuveden, edition: 67, DOI
2010
-
E-photosynthesis: web software for modeling and analysis of biological processes behind photosynthesis
Year: 2010
-
High-performance analysis of biological systems dynamics with the DiVinE model checker
Briefings in Bioinformatics, year: 2010, volume: 11, edition: 3