| Detecting attractors in biological models with uncertain parameters J Barnat, N Beneš, L Brim, M Demko, M Hajnal, S Pastva, D Šafránek International Conference on Computational Methods in Systems Biology, 40-56, 2017 | 21 | 2017 |
| Data-informed parameter synthesis for population Markov chains M Hajnal, M Nouvian, D Šafránek, T Petrov International Workshop on Hybrid Systems Biology, 147-164, 2019 | 11 | 2019 |
| Extracting individual characteristics from population data reveals a negative social effect during honeybee defence T Petrov, M Hajnal, J Klein, D Šafránek, M Nouvian PLOS Computational Biology 18 (9), e1010305, 2022 | 10 | 2022 |
| Toward modelling and analysis of transient and sustained behaviour of signalling pathways M Hajnal, D Šafránek, M Demko, S Pastva, P Krejčí, L Brim International Workshop on Hybrid Systems Biology, 57-66, 2016 | 5 | 2016 |
| Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data J Klein, H Phung, M Hajnal, D Šafránek, T Petrov Plos one 18 (11), e0291151, 2023 | 4 | 2023 |
| Discrete bifurcation analysis with Pithya N Beneš, L Brim, M Demko, M Hajnal, S Pastva, D Šafránek CMSB 2017 10545, 319-320, 2017 | 3 | 2017 |
| DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications M Hajnal, D Šafránek, T Petrov European Workshop on Performance Engineering, 79-95, 2021 | 1 | 2021 |
| Formal methods for model selection in systems biology M Hajnal Master's thesis, Masaryk University, Brno, Czech Republic, 2018 | 1 | 2018 |
| Toward Model Selection by Formal Methods M Hajnal, S Pastva Electronic Notes in Theoretical Computer Science 350, 57-71, 2020 | | 2020 |
| Comprehensive Modelling Platform M Troják, D Šafránek, J Červený, M Havlík, L Mertová, M Hajnal, J Hrabec, ... | | 2019 |
| PITHYA: High-Performance Parameter Synthesis for Biological Models L Brim, N Beneš, D Šafránek, M Demko, S Pastva, M Hajnal | | 2017 |
| Parameter Synthesis of Biological Models by Model Checking: A Case Study L Brim, D Šafránek, N Beneš, M Demko, S Pastva, M Hajnal | | 2017 |
| Biochemical Space: A framework for formal description and annotation of complex biological processes M Troják, D Šafránek, J Šalagovic, F Romanovská, M Hajnal | | 2017 |
| Text S1–Details of the methodology and results T Petrov, M Hajnal, J Klein, D Šafránek, M Nouvian | | |
| Kvantitatívne modelovanie dynamiky signálnych dráh FGF M Hajnal | | |
David Safranekassistant professor, Masaryk university, Faculty of informaticsVerified email at safranek.cz
