Jana Fabriková

2013

Luboš Brim, Tomáš Vejpustek, David Šafránek, and Jana Fabriková:
Robustness Analysis for Value-Freezing Signal Temporal Logic,
Proceedings HSB 2013, Neuveden, 2013, 20-36. [bibtex, url]

2011

Pieter Collins, Luc Habets, Jan van Schuppen, Ivana Černá, Jana Fabriková, and David Šafránek:
Abstraction of Biochemical Reaction Systems on Polytopes,
Proceedings of the 18th IFAC World Congress, IFAC, 2011, 14869-14875. [bibtex, url]

Luboš Brim, Jana Fabriková, Sven Dražan, and David Šafránek:
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation,
Electronic Proceedings in Theoretical Computer Science, 2011. [bibtex, url]

2009

Jiří Barnat, Luboš Brim, Ivana Černá, Sven Dražan, Jana Fabriková, Jan Láník, David Šafránek, and Hongwu Ma:
BioDiVinE: A Framework for Parallel Analysis of Biological Models,
Electronic Proceedings in Theoretical Computer Science (COMPMOD 2009), 2009, 31–45. [bibtex, url]

Jiří Barnat, Luboš Brim, Ivana Černá, Sven Dražan, Jana Fabriková, Jan Láník, and David Šafránek:
BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models,
Proceedings of The 7th Conference on Computational Methods in Systems Biology (CMSB’09), Universita di Pisa, 2009, volume TR-09-09 of Technical Report, 1–5. [bibtex]

Jiří Barnat, Luboš Brim, Ivana Černá, Sven Dražan, Jana Fabriková, and David Šafránek:
Computational Analysis of Large-Scale Multi-Affine ODE Models,
2009 International Workshop on High Performance Computational Systems Biology (HiBi 2009), IEEE Computer Society Press, 2009, 81–90. [bibtex]

Jiří Barnat, Luboš Brim, Ivana Černá, Sven Dražan, Jana Fabriková, and David Šafránek:
On algorithmic analysis of transcriptional regulation by LTL model checking,
Theor. Comput. Sci., 2009, 3128–3148. [bibtex, url]