RNDr. Martin Demko, Ph.D.
Junior researcher, Bioinformatics Core Facility
office: bldg. E35/1S033
Kamenice 753/5
625 00 Brno
phone: | +420 549 49 8964 |
---|---|
e‑mail: |
social and academic networks: |
---|
Total number of publications: 32
2015
-
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers, year: 2015
-
Parameter Synthesis by Parallel Coloured CTL Model Checking
Computational Methods in Systems Biology, year: 2015