RNDr. Mgr. Jana Fabriková

Personal photo

 

 
2014

CASAGRANDE, Alberto - DREOSSI, Tommaso - FABRIKOVÁ, Jana - PIAZZA, Carla.
Epsilon-Semantics computations on biological systems. Information and computation, Academic Press, The Nederlands. ISSN 0890-5401, 2014, vol. Neuveden, no. January 2014, nestránkováno-35 pp.


more

 
2013

BRIM, Luboš - VEJPUSTEK, Tomáš - ŠAFRÁNEK, David - FABRIKOVÁ, Jana.
Robustness Analysis for Value-Freezing Signal Temporal Logic. In Proceedings HSB 2013. Neuveden : Neuveden, 2013. pp. 20-36. 2013, Taormina.


more

 
2012

BRIM, Luboš - FABRIKOVÁ, Jana - DRAŽAN, Sven - ŠAFRÁNEK, David.
On Approximative Reachability Analysis of Biochemical Dynamical Systems. In Transactions on Computational Systems Biology XIV. Heidelberg : Springer, 2012. ISBN 978-3-642-35523-3, pp. 77-101. 2012, Aachen.


more

 
2011

COLLINS, Pieter - HABETS, Luc - VAN SCHUPPEN, Jan - ČERNÁ, Ivana - FABRIKOVÁ, Jana - ŠAFRÁNEK, David.
Abstraction of Biochemical Reaction Systems on Polytopes. In Proceedings of the 18th IFAC World Congress. Milano : IFAC, 2011. ISBN 978-1-1234-7890-2, pp. 14869-14875. 2011, Milano.


more

 

BRIM, Luboš - FABRIKOVÁ, Jana - DRAŽAN, Sven - ŠAFRÁNEK, David.
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation. Electronic Proceedings in Theoretical Computer Science, USA. ISSN 2075-2180, 2011, vol. Neuveden, no. 67, pp. 97-112.


more

 
2009

BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - FABRIKOVÁ, Jana - LÁNÍK, Jan - ŠAFRÁNEK, David - HONGWU, Ma.
BioDiVinE: A Framework for Parallel Analysis of Biological Models. In Proceedings of 2nd International Workshop on Computational Models for Cell Processes. Neuveden : EPTCS, 2009. pp. 31-45. 2009, Eindhoven.


more

 

BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - FABRIKOVÁ, Jana - LÁNÍK, Jan - ŠAFRÁNEK, David.
BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models. In Computational Mehotds in Systems Biology: Abstract of the Posters. Pisa : University of Pisa, 2009. pp. 1-5. 2009, Bologna.


more

 

BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - FABRIKOVÁ, Jana - ŠAFRÁNEK, David.
Computational Analysis of Large-Scale Multi-Affine ODE Models. In International Workshop on High Performance Computational Systems Biology. Los Alamitos (California) : IEEE Computer Society, 2009. ISBN 978-0-7695-3809-9, pp. 81-90. 2009, Trento.


more

 

BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - FABRIKOVÁ, Jana - ŠAFRÁNEK, David.
On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking. Theoretical Computer Science. ISSN 0304-3975, 2009, vol. 2009, no. 410, pp. 3128-3148.


more