doc. RNDr. David Šafránek, Ph.D.
docent – Katedra strojového učení a zpracování dat
kancelář: A408
Botanická 554/68a
602 00 Brno
telefon: | 549 49 4476 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
Počet publikací: 114
2022
-
Polyhydroxyalkanoates synthesis by halophiles and thermophiles: towards sustainable production of microbial bioplastics
Biotechnology Advances, rok: 2022, ročník: 58, vydání: September, DOI
2021
-
Aeon 2021: Bifurcation Decision Trees in Boolean Networks
International Conference on Computational Methods in Systems Biology (CMSB 2021), rok: 2021
-
Computing Bottom SCCs Symbolically Using Transition Guided Reduction
Computer Aided Verification - 33rd International Conference, CAV 2021, rok: 2021
-
DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications
Performance Engineering and Stochastic Modeling, rok: 2021
-
Symbolic Coloured SCC Decomposition
Tools and Algorithms for the Construction and Analysis of Systems, 27th International Conference, TACAS 2021, rok: 2021
2020
-
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
Computer Aided Verification. CAV 2020, rok: 2020
-
Digital Bifurcation Analysis of Internet Congestion Control Protocols
International Journal of Bifurcation and Chaos, rok: 2020, ročník: 30, vydání: 13, DOI
-
eBCSgen: A Software Tool for Biochemical Space Language
18th International Conference on Computational Methods in Systems Biology, CMSB 2020, rok: 2020
-
Executable Biochemical Space for Specification and Analysis of Biochemical Systems
9th International Workshop on Static Analysis and Systems Biology (SASB), rok: 2020
-
Executable Biochemical Space for Specification and Analysis of Biochemical Systems
Rok: 2020, druh: Další prezentace na konferencích