Follow
Matej Hajnal
Matej Hajnal
PhD candidate, Masaryk University
Verified email at mail.muni.cz
Title
Cited by
Cited by
Year
Detecting attractors in biological models with uncertain parameters
J Barnat, N Beneš, L Brim, M Demko, M Hajnal, S Pastva, D Šafránek
Computational Methods in Systems Biology: 15th International Conference …, 2017
182017
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
112019
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
72022
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
Hybrid Systems Biology: 5th International Workshop, HSB 2016, Grenoble …, 2016
52016
Discrete bifurcation analysis with Pithya
N Beneš, L Brim, M Demko, M Hajnal, S Pastva, D Šafránek
CMSB 2017 10545, 319-320, 2017
32017
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
12021
Formal methods for model selection in systems biology
M Hajnal
Master's thesis, Masaryk University, Brno, Czech Republic, 2018
12018
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
2023
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
The system can't perform the operation now. Try again later.
Articles 1–15