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
2019
-
Digital Bifurcation Analysis of TCP Dynamics
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019, year: 2019
-
Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT
Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control, year: 2019
-
Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks.
Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, year: 2019
-
Model Checking Approach to the Analysis of Biological Systems
Automated Reasoning for Systems Biology and Medicine, year: 2019, number of pages: 33 s.
-
Parameter space abstraction and unfolding semantics of discrete regulatory networks
Theoretical Computer Science, year: 2019, volume: 765, edition: April, DOI
2018
-
7th International Workshop on Static Analysis and Systems Biology (SASB 2016)
Year: 2018, type:
-
Fully Automated Attractor Analysis of Cyanobacteria Models
22nd International Conference on System Theory, Control and Computing, year: 2018
-
Influence of circadian clocks on optimal regime of central C-N metabolism of cyanobacteria
Cyanobacteria: From Basic Science to Applications, edition: Vyd. 1st ed., year: 2018, number of pages: 14 s.
-
PITHYA
Year: 2018
-
Unfolding of Parametric Boolean Networks
Electronic Notes in Theoretical Computer Science, year: 2018, volume: 335, edition: Duben 2018, DOI