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
2022
-
Extracting individual characteristics from population data reveals a negative social effect during honeybee defence
Plos Computational Biology, year: 2022, volume: 18, edition: 9, DOI
-
Polyhydroxyalkanoates synthesis by halophiles and thermophiles: towards sustainable production of microbial bioplastics
Biotechnology Advances, year: 2022, volume: 58, edition: September, DOI
2021
-
Aeon 2021: Bifurcation Decision Trees in Boolean Networks
International Conference on Computational Methods in Systems Biology (CMSB 2021), year: 2021
-
Computing Bottom SCCs Symbolically Using Transition Guided Reduction
Computer Aided Verification - 33rd International Conference, CAV 2021, year: 2021
-
DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications
Performance Engineering and Stochastic Modeling, year: 2021
-
Symbolic Coloured SCC Decomposition
Tools and Algorithms for the Construction and Analysis of Systems, 27th International Conference, TACAS 2021, year: 2021
2020
-
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
Computer Aided Verification. CAV 2020, year: 2020
-
Digital Bifurcation Analysis of Internet Congestion Control Protocols
International Journal of Bifurcation and Chaos, year: 2020, volume: 30, edition: 13, DOI
-
eBCSgen: A Software Tool for Biochemical Space Language
18th International Conference on Computational Methods in Systems Biology, CMSB 2020, year: 2020
-
Executable Biochemical Space for Specification and Analysis of Biochemical Systems
9th International Workshop on Static Analysis and Systems Biology (SASB), year: 2020