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
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
-
Parameter Scanning by Parallel Model Checking with Applications in Systems Biology
Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology, year: 2010
2009
-
BioDiVinE: A Framework for Parallel Analysis of Biological Models
Proceedings of 2nd International Workshop on Computational Models for Cell Processes, year: 2009