Matej Hajnal
Matej Hajnal
PhD candidate, Masaryk University
Email verificata su mail.muni.cz
Titolo
Citata da
Citata da
Anno
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
132017
Executable biochemical space for specification and analysis of biochemical systems
M Troják, D Šafránek, L Bri, J Šalagovič, J Červený
Electronic Notes in Theoretical Computer Science 350, 91-116, 2020
52020
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
52016
Discrete bifurcation analysis with Pithya
N Beneš, L Brim, M Demko, M Hajnal, S Pastva, D Šafránek
CMSB 2017, 319-320, 2017
32017
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
22019
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
List of Accepted Posters and Oral Presentations
T Wright, I Stark, C Loos, K Moeller, F Fröhlich, T Hucho, J Hasenauer, ...
Computational Methods in Systems Biology: 16th International Conference …, 2018
2018
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
Formal Methods for Model Selection in Systems Biology
M Hajnal
Kvantitatívne modelovanie dynamiky signálnych dráh FGF
M Hajnal
A Model Checking Approach to Dynamical Systems Analysis (PRESENTATION)⋆
N Beneš, L Brim, M Hajnal, M Demko, S Pastva, D Šafránek
Il sistema al momento non puň eseguire l'operazione. Riprova piů tardi.
Articoli 1–14