RNDr. Martin Demko, Ph.D.
junior researcher – Centrální laboratoř Bioinformatika
kancelář: bud. E35/1S033
Kamenice 753/5
625 00 Brno
telefon: | 549 49 8964 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
Počet publikací: 29
2017
-
PITHYA: High-Performance Parameter Synthesis for Biological Models
Rok: 2017, druh: Další prezentace na konferencích
2016
-
A Model Checking Approach to Discrete Bifurcation Analysis
Formal Methods. FM 2016, rok: 2016
-
Deep insight into secretome and transcriptome of Trichinella spiralis and Trichinela pseudospiralis
Rok: 2016, druh: Vyžádané přednášky
-
High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study
Computational Methods in Systems Biology. CMSB 2016., rok: 2016
-
Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems
Automated Technology for Verification and Analysis. ATVA 2016, rok: 2016
-
Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways
Hybrid Systems Biology. HSB 2016, rok: 2016
2015
-
Coloured Model Checking Approach to Parameter Synthesis for Executable Models in Synthetic Biology
Rok: 2015, druh: Konferenční abstrakty
-
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, rok: 2015
-
Parameter Synthesis by Parallel Coloured CTL Model Checking
Computational Methods in Systems Biology, rok: 2015