Jana Fabriková

According to our database, Jana Fabriková authored at least 7 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

ϵ-Semantics computations on biological systems.

Alberto Casagrande, Tommaso Dreossi, Jana Fabriková, Carla Piazza

Inf. Comput., 2014

2013

Robustness Analysis for Value-Freezing Signal Temporal Logic.

Lubos Brim, Tomas Vejpustek, David Safránek, Jana Fabriková

Proceedings of the Proceedings Second International Workshop on Hybrid Systems and Biology, 2013

2012

On Approximative Reachability Analysis of Biochemical Dynamical Systems.

Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek

Trans. Comp. Sys. Biology, 2012

2011

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract)

Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek

Proceedings of the Proceedings Third International Workshop on Computational Models for Cell Processes, 2011

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation

Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek

CoRR, 2011

2009

On algorithmic analysis of transcriptional regulation by LTL model checking.

Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, David Safránek

Theor. Comput. Sci., 2009

BioDiVinE: A Framework for Parallel Analysis of Biological Models

Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, Jan Láník, David Safránek, Hongwu Ma

Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009