Follow
Jana Dražanová (née Fabriková)
Jana Dražanová (née Fabriková)
Verified email at mail.muni.cz
Title
Cited by
Cited by
Year
Abstraction of biochemical reaction systems on polytopes
PJ Collins, L Habets, JH van Schuppen, I Černá, J Fabriková, D Šafránek
IFAC Proceedings Volumes 44 (1), 14869-14875, 2011
232011
Robustness analysis for value-freezing signal temporal logic
L Brim, T Vejpustek, D Šafránek, J Fabriková
arXiv preprint arXiv:1309.0867, 2013
202013
On algorithmic analysis of transcriptional regulation by LTL model checking
J Barnat, L Brim, I Černá, S Dražan, J Fabriková, D Šafránek
Theoretical Computer Science 410 (33-34), 3128-3148, 2009
202009
Reachability in biochemical dynamical systems by quantitative discrete approximation
L Brim, J Fabriková, S Drazan, D Safranek
arXiv preprint arXiv:1107.5924, 2011
122011
Computational analysis of large-scale multi-affine ode models
L Brim, J Barnat, I Cerna, S Drazan, J Fabrikova, D Safranek
2009 International Workshop on High Performance Computational Systems …, 2009
82009
ϵ-semantics computations on biological systems
A Casagrande, T Dreossi, J Fabriková, C Piazza
Information and Computation 236, 35-51, 2014
62014
On approximative reachability analysis of biochemical dynamical systems
L Brim, J Fabriková, S Dražan, D Šafránek
Transactions on Computational Systems Biology XIV: Special Issue on …, 2012
12012
JM Davoren: ε-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces
J Fabriková
2013
Kubické množiny
J Fabriková
Masarykova univerzita, Přírodovědecká fakulta, 2013
2013
Abstraction of biochemical reaction systems
PJ Collins, L Habets, JH vanSchuppen, I Černŕ, J Fabrikovŕ, D Šafrŕnek
2011
BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models
J Barnat, L Brim, I Cerná, S Drazan, J Fabriková, J Lánık, D Šafránek
Computational Methods in Systems Biology, 1, 2009
2009
Masarykova univerzita, Fakulta informatiky Diplomová práce
J Fabriková
Construction of Algebraic Abstractions for Systems Biology
J Fabriková
The system can't perform the operation now. Try again later.
Articles 1–13