| 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 | 22 | 2011 |
| Robustness analysis for value-freezing signal temporal logic L Brim, T Vejpustek, D ©afránek, J Fabriková arXiv preprint arXiv:1309.0867, 2013 | 20 | 2013 |
| 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 | 20 | 2009 |
| Reachability in biochemical dynamical systems by quantitative discrete approximation L Brim, J Fabriková, S Drazan, D Safranek arXiv preprint arXiv:1107.5924, 2011 | 11 | 2011 |
| 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 | 8 | 2009 |
| ϵ-semantics computations on biological systems A Casagrande, T Dreossi, J Fabriková, C Piazza Information and Computation 236, 35-51, 2014 | 6 | 2014 |
| 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 | 1 | 2012 |
| 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 |
| 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á | | |
